@sig-net/midnight-contract 0.0.1 → 0.0.2

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.2",
   "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": {
@@ -18,7 +18,7 @@
   "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 +39,7 @@
     "@midnight-ntwrk/midnight-js": "5.0.0-beta.3"
   },
   "devDependencies": {
-    "@sig-net/midnight": "^0.0.1",
+    "@sig-net/midnight": "^0.0.2",
     "@types/node": "^26.1.0",
     "typescript": "^6.0.3",
     "vitest": "^4.1.9"

package/src/signet-contract.compact

@@ -7,10 +7,11 @@ import CompactStandardLibrary;
 // in Signet.compact and https://docs.sig.network/ for the protocol.
 import "@sig-net/midnight/src/Signet";
 
-// The CENTRAL signet contract: the MPC delivers all its responses here, and
-// clients poll it — there is deliberately no push/websocket channel. Ledger
-// layout per "Signet Contract Ledger Layout" in Signet.compact, so pollers
-// need only this contract's address.
+// The CENTRAL signet contract: clients register their signature-request
+// notifications here, the MPC delivers all its responses here, and both sides
+// poll it — there is deliberately no push/websocket channel. Ledger layout per
+// "Signet Contract Ledger Layout" in Signet.compact, so pollers need only this
+// contract's address.
 export ledger signatureResponseCounterIndex: SignatureResponseCounterIndex;
 
 export ledger signatureResponseIndex: SignatureResponseIndex;
@@ -21,26 +22,38 @@ export ledger respondBidirectionalIndex: RespondBidirectionalIndex;
 // accepts only responses signed by this key.
 export sealed ledger mpcPubKeyHash: Bytes<32>;
 
+// The notification registry (field 4): clients register "a request was stored
+// in MY ledger at THIS index field" pointers here; the MPC polls by
+// enumerating the map. Append-only, idempotent overwrite, no removal.
+export ledger signBidirectionalNotificationIndex: SignBidirectionalNotificationIndex;
+
 constructor(mpcPk: JubjubPoint) {
     mpcPubKeyHash = disclose(persistentHash<JubjubPoint>(mpcPk));
 }
 
-// emitSignBidirectionalEvent should be called by clients after (or within) a
-// transaction that writes a SignBidirectionalRequest to their canonical
-// SignBidirectionalRequestIndex state map.
-export circuit emitSignBidirectionalEvent(signBidirectionalEvent: SignBidirectionalEvent): [] {
-    emit(Misc {
-        name: pad(32, "SignBidirectionalEvent"),
-        payload: serialize<SignBidirectionalEvent, 256>(disclose(signBidirectionalEvent)),
-    });
+// notifyBidirectionalSignatureRequest should be called (cross-contract) by
+// clients after (or within) a transaction that writes a
+// SignBidirectionalRequest to their canonical SignBidirectionalRequestIndex
+// state map. Registers the notification in the registry the MPC polls; a
+// repeat call for the same request id overwrites idempotently. Unauthenticated
+// by design: the notification is a pointer, and the MPC trusts only what it
+// reads back from the named caller's own ledger.
+export circuit notifyBidirectionalSignatureRequest(
+    requestId: RequestId,
+    notification: SignBidirectionalNotification
+): [] {
+    signBidirectionalNotificationIndex.insert(
+        disclose(requestId),
+        disclose(notification),
+    );
 }
 
-// postSignatureResponse appends a signature response for requestId and
-// emits a SignatureRespondedEvent so the requesting client learns a post
-// landed. Unauthenticated by NECESSITY (secp256k1 ECDSA cannot be verified
+// postSignatureResponse appends a signature response for requestId.
+// Unauthenticated by NECESSITY (secp256k1 ECDSA cannot be verified
 // in-circuit): anyone may post, and nothing is ever overwritten — each post
-// lands under the next (requestId, count) key. Callers verify the posted
-// signatures off-chain to pick out the genuine one.
+// lands under the next (requestId, count) key. Callers poll the log by
+// request id and verify the posted signatures off-chain to pick out the
+// genuine one.
 export circuit postSignatureResponse(requestId: RequestId, signatureResponse: SignatureResponse): [] {
     // Everything stored here is public by construction.
     const disclosedRequestId = disclose(requestId);
@@ -51,8 +64,7 @@ export circuit postSignatureResponse(requestId: RequestId, signatureResponse: Si
     }
 
     // Posts so far == this post's 0-based count. Read ONCE into a local so
-    // the stored key, the counter update, and the emitted event cannot
-    // disagree.
+    // the stored key and the counter update cannot disagree.
     const count = signatureResponseCounterIndex.lookup(disclosedRequestId).read();
     signatureResponseCounterIndex.lookup(disclosedRequestId).increment(1);
 
@@ -64,16 +76,6 @@ export circuit postSignatureResponse(requestId: RequestId, signatureResponse: Si
         },
         disclose(signatureResponse),
     );
-
-    // Notify the requesting client which post just landed. A ping only —
-    // clients read the post back from the log and verify it off-chain.
-    emit(Misc {
-        name: pad(32, "SignatureRespondedEvent"),
-        payload: serialize<SignatureRespondedEvent, 256>(SignatureRespondedEvent {
-            requestId: disclosedRequestId as Bytes<32>,
-            count: count,
-        }),
-    });
 }
 
 // postRespondBidirectional records the MPC's attestation of requestId's
@@ -116,20 +118,11 @@ export circuit postRespondBidirectional(
     // First valid write wins. A re-post is a no-op, never an overwrite —
     // Schnorr is randomized, so even the MPC re-signing the same output
     // yields bytewise-different records; asserting equality would misfire.
-    // The no-op also emits nothing: the event fires at most once per request,
-    // exactly when the one authenticated slot is filled.
+    // The no-op leaves the single authenticated slot untouched. Clients poll
+    // the index by request id; no off-chain verification follows — the
+    // in-circuit checks above already authenticated the stored record.
     if (respondBidirectionalIndex.member(disclosedRequestId)) {
         return [];
     }
     respondBidirectionalIndex.insert(disclosedRequestId, disclosedResponse);
-
-    // Notify the requesting client the attestation landed. A ping only —
-    // clients read the record back from the index; no off-chain verification
-    // follows, the in-circuit checks above already authenticated it.
-    emit(Misc {
-        name: pad(32, "RespondBidirectionalEvent"),
-        payload: serialize<RespondBidirectionalEvent, 256>(RespondBidirectionalEvent {
-            requestId: disclosedRequestId as Bytes<32>,
-        }),
-    });
 }