@sig-net/midnight 0.0.9 → 0.11.0

package/dist/managed/contract/index.js

@@ -1,117 +1,150 @@
 import * as __compactRuntime from '@midnight-ntwrk/compact-runtime';
 __compactRuntime.checkRuntimeVersion('0.18.0-rc.1');
 
-const _descriptor_0 = new __compactRuntime.CompactTypeUnsignedInteger(340282366920938463463374607431768211455n, 16);
+const _descriptor_0 = new __compactRuntime.CompactTypeBytes(32);
 
-const _descriptor_1 = new __compactRuntime.CompactTypeBytes(32);
+const _descriptor_1 = new __compactRuntime.CompactTypeUnsignedInteger(340282366920938463463374607431768211455n, 16);
 
-const _descriptor_2 = __compactRuntime.CompactTypeSecp256k1Point;
+const _descriptor_2 = __compactRuntime.CompactTypeBoolean;
 
-const _descriptor_3 = new __compactRuntime.CompactTypeBytes(20);
+const _descriptor_3 = __compactRuntime.CompactTypeSecp256k1Point;
 
-const _descriptor_4 = new __compactRuntime.CompactTypeBytes(128);
+const _descriptor_4 = new __compactRuntime.CompactTypeBytes(20);
 
-const _descriptor_5 = new __compactRuntime.CompactTypeUnsignedInteger(255n, 1);
+const _descriptor_5 = new __compactRuntime.CompactTypeBytes(128);
 
-class _RespondBidirectionalEvent_0 {
+const _descriptor_6 = new __compactRuntime.CompactTypeUnsignedInteger(255n, 1);
+
+class _AffinePoint_0 {
   alignment() {
-    return _descriptor_4.alignment().concat(_descriptor_5.alignment().concat(_descriptor_1.alignment().concat(_descriptor_1.alignment().concat(_descriptor_5.alignment()))));
+    return _descriptor_0.alignment().concat(_descriptor_0.alignment());
   }
   fromValue(value_0) {
     return {
-      serializedOutput: _descriptor_4.fromValue(value_0),
-      outputLen: _descriptor_5.fromValue(value_0),
-      r: _descriptor_1.fromValue(value_0),
-      s: _descriptor_1.fromValue(value_0),
-      recoveryId: _descriptor_5.fromValue(value_0)
+      x: _descriptor_0.fromValue(value_0),
+      y: _descriptor_0.fromValue(value_0)
     }
   }
   toValue(value_0) {
-    return _descriptor_4.toValue(value_0.serializedOutput).concat(_descriptor_5.toValue(value_0.outputLen).concat(_descriptor_1.toValue(value_0.r).concat(_descriptor_1.toValue(value_0.s).concat(_descriptor_5.toValue(value_0.recoveryId)))));
+    return _descriptor_0.toValue(value_0.x).concat(_descriptor_0.toValue(value_0.y));
   }
 }
 
-const _descriptor_6 = new _RespondBidirectionalEvent_0();
+const _descriptor_7 = new _AffinePoint_0();
 
-const _descriptor_7 = __compactRuntime.CompactTypeBoolean;
+class _Signature_0 {
+  alignment() {
+    return _descriptor_7.alignment().concat(_descriptor_0.alignment().concat(_descriptor_6.alignment()));
+  }
+  fromValue(value_0) {
+    return {
+      bigR: _descriptor_7.fromValue(value_0),
+      s: _descriptor_0.fromValue(value_0),
+      recoveryId: _descriptor_6.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)));
+  }
+}
 
-const _descriptor_8 = __compactRuntime.CompactTypeSecp256k1Scalar;
+const _descriptor_8 = new _Signature_0();
+
+class _RespondBidirectionalEvent_0 {
+  alignment() {
+    return _descriptor_5.alignment().concat(_descriptor_6.alignment().concat(_descriptor_8.alignment()));
+  }
+  fromValue(value_0) {
+    return {
+      serializedOutput: _descriptor_5.fromValue(value_0),
+      outputLen: _descriptor_6.fromValue(value_0),
+      signature: _descriptor_8.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)));
+  }
+}
+
+const _descriptor_9 = new _RespondBidirectionalEvent_0();
 
 class _ContractAddress_0 {
   alignment() {
-    return _descriptor_1.alignment();
+    return _descriptor_0.alignment();
   }
   fromValue(value_0) {
     return {
-      bytes: _descriptor_1.fromValue(value_0)
+      bytes: _descriptor_0.fromValue(value_0)
     }
   }
   toValue(value_0) {
-    return _descriptor_1.toValue(value_0.bytes);
+    return _descriptor_0.toValue(value_0.bytes);
   }
 }
 
