@sig-net/midnight-responder 0.0.0-stage → 0.26.0-rc.10

package/README.md

@@ -1,3 +1,40 @@
-# Temporary Holding Version
+# @sig-net/midnight-responder
 
-This version is a temporary placeholder for this package. An operational version to replace this has been submitted for review and is awaiting a staged release.
+The [Sig Network](https://sig.network) response contract on the [Midnight blockchain](https://midnight.network): the two circuits the MPC posts its responses through, each emitting them as contract events, which clients poll:
+
+- `respond`: a signature response, as a `SignatureRespondedEvent`.
+- `respondBidirectional`: a remote execution attestation, as a `RespondBidirectionalEvent`.
+
+Both circuits emit unverified posts. Clients verify each one themselves, as the root README's [Integrator Guide](https://github.com/sig-net/midnight-integration/blob/main/README.md#integrator-guide) shows.
+
+## What is in it
+
+- The curated export surface (package root): the generated contract module (`Contract`), the handwritten witnesses, and the platform-agnostic contract surface (circuit ids and the provider type).
+- The `./managed/*` subpath export: the compiled contract assets (compiler output, `zkir/`, prover/verifier `keys/`) so runtimes can fetch them as files. The published package always carries the proving keys.
+
+## Where the proving artifacts come from
+
+[`src/signet-responder.compact`](src/signet-responder.compact) is the specification and the source of the JS executor. The `zkir/` and `keys/` the package ships are compiled from [`minocrab/`](minocrab), the same two circuits written in [MinoCrab](https://github.com/sig-net/minocrab), which prove at k=10/11 instead of compactc's k=17. The fee and the proof size are the same.
+
+`yarn compile:zk` builds that bundle:
+
+1. `yarn compile` writes compactc's `--skip-zk` output to `src/managed/`.
+2. `cargo run` in `minocrab/` checks each MinoCrab circuit against compactc's `.zkir` of it: both must accept the call the MPC makes and derive the same public inputs.
+3. It replaces compactc's `.zkir` with MinoCrab's, generates the `.bzkir` and the keys with the `zkir-v3` that ships beside compactc, and rewrites `compiler/contract-manifest.json` to list them, which midnight-js checks every artifact against.
+4. It fails if any artifact's hash differs from [`minocrab/artifacts.sha256`](minocrab/artifacts.sha256). New hashes mean new verifier keys, which only a new deployment carries. To accept them, run `yarn compile:signet-responder`, then `cargo run --locked -- ../src/managed --update-lock` in `minocrab/`, and commit the lock.
+
+`yarn compile:zk` needs a Rust toolchain; [`minocrab/rust-toolchain.toml`](minocrab/rust-toolchain.toml) pins it. `cargo test` in `minocrab/` runs the same parity checks after `yarn compile`.
+
+## Install
+
+```sh
+npm install @sig-net/midnight-responder
+```
+
+## Related packages
+
+- [`@sig-net/midnight-signer`](https://www.npmjs.com/package/@sig-net/midnight-signer): the signet signer, which integrating contracts notify of their requests.
+- [`@sig-net/midnight`](https://www.npmjs.com/package/@sig-net/midnight): the client-agnostic protocol library for decoding these events and verifying responses, and the published per-network responder addresses (`getResponderContractAddress`).
+- [`@sig-net/midnight-contract-deploy`](https://www.npmjs.com/package/@sig-net/midnight-contract-deploy): the operator deploy flow (`deploySignetResponder`).
+
+Developed in [sig-net/midnight-integration](https://github.com/sig-net/midnight-integration).

package/dist/contract-surface.d.ts

@@ -0,0 +1,20 @@
+import type { MidnightProviders } from "@midnight-ntwrk/midnight-js/types";
+import type { Contract } from "./managed/contract/index.js";
+import type { SignetResponderPrivateState } from "./witnesses.ts";
+/** The contract's provable circuit ids, straight from the generated contract. */
+export type SignetResponderCircuitId = keyof InstanceType<typeof Contract>["provableCircuits"];
+/**
+ * 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 SignetResponderPrivateStateId = "signet-responder";
+/**
+ * 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 declare const SIGNET_RESPONDER_PRIVATE_STATE_ID: SignetResponderPrivateStateId;
+/** The full midnight-js provider set, typed to the signet responder. */
+export type SignetResponderProviders = MidnightProviders<SignetResponderCircuitId, SignetResponderPrivateStateId, SignetResponderPrivateState>;
+//# sourceMappingURL=contract-surface.d.ts.map

package/dist/contract-surface.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract-surface.d.ts","sourceRoot":"","sources":["../src/contract-surface.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,mCAAmC,CAAC;AAE3E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AAC5D,OAAO,KAAK,EAAE,2BAA2B,EAAE,MAAM,gBAAgB,CAAC;AAElE,iFAAiF;AACjF,MAAM,MAAM,wBAAwB,GAAG,MAAM,YAAY,CAAC,OAAO,QAAQ,CAAC,CAAC,kBAAkB,CAAC,CAAC;AAE/F;;;;GAIG;AACH,MAAM,MAAM,6BAA6B,GAAG,kBAAkB,CAAC;AAE/D;;;;GAIG;AACH,eAAO,MAAM,iCAAiC,EAAE,6BAAkD,CAAC;AAEnG,wEAAwE;AACxE,MAAM,MAAM,wBAAwB,GAAG,iBAAiB,CAEtD,wBAAwB,EAExB,6BAA6B,EAE7B,2BAA2B,CAC5B,CAAC"}

package/dist/contract-surface.js

@@ -0,0 +1,12 @@
+// The contract's platform-agnostic client surface: the circuit-id union, the
+// private-state store key, and the provider-set TYPE. Deliberately nothing
+// runnable: composing a live midnight-js provider set differs per environment
+// (Node fs vs browser fetch, LevelDB vs IndexedDB, WalletFacade vs a connector
+// API), so each consumer declares its own.
+/**
+ * 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_RESPONDER_PRIVATE_STATE_ID = "signet-responder";
+//# sourceMappingURL=contract-surface.js.map

package/dist/contract-surface.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract-surface.js","sourceRoot":"","sources":["../src/contract-surface.ts"],"names":[],"mappings":"AAAA,6EAA6E;AAC7E,2EAA2E;AAC3E,8EAA8E;AAC9E,+EAA+E;AAC/E,2CAA2C;AAiB3C;;;;GAIG;AACH,MAAM,CAAC,MAAM,iCAAiC,GAAkC,kBAAkB,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,4 @@
+export * from "./contract-surface.ts";
+export * from "./managed/contract/index.js";
+export * from "./witnesses.ts";
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAKA,cAAc,uBAAuB,CAAC;AACtC,cAAc,6BAA6B,CAAC;AAC5C,cAAc,gBAAgB,CAAC"}

package/dist/index.js

@@ -0,0 +1,8 @@
+// Curated export surface: 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) live
+// with each consumer, not here.
+export * from "./contract-surface.js";
+export * from "./managed/contract/index.js";
+export * from "./witnesses.js";
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,2EAA2E;AAC3E,+EAA+E;AAC/E,4EAA4E;AAC5E,gCAAgC;AAEhC,cAAc,uBAAuB,CAAC;AACtC,cAAc,6BAA6B,CAAC;AAC5C,cAAc,gBAAgB,CAAC"}

package/dist/managed/compiler/contract-info.json

@@ -0,0 +1,210 @@
+{
+  "compiler-version": "0.36.0",
+  "compiler-commit": "b5d9e4dfc532fe47011c4f6296e254f4853eb469",
+  "language-version": "0.28.0",
+  "runtime-version": "0.21.0",
+  "circuits": [
+    {
+      "name": "respond",
+      "pure": false,
+      "proof": true,
+      "arguments": [
+        {
+          "name": "signatureRespondedEvent",
+          "type": {
+            "type-name": "Struct",
+            "name": "SignatureRespondedEventV1",
+            "elements": [
+              {
+                "name": "requestId",
+                "type": {
+                  "type-name": "Alias",
+                  "name": "RequestId",
+                  "type": {
+                    "type-name": "Bytes",
+                    "length": 32
+                  }
+                }
+              },
+              {
+                "name": "signature",
+                "type": {
+                  "type-name": "Struct",
+                  "name": "Signature",
+                  "elements": [
+                    {
+                      "name": "bigR",
+                      "type": {
+                        "type-name": "Struct",
+                        "name": "AffinePoint",
+                        "elements": [
+                          {
+                            "name": "x",
+                            "type": {
+                              "type-name": "Bytes",
+                              "length": 32
+                            }
+                          },
+                          {
+                            "name": "y",
+                            "type": {
+                              "type-name": "Bytes",
+                              "length": 32
+                            }
+                          }
+                        ]
+                      }
+                    },
+                    {
+                      "name": "s",
+                      "type": {
+                        "type-name": "Bytes",
+                        "length": 32
+                      }
+                    },
+                    {
+                      "name": "recoveryId",
+                      "type": {
+                        "type-name": "Uint",
+                        "maxval": 255
+                      }
+                    }
+                  ]
+                }
+              }
+            ]
+          }
+        }
+      ],
+      "result-type": {
+        "type-name": "Tuple",
+        "types": [
+        ]
+      }
+    },
+    {
+      "name": "respondBidirectional",
+      "pure": false,
+      "proof": true,
+      "arguments": [
+        {
+          "name": "respondBidirectionalEvent",
+          "type": {
+            "type-name": "Struct",
+            "name": "RespondBidirectionalEventV1",
+            "elements": [
+              {
+                "name": "requestId",
+                "type": {
+                  "type-name": "Alias",
+                  "name": "RequestId",
+                  "type": {
+                    "type-name": "Bytes",
+                    "length": 32
+                  }
+                }
+              },
+              {
+                "name": "blockHeight",
+                "type": {
+                  "type-name": "Uint",
+                  "maxval": 18446744073709551615
+                }
+              },
+              {
+                "name": "outputKind",
+                "type": {
+                  "type-name": "Enum",
+                  "name": "OutputKind",
+                  "elements": [
+                    "executed",
+                    "failed",
+                    "unviable"
+                  ]
+                }
+              },
+              {
+                "name": "serializedOutputLength",
+                "type": {
+                  "type-name": "Uint",
+                  "maxval": 18446744073709551615
+                }
+              },
+              {
+                "name": "outputHash",
+                "type": {
+                  "type-name": "Bytes",
+                  "length": 32
+                }
+              },
+              {
+                "name": "digest",
+                "type": {
+                  "type-name": "Bytes",
+                  "length": 32
+                }
+              },
+              {
+                "name": "signature",
+                "type": {
+                  "type-name": "Struct",
+                  "name": "Signature",
+                  "elements": [
+                    {
+                      "name": "bigR",
+                      "type": {
+                        "type-name": "Struct",
+                        "name": "AffinePoint",
+                        "elements": [
+                          {
+                            "name": "x",
+                            "type": {
+                              "type-name": "Bytes",
+                              "length": 32
+                            }
+                          },
+                          {
+                            "name": "y",
+                            "type": {
+                              "type-name": "Bytes",
+                              "length": 32
+                            }
+                          }
+                        ]
+                      }
+                    },
+                    {
+                      "name": "s",
+                      "type": {
+                        "type-name": "Bytes",
+                        "length": 32
+                      }
+                    },
+                    {
+                      "name": "recoveryId",
+                      "type": {
+                        "type-name": "Uint",
+                        "maxval": 255
+                      }
+                    }
+                  ]
+                }
+              }
+            ]
+          }
+        }
+      ],
+      "result-type": {
+        "type-name": "Tuple",
+        "types": [
+        ]
+      }
+    }
+  ],
+  "witnesses": [
+  ],
+  "contracts": [
+  ],
+  "ledger": [
+  ]
+}

package/dist/managed/compiler/contract-manifest.json

@@ -0,0 +1,79 @@
+{
+  "manifest-version": "1",
+  "compiler-version": "0.36.0",
+  "compiler-commit": "b5d9e4dfc532fe47011c4f6296e254f4853eb469",
+  "language-version": "0.28.0",
+  "runtime-version": "0.21.0",
+  "compiler": {
+    "type": "directory",
+    "contract-info.json": {
+      "type": "file",
+      "size": 5881,
+      "hash": "311ec9b75bce25b0b5f237c5353a28b54006b83021b20d46f6005f0e38589d07"
+    }
+  },
+  "contract": {
+    "type": "directory",
+    "index.d.ts": {
+      "type": "file",
+      "size": 6210,
+      "hash": "b927010b3b1242f62fbe150860053ce3f7fe1b5f643ae495b99510a618feed4f"
+    },
+    "index.js": {
+      "type": "file",
+      "size": 41625,
+      "hash": "46b2832359b49cccdd0ca97655d3f5aefa81187ae610f03739403edb0c97865a"
+    },
+    "index.js.map": {
+      "type": "file",
+      "size": 1030,
+      "hash": "ae886e4dc854a3a4d8dbcec2ce2e42470412b25eff1e2c92274932f5b6e3e28b"
+    }
+  },
+  "zkir": {
+    "type": "directory",
+    "respond.bzkir": {
+      "type": "file",
+      "size": 2047,
+      "hash": "2d89c680b0a14eb3431a94aa1d46db93a52ecf385dccfba10452b6b93491af46"
+    },
+    "respond.zkir": {
+      "type": "file",
+      "size": 3726,
+      "hash": "92fec1230b89036c7ce55fe36ceb8d537cbf7f26da17ca1332de4ed7ba162143"
+    },
+    "respondBidirectional.bzkir": {
+      "type": "file",
+      "size": 3901,
+      "hash": "0191f5af62beac6d7d35333f54c683a5f3c400eb22dcd5cf3afb797f0f2f9052"
+    },
+    "respondBidirectional.zkir": {
+      "type": "file",
+      "size": 6716,
+      "hash": "9e17a811e844615e807015c4a429a45225f6b5af22deafda8f52bd35e351c200"
+    }
+  },
+  "keys": {
+    "type": "directory",
+    "respond.prover": {
+      "type": "file",
+      "size": 889551,
+      "hash": "66c5ac1b84e56dbd7955e4cb97b3dabda5dd390ba7e50c7307dcc9917fb77e70"
+    },
+    "respond.verifier": {
+      "type": "file",
+      "size": 1353,
+      "hash": "15954f5769161352510f237304e2cf44a74fc72403ccb07936f353a593834cd8"
+    },
+    "respondBidirectional.prover": {
+      "type": "file",
+      "size": 1776141,
+      "hash": "01723a372196a2132a6dcd0f9c6b75fb366634241206d5f847d6d811990ca3c5"
+    },
+    "respondBidirectional.verifier": {
+      "type": "file",
+      "size": 1353,
+      "hash": "9778599e8a43b71a69d1889ad866c48e0c794b83d4c7f8c74d56f8179b135b5a"
+    }
+  }
+}

package/dist/managed/contract/index.d.ts

@@ -0,0 +1,103 @@
+import type * as __compactRuntime from '@midnight-ntwrk/compact-runtime';
+
+export type Witnesses<PS> = {
+}
+
+export type ImpureCircuits<PS> = {
+  respond(context: __compactRuntime.CircuitContext<PS>,
+          signatureRespondedEvent_0: { requestId: Uint8Array,
+                                       signature: { bigR: { x: Uint8Array,
+                                                            y: Uint8Array
+                                                          },
+                                                    s: Uint8Array,
+                                                    recoveryId: bigint
+                                                  }
+                                     }): Promise<__compactRuntime.CircuitResults<PS, []>>;
+  respondBidirectional(context: __compactRuntime.CircuitContext<PS>,
+                       respondBidirectionalEvent_0: { requestId: Uint8Array,
+                                                      blockHeight: bigint,
+                                                      outputKind: number,
+                                                      serializedOutputLength: bigint,
+                                                      outputHash: Uint8Array,
+                                                      digest: Uint8Array,
+                                                      signature: { bigR: { x: Uint8Array,
+                                                                           y: Uint8Array
+                                                                         },
+                                                                   s: Uint8Array,
+                                                                   recoveryId: bigint
+                                                                 }
+                                                    }): Promise<__compactRuntime.CircuitResults<PS, []>>;
+}
+
+export type ProvableCircuits<PS> = {
+  respond(context: __compactRuntime.CircuitContext<PS>,
+          signatureRespondedEvent_0: { requestId: Uint8Array,
+                                       signature: { bigR: { x: Uint8Array,
+                                                            y: Uint8Array
+                                                          },
+                                                    s: Uint8Array,
+                                                    recoveryId: bigint
+                                                  }
+                                     }): Promise<__compactRuntime.CircuitResults<PS, []>>;
+  respondBidirectional(context: __compactRuntime.CircuitContext<PS>,
+                       respondBidirectionalEvent_0: { requestId: Uint8Array,
+                                                      blockHeight: bigint,
+                                                      outputKind: number,
+                                                      serializedOutputLength: bigint,
+                                                      outputHash: Uint8Array,
+                                                      digest: Uint8Array,
+                                                      signature: { bigR: { x: Uint8Array,
+                                                                           y: Uint8Array
+                                                                         },
+                                                                   s: Uint8Array,
+                                                                   recoveryId: bigint
+                                                                 }
+                                                    }): Promise<__compactRuntime.CircuitResults<PS, []>>;
+}
+
+export type PureCircuits = {
+}
+
+export type Circuits<PS> = {
+  respond(context: __compactRuntime.CircuitContext<PS>,
+          signatureRespondedEvent_0: { requestId: Uint8Array,
+                                       signature: { bigR: { x: Uint8Array,
+                                                            y: Uint8Array
+                                                          },
+                                                    s: Uint8Array,
+                                                    recoveryId: bigint
+                                                  }
+                                     }): Promise<__compactRuntime.CircuitResults<PS, []>>;
+  respondBidirectional(context: __compactRuntime.CircuitContext<PS>,
+                       respondBidirectionalEvent_0: { requestId: Uint8Array,
+                                                      blockHeight: bigint,
+                                                      outputKind: number,
+                                                      serializedOutputLength: bigint,
+                                                      outputHash: Uint8Array,
+                                                      digest: Uint8Array,
+                                                      signature: { bigR: { x: Uint8Array,
+                                                                           y: Uint8Array
+                                                                         },
+                                                                   s: Uint8Array,
+                                                                   recoveryId: bigint
+                                                                 }
+                                                    }): Promise<__compactRuntime.CircuitResults<PS, []>>;
+}
+
+export type Ledger = {
+}
+
+export declare class Contract<PS = any, W extends Witnesses<PS> = Witnesses<PS>> {
+  witnesses: W;
+  circuits: Circuits<PS>;
+  impureCircuits: ImpureCircuits<PS>;
+  provableCircuits: ProvableCircuits<PS>;
+  constructor(witnesses: W);
+  initialState(context: __compactRuntime.ConstructorContext<PS>): Promise<__compactRuntime.ConstructorResult<PS>>;
+}
+
+export declare function ledger(state: __compactRuntime.StateValue | __compactRuntime.ChargedState): Ledger;
+export declare const pureCircuits: PureCircuits;
+export declare const expectedVk: Record<string, string>;
+export declare const circuitSignatures: __compactRuntime.CircuitSignatures;
+export declare const declaredInterfaces: __compactRuntime.DeclaredInterfaces;

package/dist/managed/contract/index.js

@@ -0,0 +1,423 @@
+import * as __compactRuntime from '@midnight-ntwrk/compact-runtime';
+__compactRuntime.checkRuntimeVersion('0.21.0');
+
+const _descriptor_0 = new __compactRuntime.CompactTypeBytes(288);
+
+const _descriptor_1 = new __compactRuntime.CompactTypeBytes(32);
+
+class _AffinePoint_0 {
+  alignment() {
+    return _descriptor_1.alignment().concat(_descriptor_1.alignment());
+  }
+  fromValue(value_0) {
+    return {
+      x: _descriptor_1.fromValue(value_0),
+      y: _descriptor_1.fromValue(value_0)
+    }
+  }
+  toValue(value_0) {
+    return _descriptor_1.toValue(value_0.x).concat(_descriptor_1.toValue(value_0.y));
+  }
+}
+
+const _descriptor_2 = new _AffinePoint_0();
+
+const _descriptor_3 = new __compactRuntime.CompactTypeUnsignedInteger(255n, 1);
+
+class _Signature_0 {
+  alignment() {
+    return _descriptor_2.alignment().concat(_descriptor_1.alignment().concat(_descriptor_3.alignment()));
+  }
+  fromValue(value_0) {
+    return {
+      bigR: _descriptor_2.fromValue(value_0),
+      s: _descriptor_1.fromValue(value_0),
+      recoveryId: _descriptor_3.fromValue(value_0)
+    }
+  }
+  toValue(value_0) {
+    return _descriptor_2.toValue(value_0.bigR).concat(_descriptor_1.toValue(value_0.s).concat(_descriptor_3.toValue(value_0.recoveryId)));
+  }
+}
+
+const _descriptor_4 = new _Signature_0();
+
+class _SignatureRespondedEventV1_0 {
+  alignment() {
+    return _descriptor_1.alignment().concat(_descriptor_4.alignment());
+  }
+  fromValue(value_0) {
+    return {
+      requestId: _descriptor_1.fromValue(value_0),
+      signature: _descriptor_4.fromValue(value_0)
+    }
+  }
+  toValue(value_0) {
+    return _descriptor_1.toValue(value_0.requestId).concat(_descriptor_4.toValue(value_0.signature));
+  }
+}
+
+const _descriptor_5 = new _SignatureRespondedEventV1_0();
+
+const _descriptor_6 = new __compactRuntime.CompactTypeUnsignedInteger(18446744073709551615n, 8);
+
+const _descriptor_7 = new __compactRuntime.CompactTypeEnum(2, 1);
+
+class _RespondBidirectionalEventV1_0 {
+  alignment() {
+    return _descriptor_1.alignment().concat(_descriptor_6.alignment().concat(_descriptor_7.alignment().concat(_descriptor_6.alignment().concat(_descriptor_1.alignment().concat(_descriptor_1.alignment().concat(_descriptor_4.alignment()))))));
+  }
+  fromValue(value_0) {
+    return {
+      requestId: _descriptor_1.fromValue(value_0),
+      blockHeight: _descriptor_6.fromValue(value_0),
+      outputKind: _descriptor_7.fromValue(value_0),
+      serializedOutputLength: _descriptor_6.fromValue(value_0),
+      outputHash: _descriptor_1.fromValue(value_0),
+      digest: _descriptor_1.fromValue(value_0),
+      signature: _descriptor_4.fromValue(value_0)
+    }
+  }
+  toValue(value_0) {
+    return _descriptor_1.toValue(value_0.requestId).concat(_descriptor_6.toValue(value_0.blockHeight).concat(_descriptor_7.toValue(value_0.outputKind).concat(_descriptor_6.toValue(value_0.serializedOutputLength).concat(_descriptor_1.toValue(value_0.outputHash).concat(_descriptor_1.toValue(value_0.digest).concat(_descriptor_4.toValue(value_0.signature)))))));
+  }
+}
+
+const _descriptor_8 = new _RespondBidirectionalEventV1_0();
+
+const _descriptor_9 = __compactRuntime.CompactTypeBoolean;
+
+class _Either_0 {
+  alignment() {
+    return _descriptor_9.alignment().concat(_descriptor_1.alignment().concat(_descriptor_1.alignment()));
+  }
+  fromValue(value_0) {
+    return {
+      is_left: _descriptor_9.fromValue(value_0),
+      left: _descriptor_1.fromValue(value_0),
+      right: _descriptor_1.fromValue(value_0)
+    }
+  }
+  toValue(value_0) {
+    return _descriptor_9.toValue(value_0.is_left).concat(_descriptor_1.toValue(value_0.left).concat(_descriptor_1.toValue(value_0.right)));
+  }
+}
+
+const _descriptor_10 = new _Either_0();
+
+const _descriptor_11 = new __compactRuntime.CompactTypeUnsignedInteger(340282366920938463463374607431768211455n, 16);
+
+class _ContractAddress_0 {
+  alignment() {
+    return _descriptor_1.alignment();
+  }
+  fromValue(value_0) {
+    return {
+      bytes: _descriptor_1.fromValue(value_0)
+    }
+  }
+  toValue(value_0) {
+    return _descriptor_1.toValue(value_0.bytes);
+  }
+}
+
+const _descriptor_12 = new _ContractAddress_0();
+
+class _UserAddress_0 {
+  alignment() {
+    return _descriptor_1.alignment();
+  }
+  fromValue(value_0) {
+    return {
+      bytes: _descriptor_1.fromValue(value_0)
+    }
+  }
+  toValue(value_0) {
+    return _descriptor_1.toValue(value_0.bytes);
+  }
+}
+
+const _descriptor_13 = new _UserAddress_0();
+
+class _Either_1 {
+  alignment() {
+    return _descriptor_9.alignment().concat(_descriptor_12.alignment().concat(_descriptor_13.alignment()));
+  }
+  fromValue(value_0) {
+    return {
+      is_left: _descriptor_9.fromValue(value_0),
+      left: _descriptor_12.fromValue(value_0),
+      right: _descriptor_13.fromValue(value_0)
+    }
+  }
+  toValue(value_0) {
+    return _descriptor_9.toValue(value_0.is_left).concat(_descriptor_12.toValue(value_0.left).concat(_descriptor_13.toValue(value_0.right)));
+  }
+}
+
+const _descriptor_14 = new _Either_1();
+
+class _Maybe_0 {
+  alignment() {
+    return _descriptor_9.alignment().concat(_descriptor_14.alignment());
+  }
+  fromValue(value_0) {
+    return {
+      is_some: _descriptor_9.fromValue(value_0),
+      value: _descriptor_14.fromValue(value_0)
+    }
+  }
+  toValue(value_0) {
+    return _descriptor_9.toValue(value_0.is_some).concat(_descriptor_14.toValue(value_0.value));
+  }
+}
+
+const _descriptor_15 = new _Maybe_0();
+
+const _descriptor_16 = new __compactRuntime.CompactTypeUnsignedInteger(4294967295n, 4);
+
+export class Contract {
+  witnesses;
+  constructor(...args_0) {
+    if (args_0.length !== 1) {
+      throw new __compactRuntime.CompactError(`Contract constructor: expected 1 argument, received ${args_0.length}`);
+    }
+    const witnesses_0 = args_0[0];
+    if (typeof(witnesses_0) !== 'object') {
+      throw new __compactRuntime.CompactError('first (witnesses) argument to Contract constructor is not an object');
+    }
+    this.witnesses = witnesses_0;
+    this.circuits = {
+      respond: async (...args_1) => {
+        if (args_1.length !== 2) {
+          throw new __compactRuntime.CompactError(`respond: expected 2 arguments (as invoked from Typescript), received ${args_1.length}`);
+        }
+        const contextOrig_0 = args_1[0];
+        const signatureRespondedEvent_0 = args_1[1];
+        if (!(typeof(contextOrig_0) === 'object' && contextOrig_0.callContext.currentQueryContext != undefined)) {
+          __compactRuntime.typeError('respond',
+                                     'argument 1 (as invoked from Typescript)',
+                                     'signet-responder.compact line 27 char 1',
+                                     'CircuitContext',
+                                     contextOrig_0)
+        }
+        if (!(typeof(signatureRespondedEvent_0) === 'object' && signatureRespondedEvent_0.requestId.buffer instanceof ArrayBuffer && signatureRespondedEvent_0.requestId.BYTES_PER_ELEMENT === 1 && signatureRespondedEvent_0.requestId.length === 32 && typeof(signatureRespondedEvent_0.signature) === 'object' && typeof(signatureRespondedEvent_0.signature.bigR) === 'object' && signatureRespondedEvent_0.signature.bigR.x.buffer instanceof ArrayBuffer && signatureRespondedEvent_0.signature.bigR.x.BYTES_PER_ELEMENT === 1 && signatureRespondedEvent_0.signature.bigR.x.length === 32 && signatureRespondedEvent_0.signature.bigR.y.buffer instanceof ArrayBuffer && signatureRespondedEvent_0.signature.bigR.y.BYTES_PER_ELEMENT === 1 && signatureRespondedEvent_0.signature.bigR.y.length === 32 && signatureRespondedEvent_0.signature.s.buffer instanceof ArrayBuffer && signatureRespondedEvent_0.signature.s.BYTES_PER_ELEMENT === 1 && signatureRespondedEvent_0.signature.s.length === 32 && typeof(signatureRespondedEvent_0.signature.recoveryId) === 'bigint' && signatureRespondedEvent_0.signature.recoveryId >= 0n && signatureRespondedEvent_0.signature.recoveryId <= 255n)) {
+          __compactRuntime.typeError('respond',
+                                     'argument 1 (argument 2 as invoked from Typescript)',
+                                     'signet-responder.compact line 27 char 1',
+                                     'struct SignatureRespondedEventV1<requestId: Bytes<32>, signature: struct Signature<bigR: struct AffinePoint<x: Bytes<32>, y: Bytes<32>>, s: Bytes<32>, recoveryId: Uint<0..256>>>',
+                                     signatureRespondedEvent_0)
+        }
+        const context = __compactRuntime.copyCircuitContext(contextOrig_0);
+        const partialProofData = {
+          input: {
+            value: _descriptor_5.toValue(signatureRespondedEvent_0),
+            alignment: _descriptor_5.alignment()
+          },
+          output: undefined,
+          publicTranscript: [],
+          privateTranscriptOutputs: []
+        };
+        const result_0 = await this._respond_0(context,
+                                               partialProofData,
+                                               signatureRespondedEvent_0);
+        partialProofData.output = { value: [], alignment: [] };
+        __compactRuntime.finalizeCallProofData(context, partialProofData);
+        return { result: result_0, context: context, gasCost: context.callContext.currentGasCost };
+      },
+      respondBidirectional: async (...args_1) => {
+        if (args_1.length !== 2) {
+          throw new __compactRuntime.CompactError(`respondBidirectional: expected 2 arguments (as invoked from Typescript), received ${args_1.length}`);
+        }
+        const contextOrig_0 = args_1[0];
+        const respondBidirectionalEvent_0 = args_1[1];
+        if (!(typeof(contextOrig_0) === 'object' && contextOrig_0.callContext.currentQueryContext != undefined)) {
+          __compactRuntime.typeError('respondBidirectional',
+                                     'argument 1 (as invoked from Typescript)',
+                                     'signet-responder.compact line 54 char 1',
+                                     'CircuitContext',
+                                     contextOrig_0)
+        }
+        if (!(typeof(respondBidirectionalEvent_0) === 'object' && respondBidirectionalEvent_0.requestId.buffer instanceof ArrayBuffer && respondBidirectionalEvent_0.requestId.BYTES_PER_ELEMENT === 1 && respondBidirectionalEvent_0.requestId.length === 32 && typeof(respondBidirectionalEvent_0.blockHeight) === 'bigint' && respondBidirectionalEvent_0.blockHeight >= 0n && respondBidirectionalEvent_0.blockHeight <= 18446744073709551615n && typeof(respondBidirectionalEvent_0.outputKind) === 'number' && respondBidirectionalEvent_0.outputKind >= 0 && respondBidirectionalEvent_0.outputKind <= 2 && typeof(respondBidirectionalEvent_0.serializedOutputLength) === 'bigint' && respondBidirectionalEvent_0.serializedOutputLength >= 0n && respondBidirectionalEvent_0.serializedOutputLength <= 18446744073709551615n && respondBidirectionalEvent_0.outputHash.buffer instanceof ArrayBuffer && respondBidirectionalEvent_0.outputHash.BYTES_PER_ELEMENT === 1 && respondBidirectionalEvent_0.outputHash.length === 32 && respondBidirectionalEvent_0.digest.buffer instanceof ArrayBuffer && respondBidirectionalEvent_0.digest.BYTES_PER_ELEMENT === 1 && respondBidirectionalEvent_0.digest.length === 32 && typeof(respondBidirectionalEvent_0.signature) === 'object' && typeof(respondBidirectionalEvent_0.signature.bigR) === 'object' && respondBidirectionalEvent_0.signature.bigR.x.buffer instanceof ArrayBuffer && respondBidirectionalEvent_0.signature.bigR.x.BYTES_PER_ELEMENT === 1 && respondBidirectionalEvent_0.signature.bigR.x.length === 32 && respondBidirectionalEvent_0.signature.bigR.y.buffer instanceof ArrayBuffer && respondBidirectionalEvent_0.signature.bigR.y.BYTES_PER_ELEMENT === 1 && respondBidirectionalEvent_0.signature.bigR.y.length === 32 && respondBidirectionalEvent_0.signature.s.buffer instanceof ArrayBuffer && respondBidirectionalEvent_0.signature.s.BYTES_PER_ELEMENT === 1 && respondBidirectionalEvent_0.signature.s.length === 32 && typeof(respondBidirectionalEvent_0.signature.recoveryId) === 'bigint' && respondBidirectionalEvent_0.signature.recoveryId >= 0n && respondBidirectionalEvent_0.signature.recoveryId <= 255n)) {
+          __compactRuntime.typeError('respondBidirectional',
+                                     'argument 1 (argument 2 as invoked from Typescript)',
+                                     'signet-responder.compact line 54 char 1',
+                                     'struct RespondBidirectionalEventV1<requestId: Bytes<32>, blockHeight: Uint<0..18446744073709551616>, outputKind: Enum<OutputKind, executed, failed, unviable>, serializedOutputLength: Uint<0..18446744073709551616>, outputHash: Bytes<32>, digest: Bytes<32>, signature: struct Signature<bigR: struct AffinePoint<x: Bytes<32>, y: Bytes<32>>, s: Bytes<32>, recoveryId: Uint<0..256>>>',
+                                     respondBidirectionalEvent_0)
+        }
+        const context = __compactRuntime.copyCircuitContext(contextOrig_0);
+        const partialProofData = {
+          input: {
+            value: _descriptor_8.toValue(respondBidirectionalEvent_0),
+            alignment: _descriptor_8.alignment()
+          },
+          output: undefined,
+          publicTranscript: [],
+          privateTranscriptOutputs: []
+        };
+        const result_0 = await this._respondBidirectional_0(context,
+                                                            partialProofData,
+                                                            respondBidirectionalEvent_0);
+        partialProofData.output = { value: [], alignment: [] };
+        __compactRuntime.finalizeCallProofData(context, partialProofData);
+        return { result: result_0, context: context, gasCost: context.callContext.currentGasCost };
+      }
+    };
+    this.impureCircuits = {
+      respond: this.circuits.respond,
+      respondBidirectional: this.circuits.respondBidirectional
+    };
+    this.provableCircuits = {
+      respond: this.circuits.respond,
+      respondBidirectional: this.circuits.respondBidirectional
+    };
+  }
+  async initialState(...args_0) {
+    if (args_0.length !== 1) {
+      throw new __compactRuntime.CompactError(`Contract state constructor: expected 1 argument (as invoked from Typescript), received ${args_0.length}`);
+    }
+    const constructorContext_0 = args_0[0];
+    if (typeof(constructorContext_0) !== 'object') {
+      throw new __compactRuntime.CompactError(`Contract state constructor: expected 'constructorContext' in argument 1 (as invoked from Typescript) to be an object`);
+    }
+    if (!('initialZswapLocalState' in constructorContext_0)) {
+      throw new __compactRuntime.CompactError(`Contract state constructor: expected 'initialZswapLocalState' in argument 1 (as invoked from Typescript)`);
+    }
+    if (typeof(constructorContext_0.initialZswapLocalState) !== 'object') {
+      throw new __compactRuntime.CompactError(`Contract state constructor: expected 'initialZswapLocalState' in argument 1 (as invoked from Typescript) to be an object`);
+    }
+    const state_0 = new __compactRuntime.ContractState();
+    let stateValue_0 = __compactRuntime.StateValue.newArray();
+    state_0.data = new __compactRuntime.ChargedState(stateValue_0);
+    state_0.setOperation('respond', new __compactRuntime.ContractOperation());
+    state_0.setOperation('respondBidirectional', new __compactRuntime.ContractOperation());
+    const context = __compactRuntime.createCircuitContext({circuitId: 'constructor', contractAddress: __compactRuntime.dummyContractAddress(), coinPublicKeyOrZswapState: constructorContext_0.initialZswapLocalState.coinPublicKey, contractState: state_0.data, privateState: constructorContext_0.initialPrivateState});
+    const partialProofData = {
+      input: { value: [], alignment: [] },
+      output: undefined,
+      publicTranscript: [],
+      privateTranscriptOutputs: []
+    };
+    state_0.data = new __compactRuntime.ChargedState(context.callContext.currentQueryContext.state.state);
+    return {
+      currentContractState: state_0,
+      currentPrivateState: context.callContext.currentPrivateState,
+      currentZswapLocalState: context.callContext.currentZswapLocalState
+    }
+  }
+  async _respond_0(context, partialProofData, signatureRespondedEvent_0) {
+    let t_0;
+    __compactRuntime.queryLedgerState(context,
+                                      partialProofData,
+                                      [
+                                       { push: { storage: false,
+                                                 value: __compactRuntime.StateValue.newArray()
+                                                          .arrayPush(__compactRuntime.StateValue.newCell({ value: _descriptor_16.toValue(1n),
+                                                                                                           alignment: _descriptor_16.alignment() })).arrayPush(__compactRuntime.StateValue.newCell({ value: _descriptor_3.toValue(10n),
+                                                                                                                                                                                                     alignment: _descriptor_3.alignment() })).arrayPush(__compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue((t_0 = { name:
+                                                                                                                                                                                                                                                                                                                                      new Uint8Array([83, 105, 103, 110, 97, 116, 117, 114, 101, 82, 101, 115, 112, 111, 110, 100, 101, 100, 69, 118, 101, 110, 116, 0, 0, 0, 0, 0, 0, 0, 0, 0]),
+                                                                                                                                                                                                                                                                                                                                    payload:
+                                                                                                                                                                                                                                                                                                                                      Uint8Array.from([...Array.from(signatureRespondedEvent_0.requestId,
+                                                                                                                                                                                                                                                                                                                                                                     BigInt),
+                                                                                                                                                                                                                                                                                                                                                       ...Array.from(signatureRespondedEvent_0.signature.bigR.x,
+                                                                                                                                                                                                                                                                                                                                                                     BigInt),
+                                                                                                                                                                                                                                                                                                                                                       ...Array.from(signatureRespondedEvent_0.signature.bigR.y,
+                                                                                                                                                                                                                                                                                                                                                                     BigInt),
+                                                                                                                                                                                                                                                                                                                                                       ...Array.from(signatureRespondedEvent_0.signature.s,
+                                                                                                                                                                                                                                                                                                                                                                     BigInt),
+                                                                                                                                                                                                                                                                                                                                                       signatureRespondedEvent_0.signature.recoveryId,
+                                                                                                                                                                                                                                                                                                                                                       ...Array.from(new Uint8Array(127),
+                                                                                                                                                                                                                                                                                                                                                                     BigInt)],
+                                                                                                                                                                                                                                                                                                                                                      Number) },
+                                                                                                                                                                                                                                                                                                                            Uint8Array.from([...Array.from(t_0.name,
+                                                                                                                                                                                                                                                                                                                                                           BigInt),
+                                                                                                                                                                                                                                                                                                                                             ...Array.from(t_0.payload,
+                                                                                                                                                                                                                                                                                                                                                           BigInt)],
+                                                                                                                                                                                                                                                                                                                                            Number))),
+                                                                                                                                                                                                                                                                                              alignment: _descriptor_0.alignment() }))
+                                                          .encode() } },
+                                       'log']);
+    return [];
+  }
+  async _respondBidirectional_0(context,
+                                partialProofData,
+                                respondBidirectionalEvent_0)
+  {
+    let t_0;
+    __compactRuntime.queryLedgerState(context,
+                                      partialProofData,
+                                      [
+                                       { push: { storage: false,
+                                                 value: __compactRuntime.StateValue.newArray()
+                                                          .arrayPush(__compactRuntime.StateValue.newCell({ value: _descriptor_16.toValue(1n),
+                                                                                                           alignment: _descriptor_16.alignment() })).arrayPush(__compactRuntime.StateValue.newCell({ value: _descriptor_3.toValue(10n),
+                                                                                                                                                                                                     alignment: _descriptor_3.alignment() })).arrayPush(__compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue((t_0 = { name:
+                                                                                                                                                                                                                                                                                                                                      new Uint8Array([82, 101, 115, 112, 111, 110, 100, 66, 105, 100, 105, 114, 101, 99, 116, 105, 111, 110, 97, 108, 69, 118, 101, 110, 116, 0, 0, 0, 0, 0, 0, 0]),
+                                                                                                                                                                                                                                                                                                                                    payload:
+                                                                                                                                                                                                                                                                                                                                      Uint8Array.from([...Array.from(respondBidirectionalEvent_0.requestId,
+                                                                                                                                                                                                                                                                                                                                                                     BigInt),
+                                                                                                                                                                                                                                                                                                                                                       ...Array.from(__compactRuntime.convertBigintToBytes(8,
+                                                                                                                                                                                                                                                                                                                                                                                                           respondBidirectionalEvent_0.blockHeight,
+                                                                                                                                                                                                                                                                                                                                                                                                           'signet-responder.compact line 61 char 17'),
+                                                                                                                                                                                                                                                                                                                                                                     BigInt),
+                                                                                                                                                                                                                                                                                                                                                       BigInt(respondBidirectionalEvent_0.outputKind),
+                                                                                                                                                                                                                                                                                                                                                       ...Array.from(__compactRuntime.convertBigintToBytes(8,
+                                                                                                                                                                                                                                                                                                                                                                                                           respondBidirectionalEvent_0.serializedOutputLength,
+                                                                                                                                                                                                                                                                                                                                                                                                           'signet-responder.compact line 63 char 17'),
+                                                                                                                                                                                                                                                                                                                                                                     BigInt),
+                                                                                                                                                                                                                                                                                                                                                       ...Array.from(respondBidirectionalEvent_0.outputHash,
+                                                                                                                                                                                                                                                                                                                                                                     BigInt),
+                                                                                                                                                                                                                                                                                                                                                       ...Array.from(respondBidirectionalEvent_0.digest,
+                                                                                                                                                                                                                                                                                                                                                                     BigInt),
+                                                                                                                                                                                                                                                                                                                                                       ...Array.from(respondBidirectionalEvent_0.signature.bigR.x,
+                                                                                                                                                                                                                                                                                                                                                                     BigInt),
+                                                                                                                                                                                                                                                                                                                                                       ...Array.from(respondBidirectionalEvent_0.signature.bigR.y,
+                                                                                                                                                                                                                                                                                                                                                                     BigInt),
+                                                                                                                                                                                                                                                                                                                                                       ...Array.from(respondBidirectionalEvent_0.signature.s,
+                                                                                                                                                                                                                                                                                                                                                                     BigInt),
+                                                                                                                                                                                                                                                                                                                                                       respondBidirectionalEvent_0.signature.recoveryId,
+                                                                                                                                                                                                                                                                                                                                                       ...Array.from(new Uint8Array(46),
+                                                                                                                                                                                                                                                                                                                                                                     BigInt)],
+                                                                                                                                                                                                                                                                                                                                                      Number) },
+                                                                                                                                                                                                                                                                                                                            Uint8Array.from([...Array.from(t_0.name,
+                                                                                                                                                                                                                                                                                                                                                           BigInt),
+                                                                                                                                                                                                                                                                                                                                             ...Array.from(t_0.payload,
+                                                                                                                                                                                                                                                                                                                                                           BigInt)],
+                                                                                                                                                                                                                                                                                                                                            Number))),
+                                                                                                                                                                                                                                                                                              alignment: _descriptor_0.alignment() }))
+                                                          .encode() } },
+                                       'log']);
+    return [];
+  }
+}
+export function ledger(stateOrChargedState) {
+  const state = stateOrChargedState instanceof __compactRuntime.StateValue ? stateOrChargedState : stateOrChargedState.state;
+  const chargedState = stateOrChargedState instanceof __compactRuntime.StateValue ? new __compactRuntime.ChargedState(stateOrChargedState) : stateOrChargedState;
+  const context = {
+    callContext: { currentQueryContext: new __compactRuntime.QueryContext(chargedState, __compactRuntime.dummyContractAddress()), currentGasCost: __compactRuntime.emptyRunningCost() },
+    costModel: __compactRuntime.CostModel.initialCostModel()
+  };
+  const partialProofData = {
+    input: { value: [], alignment: [] },
+    output: undefined,
+    publicTranscript: [],
+    privateTranscriptOutputs: []
+  };
+  return {
+  };
+}
+const _emptyContext = {
+  callContext: { currentQueryContext: new __compactRuntime.QueryContext(new __compactRuntime.ContractState().data, __compactRuntime.dummyContractAddress()), currentGasCost: __compactRuntime.emptyRunningCost() }
+};
+const _dummyContract = new Contract({ });
+export const pureCircuits = {};
+export const expectedVk = {};
+
+export const circuitSignatures = {
+  'respond': {pure: false, provable: true, argumentTypes: [{tag: 'Struct', name: 'SignatureRespondedEventV1', elements: [{name: 'requestId', type: {tag: 'Alias', name: 'RequestId', type: {tag: 'Bytes', length: 32}}}, {name: 'signature', type: {tag: 'Struct', name: 'Signature', elements: [{name: 'bigR', type: {tag: 'Struct', name: 'AffinePoint', elements: [{name: 'x', type: {tag: 'Bytes', length: 32}}, {name: 'y', type: {tag: 'Bytes', length: 32}}]}}, {name: 's', type: {tag: 'Bytes', length: 32}}, {name: 'recoveryId', type: {tag: 'Uint', maxval: '255'}}]}}]}], resultType: {tag: 'Tuple', types: []}},
+  'respondBidirectional': {pure: false, provable: true, argumentTypes: [{tag: 'Struct', name: 'RespondBidirectionalEventV1', elements: [{name: 'requestId', type: {tag: 'Alias', name: 'RequestId', type: {tag: 'Bytes', length: 32}}}, {name: 'blockHeight', type: {tag: 'Uint', maxval: '18446744073709551615'}}, {name: 'outputKind', type: {tag: 'Enum', name: 'OutputKind', elements: ['executed', 'failed', 'unviable']}}, {name: 'serializedOutputLength', type: {tag: 'Uint', maxval: '18446744073709551615'}}, {name: 'outputHash', type: {tag: 'Bytes', length: 32}}, {name: 'digest', type: {tag: 'Bytes', length: 32}}, {name: 'signature', type: {tag: 'Struct', name: 'Signature', elements: [{name: 'bigR', type: {tag: 'Struct', name: 'AffinePoint', elements: [{name: 'x', type: {tag: 'Bytes', length: 32}}, {name: 'y', type: {tag: 'Bytes', length: 32}}]}}, {name: 's', type: {tag: 'Bytes', length: 32}}, {name: 'recoveryId', type: {tag: 'Uint', maxval: '255'}}]}}]}], resultType: {tag: 'Tuple', types: []}},
+};
+
+export const declaredInterfaces = {};
+
+//# sourceMappingURL=index.js.map

package/dist/managed/contract/index.js.map

@@ -0,0 +1,8 @@
+{
+  "version": 3,
+  "file": "index.js",
+  "sourceRoot": "../../../",
+  "sources": ["src/signet-responder.compact"],
+  "names": [],
+  "mappings": ";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAAA;;;;;;;;;;MA0BA,AAAA,OAcC;;;;;cAbG,yBAAkD;;;;;;;;;;;;;;;;;;yCAAlD,yBAAkD;;;;;;;;;+CAAlD,yBAAkD;;;;OAarD;MAaD,AAAA,oBAmBC;;;;;cAlBG,2BAAsD;;;;;;;;;;;;;;;;;;yCAAtD,2BAAsD;;;;;;;;;4DAAtD,2BAAsD;;;;OAkBzD;;;;;;;;;;GACA;EAzED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyEC;EA/CD,AAAA,gBAcC,4BAbG,yBAAkD;QAElD,GAUE;;;;;;;;;;;qWAPkB,yBAAuB;;qWACvB,yBAAuB;;qWACvB,yBAAuB;;qWACvB,yBAAuB;;uVAC1B,yBAAuB;;;;2VAPxC,GAUE;;2VAVF,GAUE;;;;;;;GACL;EAaD,AAAA,6BAmBC;;gCAlBG,2BAAsD;;QAEtD,GAeE;;;;;;;;;;;qWAZkB,2BAAyB;;;2YACxB,2BAAyB;;;8VAC7B,2BAAyB;;2YACrB,2BAAyB;;;qWAC1B,2BAAyB;;qWACzB,2BAAyB;;qWACzB,2BAAyB;;qWACzB,2BAAyB;;qWACzB,2BAAyB;;uVAC5B,2BAAyB;;;;2VAZ1C,GAeE;;2VAfF,GAeE;;;;;;;GACL;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;"
+}

package/dist/managed/zkir/respond.zkir

@@ -0,0 +1 @@
+{"do_communications_commitment":true,"inputs":[{"name":"%signatureRespondedEvent_requestId_hi.0","type":"Scalar<BLS12-381>"},{"name":"%signatureRespondedEvent_requestId_lo.1","type":"Scalar<BLS12-381>"},{"name":"%signatureRespondedEvent_signature_bigR_x_hi.2","type":"Scalar<BLS12-381>"},{"name":"%signatureRespondedEvent_signature_bigR_x_lo.3","type":"Scalar<BLS12-381>"},{"name":"%signatureRespondedEvent_signature_bigR_y_hi.4","type":"Scalar<BLS12-381>"},{"name":"%signatureRespondedEvent_signature_bigR_y_lo.5","type":"Scalar<BLS12-381>"},{"name":"%signatureRespondedEvent_signature_s_hi.6","type":"Scalar<BLS12-381>"},{"name":"%signatureRespondedEvent_signature_s_lo.7","type":"Scalar<BLS12-381>"},{"name":"%signatureRespondedEvent_signature_recoveryId.8","type":"Scalar<BLS12-381>"}],"instructions":[{"bits":8,"op":"constrain_bits","val":"%signatureRespondedEvent_requestId_hi.0"},{"bits":248,"op":"constrain_bits","val":"%signatureRespondedEvent_requestId_lo.1"},{"bits":8,"op":"constrain_bits","val":"%signatureRespondedEvent_signature_bigR_x_hi.2"},{"bits":248,"op":"constrain_bits","val":"%signatureRespondedEvent_signature_bigR_x_lo.3"},{"bits":8,"op":"constrain_bits","val":"%signatureRespondedEvent_signature_bigR_y_hi.4"},{"bits":248,"op":"constrain_bits","val":"%signatureRespondedEvent_signature_bigR_y_lo.5"},{"bits":8,"op":"constrain_bits","val":"%signatureRespondedEvent_signature_s_hi.6"},{"bits":248,"op":"constrain_bits","val":"%signatureRespondedEvent_signature_s_lo.7"},{"bits":8,"op":"constrain_bits","val":"%signatureRespondedEvent_signature_recoveryId.8"},{"bits":240,"op":"div_mod_power_of_two","outputs":["%div.13","%mod.14"],"val":"%signatureRespondedEvent_requestId_lo.1"},{"a":"%mod.14","b":"0x0001","op":"mul","output":"%mul.16"},{"a":"0x00","b":"%mul.16","op":"add","output":"%add.17"},{"a":"%signatureRespondedEvent_requestId_hi.0","b":"0x0001","op":"mul","output":"%mul.19"},{"a":"%div.13","b":"%mul.19","op":"add","output":"%add.20"},{"bits":232,"op":"div_mod_power_of_two","outputs":["%div.21","%mod.22"],"val":"%signatureRespondedEvent_signature_bigR_x_lo.3"},{"a":"%mod.22","b":"0x000001","op":"mul","output":"%mul.24"},{"a":"%add.20","b":"%mul.24","op":"add","output":"%add.25"},{"a":"%signatureRespondedEvent_signature_bigR_x_hi.2","b":"0x000001","op":"mul","output":"%mul.27"},{"a":"%div.21","b":"%mul.27","op":"add","output":"%add.28"},{"bits":224,"op":"div_mod_power_of_two","outputs":["%div.29","%mod.30"],"val":"%signatureRespondedEvent_signature_bigR_y_lo.5"},{"a":"%mod.30","b":"0x00000001","op":"mul","output":"%mul.32"},{"a":"%add.28","b":"%mul.32","op":"add","output":"%add.33"},{"a":"%signatureRespondedEvent_signature_bigR_y_hi.4","b":"0x00000001","op":"mul","output":"%mul.35"},{"a":"%div.29","b":"%mul.35","op":"add","output":"%add.36"},{"bits":216,"op":"div_mod_power_of_two","outputs":["%div.37","%mod.38"],"val":"%signatureRespondedEvent_signature_s_lo.7"},{"a":"%mod.38","b":"0x0000000001","op":"mul","output":"%mul.40"},{"a":"%add.36","b":"%mul.40","op":"add","output":"%add.41"},{"a":"%signatureRespondedEvent_signature_s_hi.6","b":"0x0000000001","op":"mul","output":"%mul.43"},{"a":"%div.37","b":"%mul.43","op":"add","output":"%add.44"},{"a":"%signatureRespondedEvent_signature_recoveryId.8","b":"0x000000000001","op":"mul","output":"%mul.46"},{"a":"%add.44","b":"%mul.46","op":"add","output":"%add.47"},{"guard":"0x01","inputs":["0x10","0x33","0x01","0x01","0x04","0x01","0x01","0x01","0x01","0x0a","0x01","0x01","0x2001","0x00","0x00","0x00","0x00","%add.47","%add.41","%add.33","%add.25","%add.17","0x5369676e6174757265526573706f6e6465644576656e74"],"op":"impact"},{"guard":"0x01","inputs":["0x09"],"op":"impact"}],"outputs":[],"version":{"major":3,"minor":1}}

package/dist/managed/zkir/respondBidirectional.zkir

@@ -0,0 +1 @@
+{"do_communications_commitment":true,"inputs":[{"name":"%respondBidirectionalEvent_requestId_hi.0","type":"Scalar<BLS12-381>"},{"name":"%respondBidirectionalEvent_requestId_lo.1","type":"Scalar<BLS12-381>"},{"name":"%respondBidirectionalEvent_blockHeight.2","type":"Scalar<BLS12-381>"},{"name":"%respondBidirectionalEvent_outputKind.3","type":"Scalar<BLS12-381>"},{"name":"%respondBidirectionalEvent_serializedOutputLength.4","type":"Scalar<BLS12-381>"},{"name":"%respondBidirectionalEvent_outputHash_hi.5","type":"Scalar<BLS12-381>"},{"name":"%respondBidirectionalEvent_outputHash_lo.6","type":"Scalar<BLS12-381>"},{"name":"%respondBidirectionalEvent_digest_hi.7","type":"Scalar<BLS12-381>"},{"name":"%respondBidirectionalEvent_digest_lo.8","type":"Scalar<BLS12-381>"},{"name":"%respondBidirectionalEvent_signature_bigR_x_hi.9","type":"Scalar<BLS12-381>"},{"name":"%respondBidirectionalEvent_signature_bigR_x_lo.10","type":"Scalar<BLS12-381>"},{"name":"%respondBidirectionalEvent_signature_bigR_y_hi.11","type":"Scalar<BLS12-381>"},{"name":"%respondBidirectionalEvent_signature_bigR_y_lo.12","type":"Scalar<BLS12-381>"},{"name":"%respondBidirectionalEvent_signature_s_hi.13","type":"Scalar<BLS12-381>"},{"name":"%respondBidirectionalEvent_signature_s_lo.14","type":"Scalar<BLS12-381>"},{"name":"%respondBidirectionalEvent_signature_recoveryId.15","type":"Scalar<BLS12-381>"}],"instructions":[{"bits":8,"op":"constrain_bits","val":"%respondBidirectionalEvent_requestId_hi.0"},{"bits":248,"op":"constrain_bits","val":"%respondBidirectionalEvent_requestId_lo.1"},{"bits":64,"op":"constrain_bits","val":"%respondBidirectionalEvent_blockHeight.2"},{"a":"%respondBidirectionalEvent_outputKind.3","b":"0x03","bits":2,"op":"less_than","output":"%lt.16"},{"cond":"%lt.16","op":"assert"},{"bits":64,"op":"constrain_bits","val":"%respondBidirectionalEvent_serializedOutputLength.4"},{"bits":8,"op":"constrain_bits","val":"%respondBidirectionalEvent_outputHash_hi.5"},{"bits":248,"op":"constrain_bits","val":"%respondBidirectionalEvent_outputHash_lo.6"},{"bits":8,"op":"constrain_bits","val":"%respondBidirectionalEvent_digest_hi.7"},{"bits":248,"op":"constrain_bits","val":"%respondBidirectionalEvent_digest_lo.8"},{"bits":8,"op":"constrain_bits","val":"%respondBidirectionalEvent_signature_bigR_x_hi.9"},{"bits":248,"op":"constrain_bits","val":"%respondBidirectionalEvent_signature_bigR_x_lo.10"},{"bits":8,"op":"constrain_bits","val":"%respondBidirectionalEvent_signature_bigR_y_hi.11"},{"bits":248,"op":"constrain_bits","val":"%respondBidirectionalEvent_signature_bigR_y_lo.12"},{"bits":8,"op":"constrain_bits","val":"%respondBidirectionalEvent_signature_s_hi.13"},{"bits":248,"op":"constrain_bits","val":"%respondBidirectionalEvent_signature_s_lo.14"},{"bits":8,"op":"constrain_bits","val":"%respondBidirectionalEvent_signature_recoveryId.15"},{"bits":240,"op":"div_mod_power_of_two","outputs":["%div.21","%mod.22"],"val":"%respondBidirectionalEvent_requestId_lo.1"},{"a":"%mod.22","b":"0x0001","op":"mul","output":"%mul.24"},{"a":"0x00","b":"%mul.24","op":"add","output":"%add.25"},{"a":"%respondBidirectionalEvent_requestId_hi.0","b":"0x0001","op":"mul","output":"%mul.27"},{"a":"%div.21","b":"%mul.27","op":"add","output":"%add.28"},{"a":"%respondBidirectionalEvent_blockHeight.2","b":"0x000001","op":"mul","output":"%mul.30"},{"a":"%add.28","b":"%mul.30","op":"add","output":"%add.31"},{"a":"%respondBidirectionalEvent_outputKind.3","b":"0x0000000000000000000001","op":"mul","output":"%mul.33"},{"a":"%add.31","b":"%mul.33","op":"add","output":"%add.34"},{"a":"%respondBidirectionalEvent_serializedOutputLength.4","b":"0x000000000000000000000001","op":"mul","output":"%mul.36"},{"a":"%add.34","b":"%mul.36","op":"add","output":"%add.37"},{"bits":96,"op":"div_mod_power_of_two","outputs":["%div.38","%mod.39"],"val":"%respondBidirectionalEvent_outputHash_lo.6"},{"a":"%mod.39","b":"0x0000000000000000000000000000000000000001","op":"mul","output":"%mul.41"},{"a":"%add.37","b":"%mul.41","op":"add","output":"%add.42"},{"a":"%respondBidirectionalEvent_outputHash_hi.5","b":"0x0000000000000000000000000000000000000001","op":"mul","output":"%mul.44"},{"a":"%div.38","b":"%mul.44","op":"add","output":"%add.45"},{"bits":88,"op":"div_mod_power_of_two","outputs":["%div.46","%mod.47"],"val":"%respondBidirectionalEvent_digest_lo.8"},{"a":"%mod.47","b":"0x000000000000000000000000000000000000000001","op":"mul","output":"%mul.49"},{"a":"%add.45","b":"%mul.49","op":"add","output":"%add.50"},{"a":"%respondBidirectionalEvent_digest_hi.7","b":"0x000000000000000000000000000000000000000001","op":"mul","output":"%mul.52"},{"a":"%div.46","b":"%mul.52","op":"add","output":"%add.53"},{"bits":80,"op":"div_mod_power_of_two","outputs":["%div.54","%mod.55"],"val":"%respondBidirectionalEvent_signature_bigR_x_lo.10"},{"a":"%mod.55","b":"0x00000000000000000000000000000000000000000001","op":"mul","output":"%mul.57"},{"a":"%add.53","b":"%mul.57","op":"add","output":"%add.58"},{"a":"%respondBidirectionalEvent_signature_bigR_x_hi.9","b":"0x00000000000000000000000000000000000000000001","op":"mul","output":"%mul.60"},{"a":"%div.54","b":"%mul.60","op":"add","output":"%add.61"},{"bits":72,"op":"div_mod_power_of_two","outputs":["%div.62","%mod.63"],"val":"%respondBidirectionalEvent_signature_bigR_y_lo.12"},{"a":"%mod.63","b":"0x0000000000000000000000000000000000000000000001","op":"mul","output":"%mul.65"},{"a":"%add.61","b":"%mul.65","op":"add","output":"%add.66"},{"a":"%respondBidirectionalEvent_signature_bigR_y_hi.11","b":"0x0000000000000000000000000000000000000000000001","op":"mul","output":"%mul.68"},{"a":"%div.62","b":"%mul.68","op":"add","output":"%add.69"},{"bits":64,"op":"div_mod_power_of_two","outputs":["%div.70","%mod.71"],"val":"%respondBidirectionalEvent_signature_s_lo.14"},{"a":"%mod.71","b":"0x000000000000000000000000000000000000000000000001","op":"mul","output":"%mul.73"},{"a":"%add.69","b":"%mul.73","op":"add","output":"%add.74"},{"a":"%respondBidirectionalEvent_signature_s_hi.13","b":"0x000000000000000000000000000000000000000000000001","op":"mul","output":"%mul.76"},{"a":"%div.70","b":"%mul.76","op":"add","output":"%add.77"},{"a":"%respondBidirectionalEvent_signature_recoveryId.15","b":"0x00000000000000000000000000000000000000000000000001","op":"mul","output":"%mul.79"},{"a":"%add.77","b":"%mul.79","op":"add","output":"%add.80"},{"guard":"0x01","inputs":["0x10","0x33","0x01","0x01","0x04","0x01","0x01","0x01","0x01","0x0a","0x01","0x01","0x2001","0x00","0x00","%add.80","%add.74","%add.66","%add.58","%add.50","%add.42","%add.25","0x526573706f6e644269646972656374696f6e616c4576656e74"],"op":"impact"},{"guard":"0x01","inputs":["0x09"],"op":"impact"}],"outputs":[],"version":{"major":3,"minor":1}}

package/dist/witnesses.d.ts

@@ -0,0 +1,15 @@
+import type { Witnesses } from "./managed/contract/index.js";
+/** Private state carried through signet-responder circuit calls: none. */
+export type SignetResponderPrivateState = Record<string, never>;
+/**
+ * Build the contract's (empty) private state.
+ *
+ * @returns A fresh, empty private state.
+ */
+export declare const createSignetResponderPrivateState: () => SignetResponderPrivateState;
+/**
+ * Witness implementations, typed against the generated `Witnesses` shape:
+ * the contract declares none.
+ */
+export declare const witnesses: Witnesses<SignetResponderPrivateState>;
+//# 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":"AAGA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,6BAA6B,CAAC;AAE7D,0EAA0E;AAC1E,MAAM,MAAM,2BAA2B,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;AAEhE;;;;GAIG;AACH,eAAO,MAAM,iCAAiC,QAAO,2BAAmC,CAAC;AAEzF;;;GAGG;AACH,eAAO,MAAM,SAAS,EAAE,SAAS,CAAC,2BAA2B,CAAM,CAAC"}

package/dist/witnesses.js

@@ -0,0 +1,14 @@
+// The signet responder has no witnesses: it emits posts without verifying
+// them, and posting carries no caller secrets, so there is no private state.
+/**
+ * Build the contract's (empty) private state.
+ *
+ * @returns A fresh, empty private state.
+ */
+export const createSignetResponderPrivateState = () => ({});
+/**
+ * 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,0EAA0E;AAC1E,6EAA6E;AAO7E;;;;GAIG;AACH,MAAM,CAAC,MAAM,iCAAiC,GAAG,GAAgC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;AAEzF;;;GAGG;AACH,MAAM,CAAC,MAAM,SAAS,GAA2C,EAAE,CAAC"}

package/package.json

@@ -1,6 +1,54 @@
 {
   "name": "@sig-net/midnight-responder",
-  "version": "0.0.0-stage",
-  "stub": true,
-  "description": "Temporary package placeholder for staged publishing"
+  "version": "0.26.0-rc.10",
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/sig-net/midnight-integration",
+    "directory": "packages/signet-responder"
+  },
+  "type": "module",
+  "description": "The Sig Network response contract on Midnight: the circuits the MPC posts signature responses and remote execution attestations through, as contract events clients poll. Its proving artifacts are MinoCrab-compiled. src/index.ts is the curated export surface.",
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "default": "./dist/index.js"
+    },
+    "./managed/*": "./dist/managed/*"
+  },
+  "files": [
+    "dist"
+  ],
+  "scripts": {
+    "compile": "COMPACT_PATH=../../node_modules compact compile --skip-zk src/signet-responder.compact src/managed",
+    "compile:zk": "yarn compile && cd minocrab && cargo run --locked -- ../src/managed",
+    "build": "rm -rf dist && ls src/managed/keys/*.prover >/dev/null 2>&1 || { echo 'signet-responder 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"
+  },
+  "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.21.0",
+    "@midnight-ntwrk/midnight-js": "5.0.0"
+  },
+  "devDependencies": {
+    "@sig-net/midnight": "^0.26.0-rc.10",
+    "@types/node": "^26.1.0",
+    "@vitest/coverage-v8": "^5.0.0",
+    "typescript": "^7.0.2",
+    "vite": "^8.2.2",
+    "vitest": "^5.0.0"
+  },
+  "main": "./dist/index.js",
+  "types": "./dist/index.d.ts"
 }