@midnames/sdk 1.0.1 → 1.0.4

package/node_modules/@midnames/ns/dist/managed/leaf/zkir/transfer_domain.zkir

@@ -0,0 +1,212 @@
+{
+  "version": { "major": 2, "minor": 0 },
+  "do_communications_commitment": true,
+  "num_inputs": 4,
+  "instructions": [
+    { "op": "constrain_bits", "var": 0, "bits": 8 },
+    { "op": "constrain_bits", "var": 1, "bits": 248 },
+    { "op": "constrain_bits", "var": 2, "bits": 8 },
+    { "op": "constrain_bits", "var": 3, "bits": 248 },
+    { "op": "load_imm", "imm": "01" },
+    { "op": "load_imm", "imm": "30" },
+    { "op": "declare_pub_input", "var": 5 },
+    { "op": "pi_skip", "guard": 4, "count": 1 },
+    { "op": "load_imm", "imm": "50" },
+    { "op": "load_imm", "imm": "05" },
+    { "op": "declare_pub_input", "var": 6 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "declare_pub_input", "var": 7 },
+    { "op": "pi_skip", "guard": 4, "count": 4 },
+    { "op": "load_imm", "imm": "10" },
+    { "op": "load_imm", "imm": "20" },
+    { "op": "declare_pub_input", "var": 8 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "declare_pub_input", "var": 9 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "pi_skip", "guard": 4, "count": 6 },
+    { "op": "load_imm", "imm": "18" },
+    { "op": "declare_pub_input", "var": 10 },
+    { "op": "pi_skip", "guard": 4, "count": 1 },
+    { "op": "public_input", "guard": null },
+    { "op": "load_imm", "imm": "0D" },
+    { "op": "declare_pub_input", "var": 12 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "declare_pub_input", "var": 11 },
+    { "op": "pi_skip", "guard": 4, "count": 4 },
+    { "op": "assert", "cond": 11 },
+    { "op": "declare_pub_input", "var": 5 },
+    { "op": "pi_skip", "guard": 4, "count": 1 },
+    { "op": "declare_pub_input", "var": 6 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "declare_pub_input", "var": 7 },
+    { "op": "pi_skip", "guard": 4, "count": 4 },
+    { "op": "declare_pub_input", "var": 6 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "declare_pub_input", "var": 9 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "pi_skip", "guard": 4, "count": 5 },
+    { "op": "public_input", "guard": null },
+    { "op": "public_input", "guard": null },
+    { "op": "public_input", "guard": null },
+    { "op": "public_input", "guard": null },
+    { "op": "load_imm", "imm": "0C" },
+    { "op": "load_imm", "imm": "02" },
+    { "op": "declare_pub_input", "var": 17 },
+    { "op": "declare_pub_input", "var": 18 },
+    { "op": "declare_pub_input", "var": 9 },
+    { "op": "declare_pub_input", "var": 9 },
+    { "op": "declare_pub_input", "var": 13 },
+    { "op": "declare_pub_input", "var": 14 },
+    { "op": "declare_pub_input", "var": 15 },
+    { "op": "declare_pub_input", "var": 16 },
+    { "op": "pi_skip", "guard": 4, "count": 8 },
+    { "op": "private_input", "guard": null },
+    { "op": "constrain_bits", "var": 19, "bits": 8 },
+    { "op": "private_input", "guard": null },
+    { "op": "constrain_bits", "var": 20, "bits": 248 },
+    { "op": "test_eq", "a": 13, "b": 19 },
+    { "op": "test_eq", "a": 14, "b": 20 },
+    { "op": "load_imm", "imm": "00" },
+    { "op": "cond_select", "bit": 21, "a": 22, "b": 23 },
+    { "op": "assert", "cond": 24 },
+    { "op": "load_imm", "imm": "70" },
+    { "op": "declare_pub_input", "var": 25 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "declare_pub_input", "var": 7 },
+    { "op": "pi_skip", "guard": 4, "count": 4 },
+    { "op": "declare_pub_input", "var": 8 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "declare_pub_input", "var": 9 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "pi_skip", "guard": 4, "count": 6 },
+    { "op": "load_imm", "imm": "11" },
+    { "op": "declare_pub_input", "var": 26 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "declare_pub_input", "var": 18 },
+    { "op": "declare_pub_input", "var": 9 },
+    { "op": "declare_pub_input", "var": 9 },
+    { "op": "declare_pub_input", "var": 2 },
+    { "op": "declare_pub_input", "var": 3 },
+    { "op": "declare_pub_input", "var": 15 },
+    { "op": "declare_pub_input", "var": 16 },
+    { "op": "pi_skip", "guard": 4, "count": 9 },
+    { "op": "load_imm", "imm": "91" },
+    { "op": "declare_pub_input", "var": 27 },
+    { "op": "pi_skip", "guard": 4, "count": 1 },
+    { "op": "load_imm", "imm": "A1" },
+    { "op": "declare_pub_input", "var": 28 },
+    { "op": "pi_skip", "guard": 4, "count": 1 },
+    { "op": "private_input", "guard": null },
+    { "op": "constrain_bits", "var": 29, "bits": 8 },
+    { "op": "private_input", "guard": null },
+    { "op": "constrain_bits", "var": 30, "bits": 248 },
+    { "op": "load_imm", "imm": "71" },
+    { "op": "load_imm", "imm": "06" },
+    { "op": "declare_pub_input", "var": 31 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "declare_pub_input", "var": 32 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "declare_pub_input", "var": 9 },
+    { "op": "declare_pub_input", "var": 29 },
+    { "op": "declare_pub_input", "var": 30 },
+    { "op": "pi_skip", "guard": 4, "count": 8 },
+    { "op": "declare_pub_input", "var": 8 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "declare_pub_input", "var": 9 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "pi_skip", "guard": 4, "count": 6 },
+    { "op": "load_imm", "imm": "19" },
+    { "op": "declare_pub_input", "var": 33 },
+    { "op": "pi_skip", "guard": 4, "count": 1 },
+    { "op": "load_imm", "imm": "A2" },
+    { "op": "declare_pub_input", "var": 34 },
+    { "op": "pi_skip", "guard": 4, "count": 1 },
+    { "op": "declare_pub_input", "var": 5 },
+    { "op": "pi_skip", "guard": 4, "count": 1 },
+    { "op": "declare_pub_input", "var": 6 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "declare_pub_input", "var": 32 },
+    { "op": "pi_skip", "guard": 4, "count": 4 },
+    { "op": "declare_pub_input", "var": 8 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "declare_pub_input", "var": 9 },
+    { "op": "declare_pub_input", "var": 2 },
+    { "op": "declare_pub_input", "var": 3 },
+    { "op": "pi_skip", "guard": 4, "count": 6 },
+    { "op": "declare_pub_input", "var": 10 },
+    { "op": "pi_skip", "guard": 4, "count": 1 },
+    { "op": "public_input", "guard": null },
+    { "op": "declare_pub_input", "var": 12 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "declare_pub_input", "var": 35 },
+    { "op": "pi_skip", "guard": 4, "count": 4 },
+    { "op": "cond_select", "bit": 35, "a": 23, "b": 4 },
+    { "op": "cond_select", "bit": 36, "a": 25, "b": 23 },
+    { "op": "declare_pub_input", "var": 37 },
+    { "op": "declare_pub_input", "var": 36 },
+    { "op": "declare_pub_input", "var": 36 },
+    { "op": "cond_select", "bit": 36, "a": 32, "b": 23 },
+    { "op": "declare_pub_input", "var": 38 },
+    { "op": "pi_skip", "guard": 36, "count": 4 },
+    { "op": "cond_select", "bit": 36, "a": 8, "b": 23 },
+    { "op": "declare_pub_input", "var": 39 },
+    { "op": "declare_pub_input", "var": 36 },
+    { "op": "declare_pub_input", "var": 36 },
+    { "op": "cond_select", "bit": 36, "a": 9, "b": 23 },
+    { "op": "declare_pub_input", "var": 40 },
+    { "op": "cond_select", "bit": 36, "a": 2, "b": 23 },
+    { "op": "declare_pub_input", "var": 41 },
+    { "op": "cond_select", "bit": 36, "a": 3, "b": 23 },
+    { "op": "declare_pub_input", "var": 42 },
+    { "op": "pi_skip", "guard": 36, "count": 6 },
+    { "op": "cond_select", "bit": 36, "a": 26, "b": 23 },
+    { "op": "declare_pub_input", "var": 43 },
+    { "op": "cond_select", "bit": 36, "a": 18, "b": 23 },
+    { "op": "declare_pub_input", "var": 44 },
+    { "op": "pi_skip", "guard": 36, "count": 2 },
+    { "op": "cond_select", "bit": 36, "a": 27, "b": 23 },
+    { "op": "declare_pub_input", "var": 45 },
+    { "op": "pi_skip", "guard": 36, "count": 1 },
+    { "op": "cond_select", "bit": 36, "a": 28, "b": 23 },
+    { "op": "declare_pub_input", "var": 46 },
+    { "op": "pi_skip", "guard": 36, "count": 1 },
+    { "op": "declare_pub_input", "var": 31 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "declare_pub_input", "var": 32 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "declare_pub_input", "var": 9 },
+    { "op": "declare_pub_input", "var": 2 },
+    { "op": "declare_pub_input", "var": 3 },
+    { "op": "pi_skip", "guard": 4, "count": 8 },
+    { "op": "declare_pub_input", "var": 8 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "declare_pub_input", "var": 9 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "pi_skip", "guard": 4, "count": 6 },
+    { "op": "declare_pub_input", "var": 26 },
+    { "op": "declare_pub_input", "var": 23 },
+    { "op": "pi_skip", "guard": 4, "count": 2 },
+    { "op": "declare_pub_input", "var": 27 },
+    { "op": "pi_skip", "guard": 4, "count": 1 },
+    { "op": "declare_pub_input", "var": 34 },
+    { "op": "pi_skip", "guard": 4, "count": 1 }
+  ]
+}

