@sig-net/midnight-contract 0.0.1

package/dist/managed/zkir/postSignatureResponse.zkir

@@ -0,0 +1,383 @@
+{
+  "version": { "major": 2, "minor": 0 },
+  "do_communications_commitment": true,
+  "num_inputs": 9,
+  "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": 8 },
+    { "op": "constrain_bits", "var": 5, "bits": 248 },
+    { "op": "constrain_bits", "var": 6, "bits": 8 },
+    { "op": "constrain_bits", "var": 7, "bits": 248 },
+    { "op": "constrain_bits", "var": 8, "bits": 8 },
+    { "op": "load_imm", "imm": "01" },
+    { "op": "load_imm", "imm": "30" },
+    { "op": "declare_pub_input", "var": 10 },
+    { "op": "pi_skip", "guard": 9, "count": 1 },
+    { "op": "load_imm", "imm": "50" },
+    { "op": "load_imm", "imm": "00" },
+    { "op": "declare_pub_input", "var": 11 },
+    { "op": "declare_pub_input", "var": 9 },
+    { "op": "declare_pub_input", "var": 9 },
+    { "op": "declare_pub_input", "var": 12 },
+    { "op": "pi_skip", "guard": 9, "count": 4 },
+    { "op": "load_imm", "imm": "10" },
+    { "op": "load_imm", "imm": "20" },
+    { "op": "declare_pub_input", "var": 13 },
+    { "op": "declare_pub_input", "var": 9 },
+    { "op": "declare_pub_input", "var": 9 },
+    { "op": "declare_pub_input", "var": 14 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "pi_skip", "guard": 9, "count": 6 },
+    { "op": "load_imm", "imm": "18" },
+    { "op": "declare_pub_input", "var": 15 },
+    { "op": "pi_skip", "guard": 9, "count": 1 },
+    { "op": "public_input", "guard": null },
+    { "op": "load_imm", "imm": "0D" },
+    { "op": "declare_pub_input", "var": 17 },
+    { "op": "declare_pub_input", "var": 9 },
+    { "op": "declare_pub_input", "var": 9 },
+    { "op": "declare_pub_input", "var": 16 },
+    { "op": "pi_skip", "guard": 9, "count": 4 },
+    { "op": "cond_select", "bit": 16, "a": 12, "b": 9 },
+    { "op": "load_imm", "imm": "70" },
+    { "op": "cond_select", "bit": 18, "a": 19, "b": 12 },
+    { "op": "declare_pub_input", "var": 20 },
+    { "op": "declare_pub_input", "var": 18 },
+    { "op": "declare_pub_input", "var": 18 },
+    { "op": "cond_select", "bit": 18, "a": 12, "b": 12 },
+    { "op": "declare_pub_input", "var": 21 },
+    { "op": "pi_skip", "guard": 18, "count": 4 },
+    { "op": "cond_select", "bit": 18, "a": 13, "b": 12 },
+    { "op": "declare_pub_input", "var": 22 },
+    { "op": "declare_pub_input", "var": 18 },
+    { "op": "declare_pub_input", "var": 18 },
+    { "op": "cond_select", "bit": 18, "a": 14, "b": 12 },
+    { "op": "declare_pub_input", "var": 23 },
+    { "op": "cond_select", "bit": 18, "a": 0, "b": 12 },
+    { "op": "declare_pub_input", "var": 24 },
+    { "op": "cond_select", "bit": 18, "a": 1, "b": 12 },
+    { "op": "declare_pub_input", "var": 25 },
+    { "op": "pi_skip", "guard": 18, "count": 6 },
+    { "op": "load_imm", "imm": "11" },
+    { "op": "load_imm", "imm": "08" },
+    { "op": "cond_select", "bit": 18, "a": 26, "b": 12 },
+    { "op": "declare_pub_input", "var": 28 },
+    { "op": "declare_pub_input", "var": 18 },
+    { "op": "declare_pub_input", "var": 18 },
+    { "op": "cond_select", "bit": 18, "a": 27, "b": 12 },
+    { "op": "declare_pub_input", "var": 29 },
+    { "op": "cond_select", "bit": 18, "a": 12, "b": 12 },
+    { "op": "declare_pub_input", "var": 30 },
+    { "op": "pi_skip", "guard": 18, "count": 5 },
+    { "op": "load_imm", "imm": "91" },
+    { "op": "cond_select", "bit": 18, "a": 31, "b": 12 },
+    { "op": "declare_pub_input", "var": 32 },
+    { "op": "pi_skip", "guard": 18, "count": 1 },
+    { "op": "load_imm", "imm": "A1" },
+    { "op": "cond_select", "bit": 18, "a": 33, "b": 12 },
+    { "op": "declare_pub_input", "var": 34 },
+    { "op": "pi_skip", "guard": 18, "count": 1 },
+    { "op": "declare_pub_input", "var": 10 },
+    { "op": "pi_skip", "guard": 9, "count": 1 },
+    { "op": "load_imm", "imm": "51" },
+    { "op": "declare_pub_input", "var": 35 },
+    { "op": "declare_pub_input", "var": 9 },
+    { "op": "declare_pub_input", "var": 9 },
+    { "op": "declare_pub_input", "var": 12 },
+    { "op": "declare_pub_input", "var": 9 },
+    { "op": "declare_pub_input", "var": 14 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "pi_skip", "guard": 9, "count": 8 },
+    { "op": "public_input", "guard": null },
+    { "op": "declare_pub_input", "var": 17 },
+    { "op": "declare_pub_input", "var": 9 },
+    { "op": "declare_pub_input", "var": 27 },
+    { "op": "declare_pub_input", "var": 36 },
+    { "op": "pi_skip", "guard": 9, "count": 4 },
+    { "op": "load_imm", "imm": "71" },
+    { "op": "declare_pub_input", "var": 37 },
+    { "op": "declare_pub_input", "var": 9 },
+    { "op": "declare_pub_input", "var": 9 },
+    { "op": "declare_pub_input", "var": 12 },
+    { "op": "declare_pub_input", "var": 9 },
+    { "op": "declare_pub_input", "var": 14 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "pi_skip", "guard": 9, "count": 8 },
+    { "op": "load_imm", "imm": "0E" },
+    { "op": "declare_pub_input", "var": 38 },
+    { "op": "declare_pub_input", "var": 9 },
+    { "op": "pi_skip", "guard": 9, "count": 2 },
+    { "op": "load_imm", "imm": "A2" },
+    { "op": "declare_pub_input", "var": 39 },
+    { "op": "pi_skip", "guard": 9, "count": 1 },
+    { "op": "declare_pub_input", "var": 19 },
+    { "op": "declare_pub_input", "var": 9 },
+    { "op": "declare_pub_input", "var": 9 },
+    { "op": "declare_pub_input", "var": 9 },
+    { "op": "pi_skip", "guard": 9, "count": 4 },
+    { "op": "load_imm", "imm": "02" },
+    { "op": "declare_pub_input", "var": 13 },
+    { "op": "declare_pub_input", "var": 9 },
+    { "op": "declare_pub_input", "var": 40 },
+    { "op": "declare_pub_input", "var": 27 },
+    { "op": "declare_pub_input", "var": 14 },
+    { "op": "declare_pub_input", "var": 36 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "pi_skip", "guard": 9, "count": 8 },
+    { "op": "load_imm", "imm": "04" },
+    { "op": "declare_pub_input", "var": 26 },
+    { "op": "declare_pub_input", "var": 9 },
+    { "op": "declare_pub_input", "var": 41 },
+    { "op": "declare_pub_input", "var": 14 },
+    { "op": "declare_pub_input", "var": 14 },
+    { "op": "declare_pub_input", "var": 14 },
+    { "op": "declare_pub_input", "var": 9 },
+    { "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": "declare_pub_input", "var": 6 },
+    { "op": "declare_pub_input", "var": 7 },
+    { "op": "declare_pub_input", "var": 8 },
+    { "op": "pi_skip", "guard": 9, "count": 14 },
+    { "op": "declare_pub_input", "var": 31 },
+    { "op": "pi_skip", "guard": 9, "count": 1 },
+    { "op": "declare_pub_input", "var": 33 },
+    { "op": "pi_skip", "guard": 9, "count": 1 },
+    { "op": "div_mod_power_of_two", "var": 1, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 42, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 44, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 46, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 48, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 50, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 52, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 54, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 56, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 58, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 60, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 62, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 64, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 66, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 68, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 70, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 72, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 74, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 76, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 78, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 80, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 82, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 84, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 86, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 88, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 90, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 92, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 94, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 96, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 98, "bits": 8 },
+    { "op": "constrain_bits", "var": 36, "bits": 64 },
+    { "op": "div_mod_power_of_two", "var": 36, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 102, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 104, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 106, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 108, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 110, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 112, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 114, "modulus": 115, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 116, "modulus": 113, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 117, "modulus": 111, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 118, "modulus": 109, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 119, "modulus": 107, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 120, "modulus": 105, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 121, "modulus": 103, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 122, "modulus": 0, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 100, "modulus": 101, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 124, "modulus": 99, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 125, "modulus": 97, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 126, "modulus": 95, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 127, "modulus": 93, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 128, "modulus": 91, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 129, "modulus": 89, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 130, "modulus": 87, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 131, "modulus": 85, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 132, "modulus": 83, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 133, "modulus": 81, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 134, "modulus": 79, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 135, "modulus": 77, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 136, "modulus": 75, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 137, "modulus": 73, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 138, "modulus": 71, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 139, "modulus": 69, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 140, "modulus": 67, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 141, "modulus": 65, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 142, "modulus": 63, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 143, "modulus": 61, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 144, "modulus": 59, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 145, "modulus": 57, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 146, "modulus": 55, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 147, "modulus": 53, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 148, "modulus": 51, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 149, "modulus": 49, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 150, "modulus": 47, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 151, "modulus": 45, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 152, "modulus": 43, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 123, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 154, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 156, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 158, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 160, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 162, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 164, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 166, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 168, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 170, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 172, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 174, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 176, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 178, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 180, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 182, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 184, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 186, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 188, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 190, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 192, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 194, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 196, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 198, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 200, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 202, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 204, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 206, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 208, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 210, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 153, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 214, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 216, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 218, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 220, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 222, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 224, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 226, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 228, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 230, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 232, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 234, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 236, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 238, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 240, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 242, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 244, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 246, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 248, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 250, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 252, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 254, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 256, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 258, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 260, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 262, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 264, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 266, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 268, "bits": 8 },
+    { "op": "div_mod_power_of_two", "var": 270, "bits": 8 },
+    { "op": "copy", "var": 212 },
+    { "op": "reconstitute_field", "divisor": 213, "modulus": 211, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 275, "modulus": 209, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 276, "modulus": 207, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 277, "modulus": 205, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 278, "modulus": 203, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 279, "modulus": 201, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 280, "modulus": 199, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 281, "modulus": 197, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 282, "modulus": 195, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 283, "modulus": 193, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 284, "modulus": 191, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 285, "modulus": 189, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 286, "modulus": 187, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 287, "modulus": 185, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 288, "modulus": 183, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 289, "modulus": 181, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 290, "modulus": 179, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 291, "modulus": 177, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 292, "modulus": 175, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 293, "modulus": 173, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 294, "modulus": 171, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 295, "modulus": 169, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 296, "modulus": 167, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 297, "modulus": 165, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 298, "modulus": 163, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 299, "modulus": 161, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 300, "modulus": 159, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 301, "modulus": 157, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 302, "modulus": 155, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 303, "modulus": 272, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 273, "modulus": 271, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 305, "modulus": 269, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 306, "modulus": 267, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 307, "modulus": 265, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 308, "modulus": 263, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 309, "modulus": 261, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 310, "modulus": 259, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 311, "modulus": 257, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 312, "modulus": 255, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 313, "modulus": 253, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 314, "modulus": 251, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 315, "modulus": 249, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 316, "modulus": 247, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 317, "modulus": 245, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 318, "modulus": 243, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 319, "modulus": 241, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 320, "modulus": 239, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 321, "modulus": 237, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 322, "modulus": 235, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 323, "modulus": 233, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 324, "modulus": 231, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 325, "modulus": 229, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 326, "modulus": 227, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 327, "modulus": 225, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 328, "modulus": 223, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 329, "modulus": 221, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 330, "modulus": 219, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 331, "modulus": 217, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 332, "modulus": 215, "bits": 8 },
+    { "op": "reconstitute_field", "divisor": 333, "modulus": 12, "bits": 8 },
+    { "op": "load_imm", "imm": "5369676E6174757265526573706F6E6465644576656E74" },
+    { "op": "load_imm", "imm": "33" },
+    { "op": "load_imm", "imm": "0A" },
+    { "op": "load_imm", "imm": "2001" },
+    { "op": "declare_pub_input", "var": 13 },
+    { "op": "declare_pub_input", "var": 336 },
+    { "op": "declare_pub_input", "var": 9 },
+    { "op": "declare_pub_input", "var": 9 },
+    { "op": "declare_pub_input", "var": 41 },
+    { "op": "declare_pub_input", "var": 9 },
+    { "op": "declare_pub_input", "var": 9 },
+    { "op": "declare_pub_input", "var": 9 },
+    { "op": "declare_pub_input", "var": 9 },
+    { "op": "declare_pub_input", "var": 337 },
+    { "op": "declare_pub_input", "var": 9 },
+    { "op": "declare_pub_input", "var": 9 },
+    { "op": "declare_pub_input", "var": 338 },
+    { "op": "declare_pub_input", "var": 12 },
+    { "op": "declare_pub_input", "var": 12 },
+    { "op": "declare_pub_input", "var": 12 },
+    { "op": "declare_pub_input", "var": 12 },
+    { "op": "declare_pub_input", "var": 12 },
+    { "op": "declare_pub_input", "var": 12 },
+    { "op": "declare_pub_input", "var": 274 },
+    { "op": "declare_pub_input", "var": 304 },
+    { "op": "declare_pub_input", "var": 334 },
+    { "op": "declare_pub_input", "var": 335 },
+    { "op": "pi_skip", "guard": 9, "count": 23 },
+    { "op": "load_imm", "imm": "09" },
+    { "op": "declare_pub_input", "var": 339 },
+    { "op": "pi_skip", "guard": 9, "count": 1 }
+  ]
+}

