@sig-net/midnight-contract 0.0.1 → 0.0.3

package/dist/managed/zkir/postSignatureResponse.zkir

@@ -150,234 +150,6 @@
     { "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/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@sig-net/midnight-contract",
-  "version": "0.0.1",
+  "version": "0.0.3",
   "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": {
@@ -11,14 +11,12 @@
     "./managed/*": "./dist/managed/*"
   },
   "files": [
-    "dist",
-    "src",
-    "!src/managed"
+    "dist"
   ],
   "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/",
+    "build": "rm -rf dist && ls src/managed/keys/*.prover >/dev/null 2>&1 || { echo 'signet-contract build: no prover keys in src/managed/keys — run `yarn compile:zk` first (compile uses --skip-zk)' >&2; exit 1; } && tsc -p tsconfig.json && tsc -p tsconfig.build.json && mkdir -p dist/managed && cp -R src/managed/contract src/managed/compiler src/managed/zkir src/managed/keys dist/managed/",
     "prepack": "yarn build",
     "test": "vitest run"
   },
@@ -39,7 +37,7 @@
     "@midnight-ntwrk/midnight-js": "5.0.0-beta.3"
   },
   "devDependencies": {
-    "@sig-net/midnight": "^0.0.1",
+    "@sig-net/midnight": "^0.0.3",
     "@types/node": "^26.1.0",
     "typescript": "^6.0.3",
     "vitest": "^4.1.9"