package/node_modules/@midnames/ns/dist/managed/leaf/zkir/update_color.zkir

@@ -0,0 +1,58 @@
+{
+  "version": { "major": 2, "minor": 0 },
+  "do_communications_commitment": true,
+  "num_inputs": 2,
+  "instructions": [
+    { "op": "constrain_bits", "var": 0, "bits": 8 },
+    { "op": "constrain_bits", "var": 1, "bits": 248 },
+    { "op": "load_imm", "imm": "01" },
+    { "op": "load_imm", "imm": "30" },
+    { "op": "declare_pub_input", "var": 3 },
+    { "op": "pi_skip", "guard": 2, "count": 1 },
+    { "op": "load_imm", "imm": "50" },
+    { "op": "load_imm", "imm": "03" },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "declare_pub_input", "var": 2 },
+    { "op": "declare_pub_input", "var": 2 },
+    { "op": "declare_pub_input", "var": 5 },
+    { "op": "pi_skip", "guard": 2, "count": 4 },
+    { "op": "public_input", "guard": null },
+    { "op": "public_input", "guard": null },
+    { "op": "load_imm", "imm": "20" },
+    { "op": "load_imm", "imm": "0C" },
+    { "op": "declare_pub_input", "var": 9 },
+    { "op": "declare_pub_input", "var": 2 },
+    { "op": "declare_pub_input", "var": 8 },
+    { "op": "declare_pub_input", "var": 6 },
+    { "op": "declare_pub_input", "var": 7 },
+    { "op": "pi_skip", "guard": 2, "count": 5 },
+    { "op": "private_input", "guard": null },
+    { "op": "constrain_bits", "var": 10, "bits": 8 },
+    { "op": "private_input", "guard": null },
+    { "op": "constrain_bits", "var": 11, "bits": 248 },
+    { "op": "test_eq", "a": 6, "b": 10 },
+    { "op": "test_eq", "a": 7, "b": 11 },
+    { "op": "load_imm", "imm": "00" },
+    { "op": "cond_select", "bit": 12, "a": 13, "b": 14 },
+    { "op": "assert", "cond": 15 },
+    { "op": "load_imm", "imm": "10" },
+    { "op": "load_imm", "imm": "08" },
+    { "op": "declare_pub_input", "var": 16 },
+    { "op": "declare_pub_input", "var": 2 },
+    { "op": "declare_pub_input", "var": 2 },
+    { "op": "declare_pub_input", "var": 2 },
+    { "op": "declare_pub_input", "var": 17 },
+    { "op": "pi_skip", "guard": 2, "count": 5 },
+    { "op": "load_imm", "imm": "11" },
+    { "op": "declare_pub_input", "var": 18 },
+    { "op": "declare_pub_input", "var": 2 },
+    { "op": "declare_pub_input", "var": 2 },
+    { "op": "declare_pub_input", "var": 8 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "pi_skip", "guard": 2, "count": 6 },
+    { "op": "load_imm", "imm": "91" },
+    { "op": "declare_pub_input", "var": 19 },
+    { "op": "pi_skip", "guard": 2, "count": 1 }
+  ]
+}