-const _descriptor_9 = new _ContractAddress_0();
+const _descriptor_10 = new _ContractAddress_0();
 
 class _SignBidirectionalEventNotification_0 {
   alignment() {
-    return _descriptor_5.alignment().concat(_descriptor_4.alignment());
+    return _descriptor_6.alignment().concat(_descriptor_5.alignment());
   }
   fromValue(value_0) {
     return {
-      version: _descriptor_5.fromValue(value_0),
-      payload: _descriptor_4.fromValue(value_0)
+      version: _descriptor_6.fromValue(value_0),
+      payload: _descriptor_5.fromValue(value_0)
     }
   }
   toValue(value_0) {
-    return _descriptor_5.toValue(value_0.version).concat(_descriptor_4.toValue(value_0.payload));
+    return _descriptor_6.toValue(value_0.version).concat(_descriptor_5.toValue(value_0.payload));
   }
 }
 
-const _descriptor_10 = new _SignBidirectionalEventNotification_0();
+const _descriptor_11 = new _SignBidirectionalEventNotification_0();
+
+const _descriptor_12 = __compactRuntime.CompactTypeSecp256k1Scalar;
 
-const _descriptor_11 = __compactRuntime.CompactTypeSecp256k1Base;
+const _descriptor_13 = __compactRuntime.CompactTypeSecp256k1Base;
 
-const _descriptor_12 = new __compactRuntime.CompactTypeVector(2, _descriptor_1);
+const _descriptor_14 = new __compactRuntime.CompactTypeBytes(160);
 
 class _Secp256k1EcdsaSignature_0 {
   alignment() {
-    return _descriptor_8.alignment().concat(_descriptor_8.alignment());
+    return _descriptor_12.alignment().concat(_descriptor_12.alignment());
   }
   fromValue(value_0) {
     return {
-      r: _descriptor_8.fromValue(value_0),
-      s: _descriptor_8.fromValue(value_0)
+      r: _descriptor_12.fromValue(value_0),
+      s: _descriptor_12.fromValue(value_0)
     }
   }
   toValue(value_0) {
-    return _descriptor_8.toValue(value_0.r).concat(_descriptor_8.toValue(value_0.s));
+    return _descriptor_12.toValue(value_0.r).concat(_descriptor_12.toValue(value_0.s));
   }
 }
 
-const _descriptor_13 = new _Secp256k1EcdsaSignature_0();
+const _descriptor_15 = new _Secp256k1EcdsaSignature_0();
 
-const _descriptor_14 = new __compactRuntime.CompactTypeUnsignedInteger(18446744073709551615n, 8);
+const _descriptor_16 = new __compactRuntime.CompactTypeUnsignedInteger(18446744073709551615n, 8);
 
 class _Either_0 {
   alignment() {
-    return _descriptor_7.alignment().concat(_descriptor_1.alignment().concat(_descriptor_1.alignment()));
+    return _descriptor_2.alignment().concat(_descriptor_0.alignment().concat(_descriptor_0.alignment()));
   }
   fromValue(value_0) {
     return {
-      is_left: _descriptor_7.fromValue(value_0),
-      left: _descriptor_1.fromValue(value_0),
-      right: _descriptor_1.fromValue(value_0)
+      is_left: _descriptor_2.fromValue(value_0),
+      left: _descriptor_0.fromValue(value_0),
+      right: _descriptor_0.fromValue(value_0)
     }
   }
   toValue(value_0) {
-    return _descriptor_7.toValue(value_0.is_left).concat(_descriptor_1.toValue(value_0.left).concat(_descriptor_1.toValue(value_0.right)));
+    return _descriptor_2.toValue(value_0.is_left).concat(_descriptor_0.toValue(value_0.left).concat(_descriptor_0.toValue(value_0.right)));
   }
 }
 
-const _descriptor_15 = new _Either_0();
+const _descriptor_17 = new _Either_0();
 
