@sig-net/midnight 0.0.6 → 0.0.8

package/dist/epsilon-derivation.js.map

@@ -1 +1 @@
-{"version":3,"file":"epsilon-derivation.js","sourceRoot":"","sources":["../src/epsilon-derivation.ts"],"names":[],"mappings":"AAAA,0EAA0E;AAC1E,EAAE;AACF,6EAA6E;AAC7E,+EAA+E;AAC/E,uDAAuD;AACvD,0EAA0E;AAC1E,uEAAuE;AACvE,oDAAoD;AACpD,4EAA4E;AAC5E,yEAAyE;AACzE,sBAAsB;AAEtB,OAAO,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAC;AACvD,OAAO,EAAE,cAAc,EAAE,SAAS,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,QAAQ,CAAC;AAE5E;;;;GAIG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,uCAAuC,CAAC;AAEjF;;;GAGG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,kBAAkB,CAAC;AAE5D;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,UAAU,gBAAgB,CAC9B,qBAA6B,EAC7B,eAAuB,EACvB,IAAY,EACZ,UAAkB,yBAAyB;IAE3C,MAAM,QAAQ,GAAG,GAAG,yBAAyB,IAAI,OAAO,IAAI,eAAe,IAAI,IAAI,EAAE,CAAC;IACtF,6EAA6E;IAC7E,iDAAiD;IACjD,MAAM,OAAO,GAAG,MAAM,CAAC,SAAS,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC;IACpF,MAAM,aAAa,GAAG,UAAU,CAAC,gBAAgB,CAAC,qBAAqB,EAAE,KAAK,CAAC,CAAC;IAChF,MAAM,SAAS,GAAG,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAClE,MAAM,YAAY,GAAG,OAAO,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC;IACxG,OAAO,cAAc,CAAC,KAAK,YAAY,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;AAC1D,CAAC"}
+{"version":3,"file":"epsilon-derivation.js","sourceRoot":"","sources":["../src/epsilon-derivation.ts"],"names":[],"mappings":"AAAA,0EAA0E;AAC1E,EAAE;AACF,6EAA6E;AAC7E,+EAA+E;AAC/E,uDAAuD;AACvD,0EAA0E;AAC1E,uEAAuE;AACvE,oDAAoD;AACpD,4EAA4E;AAC5E,yEAAyE;AACzE,sBAAsB;AAEtB,OAAO,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAC;AACvD,OAAO,EAAE,cAAc,EAAE,SAAS,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,QAAQ,CAAC;AAE5E,OAAO,EAAE,eAAe,EAAuB,MAAM,wBAAwB,CAAC;AAE9E;;;;GAIG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,uCAAuC,CAAC;AAEjF;;;GAGG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,kBAAkB,CAAC;AAE5D;;;;;;;;;;;;;;;GAeG;AACH,MAAM,CAAC,MAAM,mCAAmC,GAAG,uBAAuB,CAAC;AAE3E;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,UAAU,gBAAgB,CAC9B,qBAA6B,EAC7B,eAAuB,EACvB,IAAY,EACZ,UAAkB,yBAAyB;IAE3C,MAAM,YAAY,GAAG,gBAAgB,CAAC,qBAAqB,EAAE,eAAe,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IAC7F,OAAO,cAAc,CAAC,KAAK,YAAY,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;AAC1D,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,aAAa,CAC3B,SAAiB,EACjB,IAAY,EACZ,UAAkB,yBAAyB;IAE3C,MAAM,QAAQ,GAAG,GAAG,yBAAyB,IAAI,OAAO,IAAI,SAAS,IAAI,IAAI,EAAE,CAAC;IAChF,uEAAuE;IACvE,iDAAiD;IACjD,OAAO,MAAM,CAAC,SAAS,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,eAAe,CAAC;AACpE,CAAC;AAED,2EAA2E;AAC3E,SAAS,gBAAgB,CACvB,qBAA6B,EAC7B,SAAiB,EACjB,IAAY,EACZ,OAAe;IAEf,MAAM,OAAO,GAAG,aAAa,CAAC,SAAS,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IACxD,MAAM,aAAa,GAAG,UAAU,CAAC,gBAAgB,CAAC,qBAAqB,EAAE,KAAK,CAAC,CAAC;IAChF,MAAM,SAAS,GAAG,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAClE,OAAO,OAAO,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC;AAC5F,CAAC;AAED;;;;;GAKG;AACH,SAAS,yBAAyB,CAAC,eAAuB;IACxD,MAAM,GAAG,GACP,eAAe,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,eAAe,CAAC,UAAU,CAAC,IAAI,CAAC;QAClE,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC;QAC1B,CAAC,CAAC,eAAe,CAAC;IACtB,OAAO,GAAG,CAAC,WAAW,EAAE,CAAC;AAC3B,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,yBAAyB,CACvC,qBAA6B,EAC7B,qBAA6B;IAE7B,MAAM,KAAK,GAAG,gBAAgB,CAC5B,qBAAqB,EACrB,yBAAyB,CAAC,qBAAqB,CAAC,EAChD,mCAAmC,EACnC,yBAAyB,CAC1B,CAAC;IACF,OAAO,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;AACrD,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,+BAA+B,CAC7C,gBAA4B,EAC5B,qBAA6B;IAE7B,IAAI,gBAAgB,CAAC,MAAM,KAAK,EAAE,EAAE,CAAC;QACnC,MAAM,IAAI,KAAK,CAAC,6CAA6C,gBAAgB,CAAC,MAAM,EAAE,CAAC,CAAC;IAC1F,CAAC;IACD,IAAI,IAAI,GAAG,EAAE,CAAC;IACd,KAAK,MAAM,IAAI,IAAI,gBAAgB,EAAE,CAAC;QACpC,IAAI,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC;IACD,MAAM,OAAO,GAAG,aAAa,CAC3B,yBAAyB,CAAC,qBAAqB,CAAC,EAChD,mCAAmC,EACnC,yBAAyB,CAC1B,CAAC;IACF,MAAM,KAAK,GAAG,CAAC,IAAI,GAAG,OAAO,CAAC,GAAG,eAAe,CAAC;IACjD,IAAI,KAAK,KAAK,EAAE,EAAE,CAAC;QACjB,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;IAC1E,CAAC;IACD,MAAM,GAAG,GAAG,IAAI,UAAU,CAAC,EAAE,CAAC,CAAC;IAC/B,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,KAAK,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7B,GAAG,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,KAAK,GAAG,KAAK,CAAC,CAAC;QAC/B,KAAK,KAAK,EAAE,CAAC;IACf,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/index.d.ts

@@ -8,16 +8,18 @@ export * from "./signet-request-resolver.ts";
 export * from "./signet-request-feed.ts";
 export * from "./constants.ts";
 export * from "./epsilon-derivation.ts";
-export * from "./ecdsa.ts";
+export * from "./ecdsa-attestation.ts";
 /**
  * Compiled pure circuits of Signet.compact (run `yarn compile` first): the
  * executable reference implementation of the client-agnostic circuits —
- * path<->identity checks, the attestation message digest, and the
- * notification packer (`constructSignBidirectionalNotificationV1`).
- * Off-chain code MUST use these instead of re-porting the algorithms — they
- * are the same compiled logic the contracts prove. The generic request
- * circuits cannot be compiled here (type-parameterized): request construction
- * is contract-only, and request-id hashing has a documented-deviation TS twin
+ * the attestation digest (`signetAttestationDigest`), response verification
+ * (`verifyRespondBidirectionalEvent`), the deploy-time key pin
+ * (`signetKeyHash`), and the notification packer
+ * (`constructSignBidirectionalEventNotificationV1`). Off-chain code MUST use
+ * these instead of re-porting the algorithms — they are the same compiled
+ * logic the contracts prove. The generic request circuits cannot be compiled
+ * here (type-parameterized): request construction is contract-only, and
+ * request-id hashing has a documented-deviation TS twin
  * (`calculateRequestId` in signet-requests.ts).
  */
 export { pureCircuits, type PureCircuits } from "./managed/contract/index.js";

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAIA,cAAc,sBAAsB,CAAC;AACrC,cAAc,8BAA8B,CAAC;AAC7C,cAAc,sCAAsC,CAAC;AACrD,cAAc,mCAAmC,CAAC;AAClD,cAAc,sCAAsC,CAAC;AACrD,cAAc,qCAAqC,CAAC;AACpD,cAAc,8BAA8B,CAAC;AAC7C,cAAc,0BAA0B,CAAC;AACzC,cAAc,gBAAgB,CAAC;AAC/B,cAAc,yBAAyB,CAAC;AACxC,cAAc,YAAY,CAAC;AAE3B;;;;;;;;;;GAUG;AACH,OAAO,EAAE,YAAY,EAAE,KAAK,YAAY,EAAE,MAAM,6BAA6B,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAIA,cAAc,sBAAsB,CAAC;AACrC,cAAc,8BAA8B,CAAC;AAC7C,cAAc,sCAAsC,CAAC;AACrD,cAAc,mCAAmC,CAAC;AAClD,cAAc,sCAAsC,CAAC;AACrD,cAAc,qCAAqC,CAAC;AACpD,cAAc,8BAA8B,CAAC;AAC7C,cAAc,0BAA0B,CAAC;AACzC,cAAc,gBAAgB,CAAC;AAC/B,cAAc,yBAAyB,CAAC;AACxC,cAAc,wBAAwB,CAAC;AAEvC;;;;;;;;;;;;GAYG;AACH,OAAO,EAAE,YAAY,EAAE,KAAK,YAAY,EAAE,MAAM,6BAA6B,CAAC"}

package/dist/index.js

@@ -11,16 +11,18 @@ export * from "./signet-request-resolver.js";
 export * from "./signet-request-feed.js";
 export * from "./constants.js";
 export * from "./epsilon-derivation.js";
-export * from "./ecdsa.js";
+export * from "./ecdsa-attestation.js";
 /**
  * Compiled pure circuits of Signet.compact (run `yarn compile` first): the
  * executable reference implementation of the client-agnostic circuits —
- * path<->identity checks, the attestation message digest, and the
- * notification packer (`constructSignBidirectionalNotificationV1`).
- * Off-chain code MUST use these instead of re-porting the algorithms — they
- * are the same compiled logic the contracts prove. The generic request
- * circuits cannot be compiled here (type-parameterized): request construction
- * is contract-only, and request-id hashing has a documented-deviation TS twin
+ * the attestation digest (`signetAttestationDigest`), response verification
+ * (`verifyRespondBidirectionalEvent`), the deploy-time key pin
+ * (`signetKeyHash`), and the notification packer
+ * (`constructSignBidirectionalEventNotificationV1`). Off-chain code MUST use
+ * these instead of re-porting the algorithms — they are the same compiled
+ * logic the contracts prove. The generic request circuits cannot be compiled
+ * here (type-parameterized): request construction is contract-only, and
+ * request-id hashing has a documented-deviation TS twin
  * (`calculateRequestId` in signet-requests.ts).
  */
 export { pureCircuits } from "./managed/contract/index.js";

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,yEAAyE;AACzE,4EAA4E;AAC5E,2DAA2D;AAE3D,cAAc,sBAAsB,CAAC;AACrC,cAAc,8BAA8B,CAAC;AAC7C,cAAc,sCAAsC,CAAC;AACrD,cAAc,mCAAmC,CAAC;AAClD,cAAc,sCAAsC,CAAC;AACrD,cAAc,qCAAqC,CAAC;AACpD,cAAc,8BAA8B,CAAC;AAC7C,cAAc,0BAA0B,CAAC;AACzC,cAAc,gBAAgB,CAAC;AAC/B,cAAc,yBAAyB,CAAC;AACxC,cAAc,YAAY,CAAC;AAE3B;;;;;;;;;;GAUG;AACH,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,yEAAyE;AACzE,4EAA4E;AAC5E,2DAA2D;AAE3D,cAAc,sBAAsB,CAAC;AACrC,cAAc,8BAA8B,CAAC;AAC7C,cAAc,sCAAsC,CAAC;AACrD,cAAc,mCAAmC,CAAC;AAClD,cAAc,sCAAsC,CAAC;AACrD,cAAc,qCAAqC,CAAC;AACpD,cAAc,8BAA8B,CAAC;AAC7C,cAAc,0BAA0B,CAAC;AACzC,cAAc,gBAAgB,CAAC;AAC/B,cAAc,yBAAyB,CAAC;AACxC,cAAc,wBAAwB,CAAC;AAEvC;;;;;;;;;;;;GAYG;AACH,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC"}

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

@@ -4,7 +4,7 @@
   "runtime-version": "0.18.0-rc.1",
   "circuits": [
     {
-      "name": "constructSignBidirectionalNotificationV1",
+      "name": "constructSignBidirectionalEventNotificationV1",
       "pure": true,
       "proof": false,
       "arguments": [
@@ -24,13 +24,6 @@
             ]
           }
         },
-        {
-          "name": "requestId",
-          "type": {
-            "type-name": "Bytes",
-            "length": 32
-          }
-        },
         {
           "name": "requestsIndexField",
           "type": {
@@ -41,7 +34,7 @@
       ],
       "result-type": {
         "type-name": "Struct",
-        "name": "SignBidirectionalNotification",
+        "name": "SignBidirectionalEventNotification",
         "elements": [
           {
             "name": "version",
@@ -54,31 +47,14 @@
             "name": "payload",
             "type": {
               "type-name": "Bytes",
-              "length": 65
+              "length": 128
             }
           }
         ]
       }
     },
     {
-      "name": "evmAddressAbiValue",
-      "pure": true,
-      "proof": false,
-      "arguments": [
-        {
-          "name": "addr",
-          "type": {
-            "type-name": "Bytes",
-            "length": 20
-          }
-        }
-      ],
-      "result-type": {
-        "type-name": "Field"
-      }
-    },
-    {
-      "name": "signetAttestationMessage",
+      "name": "signetAttestationDigest",
       "pure": true,
       "proof": false,
       "arguments": [
@@ -114,55 +90,101 @@
       }
     },
     {
-      "name": "assertHexOf",
+      "name": "verifyRespondBidirectionalEvent",
       "pure": true,
       "proof": false,
       "arguments": [
         {
-          "name": "commitment",
+          "name": "requestId",
           "type": {
-            "type-name": "Bytes",
-            "length": 32
+            "type-name": "Alias",
+            "name": "RequestId",
+            "type": {
+              "type-name": "Bytes",
+              "length": 32
+            }
           }
         },
         {
-          "name": "hexStr",
+          "name": "respondBidirectionalEvent",
           "type": {
-            "type-name": "Bytes",
-            "length": 64
+            "type-name": "Struct",
+            "name": "RespondBidirectionalEvent",
+            "elements": [
+              {
+                "name": "serializedOutput",
+                "type": {
+                  "type-name": "Bytes",
+                  "length": 128
+                }
+              },
+              {
+                "name": "outputLen",
+                "type": {
+                  "type-name": "Uint",
+                  "maxval": 255
+                }
+              },
+              {
+                "name": "r",
+                "type": {
+                  "type-name": "Bytes",
+                  "length": 32
+                }
+              },
+              {
+                "name": "s",
+                "type": {
+                  "type-name": "Bytes",
+                  "length": 32
+                }
+              },
+              {
+                "name": "recoveryId",
+                "type": {
+                  "type-name": "Uint",
+                  "maxval": 255
+                }
+              }
+            ]
+          }
+        },
+        {
+          "name": "mpcResponseKey",
+          "type": {
+            "type-name": "Alias",
+            "name": "Secp256k1Point",
+            "type": {
+              "type-name": "Opaque",
+              "tsType": "Secp256k1Point"
+            }
           }
         }
       ],
       "result-type": {
-        "type-name": "Tuple",
-        "types": [
-        ]
+        "type-name": "Boolean"
       }
     },
     {
-      "name": "assertPathCommitment",
+      "name": "signetKeyHash",
       "pure": true,
       "proof": false,
       "arguments": [
         {
-          "name": "commitment",
-          "type": {
-            "type-name": "Bytes",
-            "length": 32
-          }
-        },
-        {
-          "name": "path",
+          "name": "pk",
           "type": {
-            "type-name": "Bytes",
-            "length": 256
+            "type-name": "Alias",
+            "name": "Secp256k1Point",
+            "type": {
+              "type-name": "Opaque",
+              "tsType": "Secp256k1Point"
+            }
           }
         }
       ],
       "result-type": {
-        "type-name": "Tuple",
-        "types": [
-        ]
+        "type-name": "Bytes",
+        "length": 32
       }
     }
   ],

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

