@midnames/sdk 1.0.6 → 2.0.0-rc1

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

@@ -1,401 +0,0 @@
-{
-  "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

@@ -1,109 +0,0 @@
-{
-  "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 }
-  ]
-}