@sig-net/midnight 0.0.6 → 0.0.7

package/dist/managed/contract/index.js

@@ -1,84 +1,115 @@
 import * as __compactRuntime from '@midnight-ntwrk/compact-runtime';
 __compactRuntime.checkRuntimeVersion('0.18.0-rc.1');
 
-const _descriptor_0 = new __compactRuntime.CompactTypeBytes(32);
+const _descriptor_0 = __compactRuntime.CompactTypeSecp256k1Point;
 
-const _descriptor_1 = new __compactRuntime.CompactTypeBytes(256);
+const _descriptor_1 = new __compactRuntime.CompactTypeBytes(32);
 
-const _descriptor_2 = new __compactRuntime.CompactTypeUnsignedInteger(255n, 1);
+const _descriptor_2 = new __compactRuntime.CompactTypeBytes(128);
 
-const _descriptor_3 = new __compactRuntime.CompactTypeBytes(64);
+const _descriptor_3 = new __compactRuntime.CompactTypeUnsignedInteger(255n, 1);
 
-const _descriptor_4 = new __compactRuntime.CompactTypeBytes(20);
+class _RespondBidirectionalEvent_0 {
+  alignment() {
+    return _descriptor_2.alignment().concat(_descriptor_3.alignment().concat(_descriptor_1.alignment().concat(_descriptor_1.alignment().concat(_descriptor_3.alignment()))));
+  }
+  fromValue(value_0) {
+    return {
+      serializedOutput: _descriptor_2.fromValue(value_0),
+      outputLen: _descriptor_3.fromValue(value_0),
+      r: _descriptor_1.fromValue(value_0),
+      s: _descriptor_1.fromValue(value_0),
+      recoveryId: _descriptor_3.fromValue(value_0)
+    }
+  }
+  toValue(value_0) {
+    return _descriptor_2.toValue(value_0.serializedOutput).concat(_descriptor_3.toValue(value_0.outputLen).concat(_descriptor_1.toValue(value_0.r).concat(_descriptor_1.toValue(value_0.s).concat(_descriptor_3.toValue(value_0.recoveryId)))));
+  }
+}
 
-const _descriptor_5 = __compactRuntime.CompactTypeField;
+const _descriptor_4 = new _RespondBidirectionalEvent_0();
 
-const _descriptor_6 = new __compactRuntime.CompactTypeBytes(128);
+const _descriptor_5 = __compactRuntime.CompactTypeBoolean;
 
-const _descriptor_7 = new __compactRuntime.CompactTypeVector(3, _descriptor_0);
+const _descriptor_6 = __compactRuntime.CompactTypeSecp256k1Scalar;
 
 class _ContractAddress_0 {
   alignment() {
-    return _descriptor_0.alignment();
+    return _descriptor_1.alignment();
   }
   fromValue(value_0) {
     return {
-      bytes: _descriptor_0.fromValue(value_0)
+      bytes: _descriptor_1.fromValue(value_0)
     }
   }
   toValue(value_0) {
-    return _descriptor_0.toValue(value_0.bytes);
+    return _descriptor_1.toValue(value_0.bytes);
   }
 }
 
-const _descriptor_8 = new _ContractAddress_0();
+const _descriptor_7 = new _ContractAddress_0();
 
