@midnames/sdk 1.0.1 → 1.0.4

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

@@ -0,0 +1,401 @@
+{
+  "version": { "major": 2, "minor": 0 },
+  "do_communications_commitment": true,
+  "num_inputs": 7,
+  "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": "constrain_bits", "var": 4, "bits": 32 },
+    { "op": "constrain_bits", "var": 5, "bits": 8 },
+    { "op": "constrain_bits", "var": 6, "bits": 248 },
+    { "op": "load_imm", "imm": "20" },
+    { "op": "less_than", "a": 7, "b": 4, "bits": 32 },
+    { "op": "load_imm", "imm": "00" },
+    { "op": "load_imm", "imm": "01" },
+    { "op": "cond_select", "bit": 8, "a": 9, "b": 10 },
+    { "op": "assert", "cond": 11 },
+    { "op": "less_than", "a": 4, "b": 10, "bits": 32 },
+    { "op": "cond_select", "bit": 12, "a": 9, "b": 10 },
+    { "op": "assert", "cond": 13 },
+    { "op": "div_mod_power_of_two", "var": 3, "bits": 0 },
+    { "op": "div_mod_power_of_two", "var": 14, "bits": 8 },
+    { "op": "less_than", "a": 9, "b": 4, "bits": 32 },
+    { "op": "load_imm", "imm": "FF" },
+    { "op": "test_eq", "a": 17, "b": 19 },
+    { "op": "cond_select", "bit": 18, "a": 10, "b": 20 },
+    { "op": "div_mod_power_of_two", "var": 3, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 22, "bits": 8 },
+    { "op": "less_than", "a": 10, "b": 4, "bits": 32 },
+    { "op": "test_eq", "a": 25, "b": 19 },
+    { "op": "cond_select", "bit": 26, "a": 10, "b": 27 },
+    { "op": "cond_select", "bit": 21, "a": 28, "b": 9 },
+    { "op": "div_mod_power_of_two", "var": 3, "bits": 16 },
+    { "op": "div_mod_power_of_two", "var": 30, "bits": 8 },
+    { "op": "load_imm", "imm": "02" },
+    { "op": "less_than", "a": 34, "b": 4, "bits": 32 },
+    { "op": "test_eq", "a": 33, "b": 19 },
+    { "op": "cond_select", "bit": 35, "a": 10, "b": 36 },
+    { "op": "cond_select", "bit": 29, "a": 37, "b": 9 },
+    { "op": "div_mod_power_of_two", "var": 3, "bits": 24 },
+    { "op": "div_mod_power_of_two", "var": 39, "bits": 8 },
+    { "op": "load_imm", "imm": "03" },
+    { "op": "less_than", "a": 43, "b": 4, "bits": 32 },
+    { "op": "test_eq", "a": 42, "b": 19 },
+    { "op": "cond_select", "bit": 44, "a": 10, "b": 45 },
+    { "op": "cond_select", "bit": 38, "a": 46, "b": 9 },
+    { "op": "div_mod_power_of_two", "var": 3, "bits": 32 },
+    { "op": "div_mod_power_of_two", "var": 48, "bits": 8 },
+    { "op": "load_imm", "imm": "04" },
+    { "op": "less_than", "a": 52, "b": 4, "bits": 32 },
+    { "op": "test_eq", "a": 51, "b": 19 },
+    { "op": "cond_select", "bit": 53, "a": 10, "b": 54 },
+    { "op": "cond_select", "bit": 47, "a": 55, "b": 9 },
+    { "op": "div_mod_power_of_two", "var": 3, "bits": 40 },
+    { "op": "div_mod_power_of_two", "var": 57, "bits": 8 },
+    { "op": "load_imm", "imm": "05" },
+    { "op": "less_than", "a": 61, "b": 4, "bits": 32 },
+    { "op": "test_eq", "a": 60, "b": 19 },
+    { "op": "cond_select", "bit": 62, "a": 10, "b": 63 },
+    { "op": "cond_select", "bit": 56, "a": 64, "b": 9 },
+    { "op": "div_mod_power_of_two", "var": 3, "bits": 48 },
+    { "op": "div_mod_power_of_two", "var": 66, "bits": 8 },
+    { "op": "load_imm", "imm": "06" },
+    { "op": "less_than", "a": 70, "b": 4, "bits": 32 },
+    { "op": "test_eq", "a": 69, "b": 19 },
+    { "op": "cond_select", "bit": 71, "a": 10, "b": 72 },
+    { "op": "cond_select", "bit": 65, "a": 73, "b": 9 },
+    { "op": "div_mod_power_of_two", "var": 3, "bits": 56 },
+    { "op": "div_mod_power_of_two", "var": 75, "bits": 8 },
+    { "op": "load_imm", "imm": "07" },
+    { "op": "less_than", "a": 79, "b": 4, "bits": 32 },
+    { "op": "test_eq", "a": 78, "b": 19 },
+    { "op": "cond_select", "bit": 80, "a": 10, "b": 81 },
+    { "op": "cond_select", "bit": 74, "a": 82, "b": 9 },
+    { "op": "div_mod_power_of_two", "var": 3, "bits": 64 },
+    { "op": "div_mod_power_of_two", "var": 84, "bits": 8 },
+    { "op": "load_imm", "imm": "08" },
+    { "op": "less_than", "a": 88, "b": 4, "bits": 32 },
+    { "op": "test_eq", "a": 87, "b": 19 },
+    { "op": "cond_select", "bit": 89, "a": 10, "b": 90 },
+    { "op": "cond_select", "bit": 83, "a": 91, "b": 9 },
+    { "op": "div_mod_power_of_two", "var": 3, "bits": 72 },
+    { "op": "div_mod_power_of_two", "var": 93, "bits": 8 },
+    { "op": "load_imm", "imm": "09" },
+    { "op": "less_than", "a": 97, "b": 4, "bits": 32 },
+    { "op": "test_eq", "a": 96, "b": 19 },
+    { "op": "cond_select", "bit": 98, "a": 10, "b": 99 },
+    { "op": "cond_select", "bit": 92, "a": 100, "b": 9 },
+    { "op": "div_mod_power_of_two", "var": 3, "bits": 80 },
+    { "op": "div_mod_power_of_two", "var": 102, "bits": 8 },
+    { "op": "load_imm", "imm": "0A" },
+    { "op": "less_than", "a": 106, "b": 4, "bits": 32 },
+    { "op": "test_eq", "a": 105, "b": 19 },
+    { "op": "cond_select", "bit": 107, "a": 10, "b": 108 },
+    { "op": "cond_select", "bit": 101, "a": 109, "b": 9 },
+    { "op": "div_mod_power_of_two", "var": 3, "bits": 88 },
+    { "op": "div_mod_power_of_two", "var": 111, "bits": 8 },
+    { "op": "load_imm", "imm": "0B" },
+    { "op": "less_than", "a": 115, "b": 4, "bits": 32 },
+    { "op": "test_eq", "a": 114, "b": 19 },
+    { "op": "cond_select", "bit": 116, "a": 10, "b": 117 },
+    { "op": "cond_select", "bit": 110, "a": 118, "b": 9 },
+    { "op": "div_mod_power_of_two", "var": 3, "bits": 96 },
+    { "op": "div_mod_power_of_two", "var": 120, "bits": 8 },
+    { "op": "load_imm", "imm": "0C" },
+    { "op": "less_than", "a": 124, "b": 4, "bits": 32 },
+    { "op": "test_eq", "a": 123, "b": 19 },
+    { "op": "cond_select", "bit": 125, "a": 10, "b": 126 },
+    { "op": "cond_select", "bit": 119, "a": 127, "b": 9 },
+    { "op": "div_mod_power_of_two", "var": 3, "bits": 104 },
+    { "op": "div_mod_power_of_two", "var": 129, "bits": 8 },
+    { "op": "load_imm", "imm": "0D" },
+    { "op": "less_than", "a": 133, "b": 4, "bits": 32 },
+    { "op": "test_eq", "a": 132, "b": 19 },
+    { "op": "cond_select", "bit": 134, "a": 10, "b": 135 },
+    { "op": "cond_select", "bit": 128, "a": 136, "b": 9 },
+    { "op": "div_mod_power_of_two", "var": 3, "bits": 112 },
+    { "op": "div_mod_power_of_two", "var": 138, "bits": 8 },
+    { "op": "load_imm", "imm": "0E" },
+    { "op": "less_than", "a": 142, "b": 4, "bits": 32 },
+    { "op": "test_eq", "a": 141, "b": 19 },
+    { "op": "cond_select", "bit": 143, "a": 10, "b": 144 },
+    { "op": "cond_select", "bit": 137, "a": 145, "b": 9 },
+    { "op": "div_mod_power_of_two", "var": 3, "bits": 120 },
+    { "op": "div_mod_power_of_two", "var": 147, "bits": 8 },
+    { "op": "load_imm", "imm": "0F" },
+    { "op": "less_than", "a": 151, "b": 4, "bits": 32 },
+    { "op": "test_eq", "a": 150, "b": 19 },
+    { "op": "cond_select", "bit": 152, "a": 10, "b": 153 },
+    { "op": "cond_select", "bit": 146, "a": 154, "b": 9 },
+    { "op": "div_mod_power_of_two", "var": 3, "bits": 128 },
+    { "op": "div_mod_power_of_two", "var": 156, "bits": 8 },
+    { "op": "load_imm", "imm": "10" },
+    { "op": "less_than", "a": 160, "b": 4, "bits": 32 },
+    { "op": "test_eq", "a": 159, "b": 19 },
+    { "op": "cond_select", "bit": 161, "a": 10, "b": 162 },
+    { "op": "cond_select", "bit": 155, "a": 163, "b": 9 },
+    { "op": "div_mod_power_of_two", "var": 3, "bits": 136 },
+    { "op": "div_mod_power_of_two", "var": 165, "bits": 8 },
+    { "op": "load_imm", "imm": "11" },
+    { "op": "less_than", "a": 169, "b": 4, "bits": 32 },
+    { "op": "test_eq", "a": 168, "b": 19 },
+    { "op": "cond_select", "bit": 170, "a": 10, "b": 171 },
+    { "op": "cond_select", "bit": 164, "a": 172, "b": 9 },
+    { "op": "div_mod_power_of_two", "var": 3, "bits": 144 },
+    { "op": "div_mod_power_of_two", "var": 174, "bits": 8 },
+    { "op": "load_imm", "imm": "12" },
+    { "op": "less_than", "a": 178, "b": 4, "bits": 32 },
+    { "op": "test_eq", "a": 177, "b": 19 },
+    { "op": "cond_select", "bit": 179, "a": 10, "b": 180 },
+    { "op": "cond_select", "bit": 173, "a": 181, "b": 9 },
+    { "op": "div_mod_power_of_two", "var": 3, "bits": 152 },
+    { "op": "div_mod_power_of_two", "var": 183, "bits": 8 },
+    { "op": "load_imm", "imm": "13" },
+    { "op": "less_than", "a": 187, "b": 4, "bits": 32 },
+    { "op": "test_eq", "a": 186, "b": 19 },
+    { "op": "cond_select", "bit": 188, "a": 10, "b": 189 },
+    { "op": "cond_select", "bit": 182, "a": 190, "b": 9 },
+    { "op": "div_mod_power_of_two", "var": 3, "bits": 160 },
+    { "op": "div_mod_power_of_two", "var": 192, "bits": 8 },
+    { "op": "load_imm", "imm": "14" },
+    { "op": "less_than", "a": 196, "b": 4, "bits": 32 },
+    { "op": "test_eq", "a": 195, "b": 19 },
+    { "op": "cond_select", "bit": 197, "a": 10, "b": 198 },
+    { "op": "cond_select", "bit": 191, "a": 199, "b": 9 },
+    { "op": "div_mod_power_of_two", "var": 3, "bits": 168 },
+    { "op": "div_mod_power_of_two", "var": 201, "bits": 8 },
+    { "op": "load_imm", "imm": "15" },
+    { "op": "less_than", "a": 205, "b": 4, "bits": 32 },
+    { "op": "test_eq", "a": 204, "b": 19 },
+    { "op": "cond_select", "bit": 206, "a": 10, "b": 207 },
+    { "op": "cond_select", "bit": 200, "a": 208, "b": 9 },
+    { "op": "div_mod_power_of_two", "var": 3, "bits": 176 },
+    { "op": "div_mod_power_of_two", "var": 210, "bits": 8 },
+    { "op": "load_imm", "imm": "16" },
+    { "op": "less_than", "a": 214, "b": 4, "bits": 32 },
+    { "op": "test_eq", "a": 213, "b": 19 },
+    { "op": "cond_select", "bit": 215, "a": 10, "b": 216 },
+    { "op": "cond_select", "bit": 209, "a": 217, "b": 9 },
+    { "op": "div_mod_power_of_two", "var": 3, "bits": 184 },
+    { "op": "div_mod_power_of_two", "var": 219, "bits": 8 },
+    { "op": "load_imm", "imm": "17" },
+    { "op": "less_than", "a": 223, "b": 4, "bits": 32 },
+    { "op": "test_eq", "a": 222, "b": 19 },
+    { "op": "cond_select", "bit": 224, "a": 10, "b": 225 },
+    { "op": "cond_select", "bit": 218, "a": 226, "b": 9 },
+    { "op": "div_mod_power_of_two", "var": 3, "bits": 192 },
+    { "op": "div_mod_power_of_two", "var": 228, "bits": 8 },
+    { "op": "load_imm", "imm": "18" },
+    { "op": "less_than", "a": 232, "b": 4, "bits": 32 },
+    { "op": "test_eq", "a": 231, "b": 19 },
+    { "op": "cond_select", "bit": 233, "a": 10, "b": 234 },
+    { "op": "cond_select", "bit": 227, "a": 235, "b": 9 },
+    { "op": "div_mod_power_of_two", "var": 3, "bits": 200 },
+    { "op": "div_mod_power_of_two", "var": 237, "bits": 8 },
+    { "op": "load_imm", "imm": "19" },
+    { "op": "less_than", "a": 241, "b": 4, "bits": 32 },
+    { "op": "test_eq", "a": 240, "b": 19 },
+    { "op": "cond_select", "bit": 242, "a": 10, "b": 243 },
+    { "op": "cond_select", "bit": 236, "a": 244, "b": 9 },
+    { "op": "div_mod_power_of_two", "var": 3, "bits": 208 },
+    { "op": "div_mod_power_of_two", "var": 246, "bits": 8 },
+    { "op": "load_imm", "imm": "1A" },
+    { "op": "less_than", "a": 250, "b": 4, "bits": 32 },
+    { "op": "test_eq", "a": 249, "b": 19 },
+    { "op": "cond_select", "bit": 251, "a": 10, "b": 252 },
+    { "op": "cond_select", "bit": 245, "a": 253, "b": 9 },
+    { "op": "div_mod_power_of_two", "var": 3, "bits": 216 },
+    { "op": "div_mod_power_of_two", "var": 255, "bits": 8 },
+    { "op": "load_imm", "imm": "1B" },
+    { "op": "less_than", "a": 259, "b": 4, "bits": 32 },
+    { "op": "test_eq", "a": 258, "b": 19 },
+    { "op": "cond_select", "bit": 260, "a": 10, "b": 261 },
+    { "op": "cond_select", "bit": 254, "a": 262, "b": 9 },
+    { "op": "div_mod_power_of_two", "var": 3, "bits": 224 },
+    { "op": "div_mod_power_of_two", "var": 264, "bits": 8 },
+    { "op": "load_imm", "imm": "1C" },
+    { "op": "less_than", "a": 268, "b": 4, "bits": 32 },
+    { "op": "test_eq", "a": 267, "b": 19 },
+    { "op": "cond_select", "bit": 269, "a": 10, "b": 270 },
+    { "op": "cond_select", "bit": 263, "a": 271, "b": 9 },
+    { "op": "div_mod_power_of_two", "var": 3, "bits": 232 },
+    { "op": "div_mod_power_of_two", "var": 273, "bits": 8 },
+    { "op": "load_imm", "imm": "1D" },
+    { "op": "less_than", "a": 277, "b": 4, "bits": 32 },
+    { "op": "test_eq", "a": 276, "b": 19 },
+    { "op": "cond_select", "bit": 278, "a": 10, "b": 279 },
+    { "op": "cond_select", "bit": 272, "a": 280, "b": 9 },
+    { "op": "div_mod_power_of_two", "var": 3, "bits": 240 },
+    { "op": "div_mod_power_of_two", "var": 282, "bits": 8 },
+    { "op": "load_imm", "imm": "1E" },
+    { "op": "less_than", "a": 286, "b": 4, "bits": 32 },
+    { "op": "test_eq", "a": 285, "b": 19 },
+    { "op": "cond_select", "bit": 287, "a": 10, "b": 288 },
+    { "op": "cond_select", "bit": 281, "a": 289, "b": 9 },
+    { "op": "div_mod_power_of_two", "var": 2, "bits": 0 },
+    { "op": "div_mod_power_of_two", "var": 291, "bits": 8 },
+    { "op": "load_imm", "imm": "1F" },
+    { "op": "less_than", "a": 295, "b": 4, "bits": 32 },
+    { "op": "test_eq", "a": 294, "b": 19 },
+    { "op": "cond_select", "bit": 296, "a": 10, "b": 297 },
+    { "op": "cond_select", "bit": 290, "a": 298, "b": 9 },
+    { "op": "assert", "cond": 299 },
+    { "op": "load_imm", "imm": "30" },
+    { "op": "declare_pub_input", "var": 300 },
+    { "op": "pi_skip", "guard": 10, "count": 1 },
+    { "op": "load_imm", "imm": "50" },
+    { "op": "declare_pub_input", "var": 301 },
+    { "op": "declare_pub_input", "var": 10 },
+    { "op": "declare_pub_input", "var": 10 },
+    { "op": "declare_pub_input", "var": 61 },
+    { "op": "pi_skip", "guard": 10, "count": 4 },
+    { "op": "declare_pub_input", "var": 160 },
+    { "op": "declare_pub_input", "var": 10 },
+    { "op": "declare_pub_input", "var": 10 },
+    { "op": "declare_pub_input", "var": 7 },
+    { "op": "declare_pub_input", "var": 2 },
+    { "op": "declare_pub_input", "var": 3 },
+    { "op": "pi_skip", "guard": 10, "count": 6 },
+    { "op": "declare_pub_input", "var": 232 },
+    { "op": "pi_skip", "guard": 10, "count": 1 },
+    { "op": "public_input", "guard": null },
+    { "op": "declare_pub_input", "var": 133 },
+    { "op": "declare_pub_input", "var": 10 },
+    { "op": "declare_pub_input", "var": 10 },
+    { "op": "declare_pub_input", "var": 302 },
+    { "op": "pi_skip", "guard": 10, "count": 4 },
+    { "op": "cond_select", "bit": 302, "a": 9, "b": 10 },
+    { "op": "assert", "cond": 303 },
+    { "op": "declare_pub_input", "var": 300 },
+    { "op": "pi_skip", "guard": 10, "count": 1 },
+    { "op": "declare_pub_input", "var": 301 },
+    { "op": "declare_pub_input", "var": 10 },
+    { "op": "declare_pub_input", "var": 10 },
+    { "op": "declare_pub_input", "var": 43 },
+    { "op": "pi_skip", "guard": 10, "count": 4 },
+    { "op": "public_input", "guard": null },
+    { "op": "public_input", "guard": null },
+    { "op": "declare_pub_input", "var": 124 },
+    { "op": "declare_pub_input", "var": 10 },
+    { "op": "declare_pub_input", "var": 7 },
+    { "op": "declare_pub_input", "var": 304 },
+    { "op": "declare_pub_input", "var": 305 },
+    { "op": "pi_skip", "guard": 10, "count": 5 },
+    { "op": "private_input", "guard": null },
+    { "op": "constrain_bits", "var": 306, "bits": 8 },
+    { "op": "private_input", "guard": null },
+    { "op": "constrain_bits", "var": 307, "bits": 248 },
+    { "op": "test_eq", "a": 304, "b": 306 },
+    { "op": "test_eq", "a": 305, "b": 307 },
+    { "op": "cond_select", "bit": 308, "a": 309, "b": 9 },
+    { "op": "assert", "cond": 310 },
+    { "op": "load_imm", "imm": "70" },
+    { "op": "declare_pub_input", "var": 311 },
+    { "op": "declare_pub_input", "var": 10 },
+    { "op": "declare_pub_input", "var": 10 },
+    { "op": "declare_pub_input", "var": 61 },
+    { "op": "pi_skip", "guard": 10, "count": 4 },
+    { "op": "declare_pub_input", "var": 160 },
+    { "op": "declare_pub_input", "var": 10 },
+    { "op": "declare_pub_input", "var": 10 },
+    { "op": "declare_pub_input", "var": 7 },
+    { "op": "declare_pub_input", "var": 2 },
+    { "op": "declare_pub_input", "var": 3 },
+    { "op": "pi_skip", "guard": 10, "count": 6 },
+    { "op": "declare_pub_input", "var": 169 },
+    { "op": "declare_pub_input", "var": 10 },
+    { "op": "declare_pub_input", "var": 34 },
+    { "op": "declare_pub_input", "var": 7 },
+    { "op": "declare_pub_input", "var": 7 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 5 },
+    { "op": "declare_pub_input", "var": 6 },
+    { "op": "pi_skip", "guard": 10, "count": 9 },
+    { "op": "load_imm", "imm": "91" },
+    { "op": "declare_pub_input", "var": 312 },
+    { "op": "pi_skip", "guard": 10, "count": 1 },
+    { "op": "load_imm", "imm": "A1" },
+    { "op": "declare_pub_input", "var": 313 },
+    { "op": "pi_skip", "guard": 10, "count": 1 },
+    { "op": "declare_pub_input", "var": 300 },
+    { "op": "pi_skip", "guard": 10, "count": 1 },
+    { "op": "declare_pub_input", "var": 301 },
+    { "op": "declare_pub_input", "var": 10 },
+    { "op": "declare_pub_input", "var": 10 },
+    { "op": "declare_pub_input", "var": 70 },
+    { "op": "pi_skip", "guard": 10, "count": 4 },
+    { "op": "declare_pub_input", "var": 160 },
+    { "op": "declare_pub_input", "var": 10 },
+    { "op": "declare_pub_input", "var": 10 },
+    { "op": "declare_pub_input", "var": 7 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "pi_skip", "guard": 10, "count": 6 },
+    { "op": "declare_pub_input", "var": 232 },
+    { "op": "pi_skip", "guard": 10, "count": 1 },
+    { "op": "public_input", "guard": null },
+    { "op": "declare_pub_input", "var": 133 },
+    { "op": "declare_pub_input", "var": 10 },
+    { "op": "declare_pub_input", "var": 10 },
+    { "op": "declare_pub_input", "var": 314 },
+    { "op": "pi_skip", "guard": 10, "count": 4 },
+    { "op": "cond_select", "bit": 314, "a": 9, "b": 10 },
+    { "op": "cond_select", "bit": 315, "a": 311, "b": 9 },
+    { "op": "declare_pub_input", "var": 316 },
+    { "op": "declare_pub_input", "var": 315 },
+    { "op": "declare_pub_input", "var": 315 },
+    { "op": "cond_select", "bit": 315, "a": 70, "b": 9 },
+    { "op": "declare_pub_input", "var": 317 },
+    { "op": "pi_skip", "guard": 315, "count": 4 },
+    { "op": "cond_select", "bit": 315, "a": 160, "b": 9 },
+    { "op": "declare_pub_input", "var": 318 },
+    { "op": "declare_pub_input", "var": 315 },
+    { "op": "declare_pub_input", "var": 315 },
+    { "op": "cond_select", "bit": 315, "a": 7, "b": 9 },
+    { "op": "declare_pub_input", "var": 319 },
+    { "op": "cond_select", "bit": 315, "a": 0, "b": 9 },
+    { "op": "declare_pub_input", "var": 320 },
+    { "op": "cond_select", "bit": 315, "a": 1, "b": 9 },
+    { "op": "declare_pub_input", "var": 321 },
+    { "op": "pi_skip", "guard": 315, "count": 6 },
+    { "op": "cond_select", "bit": 315, "a": 169, "b": 9 },
+    { "op": "declare_pub_input", "var": 322 },
+    { "op": "cond_select", "bit": 315, "a": 34, "b": 9 },
+    { "op": "declare_pub_input", "var": 323 },
+    { "op": "pi_skip", "guard": 315, "count": 2 },
+    { "op": "cond_select", "bit": 315, "a": 312, "b": 9 },
+    { "op": "declare_pub_input", "var": 324 },
+    { "op": "pi_skip", "guard": 315, "count": 1 },
+    { "op": "cond_select", "bit": 315, "a": 313, "b": 9 },
+    { "op": "declare_pub_input", "var": 325 },
+    { "op": "pi_skip", "guard": 315, "count": 1 },
+    { "op": "load_imm", "imm": "71" },
+    { "op": "declare_pub_input", "var": 326 },
+    { "op": "declare_pub_input", "var": 10 },
+    { "op": "declare_pub_input", "var": 10 },
+    { "op": "declare_pub_input", "var": 70 },
+    { "op": "declare_pub_input", "var": 10 },
+    { "op": "declare_pub_input", "var": 7 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "pi_skip", "guard": 10, "count": 8 },
+    { "op": "declare_pub_input", "var": 160 },
+    { "op": "declare_pub_input", "var": 10 },
+    { "op": "declare_pub_input", "var": 10 },
+    { "op": "declare_pub_input", "var": 7 },
+    { "op": "declare_pub_input", "var": 2 },
+    { "op": "declare_pub_input", "var": 3 },
+    { "op": "pi_skip", "guard": 10, "count": 6 },
+    { "op": "declare_pub_input", "var": 169 },
+    { "op": "declare_pub_input", "var": 9 },
+    { "op": "pi_skip", "guard": 10, "count": 2 },
+    { "op": "declare_pub_input", "var": 312 },
+    { "op": "pi_skip", "guard": 10, "count": 1 },
+    { "op": "load_imm", "imm": "A2" },
+    { "op": "declare_pub_input", "var": 327 },
+    { "op": "pi_skip", "guard": 10, "count": 1 }
+  ]
+}

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

@@ -0,0 +1,109 @@
+{
+  "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": 13 },
+    { "op": "declare_pub_input", "var": 14 },
+    { "op": "declare_pub_input", "var": 2 },
+    { "op": "declare_pub_input", "var": 3 },
+    { "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 }
+  ]
+}