fix: Motoko Bitcoin example

.github/workflows/motoko-basic-bitcoin.yaml

@@ -25,7 +25,7 @@ jobs:
         run: |
           dfx start --background
           pushd motoko/basic_bitcoin
-          dfx deploy basic_bitcoin --argument '(variant { Regtest })'
+          dfx deploy basic_bitcoin --argument '(variant { regtest })'
           popd
   rust-basic-bitcoin-linux:
     runs-on: ubuntu-20.04
@@ -39,5 +39,5 @@ jobs:
         run: |
           dfx start --background
           pushd motoko/basic_bitcoin
-          dfx deploy basic_bitcoin --argument '(variant { Regtest })'
+          dfx deploy basic_bitcoin --argument '(variant { regtest })'
           popd

motoko/basic_bitcoin/dfx.json

@@ -6,9 +6,21 @@
     }
   },
   "defaults": {
+    "bitcoin": {
+      "enabled": true,
+      "nodes": [
+        "127.0.0.1:18444"
+      ],
+      "log_level": "info"
+    },
     "build": {
       "packtool": "",
       "args": ""
     }
+  },
+  "networks": {
+    "local": {
+      "bind": "127.0.0.1:4943"
+    }
   }
-}
+}

motoko/basic_bitcoin/src/basic_bitcoin/basic_bitcoin.did

@@ -7,9 +7,9 @@ type bitcoin_address = text;
 type block_hash = blob;
 
 type network = variant {
-    Regtest;
-    Testnet;
-    Mainnet;
+    regtest;
+    testnet;
+    mainnet;
 };
 
 type outpoint = record {

motoko/basic_bitcoin/src/basic_bitcoin/src/BitcoinWallet.mo

@@ -213,7 +213,7 @@ public func build_transaction(
     let public_key = public_key_bytes_to_public_key(public_key_bytes);
 
     // Compute the P2PKH address from our public key.
-    P2pkh.deriveAddress(network, Publickey.toSec1(public_key, true))
+    P2pkh.deriveAddress(Types.network_to_network_camel_case(network), Publickey.toSec1(public_key, true))
   };
 
   // A mock for rubber-stamping ECDSA signatures.

motoko/basic_bitcoin/src/basic_bitcoin/src/Main.mo

@@ -15,9 +15,9 @@ actor class BasicBitcoin(_network : Types.Network) {
 
   // The Bitcoin network to connect to.
   //
-  // When developing locally this should be `Regtest`.
-  // When deploying to the IC this should be `Testnet`.
-  // `Mainnet` is currently unsupported.
+  // When developing locally this should be `regtest`.
+  // When deploying to the IC this should be `testnet`.
+  // `mainnet` is currently unsupported.
   stable let NETWORK : Network = _network;
 
   // The derivation path to use for ECDSA secp256k1.
@@ -26,7 +26,7 @@ actor class BasicBitcoin(_network : Types.Network) {
   // The ECDSA key name.
   let KEY_NAME : Text = switch NETWORK {
     // For local development, we use a special test key with dfx.
-    case (#Regtest) "dfx_test_key";
+    case (#regtest) "dfx_test_key";
     // On the IC we're using a test ECDSA key.
     case _ "test_key_1"
   };

motoko/basic_bitcoin/src/basic_bitcoin/src/Types.mo

@@ -47,11 +47,33 @@ module Types {
 
     /// The type of Bitcoin network the dapp will be interacting with.
     public type Network = {
+        #mainnet;
+        #testnet;
+        #regtest;
+    };
+
+    /// The type of Bitcoin network as defined by the Bitcoin Motoko library
+    /// (Note the difference in casing compared to `Network`)
+    public type NetworkCamelCase = {
         #Mainnet;
         #Testnet;
         #Regtest;
     };
 
+    public func network_to_network_camel_case(network: Network) : NetworkCamelCase {
+        switch (network) {
+            case (#regtest) {
+                #Regtest
+            };
+            case (#testnet) {
+                #Testnet
+            };
+            case (#mainnet) {
+                #Mainnet
+            };
+        }
+    };
+
     /// A reference to a transaction output.
     public type OutPoint = {
         txid : Blob;
@@ -102,4 +124,4 @@ module Types {
         transaction : [Nat8];
         network : Network;
     };
-}
+}