package/node_modules/@midnames/ns/dist/managed/leaf/zkir/update_costs.zkir

@@ -0,0 +1,88 @@
+{
+  "version": { "major": 2, "minor": 0 },
+  "do_communications_commitment": true,
+  "num_inputs": 3,
+  "instructions": [
+    { "op": "constrain_bits", "var": 0, "bits": 128 },
+    { "op": "constrain_bits", "var": 1, "bits": 128 },
+    { "op": "constrain_bits", "var": 2, "bits": 128 },
+    { "op": "load_imm", "imm": "01" },
+    { "op": "load_imm", "imm": "30" },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "pi_skip", "guard": 3, "count": 1 },
+    { "op": "load_imm", "imm": "50" },
+    { "op": "load_imm", "imm": "03" },
+    { "op": "declare_pub_input", "var": 5 },
+    { "op": "declare_pub_input", "var": 3 },
+    { "op": "declare_pub_input", "var": 3 },
+    { "op": "declare_pub_input", "var": 6 },
+    { "op": "pi_skip", "guard": 3, "count": 4 },
+    { "op": "public_input", "guard": null },
+    { "op": "public_input", "guard": null },
+    { "op": "load_imm", "imm": "20" },
+    { "op": "load_imm", "imm": "0C" },
+    { "op": "declare_pub_input", "var": 10 },
+    { "op": "declare_pub_input", "var": 3 },
+    { "op": "declare_pub_input", "var": 9 },
+    { "op": "declare_pub_input", "var": 7 },
+    { "op": "declare_pub_input", "var": 8 },
+    { "op": "pi_skip", "guard": 3, "count": 5 },
+    { "op": "private_input", "guard": null },
+    { "op": "constrain_bits", "var": 11, "bits": 8 },
+    { "op": "private_input", "guard": null },
+    { "op": "constrain_bits", "var": 12, "bits": 248 },
+    { "op": "test_eq", "a": 7, "b": 11 },
+    { "op": "test_eq", "a": 8, "b": 12 },
+    { "op": "load_imm", "imm": "00" },
+    { "op": "cond_select", "bit": 13, "a": 14, "b": 15 },
+    { "op": "assert", "cond": 16 },
+    { "op": "load_imm", "imm": "10" },
+    { "op": "load_imm", "imm": "09" },
+    { "op": "declare_pub_input", "var": 17 },
+    { "op": "declare_pub_input", "var": 3 },
+    { "op": "declare_pub_input", "var": 3 },
+    { "op": "declare_pub_input", "var": 3 },
+    { "op": "declare_pub_input", "var": 18 },
+    { "op": "pi_skip", "guard": 3, "count": 5 },
+    { "op": "load_imm", "imm": "11" },
+    { "op": "declare_pub_input", "var": 19 },
+    { "op": "declare_pub_input", "var": 3 },
+    { "op": "declare_pub_input", "var": 3 },
+    { "op": "declare_pub_input", "var": 17 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "pi_skip", "guard": 3, "count": 5 },
+    { "op": "load_imm", "imm": "91" },
+    { "op": "declare_pub_input", "var": 20 },
+    { "op": "pi_skip", "guard": 3, "count": 1 },
+    { "op": "load_imm", "imm": "0A" },
+    { "op": "declare_pub_input", "var": 17 },
+    { "op": "declare_pub_input", "var": 3 },
+    { "op": "declare_pub_input", "var": 3 },
+    { "op": "declare_pub_input", "var": 3 },
+    { "op": "declare_pub_input", "var": 21 },
+    { "op": "pi_skip", "guard": 3, "count": 5 },
+    { "op": "declare_pub_input", "var": 19 },
+    { "op": "declare_pub_input", "var": 3 },
+    { "op": "declare_pub_input", "var": 3 },
+    { "op": "declare_pub_input", "var": 17 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "pi_skip", "guard": 3, "count": 5 },
+    { "op": "declare_pub_input", "var": 20 },
+    { "op": "pi_skip", "guard": 3, "count": 1 },
+    { "op": "load_imm", "imm": "0B" },
+    { "op": "declare_pub_input", "var": 17 },
+    { "op": "declare_pub_input", "var": 3 },
+    { "op": "declare_pub_input", "var": 3 },
+    { "op": "declare_pub_input", "var": 3 },
+    { "op": "declare_pub_input", "var": 22 },
+    { "op": "pi_skip", "guard": 3, "count": 5 },
+    { "op": "declare_pub_input", "var": 19 },
+    { "op": "declare_pub_input", "var": 3 },
+    { "op": "declare_pub_input", "var": 3 },
+    { "op": "declare_pub_input", "var": 17 },
+    { "op": "declare_pub_input", "var": 2 },
+    { "op": "pi_skip", "guard": 3, "count": 5 },
+    { "op": "declare_pub_input", "var": 20 },
+    { "op": "pi_skip", "guard": 3, "count": 1 }
+  ]
+}

