@sig-net/midnight 0.11.0 → 0.12.0

package/dist/managed/contract/index.js

@@ -3,17 +3,7 @@ __compactRuntime.checkRuntimeVersion('0.18.0-rc.1');
 
 const _descriptor_0 = new __compactRuntime.CompactTypeBytes(32);
 
-const _descriptor_1 = new __compactRuntime.CompactTypeUnsignedInteger(340282366920938463463374607431768211455n, 16);
-
-const _descriptor_2 = __compactRuntime.CompactTypeBoolean;
-
-const _descriptor_3 = __compactRuntime.CompactTypeSecp256k1Point;
-
-const _descriptor_4 = new __compactRuntime.CompactTypeBytes(20);
-
-const _descriptor_5 = new __compactRuntime.CompactTypeBytes(128);
-
-const _descriptor_6 = new __compactRuntime.CompactTypeUnsignedInteger(255n, 1);
+const _descriptor_1 = new __compactRuntime.CompactTypeBytes(100);
 
 class _AffinePoint_0 {
   alignment() {
@@ -30,43 +20,54 @@ class _AffinePoint_0 {
   }
 }
 
-const _descriptor_7 = new _AffinePoint_0();
+const _descriptor_2 = new _AffinePoint_0();
+
+const _descriptor_3 = new __compactRuntime.CompactTypeUnsignedInteger(255n, 1);
 
 class _Signature_0 {
   alignment() {
-    return _descriptor_7.alignment().concat(_descriptor_0.alignment().concat(_descriptor_6.alignment()));
+    return _descriptor_2.alignment().concat(_descriptor_0.alignment().concat(_descriptor_3.alignment()));
   }
   fromValue(value_0) {
     return {
-      bigR: _descriptor_7.fromValue(value_0),
+      bigR: _descriptor_2.fromValue(value_0),
       s: _descriptor_0.fromValue(value_0),
-      recoveryId: _descriptor_6.fromValue(value_0)
+      recoveryId: _descriptor_3.fromValue(value_0)
     }
   }
   toValue(value_0) {
-    return _descriptor_7.toValue(value_0.bigR).concat(_descriptor_0.toValue(value_0.s).concat(_descriptor_6.toValue(value_0.recoveryId)));
+    return _descriptor_2.toValue(value_0.bigR).concat(_descriptor_0.toValue(value_0.s).concat(_descriptor_3.toValue(value_0.recoveryId)));
   }
 }
 
-const _descriptor_8 = new _Signature_0();
+const _descriptor_4 = new _Signature_0();
 
 class _RespondBidirectionalEvent_0 {
   alignment() {
-    return _descriptor_5.alignment().concat(_descriptor_6.alignment().concat(_descriptor_8.alignment()));
+    return _descriptor_0.alignment().concat(_descriptor_4.alignment());
   }
   fromValue(value_0) {
     return {
-      serializedOutput: _descriptor_5.fromValue(value_0),
-      outputLen: _descriptor_6.fromValue(value_0),
-      signature: _descriptor_8.fromValue(value_0)
+      attestationDigest: _descriptor_0.fromValue(value_0),
+      signature: _descriptor_4.fromValue(value_0)
     }
   }
   toValue(value_0) {
-    return _descriptor_5.toValue(value_0.serializedOutput).concat(_descriptor_6.toValue(value_0.outputLen).concat(_descriptor_8.toValue(value_0.signature)));
+    return _descriptor_0.toValue(value_0.attestationDigest).concat(_descriptor_4.toValue(value_0.signature));
   }
 }
 
-const _descriptor_9 = new _RespondBidirectionalEvent_0();
+const _descriptor_5 = new _RespondBidirectionalEvent_0();
+
+const _descriptor_6 = __compactRuntime.CompactTypeSecp256k1Point;
+
+const _descriptor_7 = __compactRuntime.CompactTypeBoolean;
+
+const _descriptor_8 = new __compactRuntime.CompactTypeBytes(1);
+
+const _descriptor_9 = new __compactRuntime.CompactTypeUnsignedInteger(340282366920938463463374607431768211455n, 16);
+
+const _descriptor_10 = new __compactRuntime.CompactTypeBytes(20);
 
 class _ContractAddress_0 {
   alignment() {
@@ -82,69 +83,120 @@ class _ContractAddress_0 {
   }
 }
 
-const _descriptor_10 = new _ContractAddress_0();
+const _descriptor_11 = new _ContractAddress_0();
+
+const _descriptor_12 = new __compactRuntime.CompactTypeBytes(128);
 
 class _SignBidirectionalEventNotification_0 {
   alignment() {
-    return _descriptor_6.alignment().concat(_descriptor_5.alignment());
+    return _descriptor_3.alignment().concat(_descriptor_12.alignment());
   }
   fromValue(value_0) {
     return {
-      version: _descriptor_6.fromValue(value_0),
-      payload: _descriptor_5.fromValue(value_0)
+      version: _descriptor_3.fromValue(value_0),
+      payload: _descriptor_12.fromValue(value_0)
     }
   }
   toValue(value_0) {
-    return _descriptor_6.toValue(value_0.version).concat(_descriptor_5.toValue(value_0.payload));
+    return _descriptor_3.toValue(value_0.version).concat(_descriptor_12.toValue(value_0.payload));
+  }
+}
+
+const _descriptor_13 = new _SignBidirectionalEventNotification_0();
+
+const _descriptor_14 = __compactRuntime.CompactTypeSecp256k1Scalar;
+
+const _descriptor_15 = __compactRuntime.CompactTypeSecp256k1Base;
+
+class _tuple_0 {
+  alignment() {
+    return _descriptor_0.alignment().concat(_descriptor_1.alignment());
+  }
+  fromValue(value_0) {
+    return [
+      _descriptor_0.fromValue(value_0),
+      _descriptor_1.fromValue(value_0)
+    ]
+  }
+  toValue(value_0) {
+    return _descriptor_0.toValue(value_0[0]).concat(_descriptor_1.toValue(value_0[1]));
   }
 }
 
-const _descriptor_11 = new _SignBidirectionalEventNotification_0();
+const _descriptor_16 = new _tuple_0();
 
-const _descriptor_12 = __compactRuntime.CompactTypeSecp256k1Scalar;
+class _tuple_1 {
+  alignment() {
+    return _descriptor_0.alignment().concat(_descriptor_0.alignment());
+  }
+  fromValue(value_0) {
+    return [
+      _descriptor_0.fromValue(value_0),
+      _descriptor_0.fromValue(value_0)
+    ]
+  }
+  toValue(value_0) {
+    return _descriptor_0.toValue(value_0[0]).concat(_descriptor_0.toValue(value_0[1]));
+  }
+}
+
+const _descriptor_17 = new _tuple_1();
 
-const _descriptor_13 = __compactRuntime.CompactTypeSecp256k1Base;
+class _tuple_2 {
+  alignment() {
+    return _descriptor_0.alignment().concat(_descriptor_8.alignment());
+  }
+  fromValue(value_0) {
+    return [
+      _descriptor_0.fromValue(value_0),
+      _descriptor_8.fromValue(value_0)
+    ]
+  }
+  toValue(value_0) {
+    return _descriptor_0.toValue(value_0[0]).concat(_descriptor_8.toValue(value_0[1]));
+  }
+}
 
-const _descriptor_14 = new __compactRuntime.CompactTypeBytes(160);
+const _descriptor_18 = new _tuple_2();
 
 class _Secp256k1EcdsaSignature_0 {
   alignment() {
-    return _descriptor_12.alignment().concat(_descriptor_12.alignment());
+    return _descriptor_14.alignment().concat(_descriptor_14.alignment());
   }
   fromValue(value_0) {
     return {
-      r: _descriptor_12.fromValue(value_0),
-      s: _descriptor_12.fromValue(value_0)
+      r: _descriptor_14.fromValue(value_0),
+      s: _descriptor_14.fromValue(value_0)
     }
   }
   toValue(value_0) {
-    return _descriptor_12.toValue(value_0.r).concat(_descriptor_12.toValue(value_0.s));
+    return _descriptor_14.toValue(value_0.r).concat(_descriptor_14.toValue(value_0.s));
   }
 }
 
-const _descriptor_15 = new _Secp256k1EcdsaSignature_0();
+const _descriptor_19 = new _Secp256k1EcdsaSignature_0();
 
-const _descriptor_16 = new __compactRuntime.CompactTypeUnsignedInteger(18446744073709551615n, 8);
+const _descriptor_20 = new __compactRuntime.CompactTypeUnsignedInteger(18446744073709551615n, 8);
 
 class _Either_0 {
   alignment() {
-    return _descriptor_2.alignment().concat(_descriptor_0.alignment().concat(_descriptor_0.alignment()));
+    return _descriptor_7.alignment().concat(_descriptor_0.alignment().concat(_descriptor_0.alignment()));
   }
   fromValue(value_0) {
     return {
-      is_left: _descriptor_2.fromValue(value_0),
+      is_left: _descriptor_7.fromValue(value_0),
       left: _descriptor_0.fromValue(value_0),
       right: _descriptor_0.fromValue(value_0)
     }
   }
   toValue(value_0) {
-    return _descriptor_2.toValue(value_0.is_left).concat(_descriptor_0.toValue(value_0.left).concat(_descriptor_0.toValue(value_0.right)));
+    return _descriptor_7.toValue(value_0.is_left).concat(_descriptor_0.toValue(value_0.left).concat(_descriptor_0.toValue(value_0.right)));
   }
 }
 
-const _descriptor_17 = new _Either_0();
+const _descriptor_21 = new _Either_0();
 
-const _descriptor_18 = new __compactRuntime.CompactTypeUnsignedInteger(4294967295n, 4);
+const _descriptor_22 = new __compactRuntime.CompactTypeUnsignedInteger(4294967295n, 4);
 
 export class Contract {
   witnesses;
@@ -161,12 +213,6 @@ export class Contract {
       async constructSignBidirectionalEventNotificationV1(context, ...args_1) {
         return { result: pureCircuits.constructSignBidirectionalEventNotificationV1(...args_1), context };
       },
-      async signetAttestationDigest(context, ...args_1) {
-        return { result: pureCircuits.signetAttestationDigest(...args_1), context };
-      },
-      async verifyRespondBidirectionalEvent(context, ...args_1) {
-        return { result: pureCircuits.verifyRespondBidirectionalEvent(...args_1), context };
-      },
       async signetKeyHash(context, ...args_1) {
         return { result: pureCircuits.signetKeyHash(...args_1), context };
       },
@@ -184,6 +230,18 @@ export class Contract {
       },
       async abiWordToBool(context, ...args_1) {
         return { result: pureCircuits.abiWordToBool(...args_1), context };
+      },
+      async calculateSignetAttestationDigest1(context, ...args_1) {
+        return { result: pureCircuits.calculateSignetAttestationDigest1(...args_1), context };
+      },
+      async calculateSignetAttestationDigest32(context, ...args_1) {
+        return { result: pureCircuits.calculateSignetAttestationDigest32(...args_1), context };
+      },
+      async calculateSignetAttestationDigest100(context, ...args_1) {
+        return { result: pureCircuits.calculateSignetAttestationDigest100(...args_1), context };
+      },
+      async verifyRespondBidirectionalEvent32(context, ...args_1) {
+        return { result: pureCircuits.verifyRespondBidirectionalEvent32(...args_1), context };
       }
     };
     this.impureCircuits = {};
@@ -282,11 +340,19 @@ export class Contract {
            r_0;
   }
   _persistentHash_0(value_0) {
-    const result_0 = __compactRuntime.persistentHash(_descriptor_3, value_0);
+    const result_0 = __compactRuntime.persistentHash(_descriptor_6, value_0);
     return result_0;
   }
   _keccak256_0(value_0) {
-    const result_0 = __compactRuntime.keccak256(_descriptor_14, value_0);
+    const result_0 = __compactRuntime.keccak256(_descriptor_18, value_0);
+    return result_0;
+  }
+  _keccak256_1(value_0) {
+    const result_0 = __compactRuntime.keccak256(_descriptor_16, value_0);
+    return result_0;
+  }
+  _keccak256_2(value_0) {
+    const result_0 = __compactRuntime.keccak256(_descriptor_17, value_0);
     return result_0;
   }
   _mul_0(x_0, y_0) {
@@ -323,13 +389,14 @@ export class Contract {
                                 ...Array.from(new Uint8Array(95), BigInt)],
                                Number) };
   }
-  _signetAttestationDigest_0(requestId_0, serializedOutput_0) {
-    const requestIdBytes_0 = requestId_0;
-    return this._keccak256_0(Uint8Array.from([...Array.from(requestIdBytes_0,
-                                                            BigInt),
-                                              ...Array.from(serializedOutput_0,
-                                                            BigInt)],
-                                             Number));
+  _calculateSignetAttestationDigest_0(requestId_0, serializedOutput_0) {
+    return this._keccak256_0([requestId_0, serializedOutput_0]);
+  }
+  _calculateSignetAttestationDigest_1(requestId_0, serializedOutput_0) {
+    return this._keccak256_1([requestId_0, serializedOutput_0]);
+  }
+  _calculateSignetAttestationDigest_2(requestId_0, serializedOutput_0) {
+    return this._keccak256_2([requestId_0, serializedOutput_0]);
   }
   _reverseBytes32_0(b_0) {
     const v_0 = Array.from(b_0, BigInt);
@@ -368,24 +435,29 @@ export class Contract {
                            Number);
   }
   _verifyRespondBidirectionalEvent_0(requestId_0,
+                                     serializedOutput_0,
                                      respondBidirectionalEvent_0,
                                      mpcResponseKey_0)
   {
-    return this._secp256k1EcdsaVerify_0(this._signetAttestationDigest_0(requestId_0,
-                                                                        respondBidirectionalEvent_0.serializedOutput),
-                                        { r:
-                                            __compactRuntime.convertBytesToField(115792089237316195423570985008687907852837564279074904382605163141518161494336n,
-                                                                                 32,
-                                                                                 this._reverseBytes32_0(respondBidirectionalEvent_0.signature.bigR.x),
-                                                                                 'Secp256k1Scalar',
-                                                                                 'Signet.compact line 341 char 12'),
-                                          s:
-                                            __compactRuntime.convertBytesToField(115792089237316195423570985008687907852837564279074904382605163141518161494336n,
-                                                                                 32,
-                                                                                 this._reverseBytes32_0(respondBidirectionalEvent_0.signature.s),
-                                                                                 'Secp256k1Scalar',
-                                                                                 'Signet.compact line 342 char 12') },
-                                        mpcResponseKey_0);
+    const digest_0 = this._calculateSignetAttestationDigest_2(requestId_0,
+                                                              serializedOutput_0);
+    const checkpointMatches_0 = this._equal_0(digest_0,
+                                              respondBidirectionalEvent_0.attestationDigest);
+    const signatureValid_0 = this._secp256k1EcdsaVerify_0(digest_0,
+                                                          { r:
+                                                              __compactRuntime.convertBytesToField(115792089237316195423570985008687907852837564279074904382605163141518161494336n,
+                                                                                                   32,
+                                                                                                   this._reverseBytes32_0(respondBidirectionalEvent_0.signature.bigR.x),
+                                                                                                   'Secp256k1Scalar',
+                                                                                                   'Signet.compact line 356 char 12'),
+                                                            s:
+                                                              __compactRuntime.convertBytesToField(115792089237316195423570985008687907852837564279074904382605163141518161494336n,
+                                                                                                   32,
+                                                                                                   this._reverseBytes32_0(respondBidirectionalEvent_0.signature.s),
+                                                                                                   'Secp256k1Scalar',
+                                                                                                   'Signet.compact line 357 char 12') },
+                                                          mpcResponseKey_0);
+    return checkpointMatches_0 && signatureValid_0;
   }
   _signetKeyHash_0(pk_0) { return this._persistentHash_0(pk_0); }
   _evmAddressAbiWord_0(addr_0) {
@@ -396,7 +468,7 @@ export class Contract {
   _numericAbiWord_0(value_0) {
     const le_0 = Array.from(__compactRuntime.convertBigintToBytes(16,
                                                                   value_0,
-                                                                  'Signet.compact line 424 char 17'),
+                                                                  'Signet.compact line 439 char 17'),
                             BigInt);
     return Uint8Array.from([...Array.from(new Uint8Array(16), BigInt),
                             le_0[15],
@@ -428,7 +500,7 @@ export class Contract {
                                                                 ((e, i) => e.slice(i, i+16))(word_0,
                                                                                              Number(0n)),
                                                                 'Field',
-                                                                'Signet.compact line 443 char 12')
+                                                                'Signet.compact line 458 char 12')
                             ===
                             0n,
                             'ABI word exceeds Uint<128>');
@@ -437,77 +509,77 @@ export class Contract {
                                                      ((e, i) => e.slice(i, i+1))(word_0,
                                                                                  Number(16n)),
                                                      'Field',
-                                                     'Signet.compact line 444 char 17');
+                                                     'Signet.compact line 459 char 17');
     const b1_0 = __compactRuntime.addField(__compactRuntime.mulField(b0_0, 256n),
                                            __compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
                                                                                1,
                                                                                ((e, i) => e.slice(i, i+1))(word_0,
                                                                                                            Number(17n)),
                                                                                'Field',
-                                                                               'Signet.compact line 445 char 30'));
+                                                                               'Signet.compact line 460 char 30'));
     const b2_0 = __compactRuntime.addField(__compactRuntime.mulField(b1_0, 256n),
                                            __compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
                                                                                1,
                                                                                ((e, i) => e.slice(i, i+1))(word_0,
                                                                                                            Number(18n)),
                                                                                'Field',
-                                                                               'Signet.compact line 446 char 30'));
+                                                                               'Signet.compact line 461 char 30'));
     const b3_0 = __compactRuntime.addField(__compactRuntime.mulField(b2_0, 256n),
                                            __compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
                                                                                1,
                                                                                ((e, i) => e.slice(i, i+1))(word_0,
                                                                                                            Number(19n)),
                                                                                'Field',
-                                                                               'Signet.compact line 447 char 30'));
+                                                                               'Signet.compact line 462 char 30'));
     const b4_0 = __compactRuntime.addField(__compactRuntime.mulField(b3_0, 256n),
                                            __compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
                                                                                1,
                                                                                ((e, i) => e.slice(i, i+1))(word_0,
                                                                                                            Number(20n)),
                                                                                'Field',
-                                                                               'Signet.compact line 448 char 30'));
+                                                                               'Signet.compact line 463 char 30'));
     const b5_0 = __compactRuntime.addField(__compactRuntime.mulField(b4_0, 256n),
                                            __compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
                                                                                1,
                                                                                ((e, i) => e.slice(i, i+1))(word_0,
                                                                                                            Number(21n)),
                                                                                'Field',
-                                                                               'Signet.compact line 449 char 30'));
+                                                                               'Signet.compact line 464 char 30'));
     const b6_0 = __compactRuntime.addField(__compactRuntime.mulField(b5_0, 256n),
                                            __compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
                                                                                1,
                                                                                ((e, i) => e.slice(i, i+1))(word_0,
                                                                                                            Number(22n)),
                                                                                'Field',
-                                                                               'Signet.compact line 450 char 30'));
+                                                                               'Signet.compact line 465 char 30'));
     const b7_0 = __compactRuntime.addField(__compactRuntime.mulField(b6_0, 256n),
                                            __compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
                                                                                1,
                                                                                ((e, i) => e.slice(i, i+1))(word_0,
                                                                                                            Number(23n)),
                                                                                'Field',
-                                                                               'Signet.compact line 451 char 30'));
+                                                                               'Signet.compact line 466 char 30'));
     const b8_0 = __compactRuntime.addField(__compactRuntime.mulField(b7_0, 256n),
                                            __compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
                                                                                1,
                                                                                ((e, i) => e.slice(i, i+1))(word_0,
                                                                                                            Number(24n)),
                                                                                'Field',
-                                                                               'Signet.compact line 452 char 30'));
+                                                                               'Signet.compact line 467 char 30'));
     const b9_0 = __compactRuntime.addField(__compactRuntime.mulField(b8_0, 256n),
                                            __compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
                                                                                1,
                                                                                ((e, i) => e.slice(i, i+1))(word_0,
                                                                                                            Number(25n)),
                                                                                'Field',
-                                                                               'Signet.compact line 453 char 30'));
+                                                                               'Signet.compact line 468 char 30'));
     const b10_0 = __compactRuntime.addField(__compactRuntime.mulField(b9_0, 256n),
                                             __compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
                                                                                 1,
                                                                                 ((e, i) => e.slice(i, i+1))(word_0,
                                                                                                             Number(26n)),
                                                                                 'Field',
-                                                                                'Signet.compact line 454 char 30'));
+                                                                                'Signet.compact line 469 char 30'));
     const b11_0 = __compactRuntime.addField(__compactRuntime.mulField(b10_0,
                                                                       256n),
                                             __compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
@@ -515,7 +587,7 @@ export class Contract {
                                                                                 ((e, i) => e.slice(i, i+1))(word_0,
                                                                                                             Number(27n)),
                                                                                 'Field',
-                                                                                'Signet.compact line 455 char 30'));
+                                                                                'Signet.compact line 470 char 30'));
     const b12_0 = __compactRuntime.addField(__compactRuntime.mulField(b11_0,
                                                                       256n),
                                             __compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
@@ -523,7 +595,7 @@ export class Contract {
                                                                                 ((e, i) => e.slice(i, i+1))(word_0,
                                                                                                             Number(28n)),
                                                                                 'Field',
-                                                                                'Signet.compact line 456 char 30'));
+                                                                                'Signet.compact line 471 char 30'));
     const b13_0 = __compactRuntime.addField(__compactRuntime.mulField(b12_0,
                                                                       256n),
                                             __compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
@@ -531,7 +603,7 @@ export class Contract {
                                                                                 ((e, i) => e.slice(i, i+1))(word_0,
                                                                                                             Number(29n)),
                                                                                 'Field',
-                                                                                'Signet.compact line 457 char 30'));
+                                                                                'Signet.compact line 472 char 30'));
     const b14_0 = __compactRuntime.addField(__compactRuntime.mulField(b13_0,
                                                                       256n),
                                             __compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
@@ -539,7 +611,7 @@ export class Contract {
                                                                                 ((e, i) => e.slice(i, i+1))(word_0,
                                                                                                             Number(30n)),
                                                                                 'Field',
-                                                                                'Signet.compact line 458 char 30'));
+                                                                                'Signet.compact line 473 char 30'));
     const b15_0 = __compactRuntime.addField(__compactRuntime.mulField(b14_0,
                                                                       256n),
                                             __compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
@@ -547,10 +619,10 @@ export class Contract {
                                                                                 ((e, i) => e.slice(i, i+1))(word_0,
                                                                                                             Number(31n)),
                                                                                 'Field',
-                                                                                'Signet.compact line 459 char 30'));
+                                                                                'Signet.compact line 474 char 30'));
     return ((t1) => {
              if (t1 > 340282366920938463463374607431768211455n) {
-               throw new __compactRuntime.CompactError('Signet.compact line 460 char 12: cast from Field or Uint value to smaller Uint value failed: ' + t1 + ' is greater than 340282366920938463463374607431768211455');
+               throw new __compactRuntime.CompactError('Signet.compact line 475 char 12: cast from Field or Uint value to smaller Uint value failed: ' + t1 + ' is greater than 340282366920938463463374607431768211455');
              }
              return t1;
            })(b15_0);