-const _descriptor_16 = new __compactRuntime.CompactTypeUnsignedInteger(4294967295n, 4);
+const _descriptor_18 = new __compactRuntime.CompactTypeUnsignedInteger(4294967295n, 4);
 
 export class Contract {
   witnesses;
@@ -143,8 +176,14 @@ export class Contract {
       async numericAbiWord(context, ...args_1) {
         return { result: pureCircuits.numericAbiWord(...args_1), context };
       },
+      async boolAbiWord(context, ...args_1) {
+        return { result: pureCircuits.boolAbiWord(...args_1), context };
+      },
       async abiWordToUint128(context, ...args_1) {
         return { result: pureCircuits.abiWordToUint128(...args_1), context };
+      },
+      async abiWordToBool(context, ...args_1) {
+        return { result: pureCircuits.abiWordToBool(...args_1), context };
       }
     };
     this.impureCircuits = {};
@@ -243,15 +282,11 @@ export class Contract {
            r_0;
   }
   _persistentHash_0(value_0) {
-    const result_0 = __compactRuntime.persistentHash(_descriptor_12, value_0);
+    const result_0 = __compactRuntime.persistentHash(_descriptor_3, value_0);
     return result_0;
   }
-  _persistentHash_1(value_0) {
-    const result_0 = __compactRuntime.persistentHash(_descriptor_4, value_0);
-    return result_0;
-  }
-  _persistentHash_2(value_0) {
-    const result_0 = __compactRuntime.persistentHash(_descriptor_2, value_0);
+  _keccak256_0(value_0) {
+    const result_0 = __compactRuntime.keccak256(_descriptor_14, value_0);
     return result_0;
   }
   _mul_0(x_0, y_0) {
@@ -288,35 +323,71 @@ export class Contract {
                                 ...Array.from(new Uint8Array(95), BigInt)],
                                Number) };
   }
-  _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 285 char 7')]);
-    return this._persistentHash_0([requestId_0, outHash_0]);
+  _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));
+  }
+  _reverseBytes32_0(b_0) {
+    const v_0 = Array.from(b_0, BigInt);
+    return 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);
   }
   _verifyRespondBidirectionalEvent_0(requestId_0,
                                      respondBidirectionalEvent_0,
                                      mpcResponseKey_0)
   {
     return this._secp256k1EcdsaVerify_0(this._signetAttestationDigest_0(requestId_0,
-                                                                        respondBidirectionalEvent_0.serializedOutput,
-                                                                        respondBidirectionalEvent_0.outputLen),
+                                                                        respondBidirectionalEvent_0.serializedOutput),
                                         { r:
                                             __compactRuntime.convertBytesToField(115792089237316195423570985008687907852837564279074904382605163141518161494336n,
                                                                                  32,
-                                                                                 respondBidirectionalEvent_0.r,
+                                                                                 this._reverseBytes32_0(respondBidirectionalEvent_0.signature.bigR.x),
                                                                                  'Secp256k1Scalar',
-                                                                                 'Signet.compact line 308 char 12'),
+                                                                                 'Signet.compact line 341 char 12'),
                                           s:
                                             __compactRuntime.convertBytesToField(115792089237316195423570985008687907852837564279074904382605163141518161494336n,
                                                                                  32,
-                                                                                 respondBidirectionalEvent_0.s,
+                                                                                 this._reverseBytes32_0(respondBidirectionalEvent_0.signature.s),
                                                                                  'Secp256k1Scalar',
-                                                                                 'Signet.compact line 309 char 12') },
+                                                                                 'Signet.compact line 342 char 12') },
                                         mpcResponseKey_0);
   }
