@sig-net/midnight-contract 0.0.1

package/dist/contract-surface.d.ts

@@ -0,0 +1,20 @@
+import type { MidnightProviders } from "@midnight-ntwrk/midnight-js/types";
+import { Contract } from "./managed/contract/index.js";
+import { type SignetContractPrivateState } from "./witnesses.ts";
+/** The contract's provable circuit ids, straight from the generated contract. */
+export type SignetContractCircuitId = keyof InstanceType<typeof Contract>["provableCircuits"] & string;
+/**
+ * Literal of the private-state storage key. Just a string, but a single-value
+ * union so the providers/`findDeployedContract` pairing is enforced by the
+ * type system.
+ */
+export type SignetContractPrivateStateId = "signet-contract";
+/**
+ * Key under which midnight-js persists this contract's private state locally
+ * (in whatever private-state store the consumer's provider set uses).
+ * Distinct per contract so two clients don't share an entry.
+ */
+export declare const SIGNET_CONTRACT_PRIVATE_STATE_ID: SignetContractPrivateStateId;
+/** The full midnight-js provider set, typed to the signet contract. */
+export type SignetContractProviders = MidnightProviders<SignetContractCircuitId, SignetContractPrivateStateId, SignetContractPrivateState>;
+//# 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":"AASA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,mCAAmC,CAAC;AAE3E,OAAO,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AACvD,OAAO,EAAE,KAAK,0BAA0B,EAAE,MAAM,gBAAgB,CAAC;AAEjE,iFAAiF;AACjF,MAAM,MAAM,uBAAuB,GAAG,MAAM,YAAY,CAAC,OAAO,QAAQ,CAAC,CAAC,kBAAkB,CAAC,GAAG,MAAM,CAAC;AAEvG;;;;GAIG;AACH,MAAM,MAAM,4BAA4B,GAAG,iBAAiB,CAAC;AAE7D;;;;GAIG;AACH,eAAO,MAAM,gCAAgC,EAAE,4BAAgD,CAAC;AAEhG,uEAAuE;AACvE,MAAM,MAAM,uBAAuB,GAAG,iBAAiB,CAErD,uBAAuB,EAEvB,4BAA4B,EAE5B,0BAA0B,CAC3B,CAAC"}

package/dist/contract-surface.js

@@ -0,0 +1,17 @@
+// The contract's platform-agnostic client surface: the circuit-id union, the
+// private-state store key, and the provider-set TYPE. Deliberately nothing
+// runnable — no wallet flavor, no zk-config source, no state store, no proof
+// provider. Composing a live midnight-js provider set is CONSUMER territory
+// (it differs per environment: Node fs vs browser fetch, LevelDB vs
+// IndexedDB, WalletFacade vs a connector API), so each consumer declares its
+// own — see this monorepo's signet-contract-deploy package for the Node
+// operator composition, and the fakenet response server for a consumer's.
+import { Contract } from "./managed/contract/index.js";
+import {} from "./witnesses.js";
+/**
+ * Key under which midnight-js persists this contract's private state locally
+ * (in whatever private-state store the consumer's provider set uses).
+ * Distinct per contract so two clients don't share an entry.
+ */
+export const SIGNET_CONTRACT_PRIVATE_STATE_ID = "signet-contract";
+//# 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,6EAA6E;AAC7E,4EAA4E;AAC5E,oEAAoE;AACpE,6EAA6E;AAC7E,wEAAwE;AACxE,0EAA0E;AAI1E,OAAO,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AACvD,OAAO,EAAmC,MAAM,gBAAgB,CAAC;AAYjE;;;;GAIG;AACH,MAAM,CAAC,MAAM,gCAAgC,GAAiC,iBAAiB,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,4 @@
+export * from "./managed/contract/index.js";
+export * from "./witnesses.ts";
+export * from "./contract-surface.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":"AAMA,cAAc,6BAA6B,CAAC;AAC5C,cAAc,gBAAgB,CAAC;AAC/B,cAAc,uBAAuB,CAAC"}

package/dist/index.js