@@ -561,7 +633,7 @@ export class Contract {
                                                                 ((e, i) => e.slice(i, i+31))(word_0,
                                                                                              Number(0n)),
                                                                 'Field',
-                                                                'Signet.compact line 466 char 12')
+                                                                'Signet.compact line 481 char 12')
                             ===
                             0n,
                             'ABI word is not a canonical Boolean');
@@ -570,11 +642,37 @@ export class Contract {
                                                        ((e, i) => e.slice(i, i+1))(word_0,
                                                                                    Number(31n)),
                                                        'Field',
-                                                       'Signet.compact line 467 char 18');
+                                                       'Signet.compact line 482 char 18');
     __compactRuntime.assert(last_0 === 0n || last_0 === 1n,
                             'ABI word is not a canonical Boolean');
     return last_0 === 1n;
   }
+  _calculateSignetAttestationDigest1_0(requestId_0, serializedOutput_0) {
+    return this._calculateSignetAttestationDigest_0(requestId_0,
+                                                    serializedOutput_0);
+  }
+  _calculateSignetAttestationDigest32_0(requestId_0, serializedOutput_0) {
+    return this._calculateSignetAttestationDigest_2(requestId_0,
+                                                    serializedOutput_0);
+  }
+  _calculateSignetAttestationDigest100_0(requestId_0, serializedOutput_0) {
+    return this._calculateSignetAttestationDigest_1(requestId_0,
+                                                    serializedOutput_0);
+  }
+  _verifyRespondBidirectionalEvent32_0(requestId_0,
+                                       serializedOutput_0,
+                                       respondBidirectionalEvent_0,
+                                       mpcResponseKey_0)
+  {
+    return this._verifyRespondBidirectionalEvent_0(requestId_0,
+                                                   serializedOutput_0,
+                                                   respondBidirectionalEvent_0,
+                                                   mpcResponseKey_0);
+  }
+  _equal_0(x0, y0) {
+    if (!x0.every((x, i) => y0[i] === x)) { return false; }
+    return true;
+  }
 }
 export function ledger(stateOrChargedState) {
   const state = stateOrChargedState instanceof __compactRuntime.StateValue ? stateOrChargedState : stateOrChargedState.state;
@@ -606,68 +704,20 @@ export const pureCircuits = {
     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('constructSignBidirectionalEventNotificationV1',
                                  'argument 1',
-                                 'Signet.compact line 213 char 3',
+                                 'Signet.compact line 214 char 3',
                                  'struct ContractAddress<bytes: Bytes<32>>',
                                  callerAddress_0)
     }
     if (!(typeof(requestsIndexField_0) === 'bigint' && requestsIndexField_0 >= 0n && requestsIndexField_0 <= 255n)) {
       __compactRuntime.typeError('constructSignBidirectionalEventNotificationV1',
                                  'argument 2',
-                                 'Signet.compact line 213 char 3',
+                                 'Signet.compact line 214 char 3',
                                  'Uint<0..256>',
                                  requestsIndexField_0)
     }
     return _dummyContract._constructSignBidirectionalEventNotificationV1_0(callerAddress_0,
                                                                            requestsIndexField_0);
   },
