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

package/dist/managed/did/zkir/setService.zkir

@@ -0,0 +1,256 @@
+{
+  "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": "0E" },
+    { "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": "cond_select", "bit": 55, "a": 14, "b": 9 },
+    { "op": "declare_pub_input", "var": 57 },
+    { "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": 30, "b": 9 },
+    { "op": "declare_pub_input", "var": 58 },
+    { "op": "pi_skip", "guard": 55, "count": 7 },
+    { "op": "cond_select", "bit": 55, "a": 33, "b": 9 },
+    { "op": "declare_pub_input", "var": 59 },
+    { "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": 60 },
+    { "op": "cond_select", "bit": 55, "a": 0, "b": 9 },
+    { "op": "declare_pub_input", "var": 61 },
+    { "op": "pi_skip", "guard": 55, "count": 5 },
+    { "op": "cond_select", "bit": 55, "a": 38, "b": 9 },
+    { "op": "declare_pub_input", "var": 62 },
+    { "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": 64 },
+    { "op": "declare_pub_input", "var": 55 },
+    { "op": "declare_pub_input", "var": 55 },
+    { "op": "cond_select", "bit": 55, "a": 63, "b": 9 },
+    { "op": "declare_pub_input", "var": 65 },
+    { "op": "pi_skip", "guard": 55, "count": 4 },
+    { "op": "cond_select", "bit": 63, "a": 9, "b": 6 },
+    { "op": "cond_select", "bit": 55, "a": 66, "b": 6 },
+    { "op": "assert", "cond": 67 },
+    { "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": "declare_pub_input", "var": 68 },
+    { "op": "declare_pub_input", "var": 6 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "declare_pub_input", "var": 34 },
+    { "op": "declare_pub_input", "var": 34 },
+    { "op": "declare_pub_input", "var": 34 },
+    { "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": 69 },
+    { "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": 70 },
+    { "op": "pi_skip", "guard": 6, "count": 7 },
+    { "op": "declare_pub_input", "var": 30 },
+    { "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": 30 },
+    { "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": 71, "bits": 64 },
+    { "op": "load_imm", "imm": "70" },
+    { "op": "declare_pub_input", "var": 72 },
+    { "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": "load_imm", "imm": "08" },
+    { "op": "declare_pub_input", "var": 68 },
+    { "op": "declare_pub_input", "var": 6 },
+    { "op": "declare_pub_input", "var": 6 },
+    { "op": "declare_pub_input", "var": 73 },
+    { "op": "declare_pub_input", "var": 71 },
+    { "op": "pi_skip", "guard": 6, "count": 5 },
+    { "op": "declare_pub_input", "var": 69 },
+    { "op": "pi_skip", "guard": 6, "count": 1 },
+    { "op": "load_imm", "imm": "A1" },
+    { "op": "declare_pub_input", "var": 74 },
+    { "op": "pi_skip", "guard": 6, "count": 1 }
+  ]
+}

package/dist/managed/did/zkir/setVerificationMethod.zkir