@@ -0,0 +1,9 @@
+// Curated export surface — this IS the "sdk" face of the package.
+// Everything the compiler emitted, the handwritten witnesses, and the
+// platform-agnostic contract surface (ids + provider TYPE). Environment
+// bindings (zk-config source, state store, wallet adapter) deliberately
+// live with each consumer, not here.
+export * from "./managed/contract/index.js";
+export * from "./witnesses.js";
+export * from "./contract-surface.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,kEAAkE;AAClE,sEAAsE;AACtE,wEAAwE;AACxE,wEAAwE;AACxE,qCAAqC;AAErC,cAAc,6BAA6B,CAAC;AAC5C,cAAc,gBAAgB,CAAC;AAC/B,cAAc,uBAAuB,CAAC"}

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

@@ -0,0 +1,335 @@
+{
+  "compiler-version": "0.33.0",
+  "language-version": "0.25.0",
+  "runtime-version": "0.18.0-rc.0",
+  "circuits": [
+    {
+      "name": "emitSignBidirectionalEvent",
+      "pure": false,
+      "proof": true,
+      "arguments": [
+        {
+          "name": "signBidirectionalEvent",
+          "type": {
+            "type-name": "Struct",
+            "name": "SignBidirectionalEvent",
+            "elements": [
+              {
+                "name": "version",
+                "type": {
+                  "type-name": "Uint",
+                  "maxval": 255
+                }
+              },
+              {
+                "name": "payload",
+                "type": {
+                  "type-name": "Bytes",
+                  "length": 224
+                }
+              }
+            ]
+          }
+        }
+      ],
+      "result-type": {
+        "type-name": "Tuple",
+        "types": [
+        ]
+      }
+    },
+    {
+      "name": "postSignatureResponse",
+      "pure": false,
+      "proof": true,
+      "arguments": [
+        {
+          "name": "requestId",
+          "type": {
+            "type-name": "Alias",
+            "name": "RequestId",
+            "type": {
+              "type-name": "Bytes",
+              "length": 32
+            }
+          }
+        },
+        {
+          "name": "signatureResponse",
+          "type": {
+            "type-name": "Struct",
+            "name": "SignatureResponse",
+            "elements": [
+              {
+                "name": "bigRx",
+                "type": {
+                  "type-name": "Bytes",
+                  "length": 32
+                }
+              },
+              {
+                "name": "bigRy",
+                "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": "postRespondBidirectional",
+      "pure": false,
+      "proof": true,
+      "arguments": [
+        {
+          "name": "requestId",
+          "type": {
+            "type-name": "Alias",
+            "name": "RequestId",
+            "type": {
+              "type-name": "Bytes",
+              "length": 32
+            }
+          }
+        },
+        {
+          "name": "respondBidirectional",
+          "type": {
+            "type-name": "Struct",
+            "name": "RespondBidirectional",
+            "elements": [
+              {
+                "name": "serializedOutput",
+                "type": {
+                  "type-name": "Bytes",
+                  "length": 128
+                }
+              },
+              {
+                "name": "outputLen",
+                "type": {
+                  "type-name": "Uint",
+                  "maxval": 255
+                }
+              },
+              {
+                "name": "pk",
+                "type": {
+                  "type-name": "Alias",
+                  "name": "JubjubPoint",
+                  "type": {
+                    "type-name": "Opaque",
+                    "tsType": "JubjubPoint"
+                  }
+                }
+              },
+              {
+                "name": "announcement",
+                "type": {
+                  "type-name": "Alias",
+                  "name": "JubjubPoint",
+                  "type": {
+                    "type-name": "Opaque",
+                    "tsType": "JubjubPoint"
+                  }
+                }
+              },
+              {
+                "name": "response",
+                "type": {
+                  "type-name": "Field"
+                }
+              }
+            ]
+          }
+        }
+      ],
+      "result-type": {
+        "type-name": "Tuple",
+        "types": [
+        ]
+      }
+    }
+  ],
+  "witnesses": [
+  ],
+  "contracts": [
+  ],
+  "ledger": [
+    {
+      "name": "signatureResponseCounterIndex",
+      "index": 0,
+      "exported": true,
+      "storage": "Map",
+      "key": {
+        "type-name": "Alias",
+        "name": "RequestId",
+        "type": {
+          "type-name": "Bytes",
+          "length": 32
+        }
+      },
+      "value": {
+        "type-name": "Counter"
+      }
+    },
+    {
+      "name": "signatureResponseIndex",
+      "index": 1,
+      "exported": true,
+      "storage": "Map",
+      "key": {
+        "type-name": "Struct",
+        "name": "SignetResponseKey",
+        "elements": [
+          {
+            "name": "count",
+            "type": {
+              "type-name": "Uint",
+              "maxval": 18446744073709551615
+            }
+          },
+          {
+            "name": "requestId",
+            "type": {
+              "type-name": "Alias",
+              "name": "RequestId",
+              "type": {
+                "type-name": "Bytes",
+                "length": 32
+              }
+            }
+          }
+        ]
+      },
+      "value": {
+        "type-name": "Struct",
+        "name": "SignatureResponse",
+        "elements": [
+          {
+            "name": "bigRx",
+            "type": {
+              "type-name": "Bytes",
+              "length": 32
+            }
+          },
+          {
+            "name": "bigRy",
+            "type": {
+              "type-name": "Bytes",
+              "length": 32
+            }
+          },
+          {
+            "name": "s",
+            "type": {
+              "type-name": "Bytes",
+              "length": 32
+            }
+          },
+          {
+            "name": "recoveryId",
+            "type": {
+              "type-name": "Uint",
+              "maxval": 255
+            }
+          }
+        ]
+      }
+    },
+    {
+      "name": "respondBidirectionalIndex",
+      "index": 2,
+      "exported": true,
+      "storage": "Map",
+      "key": {
+        "type-name": "Alias",
+        "name": "RequestId",
+        "type": {
+          "type-name": "Bytes",
+          "length": 32
+        }
+      },
+      "value": {
+        "type-name": "Struct",
+        "name": "RespondBidirectional",
+        "elements": [
+          {
+            "name": "serializedOutput",
+            "type": {
+              "type-name": "Bytes",
+              "length": 128
+            }
+          },
+          {
+            "name": "outputLen",
+            "type": {
+              "type-name": "Uint",
+              "maxval": 255
+            }
+          },
+          {
+            "name": "pk",
+            "type": {
+              "type-name": "Alias",
+              "name": "JubjubPoint",
+              "type": {
+                "type-name": "Opaque",
+                "tsType": "JubjubPoint"
+              }
+            }
+          },
+          {
+            "name": "announcement",
+            "type": {
+              "type-name": "Alias",
+              "name": "JubjubPoint",
+              "type": {
+                "type-name": "Opaque",
+                "tsType": "JubjubPoint"
+              }
+            }
+          },
+          {
+            "name": "response",
+            "type": {
+              "type-name": "Field"
+            }
+          }
+        ]
+      }
+    },
+    {
+      "name": "mpcPubKeyHash",
+      "index": 3,
+      "exported": true,
+      "storage": "Cell",
+      "type": {
+        "type-name": "Bytes",
+        "length": 32
+      }
+    }
+  ]
+}

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

@@ -0,0 +1,98 @@
+{
+  "manifest-version": "1",
+  "compiler-version": "0.33.0",
+  "language-version": "0.25.0",
+  "runtime-version": "0.18.0-rc.0",
+  "compiler": {
+    "type": "directory",
+    "contract-info.json": {
+      "type": "file",
+      "size": 7635,
+      "hash": "99d983e2bb40700d15169dbb42b76b725503fbe8319ebf2f4d300ad656b1e74b"
+    }
+  },
+  "contract": {
+    "type": "directory",
+    "index.d.ts": {
+      "type": "file",
+      "size": 6948,
+      "hash": "c3eca9f9b2ac149a16434769080479a3bb90d14457b6479174beb7a2b648285e"
+    },
+    "index.js": {
+      "type": "file",
+      "size": 90631,
+      "hash": "37a18a718c7ee9df21b11b1c4c0aaebc1f3b074c1df0a902d5d07a7a1c495554"
+    },
+    "index.js.map": {
+      "type": "file",
+      "size": 3302,
+      "hash": "96a304c896fb00298abdffb985cae45e641752ae92134c035023abfa0f7db4f0"
+    }
+  },
+  "zkir": {
+    "type": "directory",
+    "emitSignBidirectionalEvent.bzkir": {
+      "type": "file",
+      "size": 4680,
+      "hash": "60ef0e2d3cc878a0a2848c9095e68a6d10ec48f100212296deb81e490f869398"
+    },
+    "emitSignBidirectionalEvent.zkir": {
+      "type": "file",
+      "size": 66458,
+      "hash": "691b8c191befa6f8a31aaba5925e475be3ed967d610899068dc9e1d0ad5a1750"
+    },
+    "postRespondBidirectional.bzkir": {
+      "type": "file",
+      "size": 3113,
+      "hash": "feb2bdb14b2840cf2220102badbed0d4169f4a6f8a787d5c3475c88608d12c0c"
+    },
+    "postRespondBidirectional.zkir": {
+      "type": "file",
+      "size": 40996,
+      "hash": "58a69c3a72674f3a3fe97deff6803fcfaed573aca402bcc3d9c947d366b1dabb"
+    },
+    "postSignatureResponse.bzkir": {
+      "type": "file",
+      "size": 1464,
+      "hash": "a255997d57d9be1dbdd71be7e4d961df2b76e0d73e4b8cf8516c8f8c14930a5b"
+    },
+    "postSignatureResponse.zkir": {
+      "type": "file",
+      "size": 22174,
+      "hash": "1da096135eef73400ef5c82d38686b9afba3be1a58d2e3985e666f8c0e842294"
+    }
+  },
+  "keys": {
+    "type": "directory",
+    "emitSignBidirectionalEvent.prover": {
+      "type": "file",
+      "size": 134792363,
+      "hash": "03a0174e751a9c466388a5ebde5d11f1a380e65008b86a98667dd750333862d1"
+    },
+    "emitSignBidirectionalEvent.verifier": {
+      "type": "file",
+      "size": 1351,
+      "hash": "97af5bb456fae0ea3daf411d8031e6ceefe1cdc6dc0349372c56414d53fb8d6e"
+    },
+    "postRespondBidirectional.prover": {
+      "type": "file",
+      "size": 84822969,
+      "hash": "2fe26775cad177e03968f43b7617a4ab1bc1c2556fe298b410193575478238e2"
+    },
+    "postRespondBidirectional.verifier": {
+      "type": "file",
+      "size": 2311,
+      "hash": "feda5f59c6367153d6089edefc96a7a18597373393d1f0c3410e9790c65078c7"
+    },
+    "postSignatureResponse.prover": {
+      "type": "file",
+      "size": 33725342,
+      "hash": "931f5bf8726793e8110c30e00014055bd35e887f8edb3c3ea18ee0758acd4740"
+    },
+    "postSignatureResponse.verifier": {
+      "type": "file",
+      "size": 1351,
+      "hash": "1774d8bce0d5a9f4dcbd59f292b9cb5a9b69c5636ce9a95b7ec17ce797b425e7"
+    }
+  }
+}

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

@@ -0,0 +1,129 @@
+import type * as __compactRuntime from '@midnight-ntwrk/compact-runtime';
+
+export type Witnesses<PS> = {
+}
+
+export type ImpureCircuits<PS> = {
+  emitSignBidirectionalEvent(context: __compactRuntime.CircuitContext<PS>,
+                             signBidirectionalEvent_0: { version: bigint,
+                                                         payload: Uint8Array
+                                                       }): Promise<__compactRuntime.CircuitResults<PS, []>>;
+  postSignatureResponse(context: __compactRuntime.CircuitContext<PS>,
+                        requestId_0: Uint8Array,
+                        signatureResponse_0: { bigRx: Uint8Array,
+                                               bigRy: Uint8Array,
+                                               s: Uint8Array,
+                                               recoveryId: bigint
+                                             }): Promise<__compactRuntime.CircuitResults<PS, []>>;
+  postRespondBidirectional(context: __compactRuntime.CircuitContext<PS>,
+                           requestId_0: Uint8Array,
+                           respondBidirectional_0: { serializedOutput: Uint8Array,
+                                                     outputLen: bigint,
+                                                     pk: __compactRuntime.JubjubPoint,
+                                                     announcement: __compactRuntime.JubjubPoint,
+                                                     response: bigint
+                                                   }): Promise<__compactRuntime.CircuitResults<PS, []>>;
+}
+
+export type ProvableCircuits<PS> = {
+  emitSignBidirectionalEvent(context: __compactRuntime.CircuitContext<PS>,
+                             signBidirectionalEvent_0: { version: bigint,
+                                                         payload: Uint8Array
+                                                       }): Promise<__compactRuntime.CircuitResults<PS, []>>;
+  postSignatureResponse(context: __compactRuntime.CircuitContext<PS>,
+                        requestId_0: Uint8Array,
+                        signatureResponse_0: { bigRx: Uint8Array,
+                                               bigRy: Uint8Array,
+                                               s: Uint8Array,
+                                               recoveryId: bigint
+                                             }): Promise<__compactRuntime.CircuitResults<PS, []>>;
+  postRespondBidirectional(context: __compactRuntime.CircuitContext<PS>,
+                           requestId_0: Uint8Array,
+                           respondBidirectional_0: { serializedOutput: Uint8Array,
+                                                     outputLen: bigint,
+                                                     pk: __compactRuntime.JubjubPoint,
+                                                     announcement: __compactRuntime.JubjubPoint,
+                                                     response: bigint
+                                                   }): Promise<__compactRuntime.CircuitResults<PS, []>>;
+}
+
+export type PureCircuits = {
+}
+
+export type Circuits<PS> = {
+  emitSignBidirectionalEvent(context: __compactRuntime.CircuitContext<PS>,
+                             signBidirectionalEvent_0: { version: bigint,
+                                                         payload: Uint8Array
+                                                       }): Promise<__compactRuntime.CircuitResults<PS, []>>;
+  postSignatureResponse(context: __compactRuntime.CircuitContext<PS>,
+                        requestId_0: Uint8Array,
+                        signatureResponse_0: { bigRx: Uint8Array,
+                                               bigRy: Uint8Array,
+                                               s: Uint8Array,
+                                               recoveryId: bigint
+                                             }): Promise<__compactRuntime.CircuitResults<PS, []>>;
+  postRespondBidirectional(context: __compactRuntime.CircuitContext<PS>,
+                           requestId_0: Uint8Array,
+                           respondBidirectional_0: { serializedOutput: Uint8Array,
+                                                     outputLen: bigint,
+                                                     pk: __compactRuntime.JubjubPoint,
+                                                     announcement: __compactRuntime.JubjubPoint,
+                                                     response: bigint
+                                                   }): Promise<__compactRuntime.CircuitResults<PS, []>>;
+}
+
+export type Ledger = {
+  signatureResponseCounterIndex: {
+    isEmpty(): boolean;
+    size(): bigint;
+    member(key_0: Uint8Array): boolean;
+    lookup(key_0: Uint8Array): { read(): bigint }
+  };
+  signatureResponseIndex: {
+    isEmpty(): boolean;
+    size(): bigint;
+    member(key_0: { count: bigint, requestId: Uint8Array }): boolean;
+    lookup(key_0: { count: bigint, requestId: Uint8Array }): { bigRx: Uint8Array,
+                                                               bigRy: Uint8Array,
+                                                               s: Uint8Array,
+                                                               recoveryId: bigint
+                                                             };
+    [Symbol.iterator](): Iterator<[{ count: bigint, requestId: Uint8Array }, { bigRx: Uint8Array, bigRy: Uint8Array, s: Uint8Array, recoveryId: bigint }]>
+  };
+  respondBidirectionalIndex: {
+    isEmpty(): boolean;
+    size(): bigint;
+    member(key_0: Uint8Array): boolean;
+    lookup(key_0: Uint8Array): { serializedOutput: Uint8Array,
+                                 outputLen: bigint,
+                                 pk: __compactRuntime.JubjubPoint,
+                                 announcement: __compactRuntime.JubjubPoint,
+                                 response: bigint
+                               };
+    [Symbol.iterator](): Iterator<[Uint8Array, { serializedOutput: Uint8Array,
+  outputLen: bigint,
+  pk: __compactRuntime.JubjubPoint,
+  announcement: __compactRuntime.JubjubPoint,
+  response: bigint
+}]>
+  };
+  readonly mpcPubKeyHash: Uint8Array;
+}
+
+export type ContractReferenceLocations = any;
+
+export declare const contractReferenceLocations : ContractReferenceLocations;
+
+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>,
+               mpcPk_0: __compactRuntime.JubjubPoint): 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>;