package/dist/witnesses.d.ts

@@ -0,0 +1,15 @@
+import type { Witnesses } from "./managed/contract/index.js";
+/** Private state carried through signet-contract circuit calls: none. */
+export type SignetContractPrivateState = Record<string, never>;
+/**
+ * Build the contract's (empty) private state.
+ *
+ * @returns A fresh, empty private state.
+ */
+export declare const createSignetContractPrivateState: () => SignetContractPrivateState;
+/**
+ * Witness implementations, typed against the generated `Witnesses` shape:
+ * the contract declares none.
+ */
+export declare const witnesses: Witnesses<SignetContractPrivateState>;
+//# sourceMappingURL=witnesses.d.ts.map

package/dist/witnesses.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"witnesses.d.ts","sourceRoot":"","sources":["../src/witnesses.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,6BAA6B,CAAC;AAE7D,yEAAyE;AACzE,MAAM,MAAM,0BAA0B,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;AAE/D;;;;GAIG;AACH,eAAO,MAAM,gCAAgC,QACvC,0BAAkC,CAAC;AAEzC;;;GAGG;AACH,eAAO,MAAM,SAAS,EAAE,SAAS,CAAC,0BAA0B,CAAM,CAAC"}

package/dist/witnesses.js

@@ -0,0 +1,15 @@
+// The signet contract has no witnesses: Schnorr verification is
+// CompactStandardLibrary's `jubjubSchnorrVerify` (fully in-circuit), and
+// there is no private state — posting carries no caller secrets.
+/**
+ * Build the contract's (empty) private state.
+ *
+ * @returns A fresh, empty private state.
+ */
+export const createSignetContractPrivateState = () => ({});
+/**
+ * Witness implementations, typed against the generated `Witnesses` shape:
+ * the contract declares none.
+ */
+export const witnesses = {};
+//# sourceMappingURL=witnesses.js.map