-  signetAttestationDigest: (...args_0) => {
-    if (args_0.length !== 2) {
-      throw new __compactRuntime.CompactError(`signetAttestationDigest: expected 2 arguments (as invoked from Typescript), received ${args_0.length}`);
-    }
-    const requestId_0 = args_0[0];
-    const serializedOutput_0 = args_0[1];
-    if (!(requestId_0.buffer instanceof ArrayBuffer && requestId_0.BYTES_PER_ELEMENT === 1 && requestId_0.length === 32)) {
-      __compactRuntime.typeError('signetAttestationDigest',
-                                 'argument 1',
-                                 'Signet.compact line 300 char 3',
-                                 'Bytes<32>',
-                                 requestId_0)
-    }
-    if (!(serializedOutput_0.buffer instanceof ArrayBuffer && serializedOutput_0.BYTES_PER_ELEMENT === 1 && serializedOutput_0.length === 128)) {
-      __compactRuntime.typeError('signetAttestationDigest',
-                                 'argument 2',
-                                 'Signet.compact line 300 char 3',
-                                 'Bytes<128>',
-                                 serializedOutput_0)
-    }
-    return _dummyContract._signetAttestationDigest_0(requestId_0,
-                                                     serializedOutput_0);
-  },
-  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 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 333 char 3',
-                                 'Bytes<32>',
-                                 requestId_0)
-    }
-    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 && typeof(respondBidirectionalEvent_0.signature) === 'object' && typeof(respondBidirectionalEvent_0.signature.bigR) === 'object' && respondBidirectionalEvent_0.signature.bigR.x.buffer instanceof ArrayBuffer && respondBidirectionalEvent_0.signature.bigR.x.BYTES_PER_ELEMENT === 1 && respondBidirectionalEvent_0.signature.bigR.x.length === 32 && respondBidirectionalEvent_0.signature.bigR.y.buffer instanceof ArrayBuffer && respondBidirectionalEvent_0.signature.bigR.y.BYTES_PER_ELEMENT === 1 && respondBidirectionalEvent_0.signature.bigR.y.length === 32 && respondBidirectionalEvent_0.signature.s.buffer instanceof ArrayBuffer && respondBidirectionalEvent_0.signature.s.BYTES_PER_ELEMENT === 1 && respondBidirectionalEvent_0.signature.s.length === 32 && typeof(respondBidirectionalEvent_0.signature.recoveryId) === 'bigint' && respondBidirectionalEvent_0.signature.recoveryId >= 0n && respondBidirectionalEvent_0.signature.recoveryId <= 255n)) {
-      __compactRuntime.typeError('verifyRespondBidirectionalEvent',
-                                 'argument 2',
-                                 'Signet.compact line 333 char 3',
-                                 'struct RespondBidirectionalEvent<serializedOutput: Bytes<128>, outputLen: Uint<0..256>, signature: struct Signature<bigR: struct AffinePoint<x: Bytes<32>, y: Bytes<32>>, s: Bytes<32>, recoveryId: Uint<0..256>>>',
-                                 respondBidirectionalEvent_0)
-    }
-    return _dummyContract._verifyRespondBidirectionalEvent_0(requestId_0,
-                                                             respondBidirectionalEvent_0,
-                                                             mpcResponseKey_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}`);
@@ -683,7 +733,7 @@ export const pureCircuits = {
     if (!(addr_0.buffer instanceof ArrayBuffer && addr_0.BYTES_PER_ELEMENT === 1 && addr_0.length === 20)) {
       __compactRuntime.typeError('evmAddressAbiWord',
                                  'argument 1',
-                                 'Signet.compact line 415 char 3',
+                                 'Signet.compact line 430 char 3',
                                  'Bytes<20>',
                                  addr_0)
     }
@@ -697,7 +747,7 @@ export const pureCircuits = {
     if (!(typeof(value_0) === 'bigint' && value_0 >= 0n && value_0 <= 340282366920938463463374607431768211455n)) {
       __compactRuntime.typeError('numericAbiWord',
                                  'argument 1',
-                                 'Signet.compact line 421 char 3',
+                                 'Signet.compact line 436 char 3',
                                  'Uint<0..340282366920938463463374607431768211456>',
                                  value_0)
     }
@@ -711,7 +761,7 @@ export const pureCircuits = {
     if (!(typeof(value_0) === 'boolean')) {
       __compactRuntime.typeError('boolAbiWord',
                                  'argument 1',
-                                 'Signet.compact line 434 char 3',
+                                 'Signet.compact line 449 char 3',
                                  'Boolean',
                                  value_0)
     }
@@ -725,7 +775,7 @@ export const pureCircuits = {
     if (!(word_0.buffer instanceof ArrayBuffer && word_0.BYTES_PER_ELEMENT === 1 && word_0.length === 32)) {
       __compactRuntime.typeError('abiWordToUint128',
                                  'argument 1',
-                                 'Signet.compact line 442 char 3',
+                                 'Signet.compact line 457 char 3',
                                  'Bytes<32>',
                                  word_0)
     }
@@ -739,11 +789,114 @@ export const pureCircuits = {
     if (!(word_0.buffer instanceof ArrayBuffer && word_0.BYTES_PER_ELEMENT === 1 && word_0.length === 32)) {
       __compactRuntime.typeError('abiWordToBool',
                                  'argument 1',
-                                 'Signet.compact line 465 char 3',
+                                 'Signet.compact line 480 char 3',
                                  'Bytes<32>',
                                  word_0)
     }
     return _dummyContract._abiWordToBool_0(word_0);
+  },
+  calculateSignetAttestationDigest1: (...args_0) => {
+    if (args_0.length !== 2) {
+      throw new __compactRuntime.CompactError(`calculateSignetAttestationDigest1: expected 2 arguments (as invoked from Typescript), received ${args_0.length}`);
+    }
+    const requestId_0 = args_0[0];
+    const serializedOutput_0 = args_0[1];
+    if (!(requestId_0.buffer instanceof ArrayBuffer && requestId_0.BYTES_PER_ELEMENT === 1 && requestId_0.length === 32)) {
+      __compactRuntime.typeError('calculateSignetAttestationDigest1',
+                                 'argument 1',
+                                 'circuits.compact line 34 char 1',
+                                 'Bytes<32>',
+                                 requestId_0)
+    }
+    if (!(serializedOutput_0.buffer instanceof ArrayBuffer && serializedOutput_0.BYTES_PER_ELEMENT === 1 && serializedOutput_0.length === 1)) {
+      __compactRuntime.typeError('calculateSignetAttestationDigest1',
+                                 'argument 2',
+                                 'circuits.compact line 34 char 1',
+                                 'Bytes<1>',
+                                 serializedOutput_0)
+    }
+    return _dummyContract._calculateSignetAttestationDigest1_0(requestId_0,
+                                                               serializedOutput_0);
+  },
+  calculateSignetAttestationDigest32: (...args_0) => {
+    if (args_0.length !== 2) {
+      throw new __compactRuntime.CompactError(`calculateSignetAttestationDigest32: expected 2 arguments (as invoked from Typescript), received ${args_0.length}`);
+    }
+    const requestId_0 = args_0[0];
+    const serializedOutput_0 = args_0[1];
+    if (!(requestId_0.buffer instanceof ArrayBuffer && requestId_0.BYTES_PER_ELEMENT === 1 && requestId_0.length === 32)) {
+      __compactRuntime.typeError('calculateSignetAttestationDigest32',
+                                 'argument 1',
+                                 'circuits.compact line 41 char 1',
+                                 'Bytes<32>',
+                                 requestId_0)
+    }
+    if (!(serializedOutput_0.buffer instanceof ArrayBuffer && serializedOutput_0.BYTES_PER_ELEMENT === 1 && serializedOutput_0.length === 32)) {
+      __compactRuntime.typeError('calculateSignetAttestationDigest32',
+                                 'argument 2',
+                                 'circuits.compact line 41 char 1',
+                                 'Bytes<32>',
+                                 serializedOutput_0)
+    }
+    return _dummyContract._calculateSignetAttestationDigest32_0(requestId_0,
+                                                                serializedOutput_0);
+  },
+  calculateSignetAttestationDigest100: (...args_0) => {
+    if (args_0.length !== 2) {
+      throw new __compactRuntime.CompactError(`calculateSignetAttestationDigest100: expected 2 arguments (as invoked from Typescript), received ${args_0.length}`);
+    }
+    const requestId_0 = args_0[0];
+    const serializedOutput_0 = args_0[1];
+    if (!(requestId_0.buffer instanceof ArrayBuffer && requestId_0.BYTES_PER_ELEMENT === 1 && requestId_0.length === 32)) {
+      __compactRuntime.typeError('calculateSignetAttestationDigest100',
+                                 'argument 1',
+                                 'circuits.compact line 48 char 1',
+                                 'Bytes<32>',
+                                 requestId_0)
+    }
+    if (!(serializedOutput_0.buffer instanceof ArrayBuffer && serializedOutput_0.BYTES_PER_ELEMENT === 1 && serializedOutput_0.length === 100)) {
+      __compactRuntime.typeError('calculateSignetAttestationDigest100',
+                                 'argument 2',
+                                 'circuits.compact line 48 char 1',
+                                 'Bytes<100>',
+                                 serializedOutput_0)
+    }
+    return _dummyContract._calculateSignetAttestationDigest100_0(requestId_0,
+                                                                 serializedOutput_0);
+  },
+  verifyRespondBidirectionalEvent32: (...args_0) => {
+    if (args_0.length !== 4) {
+      throw new __compactRuntime.CompactError(`verifyRespondBidirectionalEvent32: expected 4 arguments (as invoked from Typescript), received ${args_0.length}`);
+    }
+    const requestId_0 = args_0[0];
+    const serializedOutput_0 = args_0[1];
+    const respondBidirectionalEvent_0 = args_0[2];
+    const mpcResponseKey_0 = args_0[3];
+    if (!(requestId_0.buffer instanceof ArrayBuffer && requestId_0.BYTES_PER_ELEMENT === 1 && requestId_0.length === 32)) {
+      __compactRuntime.typeError('verifyRespondBidirectionalEvent32',
+                                 'argument 1',
+                                 'circuits.compact line 55 char 1',
+                                 'Bytes<32>',
+                                 requestId_0)
+    }
+    if (!(serializedOutput_0.buffer instanceof ArrayBuffer && serializedOutput_0.BYTES_PER_ELEMENT === 1 && serializedOutput_0.length === 32)) {
+      __compactRuntime.typeError('verifyRespondBidirectionalEvent32',
+                                 'argument 2',
+                                 'circuits.compact line 55 char 1',
+                                 'Bytes<32>',
+                                 serializedOutput_0)
+    }
+    if (!(typeof(respondBidirectionalEvent_0) === 'object' && respondBidirectionalEvent_0.attestationDigest.buffer instanceof ArrayBuffer && respondBidirectionalEvent_0.attestationDigest.BYTES_PER_ELEMENT === 1 && respondBidirectionalEvent_0.attestationDigest.length === 32 && typeof(respondBidirectionalEvent_0.signature) === 'object' && typeof(respondBidirectionalEvent_0.signature.bigR) === 'object' && respondBidirectionalEvent_0.signature.bigR.x.buffer instanceof ArrayBuffer && respondBidirectionalEvent_0.signature.bigR.x.BYTES_PER_ELEMENT === 1 && respondBidirectionalEvent_0.signature.bigR.x.length === 32 && respondBidirectionalEvent_0.signature.bigR.y.buffer instanceof ArrayBuffer && respondBidirectionalEvent_0.signature.bigR.y.BYTES_PER_ELEMENT === 1 && respondBidirectionalEvent_0.signature.bigR.y.length === 32 && respondBidirectionalEvent_0.signature.s.buffer instanceof ArrayBuffer && respondBidirectionalEvent_0.signature.s.BYTES_PER_ELEMENT === 1 && respondBidirectionalEvent_0.signature.s.length === 32 && typeof(respondBidirectionalEvent_0.signature.recoveryId) === 'bigint' && respondBidirectionalEvent_0.signature.recoveryId >= 0n && respondBidirectionalEvent_0.signature.recoveryId <= 255n)) {
+      __compactRuntime.typeError('verifyRespondBidirectionalEvent32',
+                                 'argument 3',
+                                 'circuits.compact line 55 char 1',
+                                 'struct RespondBidirectionalEvent<attestationDigest: Bytes<32>, signature: struct Signature<bigR: struct AffinePoint<x: Bytes<32>, y: Bytes<32>>, s: Bytes<32>, recoveryId: Uint<0..256>>>',
+                                 respondBidirectionalEvent_0)
+    }
+    return _dummyContract._verifyRespondBidirectionalEvent32_0(requestId_0,
+                                                               serializedOutput_0,
+                                                               respondBidirectionalEvent_0,
+                                                               mpcResponseKey_0);
   }
 };
 export const contractReferenceLocations =