@@ -7,26 +7,26 @@
     "type": "directory",
     "contract-info.json": {
       "type": "file",
-      "size": 3509,
-      "hash": "1f0bcfc80cd800e4cbbe6cc61d59c4355978b67f75303486c10bfb98f77254a4"
+      "size": 4397,
+      "hash": "a9962a641c6b791f1a476adc5875d36de5cedb28b2377f016a8efb7ff644e526"
     }
   },
   "contract": {
     "type": "directory",
     "index.d.ts": {
       "type": "file",
-      "size": 3361,
-      "hash": "5537a3d8d3d415797bb278f1a0c579026bb24a22c4ad8183ad9d58575e567c17"
+      "size": 4176,
+      "hash": "6319da925c6f853b419c1794e449f732179d94d04b76b7334a634d4eed8f838d"
     },
     "index.js": {
       "type": "file",
-      "size": 37016,
-      "hash": "6bbd1abf0a9071b2dbf0b739e2fcb9db361477036cc3b605791c81e44a4450c7"
+      "size": 21045,
+      "hash": "15e7ced35995de9bc5fad3bb3fb9fe070e2d63f59f205140293bdd4b896d3b83"
     },
     "index.js.map": {
       "type": "file",
-      "size": 2658,
-      "hash": "516e4a7123f87bd04a313a069d5077b43acf5be0c8440cfb89685a8f07d70ed4"
+      "size": 1922,
+      "hash": "b78095e48c3a891b91e89c87b687b420ee1ad595e7d11ac27ed4656a74cc0ea7"
     }
   }
 }

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