package/dist/witnesses.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"witnesses.js","sourceRoot":"","sources":["../src/witnesses.ts"],"names":[],"mappings":"AAAA,gEAAgE;AAChE,yEAAyE;AACzE,iEAAiE;AAOjE;;;;GAIG;AACH,MAAM,CAAC,MAAM,gCAAgC,GAC3C,GAA+B,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;AAEzC;;;GAGG;AACH,MAAM,CAAC,MAAM,SAAS,GAA0C,EAAE,CAAC"}

package/package.json

@@ -0,0 +1,49 @@
+{
+  "name": "@sig-net/midnight-contract",
+  "version": "0.0.1",
+  "type": "module",
+  "description": "The central signet Compact contract on Midnight: the MPC posts signature responses (unauthenticated counted log, verified off-chain) and remote execution responses (Schnorr attestations, verified in-circuit at post time) here; clients poll it. src/index.ts is the curated export surface.",
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "default": "./dist/index.js"
+    },
+    "./managed/*": "./dist/managed/*"
+  },
+  "files": [
+    "dist",
+    "src",
+    "!src/managed"
+  ],
+  "scripts": {
+    "compile": "COMPACT_PATH=../../node_modules compact compile --skip-zk src/signet-contract.compact src/managed",
+    "compile:zk": "COMPACT_PATH=../../node_modules compact compile src/signet-contract.compact src/managed",
+    "build": "rm -rf dist && tsc -p tsconfig.json && tsc -p tsconfig.build.json && mkdir -p dist/managed/keys && cp -R src/managed/contract src/managed/compiler src/managed/zkir dist/managed/ && cp src/managed/keys/*.verifier dist/managed/keys/",
+    "prepack": "yarn build",
+    "test": "vitest run"
+  },
+  "publishConfig": {
+    "access": "public",
+    "main": "./dist/index.js",
+    "types": "./dist/index.d.ts",
+    "exports": {
+      ".": {
+        "types": "./dist/index.d.ts",
+        "default": "./dist/index.js"
+      },
+      "./managed/*": "./dist/managed/*"
+    }
+  },
+  "dependencies": {
+    "@midnight-ntwrk/compact-runtime": "0.18.0-rc.0",
+    "@midnight-ntwrk/midnight-js": "5.0.0-beta.3"
+  },
+  "devDependencies": {
+    "@sig-net/midnight": "^0.0.1",
+    "@types/node": "^26.1.0",
+    "typescript": "^6.0.3",
+    "vitest": "^4.1.9"
+  },
+  "main": "./dist/index.js",
+  "types": "./dist/index.d.ts"
+}