package/node_modules/@midnames/ns/dist/managed/leaf/zkir/update_domain_target.zkir

@@ -0,0 +1,66 @@
+{
+  "version": { "major": 2, "minor": 0 },
+  "do_communications_commitment": true,
+  "num_inputs": 5,
+  "instructions": [
+    { "op": "constrain_to_boolean", "var": 0 },
+    { "op": "constrain_bits", "var": 1, "bits": 8 },
+    { "op": "constrain_bits", "var": 2, "bits": 248 },
+    { "op": "constrain_bits", "var": 3, "bits": 8 },
+    { "op": "constrain_bits", "var": 4, "bits": 248 },
+    { "op": "load_imm", "imm": "01" },
+    { "op": "load_imm", "imm": "30" },
+    { "op": "declare_pub_input", "var": 6 },
+    { "op": "pi_skip", "guard": 5, "count": 1 },
+    { "op": "load_imm", "imm": "50" },
+    { "op": "load_imm", "imm": "03" },
+    { "op": "declare_pub_input", "var": 7 },
+    { "op": "declare_pub_input", "var": 5 },
+    { "op": "declare_pub_input", "var": 5 },
+    { "op": "declare_pub_input", "var": 8 },
+    { "op": "pi_skip", "guard": 5, "count": 4 },
+    { "op": "public_input", "guard": null },
+    { "op": "public_input", "guard": null },
+    { "op": "load_imm", "imm": "20" },
+    { "op": "load_imm", "imm": "0C" },
+    { "op": "declare_pub_input", "var": 12 },
+    { "op": "declare_pub_input", "var": 5 },
+    { "op": "declare_pub_input", "var": 11 },
+    { "op": "declare_pub_input", "var": 9 },
+    { "op": "declare_pub_input", "var": 10 },
+    { "op": "pi_skip", "guard": 5, "count": 5 },
+    { "op": "private_input", "guard": null },
+    { "op": "constrain_bits", "var": 13, "bits": 8 },
+    { "op": "private_input", "guard": null },
+    { "op": "constrain_bits", "var": 14, "bits": 248 },
+    { "op": "test_eq", "a": 9, "b": 13 },
+    { "op": "test_eq", "a": 10, "b": 14 },
+    { "op": "load_imm", "imm": "00" },
+    { "op": "cond_select", "bit": 15, "a": 16, "b": 17 },
+    { "op": "assert", "cond": 18 },
+    { "op": "load_imm", "imm": "10" },
+    { "op": "load_imm", "imm": "04" },
+    { "op": "declare_pub_input", "var": 19 },
+    { "op": "declare_pub_input", "var": 5 },
+    { "op": "declare_pub_input", "var": 5 },
+    { "op": "declare_pub_input", "var": 5 },
+    { "op": "declare_pub_input", "var": 20 },
+    { "op": "pi_skip", "guard": 5, "count": 5 },
+    { "op": "load_imm", "imm": "11" },
+    { "op": "declare_pub_input", "var": 21 },
+    { "op": "declare_pub_input", "var": 5 },
+    { "op": "declare_pub_input", "var": 8 },
+    { "op": "declare_pub_input", "var": 5 },
+    { "op": "declare_pub_input", "var": 11 },
+    { "op": "declare_pub_input", "var": 11 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 2 },
+    { "op": "declare_pub_input", "var": 3 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "pi_skip", "guard": 5, "count": 11 },
+    { "op": "load_imm", "imm": "91" },
+    { "op": "declare_pub_input", "var": 22 },
+    { "op": "pi_skip", "guard": 5, "count": 1 }
+  ]
+}