@@ -10,40 +10,47 @@ export type ProvableCircuits<PS> = {
 }
 
 export type PureCircuits = {
-  constructSignBidirectionalNotificationV1(callerAddress_0: { bytes: Uint8Array
-                                                            },
-                                           requestId_0: Uint8Array,
-                                           requestsIndexField_0: bigint): { version: bigint,
-                                                                            payload: Uint8Array
-                                                                          };
-  evmAddressAbiValue(addr_0: Uint8Array): bigint;
-  signetAttestationMessage(requestId_0: Uint8Array,
-                           serializedOutput_0: Uint8Array,
-                           outputLen_0: bigint): Uint8Array;
-  assertHexOf(commitment_0: Uint8Array, hexStr_0: Uint8Array): [];
-  assertPathCommitment(commitment_0: Uint8Array, path_0: Uint8Array): [];
+  constructSignBidirectionalEventNotificationV1(callerAddress_0: { bytes: Uint8Array
+                                                                 },
+                                                requestsIndexField_0: bigint): { version: bigint,
+                                                                                 payload: Uint8Array
+                                                                               };
+  signetAttestationDigest(requestId_0: Uint8Array,
+                          serializedOutput_0: Uint8Array,
+                          outputLen_0: bigint): Uint8Array;
+  verifyRespondBidirectionalEvent(requestId_0: Uint8Array,
+                                  respondBidirectionalEvent_0: { serializedOutput: Uint8Array,
+                                                                 outputLen: bigint,
+                                                                 r: Uint8Array,
+                                                                 s: Uint8Array,
+                                                                 recoveryId: bigint
+                                                               },
+                                  mpcResponseKey_0: __compactRuntime.Secp256k1Point): boolean;
+  signetKeyHash(pk_0: __compactRuntime.Secp256k1Point): Uint8Array;
 }
 
 export type Circuits<PS> = {
-  constructSignBidirectionalNotificationV1(context: __compactRuntime.CircuitContext<PS>,
-                                           callerAddress_0: { bytes: Uint8Array
-                                                            },
-                                           requestId_0: Uint8Array,
-                                           requestsIndexField_0: bigint): Promise<__compactRuntime.CircuitResults<PS, { version: bigint,
-                                                                                                                        payload: Uint8Array
-                                                                                                                      }>>;
-  evmAddressAbiValue(context: __compactRuntime.CircuitContext<PS>,
-                     addr_0: Uint8Array): Promise<__compactRuntime.CircuitResults<PS, bigint>>;
-  signetAttestationMessage(context: __compactRuntime.CircuitContext<PS>,
-                           requestId_0: Uint8Array,
-                           serializedOutput_0: Uint8Array,
-                           outputLen_0: bigint): Promise<__compactRuntime.CircuitResults<PS, Uint8Array>>;
-  assertHexOf(context: __compactRuntime.CircuitContext<PS>,
-              commitment_0: Uint8Array,
-              hexStr_0: Uint8Array): Promise<__compactRuntime.CircuitResults<PS, []>>;
-  assertPathCommitment(context: __compactRuntime.CircuitContext<PS>,
-                       commitment_0: Uint8Array,
-                       path_0: Uint8Array): Promise<__compactRuntime.CircuitResults<PS, []>>;
+  constructSignBidirectionalEventNotificationV1(context: __compactRuntime.CircuitContext<PS>,
+                                                callerAddress_0: { bytes: Uint8Array
+                                                                 },
+                                                requestsIndexField_0: bigint): Promise<__compactRuntime.CircuitResults<PS, { version: bigint,
+                                                                                                                             payload: Uint8Array
+                                                                                                                           }>>;
+  signetAttestationDigest(context: __compactRuntime.CircuitContext<PS>,
+                          requestId_0: Uint8Array,
+                          serializedOutput_0: Uint8Array,
+                          outputLen_0: bigint): Promise<__compactRuntime.CircuitResults<PS, Uint8Array>>;
+  verifyRespondBidirectionalEvent(context: __compactRuntime.CircuitContext<PS>,
+                                  requestId_0: Uint8Array,
+                                  respondBidirectionalEvent_0: { serializedOutput: Uint8Array,
+                                                                 outputLen: bigint,
+                                                                 r: Uint8Array,
+                                                                 s: Uint8Array,
+                                                                 recoveryId: bigint
+                                                               },
+                                  mpcResponseKey_0: __compactRuntime.Secp256k1Point): Promise<__compactRuntime.CircuitResults<PS, boolean>>;
+  signetKeyHash(context: __compactRuntime.CircuitContext<PS>,
+                pk_0: __compactRuntime.Secp256k1Point): Promise<__compactRuntime.CircuitResults<PS, Uint8Array>>;
 }
 
 export type Ledger = {