-  _signetKeyHash_0(pk_0) { return this._persistentHash_2(pk_0); }
+  _signetKeyHash_0(pk_0) { return this._persistentHash_0(pk_0); }
   _evmAddressAbiWord_0(addr_0) {
     return Uint8Array.from([...Array.from(new Uint8Array(12), BigInt),
                             ...Array.from(addr_0, BigInt)],
@@ -325,7 +396,7 @@ export class Contract {
   _numericAbiWord_0(value_0) {
     const le_0 = Array.from(__compactRuntime.convertBigintToBytes(16,
                                                                   value_0,
-                                                                  'Signet.compact line 389 char 17'),
+                                                                  'Signet.compact line 424 char 17'),
                             BigInt);
     return Uint8Array.from([...Array.from(new Uint8Array(16), BigInt),
                             le_0[15],
@@ -346,13 +417,18 @@ export class Contract {
                             le_0[0]],
                            Number);
   }
+  _boolAbiWord_0(value_0) {
+    return Uint8Array.from([...Array.from(new Uint8Array(31), BigInt),
+                            value_0 ? 1n : 0n],
+                           Number);
+  }
   _abiWordToUint128_0(word_0) {
     __compactRuntime.assert(__compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
                                                                 16,
                                                                 ((e, i) => e.slice(i, i+16))(word_0,
                                                                                              Number(0n)),
                                                                 'Field',
-                                                                'Signet.compact line 402 char 12')
+                                                                'Signet.compact line 443 char 12')
                             ===
                             0n,
                             'ABI word exceeds Uint<128>');
@@ -361,77 +437,77 @@ export class Contract {
                                                      ((e, i) => e.slice(i, i+1))(word_0,
                                                                                  Number(16n)),
                                                      'Field',
-                                                     'Signet.compact line 403 char 17');
+                                                     'Signet.compact line 444 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 404 char 30'));
+                                                                               'Signet.compact line 445 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 405 char 30'));
+                                                                               'Signet.compact line 446 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 406 char 30'));
+                                                                               'Signet.compact line 447 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 407 char 30'));
+                                                                               'Signet.compact line 448 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 408 char 30'));
+                                                                               'Signet.compact line 449 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 409 char 30'));
+                                                                               'Signet.compact line 450 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 410 char 30'));
+                                                                               'Signet.compact line 451 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 411 char 30'));
+                                                                               'Signet.compact line 452 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 412 char 30'));
+                                                                               'Signet.compact line 453 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 413 char 30'));
+                                                                                'Signet.compact line 454 char 30'));
     const b11_0 = __compactRuntime.addField(__compactRuntime.mulField(b10_0,
                                                                       256n),
                                             __compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
@@ -439,7 +515,7 @@ export class Contract {
                                                                                 ((e, i) => e.slice(i, i+1))(word_0,
                                                                                                             Number(27n)),
                                                                                 'Field',
-                                                                                'Signet.compact line 414 char 30'));
+                                                                                'Signet.compact line 455 char 30'));
     const b12_0 = __compactRuntime.addField(__compactRuntime.mulField(b11_0,
                                                                       256n),
                                             __compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
@@ -447,7 +523,7 @@ export class Contract {
                                                                                 ((e, i) => e.slice(i, i+1))(word_0,
                                                                                                             Number(28n)),
                                                                                 'Field',
-                                                                                'Signet.compact line 415 char 30'));
+                                                                                'Signet.compact line 456 char 30'));
     const b13_0 = __compactRuntime.addField(__compactRuntime.mulField(b12_0,
                                                                       256n),
                                             __compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
@@ -455,7 +531,7 @@ export class Contract {
                                                                                 ((e, i) => e.slice(i, i+1))(word_0,
                                                                                                             Number(29n)),
                                                                                 'Field',
-                                                                                'Signet.compact line 416 char 30'));
+                                                                                'Signet.compact line 457 char 30'));
     const b14_0 = __compactRuntime.addField(__compactRuntime.mulField(b13_0,
                                                                       256n),
                                             __compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
@@ -463,7 +539,7 @@ export class Contract {
                                                                                 ((e, i) => e.slice(i, i+1))(word_0,
                                                                                                             Number(30n)),
                                                                                 'Field',
-                                                                                'Signet.compact line 417 char 30'));
+                                                                                'Signet.compact line 458 char 30'));
     const b15_0 = __compactRuntime.addField(__compactRuntime.mulField(b14_0,
                                                                       256n),
                                             __compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
@@ -471,14 +547,34 @@ export class Contract {
                                                                                 ((e, i) => e.slice(i, i+1))(word_0,
                                                                                                             Number(31n)),
                                                                                 'Field',
-                                                                                'Signet.compact line 418 char 30'));
+                                                                                'Signet.compact line 459 char 30'));
     return ((t1) => {
              if (t1 > 340282366920938463463374607431768211455n) {
-               throw new __compactRuntime.CompactError('Signet.compact line 419 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 460 char 12: cast from Field or Uint value to smaller Uint value failed: ' + t1 + ' is greater than 340282366920938463463374607431768211455');
              }
              return t1;
            })(b15_0);
   }
+  _abiWordToBool_0(word_0) {
+    __compactRuntime.assert(__compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
+                                                                31,
+                                                                ((e, i) => e.slice(i, i+31))(word_0,
+                                                                                             Number(0n)),
+                                                                'Field',
+                                                                'Signet.compact line 466 char 12')
+                            ===
+                            0n,
+                            'ABI word is not a canonical Boolean');
+    const last_0 = __compactRuntime.convertBytesToUint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
+                                                       1,
+                                                       ((e, i) => e.slice(i, i+1))(word_0,
+                                                                                   Number(31n)),
+                                                       'Field',
+                                                       'Signet.compact line 467 char 18');
+    __compactRuntime.assert(last_0 === 0n || last_0 === 1n,
+                            'ABI word is not a canonical Boolean');
+    return last_0 === 1n;
+  }
 }
 export function ledger(stateOrChargedState) {
   const state = stateOrChargedState instanceof __compactRuntime.StateValue ? stateOrChargedState : stateOrChargedState.state;
@@ -510,14 +606,14 @@ 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 209 char 3',
+                                 'Signet.compact line 213 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 209 char 3',
+                                 'Signet.compact line 213 char 3',
                                  'Uint<0..256>',
                                  requestsIndexField_0)
     }