-const _descriptor_9 = new __compactRuntime.CompactTypeBytes(65);
-
-class _SignBidirectionalNotification_0 {
+class _SignBidirectionalEventNotification_0 {
   alignment() {
-    return _descriptor_2.alignment().concat(_descriptor_9.alignment());
+    return _descriptor_3.alignment().concat(_descriptor_2.alignment());
   }
   fromValue(value_0) {
     return {
-      version: _descriptor_2.fromValue(value_0),
-      payload: _descriptor_9.fromValue(value_0)
+      version: _descriptor_3.fromValue(value_0),
+      payload: _descriptor_2.fromValue(value_0)
     }
   }
   toValue(value_0) {
-    return _descriptor_2.toValue(value_0.version).concat(_descriptor_9.toValue(value_0.payload));
+    return _descriptor_3.toValue(value_0.version).concat(_descriptor_2.toValue(value_0.payload));
   }
 }
 
-const _descriptor_10 = new _SignBidirectionalNotification_0();
+const _descriptor_8 = new _SignBidirectionalEventNotification_0();
 
-const _descriptor_11 = new __compactRuntime.CompactTypeVector(2, _descriptor_0);
+const _descriptor_9 = __compactRuntime.CompactTypeSecp256k1Base;
 
-const _descriptor_12 = new __compactRuntime.CompactTypeUnsignedInteger(18446744073709551615n, 8);
+const _descriptor_10 = new __compactRuntime.CompactTypeVector(2, _descriptor_1);
 
-const _descriptor_13 = __compactRuntime.CompactTypeBoolean;
+class _Secp256k1EcdsaSignature_0 {
+  alignment() {
+    return _descriptor_6.alignment().concat(_descriptor_6.alignment());
+  }
+  fromValue(value_0) {
+    return {
+      r: _descriptor_6.fromValue(value_0),
+      s: _descriptor_6.fromValue(value_0)
+    }
+  }
+  toValue(value_0) {
+    return _descriptor_6.toValue(value_0.r).concat(_descriptor_6.toValue(value_0.s));
+  }
+}
+
+const _descriptor_11 = new _Secp256k1EcdsaSignature_0();
+
+const _descriptor_12 = new __compactRuntime.CompactTypeUnsignedInteger(18446744073709551615n, 8);
 
 class _Either_0 {
   alignment() {
-    return _descriptor_13.alignment().concat(_descriptor_0.alignment().concat(_descriptor_0.alignment()));
+    return _descriptor_5.alignment().concat(_descriptor_1.alignment().concat(_descriptor_1.alignment()));
   }
   fromValue(value_0) {
     return {
-      is_left: _descriptor_13.fromValue(value_0),
-      left: _descriptor_0.fromValue(value_0),
-      right: _descriptor_0.fromValue(value_0)
+      is_left: _descriptor_5.fromValue(value_0),
+      left: _descriptor_1.fromValue(value_0),
+      right: _descriptor_1.fromValue(value_0)
     }
   }
   toValue(value_0) {
-    return _descriptor_13.toValue(value_0.is_left).concat(_descriptor_0.toValue(value_0.left).concat(_descriptor_0.toValue(value_0.right)));
+    return _descriptor_5.toValue(value_0.is_left).concat(_descriptor_1.toValue(value_0.left).concat(_descriptor_1.toValue(value_0.right)));
   }
 }
 
-const _descriptor_14 = new _Either_0();
+const _descriptor_13 = new _Either_0();
 
-const _descriptor_15 = new __compactRuntime.CompactTypeUnsignedInteger(340282366920938463463374607431768211455n, 16);
+const _descriptor_14 = new __compactRuntime.CompactTypeUnsignedInteger(340282366920938463463374607431768211455n, 16);
 
-const _descriptor_16 = new __compactRuntime.CompactTypeUnsignedInteger(4294967295n, 4);
+const _descriptor_15 = new __compactRuntime.CompactTypeUnsignedInteger(4294967295n, 4);
 
 export class Contract {
   witnesses;
@@ -92,20 +123,17 @@ export class Contract {
     }
     this.witnesses = witnesses_0;
     this.circuits = {
-      async constructSignBidirectionalNotificationV1(context, ...args_1) {
-        return { result: pureCircuits.constructSignBidirectionalNotificationV1(...args_1), context };
+      async constructSignBidirectionalEventNotificationV1(context, ...args_1) {
+        return { result: pureCircuits.constructSignBidirectionalEventNotificationV1(...args_1), context };
       },
-      async evmAddressAbiValue(context, ...args_1) {
-        return { result: pureCircuits.evmAddressAbiValue(...args_1), context };
+      async signetAttestationDigest(context, ...args_1) {
+        return { result: pureCircuits.signetAttestationDigest(...args_1), context };
       },
-      async signetAttestationMessage(context, ...args_1) {
-        return { result: pureCircuits.signetAttestationMessage(...args_1), context };
+      async verifyRespondBidirectionalEvent(context, ...args_1) {
+        return { result: pureCircuits.verifyRespondBidirectionalEvent(...args_1), context };
       },
-      async assertHexOf(context, ...args_1) {
-        return { result: pureCircuits.assertHexOf(...args_1), context };
-      },
-      async assertPathCommitment(context, ...args_1) {
-        return { result: pureCircuits.assertPathCommitment(...args_1), context };
+      async signetKeyHash(context, ...args_1) {
+        return { result: pureCircuits.signetKeyHash(...args_1), context };
       }
     };
     this.impureCircuits = {};
@@ -142,285 +170,142 @@ export class Contract {
       currentZswapLocalState: context.callContext.currentZswapLocalState
     }
   }
+  _hashToSecp256k1Scalar_0(digest_0) {
+    const v_0 = Array.from(digest_0, BigInt);
+    const beReversed_0 = Uint8Array.from([v_0[31],
+                                          v_0[30],
+                                          v_0[29],
+                                          v_0[28],
+                                          v_0[27],
+                                          v_0[26],
+                                          v_0[25],
+                                          v_0[24],
+                                          v_0[23],
+                                          v_0[22],
+                                          v_0[21],
+                                          v_0[20],
+                                          v_0[19],
+                                          v_0[18],
+                                          v_0[17],
+                                          v_0[16],
+                                          v_0[15],
+                                          v_0[14],
+                                          v_0[13],
+                                          v_0[12],
+                                          v_0[11],
+                                          v_0[10],
+                                          v_0[9],
+                                          v_0[8],
+                                          v_0[7],
+                                          v_0[6],
+                                          v_0[5],
+                                          v_0[4],
+                                          v_0[3],
+                                          v_0[2],
+                                          v_0[1],
+                                          v_0[0]],
+                                         Number);
+    return __compactRuntime.convertBytesToField(115792089237316195423570985008687907852837564279074904382605163141518161494336n,
+                                                32,
+                                                beReversed_0,
+                                                'Secp256k1Scalar',
+                                                '<standard library>');
+  }
+  _secp256k1EcdsaVerify_0(msgHash_0, sig_0, pk_0) {
+    const z_0 = this._hashToSecp256k1Scalar_0(msgHash_0);
+    const __compact_pattern_tmp1_0 = sig_0;
+    const r_0 = __compact_pattern_tmp1_0.r;
+    const s_0 = __compact_pattern_tmp1_0.s;
+    const w_0 = this._inv_0(s_0);
+    const u1_0 = this._mul_0(z_0, w_0);
+    const u2_0 = this._mul_0(r_0, w_0);
+    const point_0 = this._ecAdd_0(this._ecMulGenerator_0(u1_0),
+                                  this._ecMul_0(pk_0, u2_0));
+    return __compactRuntime.convertBytesToField(115792089237316195423570985008687907852837564279074904382605163141518161494336n,
+                                                32,
+                                                __compactRuntime.convertBigintToBytes(32,
+                                                                                      this._secp256k1PointX_0(point_0),
+                                                                                      '<standard library>'),
+                                                'Secp256k1Scalar',
+                                                '<standard library>')
+           ===
+           r_0;
+  }
   _persistentHash_0(value_0) {
-    const result_0 = __compactRuntime.persistentHash(_descriptor_11, value_0);
+    const result_0 = __compactRuntime.persistentHash(_descriptor_10, value_0);
     return result_0;
   }
   _persistentHash_1(value_0) {
-    const result_0 = __compactRuntime.persistentHash(_descriptor_6, value_0);
+    const result_0 = __compactRuntime.persistentHash(_descriptor_2, value_0);
     return result_0;
   }
   _persistentHash_2(value_0) {
-    const result_0 = __compactRuntime.persistentHash(_descriptor_7, value_0);
+    const result_0 = __compactRuntime.persistentHash(_descriptor_0, value_0);
+    return result_0;
+  }
+  _mul_0(x_0, y_0) {
+    const result_0 = __compactRuntime.secp256k1ScalarMul(x_0, y_0);
+    return result_0;
+  }
+  _inv_0(s_0) {
+    const result_0 = __compactRuntime.secp256k1ScalarInv(s_0);
+    return result_0;
+  }
+  _secp256k1PointX_0(pt_0) {
+    const result_0 = __compactRuntime.secp256k1PointX(pt_0);
+    return result_0;
+  }
+  _ecAdd_0(a_0, b_0) {
+    const result_0 = __compactRuntime.secp256k1Add(a_0, b_0);
+    return result_0;
+  }
+  _ecMul_0(a_0, b_0) {
+    const result_0 = __compactRuntime.secp256k1Mul(a_0, b_0);
+    return result_0;
+  }
+  _ecMulGenerator_0(b_0) {
+    const result_0 = __compactRuntime.secp256k1MulGenerator(b_0);
     return result_0;
   }
-  _constructSignBidirectionalNotificationV1_0(callerAddress_0,
-                                              requestId_0,
-                                              requestsIndexField_0)
+  _constructSignBidirectionalEventNotificationV1_0(callerAddress_0,
+                                                   requestsIndexField_0)
   {
     return { version: 1n,
              payload:
                Uint8Array.from([...Array.from(callerAddress_0.bytes, BigInt),
-                                ...Array.from(requestId_0, BigInt),
-                                requestsIndexField_0],
+                                requestsIndexField_0,
+                                ...Array.from(new Uint8Array(95), BigInt)],
                                Number) };
   }
-  _evmAddressAbiValue_0(addr_0) {
-    const a0_0 = __compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
-                                                     1,
-                                                     ((e, i) => e.slice(i, i+1))(addr_0,
-                                                                                 Number(0n)),
-                                                     'Field',
-                                                     'Signet.compact line 235 char 17');
-    const a1_0 = __compactRuntime.addField(__compactRuntime.mulField(a0_0, 256n),
-                                           __compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
-                                                                               1,
-                                                                               ((e, i) => e.slice(i, i+1))(addr_0,
-                                                                                                           Number(1n)),
-                                                                               'Field',
-                                                                               'Signet.compact line 236 char 30'));
-    const a2_0 = __compactRuntime.addField(__compactRuntime.mulField(a1_0, 256n),
-                                           __compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
-                                                                               1,
-                                                                               ((e, i) => e.slice(i, i+1))(addr_0,
-                                                                                                           Number(2n)),
-                                                                               'Field',
-                                                                               'Signet.compact line 237 char 30'));
-    const a3_0 = __compactRuntime.addField(__compactRuntime.mulField(a2_0, 256n),
-                                           __compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
-                                                                               1,
-                                                                               ((e, i) => e.slice(i, i+1))(addr_0,
-                                                                                                           Number(3n)),
-                                                                               'Field',
-                                                                               'Signet.compact line 238 char 30'));
-    const a4_0 = __compactRuntime.addField(__compactRuntime.mulField(a3_0, 256n),
-                                           __compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
-                                                                               1,
-                                                                               ((e, i) => e.slice(i, i+1))(addr_0,
-                                                                                                           Number(4n)),
-                                                                               'Field',
-                                                                               'Signet.compact line 239 char 30'));
-    const a5_0 = __compactRuntime.addField(__compactRuntime.mulField(a4_0, 256n),
-                                           __compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
-                                                                               1,
-                                                                               ((e, i) => e.slice(i, i+1))(addr_0,
-                                                                                                           Number(5n)),
-                                                                               'Field',
-                                                                               'Signet.compact line 240 char 30'));
-    const a6_0 = __compactRuntime.addField(__compactRuntime.mulField(a5_0, 256n),
-                                           __compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
-                                                                               1,
-                                                                               ((e, i) => e.slice(i, i+1))(addr_0,
-                                                                                                           Number(6n)),
-                                                                               'Field',
-                                                                               'Signet.compact line 241 char 30'));
-    const a7_0 = __compactRuntime.addField(__compactRuntime.mulField(a6_0, 256n),
-                                           __compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
-                                                                               1,
-                                                                               ((e, i) => e.slice(i, i+1))(addr_0,
-                                                                                                           Number(7n)),
-                                                                               'Field',
-                                                                               'Signet.compact line 242 char 30'));
-    const a8_0 = __compactRuntime.addField(__compactRuntime.mulField(a7_0, 256n),
-                                           __compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
-                                                                               1,
-                                                                               ((e, i) => e.slice(i, i+1))(addr_0,
-                                                                                                           Number(8n)),
-                                                                               'Field',
-                                                                               'Signet.compact line 243 char 30'));
-    const a9_0 = __compactRuntime.addField(__compactRuntime.mulField(a8_0, 256n),
-                                           __compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
-                                                                               1,
-                                                                               ((e, i) => e.slice(i, i+1))(addr_0,
-                                                                                                           Number(9n)),
-                                                                               'Field',
-                                                                               'Signet.compact line 244 char 30'));
-    const a10_0 = __compactRuntime.addField(__compactRuntime.mulField(a9_0, 256n),
-                                            __compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
-                                                                                1,
-                                                                                ((e, i) => e.slice(i, i+1))(addr_0,
-                                                                                                            Number(10n)),
-                                                                                'Field',
-                                                                                'Signet.compact line 245 char 30'));
-    const a11_0 = __compactRuntime.addField(__compactRuntime.mulField(a10_0,
-                                                                      256n),
-                                            __compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
-                                                                                1,
-                                                                                ((e, i) => e.slice(i, i+1))(addr_0,
-                                                                                                            Number(11n)),
-                                                                                'Field',
-                                                                                'Signet.compact line 246 char 30'));
-    const a12_0 = __compactRuntime.addField(__compactRuntime.mulField(a11_0,
-                                                                      256n),
-                                            __compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
-                                                                                1,
-                                                                                ((e, i) => e.slice(i, i+1))(addr_0,
-                                                                                                            Number(12n)),
-                                                                                'Field',
-                                                                                'Signet.compact line 247 char 30'));
-    const a13_0 = __compactRuntime.addField(__compactRuntime.mulField(a12_0,
-                                                                      256n),
-                                            __compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
-                                                                                1,
-                                                                                ((e, i) => e.slice(i, i+1))(addr_0,
-                                                                                                            Number(13n)),
-                                                                                'Field',
-                                                                                'Signet.compact line 248 char 30'));
-    const a14_0 = __compactRuntime.addField(__compactRuntime.mulField(a13_0,
-                                                                      256n),
-                                            __compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
-                                                                                1,
-                                                                                ((e, i) => e.slice(i, i+1))(addr_0,
-                                                                                                            Number(14n)),
-                                                                                'Field',
-                                                                                'Signet.compact line 249 char 30'));
-    const a15_0 = __compactRuntime.addField(__compactRuntime.mulField(a14_0,
-                                                                      256n),
-                                            __compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
-                                                                                1,
-                                                                                ((e, i) => e.slice(i, i+1))(addr_0,
-                                                                                                            Number(15n)),
-                                                                                'Field',
-                                                                                'Signet.compact line 250 char 30'));
-    const a16_0 = __compactRuntime.addField(__compactRuntime.mulField(a15_0,
-                                                                      256n),
-                                            __compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
-                                                                                1,
-                                                                                ((e, i) => e.slice(i, i+1))(addr_0,
-                                                                                                            Number(16n)),
-                                                                                'Field',
-                                                                                'Signet.compact line 251 char 30'));
-    const a17_0 = __compactRuntime.addField(__compactRuntime.mulField(a16_0,
-                                                                      256n),
-                                            __compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
-                                                                                1,
-                                                                                ((e, i) => e.slice(i, i+1))(addr_0,
-                                                                                                            Number(17n)),
-                                                                                'Field',
-                                                                                'Signet.compact line 252 char 30'));
-    const a18_0 = __compactRuntime.addField(__compactRuntime.mulField(a17_0,
-                                                                      256n),
-                                            __compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
-                                                                                1,
-                                                                                ((e, i) => e.slice(i, i+1))(addr_0,
-                                                                                                            Number(18n)),
-                                                                                'Field',
-                                                                                'Signet.compact line 253 char 30'));
-    return __compactRuntime.addField(__compactRuntime.mulField(a18_0, 256n),
-                                     __compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
-                                                                         1,
-                                                                         ((e, i) => e.slice(i, i+1))(addr_0,
-                                                                                                     Number(19n)),
-                                                                         'Field',
-                                                                         'Signet.compact line 254 char 30'));
-  }
-  _signetAttestationMessage_0(requestId_0, serializedOutput_0, outputLen_0) {
+  _signetAttestationDigest_0(requestId_0, serializedOutput_0, outputLen_0) {
     const outHash_0 = this._persistentHash_0([this._persistentHash_1(serializedOutput_0),
                                               __compactRuntime.convertBigintToBytes(32,
                                                                                     outputLen_0,
-                                                                                    'Signet.compact line 380 char 7')]);
-    return this._persistentHash_2([new Uint8Array([115, 105, 103, 110, 101, 116, 58, 109, 105, 100, 110, 105, 103, 104, 116, 58, 97, 116, 116, 101, 115, 116, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]),
-                                   requestId_0,
-                                   outHash_0]);
-  }
-  _charToNibble_0(c_0) {
-    const isDigit_0 = c_0 >= 48n && c_0 <= 57n;
-    const isLower_0 = c_0 >= 97n && c_0 <= 102n;
-    __compactRuntime.assert(isDigit_0 || isLower_0, 'non-canonical hex char');
-    const base_0 = (__compactRuntime.assert(c_0 >= 48n,
-                                            'result of subtraction would be negative'),
-                    c_0 - 48n);
-    const adjust_0 = isLower_0 ? 39n : 0n;
-    __compactRuntime.assert(base_0 >= adjust_0,
-                            'result of subtraction would be negative');
-    return base_0 - adjust_0;
-  }
-  _assertHexOf_0(commitment_0, hexStr_0) {
-    this._folder_0(((t_0, i_0) =>
-                    {
-                      const hi_0 = this._charToNibble_0(__compactRuntime.convertBytesToUint(255n,
-                                                                                            1,
-                                                                                            ((e, i) => e.slice(i, i+1))(hexStr_0,
-                                                                                                                        Number(2n
-                                                                                                                               *
-                                                                                                                               i_0)),
-                                                                                            'Uint<0..256>',
-                                                                                            'Signet.compact line 412 char 31'));
-                      const lo_0 = this._charToNibble_0(__compactRuntime.convertBytesToUint(255n,
-                                                                                            1,
-                                                                                            ((e, i) => e.slice(i, i+1))(hexStr_0,
-                                                                                                                        Number(2n
-                                                                                                                               *
-                                                                                                                               i_0
-                                                                                                                               +
-                                                                                                                               1n)),
-                                                                                            'Uint<0..256>',
-                                                                                            'Signet.compact line 413 char 31'));
-                      __compactRuntime.assert(__compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
-                                                                                  1,
-                                                                                  ((e, i) => e.slice(i, i+1))(commitment_0,
-                                                                                                              Number(i_0)),
-                                                                                  'Field',
-                                                                                  'Signet.compact line 414 char 15')
-                                              ===
-                                              __compactRuntime.addField(__compactRuntime.mulField(hi_0,
-                                                                                                  16n),
-                                                                        lo_0),
-                                              'path hex does not match commitment');
-                      return t_0;
-                    }),
-                   [],
-                   [0n,
-                    1n,
-                    2n,
-                    3n,
-                    4n,
-                    5n,
-                    6n,
-                    7n,
-                    8n,
-                    9n,
-                    10n,
-                    11n,
-                    12n,
-                    13n,
-                    14n,
-                    15n,
-                    16n,
-                    17n,
-                    18n,
-                    19n,
-                    20n,
-                    21n,
-                    22n,
-                    23n,
-                    24n,
-                    25n,
-                    26n,
-                    27n,
-                    28n,
-                    29n,
-                    30n,
-                    31n]);
-    return [];
-  }
-  _assertPathCommitment_0(commitment_0, path_0) {
-    this._assertHexOf_0(commitment_0,
-                        ((e, i) => e.slice(i, i+64))(path_0, Number(0n)));
-    __compactRuntime.assert(this._equal_0(((e, i) => e.slice(i, i+192))(path_0,
-                                                                        Number(64n)),
-                                          new Uint8Array([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0])),
-                            'Path must be zero-padded after hex');
-    return [];
-  }
-  _folder_0(f, x, a0) {
-    for (let i = 0; i < 32; i++) { x = f(x, a0[i]); }
-    return x;
-  }
-  _equal_0(x0, y0) {
-    if (!x0.every((x, i) => y0[i] === x)) { return false; }
-    return true;
+                                                                                    'Signet.compact line 285 char 7')]);
+    return this._persistentHash_0([requestId_0, outHash_0]);
   }