package/src/contract-surface.ts

@@ -0,0 +1,40 @@
+// The contract's platform-agnostic client surface: the circuit-id union, the
+// private-state store key, and the provider-set TYPE. Deliberately nothing
+// runnable — no wallet flavor, no zk-config source, no state store, no proof
+// provider. Composing a live midnight-js provider set is CONSUMER territory
+// (it differs per environment: Node fs vs browser fetch, LevelDB vs
+// IndexedDB, WalletFacade vs a connector API), so each consumer declares its
+// own — see this monorepo's signet-contract-deploy package for the Node
+// operator composition, and the fakenet response server for a consumer's.
+
+import type { MidnightProviders } from "@midnight-ntwrk/midnight-js/types";
+
+import { Contract } from "./managed/contract/index.js";
+import { type SignetContractPrivateState } from "./witnesses.ts";
+
+/** The contract's provable circuit ids, straight from the generated contract. */
+export type SignetContractCircuitId = keyof InstanceType<typeof Contract>["provableCircuits"] & string;
+
+/**
+ * Literal of the private-state storage key. Just a string, but a single-value
+ * union so the providers/`findDeployedContract` pairing is enforced by the
+ * type system.
+ */
+export type SignetContractPrivateStateId = "signet-contract";
+
+/**
+ * Key under which midnight-js persists this contract's private state locally
+ * (in whatever private-state store the consumer's provider set uses).
+ * Distinct per contract so two clients don't share an entry.
+ */
+export const SIGNET_CONTRACT_PRIVATE_STATE_ID: SignetContractPrivateStateId = "signet-contract";
+
+/** The full midnight-js provider set, typed to the signet contract. */
+export type SignetContractProviders = MidnightProviders<
+  // PCK: the union of the contract's provable circuit names.
+  SignetContractCircuitId,
+  // PSI: the private-state storage key literal.
+  SignetContractPrivateStateId,
+  // PS: the shape of the contract's (empty) private state object.
+  SignetContractPrivateState
+>;

package/src/index.ts

@@ -0,0 +1,9 @@
+// Curated export surface — this IS the "sdk" face of the package.
+// Everything the compiler emitted, the handwritten witnesses, and the
+// platform-agnostic contract surface (ids + provider TYPE). Environment
+// bindings (zk-config source, state store, wallet adapter) deliberately
+// live with each consumer, not here.
+
+export * from "./managed/contract/index.js";
+export * from "./witnesses.ts";
+export * from "./contract-surface.ts";