@@ -525,36 +621,27 @@ export const pureCircuits = {
                                                                            requestsIndexField_0);
   },
   signetAttestationDigest: (...args_0) => {
-    if (args_0.length !== 3) {
-      throw new __compactRuntime.CompactError(`signetAttestationDigest: expected 3 arguments (as invoked from Typescript), received ${args_0.length}`);
+    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];
-    const outputLen_0 = args_0[2];
     if (!(requestId_0.buffer instanceof ArrayBuffer && requestId_0.BYTES_PER_ELEMENT === 1 && requestId_0.length === 32)) {
       __compactRuntime.typeError('signetAttestationDigest',
                                  'argument 1',
-                                 'Signet.compact line 278 char 3',
+                                 '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 278 char 3',
+                                 'Signet.compact line 300 char 3',
                                  'Bytes<128>',
                                  serializedOutput_0)
     }
-    if (!(typeof(outputLen_0) === 'bigint' && outputLen_0 >= 0n && outputLen_0 <= 255n)) {
-      __compactRuntime.typeError('signetAttestationDigest',
-                                 'argument 3',
-                                 'Signet.compact line 278 char 3',
-                                 'Uint<0..256>',
-                                 outputLen_0)
-    }
     return _dummyContract._signetAttestationDigest_0(requestId_0,
-                                                     serializedOutput_0,
-                                                     outputLen_0);
+                                                     serializedOutput_0);
   },
   verifyRespondBidirectionalEvent: (...args_0) => {
     if (args_0.length !== 3) {
@@ -566,15 +653,15 @@ export const pureCircuits = {
     if (!(requestId_0.buffer instanceof ArrayBuffer && requestId_0.BYTES_PER_ELEMENT === 1 && requestId_0.length === 32)) {
       __compactRuntime.typeError('verifyRespondBidirectionalEvent',
                                  'argument 1',
-                                 'Signet.compact line 296 char 3',
+                                 '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 && 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)) {
+    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 296 char 3',
-                                 'struct RespondBidirectionalEvent<serializedOutput: Bytes<128>, outputLen: Uint<0..256>, r: Bytes<32>, s: Bytes<32>, recoveryId: Uint<0..256>>',
+                                 '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,
@@ -596,7 +683,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 381 char 3',
+                                 'Signet.compact line 415 char 3',
                                  'Bytes<20>',
                                  addr_0)
     }
@@ -610,12 +697,26 @@ export const pureCircuits = {
     if (!(typeof(value_0) === 'bigint' && value_0 >= 0n && value_0 <= 340282366920938463463374607431768211455n)) {
       __compactRuntime.typeError('numericAbiWord',
                                  'argument 1',
-                                 'Signet.compact line 388 char 3',
+                                 'Signet.compact line 421 char 3',
                                  'Uint<0..340282366920938463463374607431768211456>',
                                  value_0)
     }
     return _dummyContract._numericAbiWord_0(value_0);
   },
+  boolAbiWord: (...args_0) => {
+    if (args_0.length !== 1) {
+      throw new __compactRuntime.CompactError(`boolAbiWord: expected 1 argument (as invoked from Typescript), received ${args_0.length}`);
+    }
+    const value_0 = args_0[0];
+    if (!(typeof(value_0) === 'boolean')) {
+      __compactRuntime.typeError('boolAbiWord',
+                                 'argument 1',
+                                 'Signet.compact line 434 char 3',
+                                 'Boolean',
+                                 value_0)
+    }
+    return _dummyContract._boolAbiWord_0(value_0);
+  },
   abiWordToUint128: (...args_0) => {
     if (args_0.length !== 1) {
       throw new __compactRuntime.CompactError(`abiWordToUint128: expected 1 argument (as invoked from Typescript), received ${args_0.length}`);
@@ -624,11 +725,25 @@ 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 401 char 3',
+                                 'Signet.compact line 442 char 3',
                                  'Bytes<32>',
                                  word_0)
     }
     return _dummyContract._abiWordToUint128_0(word_0);
+  },
+  abiWordToBool: (...args_0) => {
+    if (args_0.length !== 1) {
+      throw new __compactRuntime.CompactError(`abiWordToBool: expected 1 argument (as invoked from Typescript), received ${args_0.length}`);
+    }
+    const word_0 = args_0[0];
+    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',
+                                 'Bytes<32>',
+                                 word_0)
+    }
+    return _dummyContract._abiWordToBool_0(word_0);
   }
 };
 export const contractReferenceLocations =