+  _verifyRespondBidirectionalEvent_0(requestId_0,
+                                     respondBidirectionalEvent_0,
+                                     mpcResponseKey_0)
+  {
+    return this._secp256k1EcdsaVerify_0(this._signetAttestationDigest_0(requestId_0,
+                                                                        respondBidirectionalEvent_0.serializedOutput,
+                                                                        respondBidirectionalEvent_0.outputLen),
+                                        { r:
+                                            __compactRuntime.convertBytesToField(115792089237316195423570985008687907852837564279074904382605163141518161494336n,
+                                                                                 32,
+                                                                                 respondBidirectionalEvent_0.r,
+                                                                                 'Secp256k1Scalar',
+                                                                                 'Signet.compact line 308 char 12'),
+                                          s:
+                                            __compactRuntime.convertBytesToField(115792089237316195423570985008687907852837564279074904382605163141518161494336n,
+                                                                                 32,
+                                                                                 respondBidirectionalEvent_0.s,
+                                                                                 'Secp256k1Scalar',
+                                                                                 'Signet.compact line 309 char 12') },
+                                        mpcResponseKey_0);
+  }
+  _signetKeyHash_0(pk_0) { return this._persistentHash_2(pk_0); }
 }
 export function ledger(stateOrChargedState) {
   const state = stateOrChargedState instanceof __compactRuntime.StateValue ? stateOrChargedState : stateOrChargedState.state;
@@ -443,127 +328,92 @@ const _emptyContext = {
 };
 const _dummyContract = new Contract({ });
 export const pureCircuits = {
-  constructSignBidirectionalNotificationV1: (...args_0) => {
-    if (args_0.length !== 3) {
-      throw new __compactRuntime.CompactError(`constructSignBidirectionalNotificationV1: expected 3 arguments (as invoked from Typescript), received ${args_0.length}`);
+  constructSignBidirectionalEventNotificationV1: (...args_0) => {
+    if (args_0.length !== 2) {
+      throw new __compactRuntime.CompactError(`constructSignBidirectionalEventNotificationV1: expected 2 arguments (as invoked from Typescript), received ${args_0.length}`);
     }
     const callerAddress_0 = args_0[0];
-    const requestId_0 = args_0[1];
-    const requestsIndexField_0 = args_0[2];
+    const requestsIndexField_0 = args_0[1];
     if (!(typeof(callerAddress_0) === 'object' && callerAddress_0.bytes.buffer instanceof ArrayBuffer && callerAddress_0.bytes.BYTES_PER_ELEMENT === 1 && callerAddress_0.bytes.length === 32)) {
-      __compactRuntime.typeError('constructSignBidirectionalNotificationV1',
+      __compactRuntime.typeError('constructSignBidirectionalEventNotificationV1',
                                  'argument 1',
-                                 'Signet.compact line 132 char 3',
+                                 'Signet.compact line 209 char 3',
                                  'struct ContractAddress<bytes: Bytes<32>>',
                                  callerAddress_0)
     }
-    if (!(requestId_0.buffer instanceof ArrayBuffer && requestId_0.BYTES_PER_ELEMENT === 1 && requestId_0.length === 32)) {
-      __compactRuntime.typeError('constructSignBidirectionalNotificationV1',
-                                 'argument 2',
-                                 'Signet.compact line 132 char 3',
-                                 'Bytes<32>',
-                                 requestId_0)
-    }
     if (!(typeof(requestsIndexField_0) === 'bigint' && requestsIndexField_0 >= 0n && requestsIndexField_0 <= 255n)) {
-      __compactRuntime.typeError('constructSignBidirectionalNotificationV1',
-                                 'argument 3',
-                                 'Signet.compact line 132 char 3',
+      __compactRuntime.typeError('constructSignBidirectionalEventNotificationV1',
+                                 'argument 2',
+                                 'Signet.compact line 209 char 3',
                                  'Uint<0..256>',
                                  requestsIndexField_0)
     }
-    return _dummyContract._constructSignBidirectionalNotificationV1_0(callerAddress_0,
-                                                                      requestId_0,
-                                                                      requestsIndexField_0);
+    return _dummyContract._constructSignBidirectionalEventNotificationV1_0(callerAddress_0,
+                                                                           requestsIndexField_0);
   },
-  evmAddressAbiValue: (...args_0) => {
-    if (args_0.length !== 1) {
-      throw new __compactRuntime.CompactError(`evmAddressAbiValue: expected 1 argument (as invoked from Typescript), received ${args_0.length}`);
-    }
-    const addr_0 = args_0[0];
-    if (!(addr_0.buffer instanceof ArrayBuffer && addr_0.BYTES_PER_ELEMENT === 1 && addr_0.length === 20)) {
-      __compactRuntime.typeError('evmAddressAbiValue',
-                                 'argument 1',
-                                 'Signet.compact line 234 char 3',
-                                 'Bytes<20>',
-                                 addr_0)
-    }
-    return _dummyContract._evmAddressAbiValue_0(addr_0);
-  },
-  signetAttestationMessage: (...args_0) => {
+  signetAttestationDigest: (...args_0) => {
     if (args_0.length !== 3) {
-      throw new __compactRuntime.CompactError(`signetAttestationMessage: expected 3 arguments (as invoked from Typescript), received ${args_0.length}`);
+      throw new __compactRuntime.CompactError(`signetAttestationDigest: expected 3 arguments (as invoked from Typescript), received ${args_0.length}`);
     }
     const requestId_0 = args_0[0];
     const serializedOutput_0 = args_0[1];
     const outputLen_0 = args_0[2];
     if (!(requestId_0.buffer instanceof ArrayBuffer && requestId_0.BYTES_PER_ELEMENT === 1 && requestId_0.length === 32)) {
-      __compactRuntime.typeError('signetAttestationMessage',
+      __compactRuntime.typeError('signetAttestationDigest',
                                  'argument 1',
-                                 'Signet.compact line 373 char 3',
+                                 'Signet.compact line 278 char 3',
                                  'Bytes<32>',
                                  requestId_0)
     }
     if (!(serializedOutput_0.buffer instanceof ArrayBuffer && serializedOutput_0.BYTES_PER_ELEMENT === 1 && serializedOutput_0.length === 128)) {
-      __compactRuntime.typeError('signetAttestationMessage',
+      __compactRuntime.typeError('signetAttestationDigest',
                                  'argument 2',
-                                 'Signet.compact line 373 char 3',
+                                 'Signet.compact line 278 char 3',
                                  'Bytes<128>',
                                  serializedOutput_0)
     }
     if (!(typeof(outputLen_0) === 'bigint' && outputLen_0 >= 0n && outputLen_0 <= 255n)) {
-      __compactRuntime.typeError('signetAttestationMessage',
+      __compactRuntime.typeError('signetAttestationDigest',
                                  'argument 3',
-                                 'Signet.compact line 373 char 3',
+                                 'Signet.compact line 278 char 3',
                                  'Uint<0..256>',
                                  outputLen_0)
     }
-    return _dummyContract._signetAttestationMessage_0(requestId_0,
-                                                      serializedOutput_0,
-                                                      outputLen_0);
+    return _dummyContract._signetAttestationDigest_0(requestId_0,
+                                                     serializedOutput_0,
+                                                     outputLen_0);
   },
-  assertHexOf: (...args_0) => {
-    if (args_0.length !== 2) {
-      throw new __compactRuntime.CompactError(`assertHexOf: expected 2 arguments (as invoked from Typescript), received ${args_0.length}`);
+  verifyRespondBidirectionalEvent: (...args_0) => {
+    if (args_0.length !== 3) {
+      throw new __compactRuntime.CompactError(`verifyRespondBidirectionalEvent: expected 3 arguments (as invoked from Typescript), received ${args_0.length}`);
     }
-    const commitment_0 = args_0[0];
-    const hexStr_0 = args_0[1];
-    if (!(commitment_0.buffer instanceof ArrayBuffer && commitment_0.BYTES_PER_ELEMENT === 1 && commitment_0.length === 32)) {
-      __compactRuntime.typeError('assertHexOf',
+    const requestId_0 = args_0[0];
+    const respondBidirectionalEvent_0 = args_0[1];
+    const mpcResponseKey_0 = args_0[2];
+    if (!(requestId_0.buffer instanceof ArrayBuffer && requestId_0.BYTES_PER_ELEMENT === 1 && requestId_0.length === 32)) {
+      __compactRuntime.typeError('verifyRespondBidirectionalEvent',
                                  'argument 1',
-                                 'Signet.compact line 410 char 3',
+                                 'Signet.compact line 296 char 3',
                                  'Bytes<32>',
-                                 commitment_0)
+                                 requestId_0)
     }
-    if (!(hexStr_0.buffer instanceof ArrayBuffer && hexStr_0.BYTES_PER_ELEMENT === 1 && hexStr_0.length === 64)) {
-      __compactRuntime.typeError('assertHexOf',
+    if (!(typeof(respondBidirectionalEvent_0) === 'object' && respondBidirectionalEvent_0.serializedOutput.buffer instanceof ArrayBuffer && respondBidirectionalEvent_0.serializedOutput.BYTES_PER_ELEMENT === 1 && respondBidirectionalEvent_0.serializedOutput.length === 128 && typeof(respondBidirectionalEvent_0.outputLen) === 'bigint' && respondBidirectionalEvent_0.outputLen >= 0n && respondBidirectionalEvent_0.outputLen <= 255n && respondBidirectionalEvent_0.r.buffer instanceof ArrayBuffer && respondBidirectionalEvent_0.r.BYTES_PER_ELEMENT === 1 && respondBidirectionalEvent_0.r.length === 32 && respondBidirectionalEvent_0.s.buffer instanceof ArrayBuffer && respondBidirectionalEvent_0.s.BYTES_PER_ELEMENT === 1 && respondBidirectionalEvent_0.s.length === 32 && typeof(respondBidirectionalEvent_0.recoveryId) === 'bigint' && respondBidirectionalEvent_0.recoveryId >= 0n && respondBidirectionalEvent_0.recoveryId <= 255n)) {
+      __compactRuntime.typeError('verifyRespondBidirectionalEvent',
                                  'argument 2',
-                                 'Signet.compact line 410 char 3',
-                                 'Bytes<64>',
-                                 hexStr_0)
+                                 'Signet.compact line 296 char 3',
+                                 'struct RespondBidirectionalEvent<serializedOutput: Bytes<128>, outputLen: Uint<0..256>, r: Bytes<32>, s: Bytes<32>, recoveryId: Uint<0..256>>',
+                                 respondBidirectionalEvent_0)
     }
-    return _dummyContract._assertHexOf_0(commitment_0, hexStr_0);
+    return _dummyContract._verifyRespondBidirectionalEvent_0(requestId_0,
+                                                             respondBidirectionalEvent_0,
+                                                             mpcResponseKey_0);
   },
-  assertPathCommitment: (...args_0) => {
-    if (args_0.length !== 2) {
-      throw new __compactRuntime.CompactError(`assertPathCommitment: expected 2 arguments (as invoked from Typescript), received ${args_0.length}`);
-    }
-    const commitment_0 = args_0[0];
-    const path_0 = args_0[1];
-    if (!(commitment_0.buffer instanceof ArrayBuffer && commitment_0.BYTES_PER_ELEMENT === 1 && commitment_0.length === 32)) {
-      __compactRuntime.typeError('assertPathCommitment',
-                                 'argument 1',
-                                 'Signet.compact line 425 char 3',
-                                 'Bytes<32>',
-                                 commitment_0)
-    }
-    if (!(path_0.buffer instanceof ArrayBuffer && path_0.BYTES_PER_ELEMENT === 1 && path_0.length === 256)) {
-      __compactRuntime.typeError('assertPathCommitment',
-                                 'argument 2',
-                                 'Signet.compact line 425 char 3',
-                                 'Bytes<256>',
-                                 path_0)
+  signetKeyHash: (...args_0) => {
+    if (args_0.length !== 1) {
+      throw new __compactRuntime.CompactError(`signetKeyHash: expected 1 argument (as invoked from Typescript), received ${args_0.length}`);
     }
-    return _dummyContract._assertPathCommitment_0(commitment_0, path_0);
+    const pk_0 = args_0[0];
+    return _dummyContract._signetKeyHash_0(pk_0);
   }
 };
 export const contractReferenceLocations =