@midnight-ntwrk/midnight-did-contract 0.5.0-rc1

package/dist/managed/did/zkir/setAlsoKnownAs.zkir

@@ -0,0 +1,258 @@
+{
+  "version": { "major": 2, "minor": 0 },
+  "do_communications_commitment": true,
+  "num_inputs": 2,
+  "instructions": [
+    { "op": "load_imm", "imm": "03" },
+    { "op": "less_than", "a": 1, "b": 2, "bits": 2 },
+    { "op": "assert", "cond": 3 },
+    { "op": "load_imm", "imm": "01" },
+    { "op": "private_input", "guard": null },
+    { "op": "constrain_bits", "var": 5, "bits": 8 },
+    { "op": "private_input", "guard": null },
+    { "op": "constrain_bits", "var": 6, "bits": 248 },
+    { "op": "load_imm", "imm": "00" },
+    { "op": "load_imm", "imm": "6469643A636F6E74726F6C6C65723A706B" },
+    { "op": "persistent_hash", "alignment": [{ "tag": "atom", "value": { "length": 32, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }], "inputs": [7, 8, 5, 6] },
+    { "op": "load_imm", "imm": "30" },
+    { "op": "declare_pub_input", "var": 11 },
+    { "op": "pi_skip", "guard": 4, "count": 1 },
+    { "op": "load_imm", "imm": "51" },
+    { "op": "declare_pub_input", "var": 12 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "declare_pub_input", "var": 7 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "pi_skip", "guard": 4, "count": 7 },
+    { "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": 16 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "declare_pub_input", "var": 15 },
+    { "op": "declare_pub_input", "var": 13 },
+    { "op": "declare_pub_input", "var": 14 },
+    { "op": "pi_skip", "guard": 4, "count": 5 },
+    { "op": "test_eq", "a": 9, "b": 13 },
+    { "op": "test_eq", "a": 10, "b": 14 },
+    { "op": "cond_select", "bit": 17, "a": 18, "b": 7 },
+    { "op": "assert", "cond": 19 },
+    { "op": "declare_pub_input", "var": 11 },
+    { "op": "pi_skip", "guard": 4, "count": 1 },
+    { "op": "load_imm", "imm": "05" },
+    { "op": "declare_pub_input", "var": 12 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "declare_pub_input", "var": 20 },
+    { "op": "pi_skip", "guard": 4, "count": 7 },
+    { "op": "public_input", "guard": null },
+    { "op": "declare_pub_input", "var": 16 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "declare_pub_input", "var": 21 },
+    { "op": "pi_skip", "guard": 4, "count": 4 },
+    { "op": "assert", "cond": 21 },
+    { "op": "test_eq", "a": 1, "b": 4 },
+    { "op": "cond_select", "bit": 22, "a": 7, "b": 4 },
+    { "op": "load_imm", "imm": "02" },
+    { "op": "test_eq", "a": 1, "b": 24 },
+    { "op": "cond_select", "bit": 22, "a": 4, "b": 25 },
+    { "op": "assert", "cond": 26 },
+    { "op": "cond_select", "bit": 22, "a": 11, "b": 7 },
+    { "op": "declare_pub_input", "var": 27 },
+    { "op": "pi_skip", "guard": 22, "count": 1 },
+    { "op": "cond_select", "bit": 22, "a": 12, "b": 7 },
+    { "op": "declare_pub_input", "var": 28 },
+    { "op": "declare_pub_input", "var": 22 },
+    { "op": "declare_pub_input", "var": 22 },
+    { "op": "declare_pub_input", "var": 22 },
+    { "op": "declare_pub_input", "var": 22 },
+    { "op": "declare_pub_input", "var": 22 },
+    { "op": "cond_select", "bit": 22, "a": 7, "b": 7 },
+    { "op": "declare_pub_input", "var": 29 },
+    { "op": "pi_skip", "guard": 22, "count": 7 },
+    { "op": "load_imm", "imm": "10" },
+    { "op": "load_imm", "imm": "-01" },
+    { "op": "cond_select", "bit": 22, "a": 30, "b": 7 },
+    { "op": "declare_pub_input", "var": 32 },
+    { "op": "declare_pub_input", "var": 22 },
+    { "op": "declare_pub_input", "var": 22 },
+    { "op": "cond_select", "bit": 22, "a": 31, "b": 7 },
+    { "op": "declare_pub_input", "var": 33 },
+    { "op": "cond_select", "bit": 22, "a": 0, "b": 7 },
+    { "op": "declare_pub_input", "var": 34 },
+    { "op": "pi_skip", "guard": 22, "count": 5 },
+    { "op": "load_imm", "imm": "18" },
+    { "op": "cond_select", "bit": 22, "a": 35, "b": 7 },
+    { "op": "declare_pub_input", "var": 36 },
+    { "op": "pi_skip", "guard": 22, "count": 1 },
+    { "op": "public_input", "guard": 22 },
+    { "op": "load_imm", "imm": "0D" },
+    { "op": "cond_select", "bit": 22, "a": 38, "b": 7 },
+    { "op": "declare_pub_input", "var": 39 },
+    { "op": "declare_pub_input", "var": 22 },
+    { "op": "declare_pub_input", "var": 22 },
+    { "op": "cond_select", "bit": 22, "a": 37, "b": 7 },
+    { "op": "declare_pub_input", "var": 40 },
+    { "op": "pi_skip", "guard": 22, "count": 4 },
+    { "op": "cond_select", "bit": 37, "a": 7, "b": 4 },
+    { "op": "cond_select", "bit": 22, "a": 41, "b": 4 },
+    { "op": "assert", "cond": 42 },
+    { "op": "load_imm", "imm": "71" },
+    { "op": "cond_select", "bit": 22, "a": 43, "b": 7 },
+    { "op": "declare_pub_input", "var": 44 },
+    { "op": "declare_pub_input", "var": 22 },
+    { "op": "declare_pub_input", "var": 22 },
+    { "op": "declare_pub_input", "var": 22 },
+    { "op": "declare_pub_input", "var": 22 },
+    { "op": "declare_pub_input", "var": 22 },
+    { "op": "cond_select", "bit": 22, "a": 7, "b": 7 },
+    { "op": "declare_pub_input", "var": 45 },
+    { "op": "pi_skip", "guard": 22, "count": 7 },
+    { "op": "cond_select", "bit": 22, "a": 30, "b": 7 },
+    { "op": "declare_pub_input", "var": 46 },
+    { "op": "declare_pub_input", "var": 22 },
+    { "op": "declare_pub_input", "var": 22 },
+    { "op": "cond_select", "bit": 22, "a": 31, "b": 7 },
+    { "op": "declare_pub_input", "var": 47 },
+    { "op": "cond_select", "bit": 22, "a": 0, "b": 7 },
+    { "op": "declare_pub_input", "var": 48 },
+    { "op": "pi_skip", "guard": 22, "count": 5 },
+    { "op": "load_imm", "imm": "11" },
+    { "op": "cond_select", "bit": 22, "a": 49, "b": 7 },
+    { "op": "declare_pub_input", "var": 50 },
+    { "op": "cond_select", "bit": 22, "a": 7, "b": 7 },
+    { "op": "declare_pub_input", "var": 51 },
+    { "op": "pi_skip", "guard": 22, "count": 2 },
+    { "op": "load_imm", "imm": "91" },
+    { "op": "cond_select", "bit": 22, "a": 52, "b": 7 },
+    { "op": "declare_pub_input", "var": 53 },
+    { "op": "pi_skip", "guard": 22, "count": 1 },
+    { "op": "load_imm", "imm": "A2" },
+    { "op": "cond_select", "bit": 22, "a": 54, "b": 7 },
+    { "op": "declare_pub_input", "var": 55 },
+    { "op": "pi_skip", "guard": 22, "count": 1 },
+    { "op": "cond_select", "bit": 25, "a": 23, "b": 7 },
+    { "op": "cond_select", "bit": 56, "a": 11, "b": 7 },
+    { "op": "declare_pub_input", "var": 57 },
+    { "op": "pi_skip", "guard": 56, "count": 1 },
+    { "op": "cond_select", "bit": 56, "a": 12, "b": 7 },
+    { "op": "declare_pub_input", "var": 58 },
+    { "op": "declare_pub_input", "var": 56 },
+    { "op": "declare_pub_input", "var": 56 },
+    { "op": "declare_pub_input", "var": 56 },
+    { "op": "declare_pub_input", "var": 56 },
+    { "op": "declare_pub_input", "var": 56 },
+    { "op": "cond_select", "bit": 56, "a": 7, "b": 7 },
+    { "op": "declare_pub_input", "var": 59 },
+    { "op": "pi_skip", "guard": 56, "count": 7 },
+    { "op": "cond_select", "bit": 56, "a": 30, "b": 7 },
+    { "op": "declare_pub_input", "var": 60 },
+    { "op": "declare_pub_input", "var": 56 },
+    { "op": "declare_pub_input", "var": 56 },
+    { "op": "cond_select", "bit": 56, "a": 31, "b": 7 },
+    { "op": "declare_pub_input", "var": 61 },
+    { "op": "cond_select", "bit": 56, "a": 0, "b": 7 },
+    { "op": "declare_pub_input", "var": 62 },
+    { "op": "pi_skip", "guard": 56, "count": 5 },
+    { "op": "cond_select", "bit": 56, "a": 35, "b": 7 },
+    { "op": "declare_pub_input", "var": 63 },
+    { "op": "pi_skip", "guard": 56, "count": 1 },
+    { "op": "public_input", "guard": 56 },
+    { "op": "cond_select", "bit": 56, "a": 38, "b": 7 },
+    { "op": "declare_pub_input", "var": 65 },
+    { "op": "declare_pub_input", "var": 56 },
+    { "op": "declare_pub_input", "var": 56 },
+    { "op": "cond_select", "bit": 56, "a": 64, "b": 7 },
+    { "op": "declare_pub_input", "var": 66 },
+    { "op": "pi_skip", "guard": 56, "count": 4 },
+    { "op": "cond_select", "bit": 56, "a": 64, "b": 4 },
+    { "op": "assert", "cond": 67 },
+    { "op": "cond_select", "bit": 56, "a": 43, "b": 7 },
+    { "op": "declare_pub_input", "var": 68 },
+    { "op": "declare_pub_input", "var": 56 },
+    { "op": "declare_pub_input", "var": 56 },
+    { "op": "declare_pub_input", "var": 56 },
+    { "op": "declare_pub_input", "var": 56 },
+    { "op": "declare_pub_input", "var": 56 },
+    { "op": "cond_select", "bit": 56, "a": 7, "b": 7 },
+    { "op": "declare_pub_input", "var": 69 },
+    { "op": "pi_skip", "guard": 56, "count": 7 },
+    { "op": "cond_select", "bit": 56, "a": 30, "b": 7 },
+    { "op": "declare_pub_input", "var": 70 },
+    { "op": "declare_pub_input", "var": 56 },
+    { "op": "declare_pub_input", "var": 56 },
+    { "op": "cond_select", "bit": 56, "a": 31, "b": 7 },
+    { "op": "declare_pub_input", "var": 71 },
+    { "op": "cond_select", "bit": 56, "a": 0, "b": 7 },
+    { "op": "declare_pub_input", "var": 72 },
+    { "op": "pi_skip", "guard": 56, "count": 5 },
+    { "op": "load_imm", "imm": "19" },
+    { "op": "cond_select", "bit": 56, "a": 73, "b": 7 },
+    { "op": "declare_pub_input", "var": 74 },
+    { "op": "pi_skip", "guard": 56, "count": 1 },
+    { "op": "cond_select", "bit": 56, "a": 54, "b": 7 },
+    { "op": "declare_pub_input", "var": 75 },
+    { "op": "pi_skip", "guard": 56, "count": 1 },
+    { "op": "load_imm", "imm": "06" },
+    { "op": "declare_pub_input", "var": 43 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "declare_pub_input", "var": 76 },
+    { "op": "pi_skip", "guard": 4, "count": 7 },
+    { "op": "load_imm", "imm": "0E" },
+    { "op": "declare_pub_input", "var": 77 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "pi_skip", "guard": 4, "count": 2 },
+    { "op": "declare_pub_input", "var": 54 },
+    { "op": "pi_skip", "guard": 4, "count": 1 },
+    { "op": "declare_pub_input", "var": 43 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "pi_skip", "guard": 4, "count": 7 },
+    { "op": "declare_pub_input", "var": 77 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "pi_skip", "guard": 4, "count": 2 },
+    { "op": "declare_pub_input", "var": 54 },
+    { "op": "pi_skip", "guard": 4, "count": 1 },
+    { "op": "private_input", "guard": null },
+    { "op": "constrain_bits", "var": 78, "bits": 64 },
+    { "op": "load_imm", "imm": "70" },
+    { "op": "declare_pub_input", "var": 79 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "pi_skip", "guard": 4, "count": 4 },
+    { "op": "declare_pub_input", "var": 30 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "declare_pub_input", "var": 2 },
+    { "op": "pi_skip", "guard": 4, "count": 5 },
+    { "op": "load_imm", "imm": "08" },
+    { "op": "declare_pub_input", "var": 49 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "declare_pub_input", "var": 80 },
+    { "op": "declare_pub_input", "var": 78 },
+    { "op": "pi_skip", "guard": 4, "count": 5 },
+    { "op": "declare_pub_input", "var": 52 },
+    { "op": "pi_skip", "guard": 4, "count": 1 },
+    { "op": "load_imm", "imm": "A1" },
+    { "op": "declare_pub_input", "var": 81 },
+    { "op": "pi_skip", "guard": 4, "count": 1 }
+  ]
+}

package/dist/managed/did/zkir/setSchnorrJubjubVerificationMethod.zkir

@@ -0,0 +1,293 @@
+{
+  "version": { "major": 2, "minor": 0 },
+  "do_communications_commitment": true,
+  "num_inputs": 4,
+  "instructions": [
+    { "op": "load_imm", "imm": "03" },
+    { "op": "less_than", "a": 3, "b": 4, "bits": 2 },
+    { "op": "assert", "cond": 5 },
+    { "op": "load_imm", "imm": "01" },
+    { "op": "private_input", "guard": null },
+    { "op": "constrain_bits", "var": 7, "bits": 8 },
+    { "op": "private_input", "guard": null },
+    { "op": "constrain_bits", "var": 8, "bits": 248 },
+    { "op": "load_imm", "imm": "00" },
+    { "op": "load_imm", "imm": "6469643A636F6E74726F6C6C65723A706B" },
+    { "op": "persistent_hash", "alignment": [{ "tag": "atom", "value": { "length": 32, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }], "inputs": [9, 10, 7, 8] },
+    { "op": "load_imm", "imm": "30" },
+    { "op": "declare_pub_input", "var": 13 },
+    { "op": "pi_skip", "guard": 6, "count": 1 },
+    { "op": "load_imm", "imm": "51" },
+    { "op": "declare_pub_input", "var": 14 },
+    { "op": "declare_pub_input", "var": 6 },
+    { "op": "declare_pub_input", "var": 6 },
+    { "op": "declare_pub_input", "var": 9 },
+    { "op": "declare_pub_input", "var": 6 },
+    { "op": "declare_pub_input", "var": 6 },
+    { "op": "declare_pub_input", "var": 6 },
+    { "op": "pi_skip", "guard": 6, "count": 7 },
+    { "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": 18 },
+    { "op": "declare_pub_input", "var": 6 },
+    { "op": "declare_pub_input", "var": 17 },
+    { "op": "declare_pub_input", "var": 15 },
+    { "op": "declare_pub_input", "var": 16 },
+    { "op": "pi_skip", "guard": 6, "count": 5 },
+    { "op": "test_eq", "a": 11, "b": 15 },
+    { "op": "test_eq", "a": 12, "b": 16 },
+    { "op": "cond_select", "bit": 19, "a": 20, "b": 9 },
+    { "op": "assert", "cond": 21 },
+    { "op": "declare_pub_input", "var": 13 },
+    { "op": "pi_skip", "guard": 6, "count": 1 },
+    { "op": "load_imm", "imm": "05" },
+    { "op": "declare_pub_input", "var": 14 },
+    { "op": "declare_pub_input", "var": 6 },
+    { "op": "declare_pub_input", "var": 6 },
+    { "op": "declare_pub_input", "var": 6 },
+    { "op": "declare_pub_input", "var": 6 },
+    { "op": "declare_pub_input", "var": 6 },
+    { "op": "declare_pub_input", "var": 22 },
+    { "op": "pi_skip", "guard": 6, "count": 7 },
+    { "op": "public_input", "guard": null },
+    { "op": "declare_pub_input", "var": 18 },
+    { "op": "declare_pub_input", "var": 6 },
+    { "op": "declare_pub_input", "var": 6 },
+    { "op": "declare_pub_input", "var": 23 },
+    { "op": "pi_skip", "guard": 6, "count": 4 },
+    { "op": "assert", "cond": 23 },
+    { "op": "test_eq", "a": 3, "b": 6 },
+    { "op": "load_imm", "imm": "02" },
+    { "op": "test_eq", "a": 3, "b": 25 },
+    { "op": "cond_select", "bit": 24, "a": 6, "b": 26 },
+    { "op": "assert", "cond": 27 },
+    { "op": "cond_select", "bit": 26, "a": 9, "b": 6 },
+    { "op": "cond_select", "bit": 26, "a": 13, "b": 9 },
+    { "op": "declare_pub_input", "var": 29 },
+    { "op": "pi_skip", "guard": 26, "count": 1 },
+    { "op": "load_imm", "imm": "08" },
+    { "op": "cond_select", "bit": 26, "a": 14, "b": 9 },
+    { "op": "declare_pub_input", "var": 31 },
+    { "op": "declare_pub_input", "var": 26 },
+    { "op": "declare_pub_input", "var": 26 },
+    { "op": "declare_pub_input", "var": 26 },
+    { "op": "declare_pub_input", "var": 26 },
+    { "op": "declare_pub_input", "var": 26 },
+    { "op": "cond_select", "bit": 26, "a": 30, "b": 9 },
+    { "op": "declare_pub_input", "var": 32 },
+    { "op": "pi_skip", "guard": 26, "count": 7 },
+    { "op": "load_imm", "imm": "10" },
+    { "op": "load_imm", "imm": "-01" },
+    { "op": "cond_select", "bit": 26, "a": 33, "b": 9 },
+    { "op": "declare_pub_input", "var": 35 },
+    { "op": "declare_pub_input", "var": 26 },
+    { "op": "declare_pub_input", "var": 26 },
+    { "op": "cond_select", "bit": 26, "a": 34, "b": 9 },
+    { "op": "declare_pub_input", "var": 36 },
+    { "op": "cond_select", "bit": 26, "a": 0, "b": 9 },
+    { "op": "declare_pub_input", "var": 37 },
+    { "op": "pi_skip", "guard": 26, "count": 5 },
+    { "op": "load_imm", "imm": "18" },
+    { "op": "cond_select", "bit": 26, "a": 38, "b": 9 },
+    { "op": "declare_pub_input", "var": 39 },
+    { "op": "pi_skip", "guard": 26, "count": 1 },
+    { "op": "public_input", "guard": 26 },
+    { "op": "load_imm", "imm": "0D" },
+    { "op": "cond_select", "bit": 26, "a": 41, "b": 9 },
+    { "op": "declare_pub_input", "var": 42 },
+    { "op": "declare_pub_input", "var": 26 },
+    { "op": "declare_pub_input", "var": 26 },
+    { "op": "cond_select", "bit": 26, "a": 40, "b": 9 },
+    { "op": "declare_pub_input", "var": 43 },
+    { "op": "pi_skip", "guard": 26, "count": 4 },
+    { "op": "cond_select", "bit": 26, "a": 40, "b": 6 },
+    { "op": "assert", "cond": 44 },
+    { "op": "load_imm", "imm": "71" },
+    { "op": "cond_select", "bit": 26, "a": 45, "b": 9 },
+    { "op": "declare_pub_input", "var": 46 },
+    { "op": "declare_pub_input", "var": 26 },
+    { "op": "declare_pub_input", "var": 26 },
+    { "op": "declare_pub_input", "var": 26 },
+    { "op": "declare_pub_input", "var": 26 },
+    { "op": "declare_pub_input", "var": 26 },
+    { "op": "cond_select", "bit": 26, "a": 30, "b": 9 },
+    { "op": "declare_pub_input", "var": 47 },
+    { "op": "pi_skip", "guard": 26, "count": 7 },
+    { "op": "cond_select", "bit": 26, "a": 33, "b": 9 },
+    { "op": "declare_pub_input", "var": 48 },
+    { "op": "declare_pub_input", "var": 26 },
+    { "op": "declare_pub_input", "var": 26 },
+    { "op": "cond_select", "bit": 26, "a": 34, "b": 9 },
+    { "op": "declare_pub_input", "var": 49 },
+    { "op": "cond_select", "bit": 26, "a": 0, "b": 9 },
+    { "op": "declare_pub_input", "var": 50 },
+    { "op": "pi_skip", "guard": 26, "count": 5 },
+    { "op": "load_imm", "imm": "19" },
+    { "op": "cond_select", "bit": 26, "a": 51, "b": 9 },
+    { "op": "declare_pub_input", "var": 52 },
+    { "op": "pi_skip", "guard": 26, "count": 1 },
+    { "op": "load_imm", "imm": "A2" },
+    { "op": "cond_select", "bit": 26, "a": 53, "b": 9 },
+    { "op": "declare_pub_input", "var": 54 },
+    { "op": "pi_skip", "guard": 26, "count": 1 },
+    { "op": "cond_select", "bit": 24, "a": 28, "b": 9 },
+    { "op": "cond_select", "bit": 55, "a": 13, "b": 9 },
+    { "op": "declare_pub_input", "var": 56 },
+    { "op": "pi_skip", "guard": 55, "count": 1 },
+    { "op": "load_imm", "imm": "07" },
+    { "op": "cond_select", "bit": 55, "a": 14, "b": 9 },
+    { "op": "declare_pub_input", "var": 58 },
+    { "op": "declare_pub_input", "var": 55 },
+    { "op": "declare_pub_input", "var": 55 },
+    { "op": "declare_pub_input", "var": 55 },
+    { "op": "declare_pub_input", "var": 55 },
+    { "op": "declare_pub_input", "var": 55 },
+    { "op": "cond_select", "bit": 55, "a": 57, "b": 9 },
+    { "op": "declare_pub_input", "var": 59 },
+    { "op": "pi_skip", "guard": 55, "count": 7 },
+    { "op": "cond_select", "bit": 55, "a": 33, "b": 9 },
+    { "op": "declare_pub_input", "var": 60 },
+    { "op": "declare_pub_input", "var": 55 },
+    { "op": "declare_pub_input", "var": 55 },
+    { "op": "cond_select", "bit": 55, "a": 34, "b": 9 },
+    { "op": "declare_pub_input", "var": 61 },
+    { "op": "cond_select", "bit": 55, "a": 0, "b": 9 },
+    { "op": "declare_pub_input", "var": 62 },
+    { "op": "pi_skip", "guard": 55, "count": 5 },
+    { "op": "cond_select", "bit": 55, "a": 38, "b": 9 },
+    { "op": "declare_pub_input", "var": 63 },
+    { "op": "pi_skip", "guard": 55, "count": 1 },
+    { "op": "public_input", "guard": 55 },
+    { "op": "cond_select", "bit": 55, "a": 41, "b": 9 },
+    { "op": "declare_pub_input", "var": 65 },
+    { "op": "declare_pub_input", "var": 55 },
+    { "op": "declare_pub_input", "var": 55 },
+    { "op": "cond_select", "bit": 55, "a": 64, "b": 9 },
+    { "op": "declare_pub_input", "var": 66 },
+    { "op": "pi_skip", "guard": 55, "count": 4 },
+    { "op": "cond_select", "bit": 64, "a": 9, "b": 55 },
+    { "op": "cond_select", "bit": 67, "a": 13, "b": 9 },
+    { "op": "declare_pub_input", "var": 68 },
+    { "op": "pi_skip", "guard": 67, "count": 1 },
+    { "op": "cond_select", "bit": 67, "a": 14, "b": 9 },
+    { "op": "declare_pub_input", "var": 69 },
+    { "op": "declare_pub_input", "var": 67 },
+    { "op": "declare_pub_input", "var": 67 },
+    { "op": "declare_pub_input", "var": 67 },
+    { "op": "declare_pub_input", "var": 67 },
+    { "op": "declare_pub_input", "var": 67 },
+    { "op": "cond_select", "bit": 67, "a": 30, "b": 9 },
+    { "op": "declare_pub_input", "var": 70 },
+    { "op": "pi_skip", "guard": 67, "count": 7 },
+    { "op": "cond_select", "bit": 67, "a": 33, "b": 9 },
+    { "op": "declare_pub_input", "var": 71 },
+    { "op": "declare_pub_input", "var": 67 },
+    { "op": "declare_pub_input", "var": 67 },
+    { "op": "cond_select", "bit": 67, "a": 34, "b": 9 },
+    { "op": "declare_pub_input", "var": 72 },
+    { "op": "cond_select", "bit": 67, "a": 0, "b": 9 },
+    { "op": "declare_pub_input", "var": 73 },
+    { "op": "pi_skip", "guard": 67, "count": 5 },
+    { "op": "cond_select", "bit": 67, "a": 38, "b": 9 },
+    { "op": "declare_pub_input", "var": 74 },
+    { "op": "pi_skip", "guard": 67, "count": 1 },
+    { "op": "public_input", "guard": 67 },
+    { "op": "cond_select", "bit": 67, "a": 41, "b": 9 },
+    { "op": "declare_pub_input", "var": 76 },
+    { "op": "declare_pub_input", "var": 67 },
+    { "op": "declare_pub_input", "var": 67 },
+    { "op": "cond_select", "bit": 67, "a": 75, "b": 9 },
+    { "op": "declare_pub_input", "var": 77 },
+    { "op": "pi_skip", "guard": 67, "count": 4 },
+    { "op": "cond_select", "bit": 64, "a": 6, "b": 75 },
+    { "op": "cond_select", "bit": 78, "a": 9, "b": 6 },
+    { "op": "cond_select", "bit": 55, "a": 79, "b": 6 },
+    { "op": "assert", "cond": 80 },
+    { "op": "declare_pub_input", "var": 45 },
+    { "op": "declare_pub_input", "var": 6 },
+    { "op": "declare_pub_input", "var": 6 },
+    { "op": "declare_pub_input", "var": 6 },
+    { "op": "declare_pub_input", "var": 6 },
+    { "op": "declare_pub_input", "var": 6 },
+    { "op": "declare_pub_input", "var": 30 },
+    { "op": "pi_skip", "guard": 6, "count": 7 },
+    { "op": "declare_pub_input", "var": 33 },
+    { "op": "declare_pub_input", "var": 6 },
+    { "op": "declare_pub_input", "var": 6 },
+    { "op": "declare_pub_input", "var": 34 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "pi_skip", "guard": 6, "count": 5 },
+    { "op": "load_imm", "imm": "11" },
+    { "op": "load_imm", "imm": "-02" },
+    { "op": "declare_pub_input", "var": 81 },
+    { "op": "declare_pub_input", "var": 6 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "declare_pub_input", "var": 34 },
+    { "op": "declare_pub_input", "var": 82 },
+    { "op": "declare_pub_input", "var": 82 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 2 },
+    { "op": "pi_skip", "guard": 6, "count": 9 },
+    { "op": "load_imm", "imm": "91" },
+    { "op": "declare_pub_input", "var": 83 },
+    { "op": "pi_skip", "guard": 6, "count": 1 },
+    { "op": "declare_pub_input", "var": 53 },
+    { "op": "pi_skip", "guard": 6, "count": 1 },
+    { "op": "load_imm", "imm": "06" },
+    { "op": "declare_pub_input", "var": 45 },
+    { "op": "declare_pub_input", "var": 6 },
+    { "op": "declare_pub_input", "var": 6 },
+    { "op": "declare_pub_input", "var": 6 },
+    { "op": "declare_pub_input", "var": 6 },
+    { "op": "declare_pub_input", "var": 6 },
+    { "op": "declare_pub_input", "var": 84 },
+    { "op": "pi_skip", "guard": 6, "count": 7 },
+    { "op": "load_imm", "imm": "0E" },
+    { "op": "declare_pub_input", "var": 85 },
+    { "op": "declare_pub_input", "var": 6 },
+    { "op": "pi_skip", "guard": 6, "count": 2 },
+    { "op": "declare_pub_input", "var": 53 },
+    { "op": "pi_skip", "guard": 6, "count": 1 },
+    { "op": "declare_pub_input", "var": 45 },
+    { "op": "declare_pub_input", "var": 6 },
+    { "op": "declare_pub_input", "var": 6 },
+    { "op": "declare_pub_input", "var": 6 },
+    { "op": "declare_pub_input", "var": 6 },
+    { "op": "declare_pub_input", "var": 6 },
+    { "op": "declare_pub_input", "var": 6 },
+    { "op": "pi_skip", "guard": 6, "count": 7 },
+    { "op": "declare_pub_input", "var": 85 },
+    { "op": "declare_pub_input", "var": 6 },
+    { "op": "pi_skip", "guard": 6, "count": 2 },
+    { "op": "declare_pub_input", "var": 53 },
+    { "op": "pi_skip", "guard": 6, "count": 1 },
+    { "op": "private_input", "guard": null },
+    { "op": "constrain_bits", "var": 86, "bits": 64 },
+    { "op": "load_imm", "imm": "70" },
+    { "op": "declare_pub_input", "var": 87 },
+    { "op": "declare_pub_input", "var": 6 },
+    { "op": "declare_pub_input", "var": 6 },
+    { "op": "declare_pub_input", "var": 6 },
+    { "op": "pi_skip", "guard": 6, "count": 4 },
+    { "op": "declare_pub_input", "var": 33 },
+    { "op": "declare_pub_input", "var": 6 },
+    { "op": "declare_pub_input", "var": 6 },
+    { "op": "declare_pub_input", "var": 6 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "pi_skip", "guard": 6, "count": 5 },
+    { "op": "declare_pub_input", "var": 81 },
+    { "op": "declare_pub_input", "var": 6 },
+    { "op": "declare_pub_input", "var": 6 },
+    { "op": "declare_pub_input", "var": 30 },
+    { "op": "declare_pub_input", "var": 86 },
+    { "op": "pi_skip", "guard": 6, "count": 5 },
+    { "op": "declare_pub_input", "var": 83 },
+    { "op": "pi_skip", "guard": 6, "count": 1 },
+    { "op": "load_imm", "imm": "A1" },
+    { "op": "declare_pub_input", "var": 88 },
+    { "op": "pi_skip", "guard": 6, "count": 1 }
+  ]
+}