@@ -0,0 +1,326 @@
+{
+  "version": { "major": 2, "minor": 0 },
+  "do_communications_commitment": true,
+  "num_inputs": 7,
+  "instructions": [
+    { "op": "constrain_to_boolean", "var": 1 },
+    { "op": "constrain_bits", "var": 2, "bits": 2 },
+    { "op": "load_imm", "imm": "07" },
+    { "op": "less_than", "a": 3, "b": 7, "bits": 4 },
+    { "op": "assert", "cond": 8 },
+    { "op": "load_imm", "imm": "03" },
+    { "op": "less_than", "a": 6, "b": 9, "bits": 2 },
+    { "op": "assert", "cond": 10 },
+    { "op": "load_imm", "imm": "01" },
+    { "op": "private_input", "guard": null },
+    { "op": "constrain_bits", "var": 12, "bits": 8 },
+    { "op": "private_input", "guard": null },
+    { "op": "constrain_bits", "var": 13, "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": [14, 15, 12, 13] },
+    { "op": "load_imm", "imm": "30" },
+    { "op": "declare_pub_input", "var": 18 },
+    { "op": "pi_skip", "guard": 11, "count": 1 },
+    { "op": "load_imm", "imm": "51" },
+    { "op": "declare_pub_input", "var": 19 },
+    { "op": "declare_pub_input", "var": 11 },
+    { "op": "declare_pub_input", "var": 11 },
+    { "op": "declare_pub_input", "var": 14 },
+    { "op": "declare_pub_input", "var": 11 },
+    { "op": "declare_pub_input", "var": 11 },
+    { "op": "declare_pub_input", "var": 11 },
+    { "op": "pi_skip", "guard": 11, "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": 23 },
+    { "op": "declare_pub_input", "var": 11 },
+    { "op": "declare_pub_input", "var": 22 },
+    { "op": "declare_pub_input", "var": 20 },
+    { "op": "declare_pub_input", "var": 21 },
+    { "op": "pi_skip", "guard": 11, "count": 5 },
+    { "op": "test_eq", "a": 16, "b": 20 },
+    { "op": "test_eq", "a": 17, "b": 21 },
+    { "op": "cond_select", "bit": 24, "a": 25, "b": 14 },
+    { "op": "assert", "cond": 26 },
+    { "op": "declare_pub_input", "var": 18 },
+    { "op": "pi_skip", "guard": 11, "count": 1 },
+    { "op": "load_imm", "imm": "05" },
+    { "op": "declare_pub_input", "var": 19 },
+    { "op": "declare_pub_input", "var": 11 },
+    { "op": "declare_pub_input", "var": 11 },
+    { "op": "declare_pub_input", "var": 11 },
+    { "op": "declare_pub_input", "var": 11 },
+    { "op": "declare_pub_input", "var": 11 },
+    { "op": "declare_pub_input", "var": 27 },
+    { "op": "pi_skip", "guard": 11, "count": 7 },
+    { "op": "public_input", "guard": null },
+    { "op": "declare_pub_input", "var": 23 },
+    { "op": "declare_pub_input", "var": 11 },
+    { "op": "declare_pub_input", "var": 11 },
+    { "op": "declare_pub_input", "var": 28 },
+    { "op": "pi_skip", "guard": 11, "count": 4 },
+    { "op": "assert", "cond": 28 },
+    { "op": "test_eq", "a": 6, "b": 11 },
+    { "op": "load_imm", "imm": "02" },
+    { "op": "test_eq", "a": 6, "b": 30 },
+    { "op": "cond_select", "bit": 29, "a": 11, "b": 31 },
+    { "op": "assert", "cond": 32 },
+    { "op": "test_eq", "a": 1, "b": 11 },
+    { "op": "assert", "cond": 33 },
+    { "op": "test_eq", "a": 2, "b": 9 },
+    { "op": "cond_select", "bit": 34, "a": 14, "b": 11 },
+    { "op": "test_eq", "a": 3, "b": 14 },
+    { "op": "test_eq", "a": 3, "b": 11 },
+    { "op": "cond_select", "bit": 36, "a": 11, "b": 37 },
+    { "op": "test_eq", "a": 3, "b": 27 },
+    { "op": "cond_select", "bit": 38, "a": 11, "b": 39 },
+    { "op": "load_imm", "imm": "06" },
+    { "op": "test_eq", "a": 3, "b": 41 },
+    { "op": "cond_select", "bit": 40, "a": 11, "b": 42 },
+    { "op": "cond_select", "bit": 34, "a": 43, "b": 11 },
+    { "op": "assert", "cond": 44 },
+    { "op": "test_eq", "a": 2, "b": 14 },
+    { "op": "cond_select", "bit": 45, "a": 35, "b": 14 },
+    { "op": "cond_select", "bit": 45, "a": 14, "b": 35 },
+    { "op": "test_eq", "a": 3, "b": 9 },
+    { "op": "load_imm", "imm": "04" },
+    { "op": "test_eq", "a": 3, "b": 49 },
+    { "op": "cond_select", "bit": 48, "a": 11, "b": 50 },
+    { "op": "cond_select", "bit": 46, "a": 51, "b": 11 },
+    { "op": "assert", "cond": 52 },
+    { "op": "cond_select", "bit": 47, "a": 14, "b": 11 },
+    { "op": "assert", "cond": 53 },
+    { "op": "cond_select", "bit": 31, "a": 14, "b": 11 },
+    { "op": "cond_select", "bit": 31, "a": 18, "b": 14 },
+    { "op": "declare_pub_input", "var": 55 },
+    { "op": "pi_skip", "guard": 31, "count": 1 },
+    { "op": "cond_select", "bit": 31, "a": 19, "b": 14 },
+    { "op": "declare_pub_input", "var": 56 },
+    { "op": "declare_pub_input", "var": 31 },
+    { "op": "declare_pub_input", "var": 31 },
+    { "op": "declare_pub_input", "var": 31 },
+    { "op": "declare_pub_input", "var": 31 },
+    { "op": "declare_pub_input", "var": 31 },
+    { "op": "cond_select", "bit": 31, "a": 7, "b": 14 },
+    { "op": "declare_pub_input", "var": 57 },
+    { "op": "pi_skip", "guard": 31, "count": 7 },
+    { "op": "load_imm", "imm": "10" },
+    { "op": "load_imm", "imm": "-01" },
+    { "op": "cond_select", "bit": 31, "a": 58, "b": 14 },
+    { "op": "declare_pub_input", "var": 60 },
+    { "op": "declare_pub_input", "var": 31 },
+    { "op": "declare_pub_input", "var": 31 },
+    { "op": "cond_select", "bit": 31, "a": 59, "b": 14 },
+    { "op": "declare_pub_input", "var": 61 },
+    { "op": "cond_select", "bit": 31, "a": 0, "b": 14 },
+    { "op": "declare_pub_input", "var": 62 },
+    { "op": "pi_skip", "guard": 31, "count": 5 },
+    { "op": "load_imm", "imm": "18" },
+    { "op": "cond_select", "bit": 31, "a": 63, "b": 14 },
+    { "op": "declare_pub_input", "var": 64 },
+    { "op": "pi_skip", "guard": 31, "count": 1 },
+    { "op": "public_input", "guard": 31 },
+    { "op": "load_imm", "imm": "0D" },
+    { "op": "cond_select", "bit": 31, "a": 66, "b": 14 },
+    { "op": "declare_pub_input", "var": 67 },
+    { "op": "declare_pub_input", "var": 31 },
+    { "op": "declare_pub_input", "var": 31 },
+    { "op": "cond_select", "bit": 31, "a": 65, "b": 14 },
+    { "op": "declare_pub_input", "var": 68 },
+    { "op": "pi_skip", "guard": 31, "count": 4 },
+    { "op": "cond_select", "bit": 31, "a": 65, "b": 11 },
+    { "op": "assert", "cond": 69 },
+    { "op": "load_imm", "imm": "71" },
+    { "op": "cond_select", "bit": 31, "a": 70, "b": 14 },
+    { "op": "declare_pub_input", "var": 71 },
+    { "op": "declare_pub_input", "var": 31 },
+    { "op": "declare_pub_input", "var": 31 },
+    { "op": "declare_pub_input", "var": 31 },
+    { "op": "declare_pub_input", "var": 31 },
+    { "op": "declare_pub_input", "var": 31 },
+    { "op": "cond_select", "bit": 31, "a": 7, "b": 14 },
+    { "op": "declare_pub_input", "var": 72 },
+    { "op": "pi_skip", "guard": 31, "count": 7 },
+    { "op": "cond_select", "bit": 31, "a": 58, "b": 14 },
+    { "op": "declare_pub_input", "var": 73 },
+    { "op": "declare_pub_input", "var": 31 },
+    { "op": "declare_pub_input", "var": 31 },
+    { "op": "cond_select", "bit": 31, "a": 59, "b": 14 },
+    { "op": "declare_pub_input", "var": 74 },
+    { "op": "cond_select", "bit": 31, "a": 0, "b": 14 },
+    { "op": "declare_pub_input", "var": 75 },
+    { "op": "pi_skip", "guard": 31, "count": 5 },
+    { "op": "load_imm", "imm": "19" },
+    { "op": "cond_select", "bit": 31, "a": 76, "b": 14 },
+    { "op": "declare_pub_input", "var": 77 },
+    { "op": "pi_skip", "guard": 31, "count": 1 },
+    { "op": "load_imm", "imm": "A2" },
+    { "op": "cond_select", "bit": 31, "a": 78, "b": 14 },
+    { "op": "declare_pub_input", "var": 79 },
+    { "op": "pi_skip", "guard": 31, "count": 1 },
+    { "op": "cond_select", "bit": 29, "a": 54, "b": 14 },
+    { "op": "cond_select", "bit": 80, "a": 18, "b": 14 },
+    { "op": "declare_pub_input", "var": 81 },
+    { "op": "pi_skip", "guard": 80, "count": 1 },
+    { "op": "cond_select", "bit": 80, "a": 19, "b": 14 },
+    { "op": "declare_pub_input", "var": 82 },
+    { "op": "declare_pub_input", "var": 80 },
+    { "op": "declare_pub_input", "var": 80 },
+    { "op": "declare_pub_input", "var": 80 },
+    { "op": "declare_pub_input", "var": 80 },
+    { "op": "declare_pub_input", "var": 80 },
+    { "op": "cond_select", "bit": 80, "a": 7, "b": 14 },
+    { "op": "declare_pub_input", "var": 83 },
+    { "op": "pi_skip", "guard": 80, "count": 7 },
+    { "op": "cond_select", "bit": 80, "a": 58, "b": 14 },
+    { "op": "declare_pub_input", "var": 84 },
+    { "op": "declare_pub_input", "var": 80 },
+    { "op": "declare_pub_input", "var": 80 },
+    { "op": "cond_select", "bit": 80, "a": 59, "b": 14 },
+    { "op": "declare_pub_input", "var": 85 },
+    { "op": "cond_select", "bit": 80, "a": 0, "b": 14 },
+    { "op": "declare_pub_input", "var": 86 },
+    { "op": "pi_skip", "guard": 80, "count": 5 },
+    { "op": "cond_select", "bit": 80, "a": 63, "b": 14 },
+    { "op": "declare_pub_input", "var": 87 },
+    { "op": "pi_skip", "guard": 80, "count": 1 },
+    { "op": "public_input", "guard": 80 },
+    { "op": "cond_select", "bit": 80, "a": 66, "b": 14 },
+    { "op": "declare_pub_input", "var": 89 },
+    { "op": "declare_pub_input", "var": 80 },
+    { "op": "declare_pub_input", "var": 80 },
+    { "op": "cond_select", "bit": 80, "a": 88, "b": 14 },
+    { "op": "declare_pub_input", "var": 90 },
+    { "op": "pi_skip", "guard": 80, "count": 4 },
+    { "op": "cond_select", "bit": 88, "a": 14, "b": 80 },
+    { "op": "cond_select", "bit": 91, "a": 18, "b": 14 },
+    { "op": "declare_pub_input", "var": 92 },
+    { "op": "pi_skip", "guard": 91, "count": 1 },
+    { "op": "load_imm", "imm": "08" },
+    { "op": "cond_select", "bit": 91, "a": 19, "b": 14 },
+    { "op": "declare_pub_input", "var": 94 },
+    { "op": "declare_pub_input", "var": 91 },
+    { "op": "declare_pub_input", "var": 91 },
+    { "op": "declare_pub_input", "var": 91 },
+    { "op": "declare_pub_input", "var": 91 },
+    { "op": "declare_pub_input", "var": 91 },
+    { "op": "cond_select", "bit": 91, "a": 93, "b": 14 },
+    { "op": "declare_pub_input", "var": 95 },
+    { "op": "pi_skip", "guard": 91, "count": 7 },
+    { "op": "cond_select", "bit": 91, "a": 58, "b": 14 },
+    { "op": "declare_pub_input", "var": 96 },
+    { "op": "declare_pub_input", "var": 91 },
+    { "op": "declare_pub_input", "var": 91 },
+    { "op": "cond_select", "bit": 91, "a": 59, "b": 14 },
+    { "op": "declare_pub_input", "var": 97 },
+    { "op": "cond_select", "bit": 91, "a": 0, "b": 14 },
+    { "op": "declare_pub_input", "var": 98 },
+    { "op": "pi_skip", "guard": 91, "count": 5 },
+    { "op": "cond_select", "bit": 91, "a": 63, "b": 14 },
+    { "op": "declare_pub_input", "var": 99 },
+    { "op": "pi_skip", "guard": 91, "count": 1 },
+    { "op": "public_input", "guard": 91 },
+    { "op": "cond_select", "bit": 91, "a": 66, "b": 14 },
+    { "op": "declare_pub_input", "var": 101 },
+    { "op": "declare_pub_input", "var": 91 },
+    { "op": "declare_pub_input", "var": 91 },
+    { "op": "cond_select", "bit": 91, "a": 100, "b": 14 },
+    { "op": "declare_pub_input", "var": 102 },
+    { "op": "pi_skip", "guard": 91, "count": 4 },
+    { "op": "cond_select", "bit": 88, "a": 11, "b": 100 },
+    { "op": "cond_select", "bit": 103, "a": 14, "b": 11 },
+    { "op": "cond_select", "bit": 80, "a": 104, "b": 11 },
+    { "op": "assert", "cond": 105 },
+    { "op": "declare_pub_input", "var": 70 },
+    { "op": "declare_pub_input", "var": 11 },
+    { "op": "declare_pub_input", "var": 11 },
+    { "op": "declare_pub_input", "var": 11 },
+    { "op": "declare_pub_input", "var": 11 },
+    { "op": "declare_pub_input", "var": 11 },
+    { "op": "declare_pub_input", "var": 7 },
+    { "op": "pi_skip", "guard": 11, "count": 7 },
+    { "op": "declare_pub_input", "var": 58 },
+    { "op": "declare_pub_input", "var": 11 },
+    { "op": "declare_pub_input", "var": 11 },
+    { "op": "declare_pub_input", "var": 59 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "pi_skip", "guard": 11, "count": 5 },
+    { "op": "load_imm", "imm": "11" },
+    { "op": "declare_pub_input", "var": 106 },
+    { "op": "declare_pub_input", "var": 11 },
+    { "op": "declare_pub_input", "var": 41 },
+    { "op": "declare_pub_input", "var": 59 },
+    { "op": "declare_pub_input", "var": 11 },
+    { "op": "declare_pub_input", "var": 11 },
+    { "op": "declare_pub_input", "var": 11 },
+    { "op": "declare_pub_input", "var": 59 },
+    { "op": "declare_pub_input", "var": 59 },
+    { "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": "declare_pub_input", "var": 5 },
+    { "op": "pi_skip", "guard": 11, "count": 15 },
+    { "op": "load_imm", "imm": "91" },
+    { "op": "declare_pub_input", "var": 107 },
+    { "op": "pi_skip", "guard": 11, "count": 1 },
+    { "op": "declare_pub_input", "var": 78 },
+    { "op": "pi_skip", "guard": 11, "count": 1 },
+    { "op": "declare_pub_input", "var": 70 },
+    { "op": "declare_pub_input", "var": 11 },
+    { "op": "declare_pub_input", "var": 11 },
+    { "op": "declare_pub_input", "var": 11 },
+    { "op": "declare_pub_input", "var": 11 },
+    { "op": "declare_pub_input", "var": 11 },
+    { "op": "declare_pub_input", "var": 41 },
+    { "op": "pi_skip", "guard": 11, "count": 7 },
+    { "op": "load_imm", "imm": "0E" },
+    { "op": "declare_pub_input", "var": 108 },
+    { "op": "declare_pub_input", "var": 11 },
+    { "op": "pi_skip", "guard": 11, "count": 2 },
+    { "op": "declare_pub_input", "var": 78 },
+    { "op": "pi_skip", "guard": 11, "count": 1 },
+    { "op": "declare_pub_input", "var": 70 },
+    { "op": "declare_pub_input", "var": 11 },
+    { "op": "declare_pub_input", "var": 11 },
+    { "op": "declare_pub_input", "var": 11 },
+    { "op": "declare_pub_input", "var": 11 },
+    { "op": "declare_pub_input", "var": 11 },
+    { "op": "declare_pub_input", "var": 11 },
+    { "op": "pi_skip", "guard": 11, "count": 7 },
+    { "op": "declare_pub_input", "var": 108 },
+    { "op": "declare_pub_input", "var": 11 },
+    { "op": "pi_skip", "guard": 11, "count": 2 },
+    { "op": "declare_pub_input", "var": 78 },
+    { "op": "pi_skip", "guard": 11, "count": 1 },
+    { "op": "private_input", "guard": null },
+    { "op": "constrain_bits", "var": 109, "bits": 64 },
+    { "op": "load_imm", "imm": "70" },
+    { "op": "declare_pub_input", "var": 110 },
+    { "op": "declare_pub_input", "var": 11 },
+    { "op": "declare_pub_input", "var": 11 },
+    { "op": "declare_pub_input", "var": 11 },
+    { "op": "pi_skip", "guard": 11, "count": 4 },
+    { "op": "declare_pub_input", "var": 58 },
+    { "op": "declare_pub_input", "var": 11 },
+    { "op": "declare_pub_input", "var": 11 },
+    { "op": "declare_pub_input", "var": 11 },
+    { "op": "declare_pub_input", "var": 9 },
+    { "op": "pi_skip", "guard": 11, "count": 5 },
+    { "op": "declare_pub_input", "var": 106 },
+    { "op": "declare_pub_input", "var": 11 },
+    { "op": "declare_pub_input", "var": 11 },
+    { "op": "declare_pub_input", "var": 93 },
+    { "op": "declare_pub_input", "var": 109 },
+    { "op": "pi_skip", "guard": 11, "count": 5 },
+    { "op": "declare_pub_input", "var": 107 },
+    { "op": "pi_skip", "guard": 11, "count": 1 },
+    { "op": "load_imm", "imm": "A1" },
+    { "op": "declare_pub_input", "var": 111 },
+    { "op": "pi_skip", "guard": 11, "count": 1 }
+  ]
+}