fix(crypto): basic_ibe example: use persistent actor and Motoko core (#234)

Adapts the basic_ibe example so that it works again with ICP Ninja,
which recently upgraded to DFX 0.29.1, which ships with a new motoko
compiler (0.16.1). The necessary changes for this were

* Declaring the actor as `persistent`
* Changing the `inboxes` map to the stable mo:core/Map

As the examples was touched anyway, the PR switches from the outdated
`mo:base` to the new `mo:core` and fixes all compiler issues.

The Github workflow sets the `DFX_VERSION` environment variable, so that
only this example uses the new DFX version 0.29.1. This also required to
change the bind host from `localhost` to `127.0.0.1` as otherwise this
new DFX version hits the following error:
```
Error: The replica returned an HTTP Error: Http Error: status 400 Bad Request, content type "text/plain; charset=utf-8", content: error: no_authority
details:
The request is missing the required authority information (e.g. 'Host' header).
```

The changes were tested in ICP Ninja with the following link:


[![](https://icp.ninja/assets/open.svg)](http://icp.ninja/editor?g=https://github.com/dfinity/vetkeys/tree/franzstefan/CRP-2924-basic-ibe/examples/basic_ibe/motoko)

Author: fspreiss

.github/workflows/examples-basic-ibe.yml

@@ -12,6 +12,8 @@ on:
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref }}
   cancel-in-progress: true
+env:
+  DFX_VERSION: 0.29.1
 jobs:
   examples-basic-ibe-rust-darwin:
     runs-on: macos-15

examples/basic_ibe/frontend/src/main.ts

@@ -226,33 +226,13 @@ async function displayMessages(inbox: Inbox) {
                     if ("Err" in result) {
                         alert("Error deleting message: " + result.Err);
                     } else {
-                        // Remove the message element from the DOM
-                        const messageElement = target.closest(".message");
-                        if (messageElement) {
-                            messageElement.remove();
-
-                            // If this was the last message, show the "no messages" message
-                            const messagesDiv =
-                                document.getElementById("messages")!;
-                            if (messagesDiv.children.length === 0) {
-                                const noMessagesDiv =
-                                    document.createElement("div");
-                                noMessagesDiv.className = "no-messages";
-                                noMessagesDiv.textContent =
-                                    "No messages in the inbox.";
-                                messagesDiv.appendChild(noMessagesDiv);
-                            }
-                        }
+                        // Re-load all messages to refresh message indices
+                        await showMessages();
                     }
                 } catch (error) {
                     alert(
                         "Error deleting message: " + (error as Error).message,
                     );
-                } finally {
-                    // Re-enable all delete buttons
-                    deleteButtons.forEach(
-                        (btn) => ((btn as HTMLButtonElement).disabled = false),
-                    );
                 }
             })();
         });

examples/basic_ibe/motoko/backend/src/Main.mo

@@ -1,16 +1,16 @@
-import Principal "mo:base/Principal";
-import Time "mo:base/Time";
-import HashMap "mo:base/HashMap";
-import Text "mo:base/Text";
-import Blob "mo:base/Blob";
-import Array "mo:base/Array";
-import Buffer "mo:base/Buffer";
-import Nat64 "mo:base/Nat64";
-import Result "mo:base/Result";
-import Int "mo:base/Int";
-import Iter "mo:base/Iter";
-
-actor class (keyNameString : Text) {
+import Principal "mo:core/Principal";
+import Time "mo:core/Time";
+import Map "mo:core/Map";
+import Text "mo:core/Text";
+import Blob "mo:core/Blob";
+import Array "mo:core/Array";
+import List "mo:core/List";
+import Nat64 "mo:core/Nat64";
+import Nat "mo:core/Nat";
+import Result "mo:core/Result";
+import Int "mo:core/Int";
+
+persistent actor class (keyNameString : Text) {
   // Types
   type Message = {
     sender : Principal;
@@ -62,7 +62,7 @@ actor class (keyNameString : Text) {
   let DOMAIN_SEPARATOR : Text = "basic_ibe_example_dapp";
 
   // State
-  var inboxes = HashMap.HashMap<Principal, Inbox>(0, Principal.equal, Principal.hash);
+  var inboxes = Map.empty<Principal, Inbox>();
 
   // Management canister actor
   let vetKdSystemApi : VetKdSystemApi = actor ("aaaaa-aa");
@@ -76,18 +76,18 @@ actor class (keyNameString : Text) {
     };
 
     let receiver = request.receiver;
-    let current_inbox = switch (inboxes.get(receiver)) {
+    let current_inbox = switch (Map.get(inboxes, Principal.compare, receiver)) {
       case (?inbox) { inbox };
       case null { { messages = [] } };
     };
 
     if (current_inbox.messages.size() >= MAX_MESSAGES_PER_INBOX) {
       return #Err("Inbox for " # Principal.toText(receiver) # " is full");
     };
-
-    let new_messages = Array.append(current_inbox.messages, [message]);
+  
+    let new_messages = Array.concat(current_inbox.messages, [message]);
     let new_inbox : Inbox = { messages = new_messages };
-    inboxes.put(receiver, new_inbox);
+    ignore Map.insert(inboxes, Principal.compare, receiver, new_inbox);
 
     #Ok();
   };
@@ -132,15 +132,15 @@ actor class (keyNameString : Text) {
 
   // Get the caller's messages
   public shared query ({ caller }) func get_my_messages() : async Inbox {
-    switch (inboxes.get(caller)) {
+    switch (Map.get(inboxes, Principal.compare, caller)) {
       case (?inbox) { inbox };
       case null { { messages = [] } };
     };
   };
 
   // Remove a message by index
   public shared ({ caller }) func remove_my_message_by_index(message_index : Nat64) : async Result<(), Text> {
-    let current_inbox = switch (inboxes.get(caller)) {
+    let current_inbox = switch (Map.get(inboxes, Principal.compare, caller)) {
       case (?inbox) { inbox };
       case null { { messages = [] } };
     };
@@ -152,17 +152,17 @@ actor class (keyNameString : Text) {
 
     // Create a new array without the specified index
     let messages = current_inbox.messages;
-    let new_messages_buffer = Buffer.Buffer<Message>(0);
+    let new_messages_list = List.empty<Message>();
 
-    for (i in Iter.range(0, messages.size() - 1)) {
+    for (i in messages.keys()) {
       if (i != index) {
-        new_messages_buffer.add(messages[i]);
+        List.add(new_messages_list, messages[i]);
       };
     };
 
-    let new_messages = Buffer.toArray(new_messages_buffer);
+    let new_messages = List.toArray(new_messages_list);
     let new_inbox : Inbox = { messages = new_messages };
-    inboxes.put(caller, new_inbox);
+    ignore Map.insert(inboxes, Principal.compare, caller, new_inbox);
 
     #Ok();
   };

examples/basic_ibe/motoko/dfx.json

@@ -42,7 +42,7 @@
     },
     "networks": {
       "local": {
-        "bind": "localhost:8000",
+        "bind": "127.0.0.1:8000",
         "type": "ephemeral"
       }
     }

examples/basic_ibe/motoko/mops.toml

@@ -1,3 +1,3 @@
 [dependencies]
-base = "0.14.9"
+core = "1.0.0"
 ic-vetkeys = "0.3.0"

examples/basic_ibe/rust/dfx.json

@@ -36,7 +36,7 @@
     },
     "networks": {
       "local": {
-        "bind": "localhost:8000",
+        "bind": "127.0.0.1:8000",
         "type": "ephemeral"
       }
     }