@sig-net/midnight-contract 0.0.1

package/dist/managed/contract/index.js

@@ -0,0 +1,1188 @@
+import * as __compactRuntime from '@midnight-ntwrk/compact-runtime';
+__compactRuntime.checkRuntimeVersion('0.18.0-rc.0');
+
+const _descriptor_0 = new __compactRuntime.CompactTypeBytes(32);
+
+const _descriptor_1 = new __compactRuntime.CompactTypeBytes(128);
+
+const _descriptor_2 = new __compactRuntime.CompactTypeUnsignedInteger(255n, 1);
+
+const _descriptor_3 = __compactRuntime.CompactTypeJubjubPoint;
+
+const _descriptor_4 = __compactRuntime.CompactTypeField;
+
+class _RespondBidirectional_0 {
+  alignment() {
+    return _descriptor_1.alignment().concat(_descriptor_2.alignment().concat(_descriptor_3.alignment().concat(_descriptor_3.alignment().concat(_descriptor_4.alignment()))));
+  }
+  fromValue(value_0) {
+    return {
+      serializedOutput: _descriptor_1.fromValue(value_0),
+      outputLen: _descriptor_2.fromValue(value_0),
+      pk: _descriptor_3.fromValue(value_0),
+      announcement: _descriptor_3.fromValue(value_0),
+      response: _descriptor_4.fromValue(value_0)
+    }
+  }
+  toValue(value_0) {
+    return _descriptor_1.toValue(value_0.serializedOutput).concat(_descriptor_2.toValue(value_0.outputLen).concat(_descriptor_3.toValue(value_0.pk).concat(_descriptor_3.toValue(value_0.announcement).concat(_descriptor_4.toValue(value_0.response)))));
+  }
+}
+
+const _descriptor_5 = new _RespondBidirectional_0();
+
+const _descriptor_6 = new __compactRuntime.CompactTypeBytes(288);
+
+const _descriptor_7 = __compactRuntime.CompactTypeBoolean;
+
+const _descriptor_8 = new __compactRuntime.CompactTypeBytes(224);
+
+class _SignBidirectionalEvent_0 {
+  alignment() {
+    return _descriptor_2.alignment().concat(_descriptor_8.alignment());
+  }
+  fromValue(value_0) {
+    return {
+      version: _descriptor_2.fromValue(value_0),
+      payload: _descriptor_8.fromValue(value_0)
+    }
+  }
+  toValue(value_0) {
+    return _descriptor_2.toValue(value_0.version).concat(_descriptor_8.toValue(value_0.payload));
+  }
+}
+
+const _descriptor_9 = new _SignBidirectionalEvent_0();
+
+const _descriptor_10 = new __compactRuntime.CompactTypeUnsignedInteger(18446744073709551615n, 8);
+
+const _descriptor_11 = new __compactRuntime.CompactTypeUnsignedInteger(65535n, 2);
+
+class _SignetResponseKey_0 {
+  alignment() {
+    return _descriptor_10.alignment().concat(_descriptor_0.alignment());
+  }
+  fromValue(value_0) {
+    return {
+      count: _descriptor_10.fromValue(value_0),
+      requestId: _descriptor_0.fromValue(value_0)
+    }
+  }
+  toValue(value_0) {
+    return _descriptor_10.toValue(value_0.count).concat(_descriptor_0.toValue(value_0.requestId));
+  }
+}
+
+const _descriptor_12 = new _SignetResponseKey_0();
+
+class _SignatureResponse_0 {
+  alignment() {
+    return _descriptor_0.alignment().concat(_descriptor_0.alignment().concat(_descriptor_0.alignment().concat(_descriptor_2.alignment())));
+  }
+  fromValue(value_0) {
+    return {
+      bigRx: _descriptor_0.fromValue(value_0),
+      bigRy: _descriptor_0.fromValue(value_0),
+      s: _descriptor_0.fromValue(value_0),
+      recoveryId: _descriptor_2.fromValue(value_0)
+    }
+  }
+  toValue(value_0) {
+    return _descriptor_0.toValue(value_0.bigRx).concat(_descriptor_0.toValue(value_0.bigRy).concat(_descriptor_0.toValue(value_0.s).concat(_descriptor_2.toValue(value_0.recoveryId))));
+  }
+}
+
+const _descriptor_13 = new _SignatureResponse_0();
+
+class _RespondBidirectionalEvent_0 {
+  alignment() {
+    return _descriptor_0.alignment();
+  }
+  fromValue(value_0) {
+    return {
+      requestId: _descriptor_0.fromValue(value_0)
+    }
+  }
+  toValue(value_0) {
+    return _descriptor_0.toValue(value_0.requestId);
+  }
+}
+
+const _descriptor_14 = new _RespondBidirectionalEvent_0();
+
+const _descriptor_15 = new __compactRuntime.CompactTypeBytes(256);
+
+const _descriptor_16 = new __compactRuntime.CompactTypeVector(4, _descriptor_4);
+
+class _SignatureRespondedEvent_0 {
+  alignment() {
+    return _descriptor_0.alignment().concat(_descriptor_10.alignment());
+  }
+  fromValue(value_0) {
+    return {
+      requestId: _descriptor_0.fromValue(value_0),
+      count: _descriptor_10.fromValue(value_0)
+    }
+  }
+  toValue(value_0) {
+    return _descriptor_0.toValue(value_0.requestId).concat(_descriptor_10.toValue(value_0.count));
+  }
+}
+
+const _descriptor_17 = new _SignatureRespondedEvent_0();
+
+const _descriptor_18 = __compactRuntime.CompactTypeField;
+
+const _descriptor_19 = new __compactRuntime.CompactTypeVector(2, _descriptor_0);
+
+class _JubjubSchnorrSignature_0 {
+  alignment() {
+    return _descriptor_3.alignment().concat(_descriptor_4.alignment());
+  }
+  fromValue(value_0) {
+    return {
+      announcement: _descriptor_3.fromValue(value_0),
+      response: _descriptor_4.fromValue(value_0)
+    }
+  }
+  toValue(value_0) {
+    return _descriptor_3.toValue(value_0.announcement).concat(_descriptor_4.toValue(value_0.response));
+  }
+}
+
+const _descriptor_20 = new _JubjubSchnorrSignature_0();
+
+class _JubjubSchnorrHashInput_0 {
+  alignment() {
+    return _descriptor_4.alignment().concat(_descriptor_4.alignment().concat(_descriptor_4.alignment().concat(_descriptor_4.alignment().concat(_descriptor_16.alignment()))));
+  }
+  fromValue(value_0) {
+    return {
+      annX: _descriptor_4.fromValue(value_0),
+      annY: _descriptor_4.fromValue(value_0),
+      pkX: _descriptor_4.fromValue(value_0),
+      pkY: _descriptor_4.fromValue(value_0),
+      msg: _descriptor_16.fromValue(value_0)
+    }
+  }
+  toValue(value_0) {
+    return _descriptor_4.toValue(value_0.annX).concat(_descriptor_4.toValue(value_0.annY).concat(_descriptor_4.toValue(value_0.pkX).concat(_descriptor_4.toValue(value_0.pkY).concat(_descriptor_16.toValue(value_0.msg)))));
+  }
+}
+
+const _descriptor_21 = new _JubjubSchnorrHashInput_0();
+
+class _Either_0 {
+  alignment() {
+    return _descriptor_7.alignment().concat(_descriptor_0.alignment().concat(_descriptor_0.alignment()));
+  }
+  fromValue(value_0) {
+    return {
+      is_left: _descriptor_7.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_0.toValue(value_0.left).concat(_descriptor_0.toValue(value_0.right)));
+  }
+}
+
+const _descriptor_22 = new _Either_0();
+
+const _descriptor_23 = new __compactRuntime.CompactTypeUnsignedInteger(340282366920938463463374607431768211455n, 16);
+
+class _ContractAddress_0 {
+  alignment() {
+    return _descriptor_0.alignment();
+  }
+  fromValue(value_0) {
+    return {
+      bytes: _descriptor_0.fromValue(value_0)
+    }
+  }
+  toValue(value_0) {
+    return _descriptor_0.toValue(value_0.bytes);
+  }
+}
+
+const _descriptor_24 = new _ContractAddress_0();
+
+const _descriptor_25 = new __compactRuntime.CompactTypeUnsignedInteger(4294967295n, 4);
+
+export class Contract {
+  witnesses;
+  constructor(...args_0) {
+    if (args_0.length !== 1) {
+      throw new __compactRuntime.CompactError(`Contract constructor: expected 1 argument, received ${args_0.length}`);
+    }
+    const witnesses_0 = args_0[0];
+    if (typeof(witnesses_0) !== 'object') {
+      throw new __compactRuntime.CompactError('first (witnesses) argument to Contract constructor is not an object');
+    }
+    this.witnesses = witnesses_0;
+    this.circuits = {
+      emitSignBidirectionalEvent: async (...args_1) => {
+        if (args_1.length !== 2) {
+          throw new __compactRuntime.CompactError(`emitSignBidirectionalEvent: expected 2 arguments (as invoked from Typescript), received ${args_1.length}`);
+        }
+        const contextOrig_0 = args_1[0];
+        const signBidirectionalEvent_0 = args_1[1];
+        if (!(typeof(contextOrig_0) === 'object' && contextOrig_0.callContext.currentQueryContext != undefined)) {
+          __compactRuntime.typeError('emitSignBidirectionalEvent',
+                                     'argument 1 (as invoked from Typescript)',
+                                     'signet-contract.compact line 31 char 1',
+                                     'CircuitContext',
+                                     contextOrig_0)
+        }
+        if (!(typeof(signBidirectionalEvent_0) === 'object' && typeof(signBidirectionalEvent_0.version) === 'bigint' && signBidirectionalEvent_0.version >= 0n && signBidirectionalEvent_0.version <= 255n && signBidirectionalEvent_0.payload.buffer instanceof ArrayBuffer && signBidirectionalEvent_0.payload.BYTES_PER_ELEMENT === 1 && signBidirectionalEvent_0.payload.length === 224)) {
+          __compactRuntime.typeError('emitSignBidirectionalEvent',
+                                     'argument 1 (argument 2 as invoked from Typescript)',
+                                     'signet-contract.compact line 31 char 1',
+                                     'struct SignBidirectionalEvent<version: Uint<0..256>, payload: Bytes<224>>',
+                                     signBidirectionalEvent_0)
+        }
+        const context = __compactRuntime.copyCircuitContext(contextOrig_0);
+        const partialProofData = {
+          input: {
+            value: _descriptor_9.toValue(signBidirectionalEvent_0),
+            alignment: _descriptor_9.alignment()
+          },
+          output: undefined,
+          publicTranscript: [],
+          privateTranscriptOutputs: []
+        };
+        const result_0 = await this._emitSignBidirectionalEvent_0(context,
+                                                                  partialProofData,
+                                                                  signBidirectionalEvent_0);
+        partialProofData.output = { value: [], alignment: [] };
+        __compactRuntime.finalizeCallProofData(context, partialProofData);
+        return { result: result_0, context: context, gasCost: context.callContext.currentGasCost };
+      },
+      postSignatureResponse: async (...args_1) => {
+        if (args_1.length !== 3) {
+          throw new __compactRuntime.CompactError(`postSignatureResponse: expected 3 arguments (as invoked from Typescript), received ${args_1.length}`);
+        }
+        const contextOrig_0 = args_1[0];
+        const requestId_0 = args_1[1];
+        const signatureResponse_0 = args_1[2];
+        if (!(typeof(contextOrig_0) === 'object' && contextOrig_0.callContext.currentQueryContext != undefined)) {
+          __compactRuntime.typeError('postSignatureResponse',
+                                     'argument 1 (as invoked from Typescript)',
+                                     'signet-contract.compact line 44 char 1',
+                                     'CircuitContext',
+                                     contextOrig_0)
+        }
+        if (!(requestId_0.buffer instanceof ArrayBuffer && requestId_0.BYTES_PER_ELEMENT === 1 && requestId_0.length === 32)) {
+          __compactRuntime.typeError('postSignatureResponse',
+                                     'argument 1 (argument 2 as invoked from Typescript)',
+                                     'signet-contract.compact line 44 char 1',
+                                     'Bytes<32>',
+                                     requestId_0)
+        }
+        if (!(typeof(signatureResponse_0) === 'object' && signatureResponse_0.bigRx.buffer instanceof ArrayBuffer && signatureResponse_0.bigRx.BYTES_PER_ELEMENT === 1 && signatureResponse_0.bigRx.length === 32 && signatureResponse_0.bigRy.buffer instanceof ArrayBuffer && signatureResponse_0.bigRy.BYTES_PER_ELEMENT === 1 && signatureResponse_0.bigRy.length === 32 && signatureResponse_0.s.buffer instanceof ArrayBuffer && signatureResponse_0.s.BYTES_PER_ELEMENT === 1 && signatureResponse_0.s.length === 32 && typeof(signatureResponse_0.recoveryId) === 'bigint' && signatureResponse_0.recoveryId >= 0n && signatureResponse_0.recoveryId <= 255n)) {
+          __compactRuntime.typeError('postSignatureResponse',
+                                     'argument 2 (argument 3 as invoked from Typescript)',
+                                     'signet-contract.compact line 44 char 1',
+                                     'struct SignatureResponse<bigRx: Bytes<32>, bigRy: Bytes<32>, s: Bytes<32>, recoveryId: Uint<0..256>>',
+                                     signatureResponse_0)
+        }
+        const context = __compactRuntime.copyCircuitContext(contextOrig_0);
+        const partialProofData = {
+          input: {
+            value: _descriptor_0.toValue(requestId_0).concat(_descriptor_13.toValue(signatureResponse_0)),
+            alignment: _descriptor_0.alignment().concat(_descriptor_13.alignment())
+          },
+          output: undefined,
+          publicTranscript: [],
+          privateTranscriptOutputs: []
+        };
+        const result_0 = await this._postSignatureResponse_0(context,
+                                                             partialProofData,
+                                                             requestId_0,
+                                                             signatureResponse_0);
+        partialProofData.output = { value: [], alignment: [] };
+        __compactRuntime.finalizeCallProofData(context, partialProofData);
+        return { result: result_0, context: context, gasCost: context.callContext.currentGasCost };
+      },
+      postRespondBidirectional: async (...args_1) => {
+        if (args_1.length !== 3) {
+          throw new __compactRuntime.CompactError(`postRespondBidirectional: expected 3 arguments (as invoked from Typescript), received ${args_1.length}`);
+        }
+        const contextOrig_0 = args_1[0];
+        const requestId_0 = args_1[1];
+        const respondBidirectional_0 = args_1[2];
+        if (!(typeof(contextOrig_0) === 'object' && contextOrig_0.callContext.currentQueryContext != undefined)) {
+          __compactRuntime.typeError('postRespondBidirectional',
+                                     'argument 1 (as invoked from Typescript)',
+                                     'signet-contract.compact line 85 char 1',
+                                     'CircuitContext',
+                                     contextOrig_0)
+        }
+        if (!(requestId_0.buffer instanceof ArrayBuffer && requestId_0.BYTES_PER_ELEMENT === 1 && requestId_0.length === 32)) {
+          __compactRuntime.typeError('postRespondBidirectional',
+                                     'argument 1 (argument 2 as invoked from Typescript)',
+                                     'signet-contract.compact line 85 char 1',
+                                     'Bytes<32>',
+                                     requestId_0)
+        }
+        if (!(typeof(respondBidirectional_0) === 'object' && respondBidirectional_0.serializedOutput.buffer instanceof ArrayBuffer && respondBidirectional_0.serializedOutput.BYTES_PER_ELEMENT === 1 && respondBidirectional_0.serializedOutput.length === 128 && typeof(respondBidirectional_0.outputLen) === 'bigint' && respondBidirectional_0.outputLen >= 0n && respondBidirectional_0.outputLen <= 255n && true && true && typeof(respondBidirectional_0.response) === 'bigint' && respondBidirectional_0.response >= 0 && respondBidirectional_0.response <= __compactRuntime.MAX_FIELD)) {
+          __compactRuntime.typeError('postRespondBidirectional',
+                                     'argument 2 (argument 3 as invoked from Typescript)',
+                                     'signet-contract.compact line 85 char 1',
+                                     'struct RespondBidirectional<serializedOutput: Bytes<128>, outputLen: Uint<0..256>, pk: Opaque<"JubjubPoint">, announcement: Opaque<"JubjubPoint">, response: Field>',
+                                     respondBidirectional_0)
+        }
+        const context = __compactRuntime.copyCircuitContext(contextOrig_0);
+        const partialProofData = {
+          input: {
+            value: _descriptor_0.toValue(requestId_0).concat(_descriptor_5.toValue(respondBidirectional_0)),
+            alignment: _descriptor_0.alignment().concat(_descriptor_5.alignment())
+          },
+          output: undefined,
+          publicTranscript: [],
+          privateTranscriptOutputs: []
+        };
+        const result_0 = await this._postRespondBidirectional_0(context,
+                                                                partialProofData,
+                                                                requestId_0,
+                                                                respondBidirectional_0);
+        partialProofData.output = { value: [], alignment: [] };
+        __compactRuntime.finalizeCallProofData(context, partialProofData);
+        return { result: result_0, context: context, gasCost: context.callContext.currentGasCost };
+      }
+    };
+    this.impureCircuits = {
+      emitSignBidirectionalEvent: this.circuits.emitSignBidirectionalEvent,
+      postSignatureResponse: this.circuits.postSignatureResponse,
+      postRespondBidirectional: this.circuits.postRespondBidirectional
+    };
+    this.provableCircuits = {
+      emitSignBidirectionalEvent: this.circuits.emitSignBidirectionalEvent,
+      postSignatureResponse: this.circuits.postSignatureResponse,
+      postRespondBidirectional: this.circuits.postRespondBidirectional
+    };
+  }
+  async initialState(...args_0) {
+    if (args_0.length !== 2) {
+      throw new __compactRuntime.CompactError(`Contract state constructor: expected 2 arguments (as invoked from Typescript), received ${args_0.length}`);
+    }
+    const constructorContext_0 = args_0[0];
+    const mpcPk_0 = args_0[1];
+    if (typeof(constructorContext_0) !== 'object') {
+      throw new __compactRuntime.CompactError(`Contract state constructor: expected 'constructorContext' in argument 1 (as invoked from Typescript) to be an object`);
+    }
+    if (!('initialZswapLocalState' in constructorContext_0)) {
+      throw new __compactRuntime.CompactError(`Contract state constructor: expected 'initialZswapLocalState' in argument 1 (as invoked from Typescript)`);
+    }
+    if (typeof(constructorContext_0.initialZswapLocalState) !== 'object') {
+      throw new __compactRuntime.CompactError(`Contract state constructor: expected 'initialZswapLocalState' in argument 1 (as invoked from Typescript) to be an object`);
+    }
+    const state_0 = new __compactRuntime.ContractState();
+    let stateValue_0 = __compactRuntime.StateValue.newArray();
+    stateValue_0 = stateValue_0.arrayPush(__compactRuntime.StateValue.newNull());
+    stateValue_0 = stateValue_0.arrayPush(__compactRuntime.StateValue.newNull());
+    stateValue_0 = stateValue_0.arrayPush(__compactRuntime.StateValue.newNull());
+    stateValue_0 = stateValue_0.arrayPush(__compactRuntime.StateValue.newNull());
+    state_0.data = new __compactRuntime.ChargedState(stateValue_0);
+    state_0.setOperation('emitSignBidirectionalEvent', new __compactRuntime.ContractOperation());
+    state_0.setOperation('postSignatureResponse', new __compactRuntime.ContractOperation());
+    state_0.setOperation('postRespondBidirectional', new __compactRuntime.ContractOperation());
+    const context = __compactRuntime.createCircuitContext('constructor', __compactRuntime.dummyContractAddress(), constructorContext_0.initialZswapLocalState.coinPublicKey, state_0.data, constructorContext_0.initialPrivateState);
+    const partialProofData = {
+      input: { value: [], alignment: [] },
+      output: undefined,
+      publicTranscript: [],
+      privateTranscriptOutputs: []
+    };
+    __compactRuntime.queryLedgerState(context,
+                                      partialProofData,
+                                      [
+                                       { push: { storage: false,
+                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_2.toValue(0n),
+                                                                                              alignment: _descriptor_2.alignment() }).encode() } },
+                                       { push: { storage: true,
+                                                 value: __compactRuntime.StateValue.newMap(
+                                                          new __compactRuntime.StateMap()
+                                                        ).encode() } },
+                                       { ins: { cached: false, n: 1 } }]);
+    __compactRuntime.queryLedgerState(context,
+                                      partialProofData,
+                                      [
+                                       { push: { storage: false,
+                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_2.toValue(1n),
+                                                                                              alignment: _descriptor_2.alignment() }).encode() } },
+                                       { push: { storage: true,
+                                                 value: __compactRuntime.StateValue.newMap(
+                                                          new __compactRuntime.StateMap()
+                                                        ).encode() } },
+                                       { ins: { cached: false, n: 1 } }]);
+    __compactRuntime.queryLedgerState(context,
+                                      partialProofData,
+                                      [
+                                       { push: { storage: false,
+                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_2.toValue(2n),
+                                                                                              alignment: _descriptor_2.alignment() }).encode() } },
+                                       { push: { storage: true,
+                                                 value: __compactRuntime.StateValue.newMap(
+                                                          new __compactRuntime.StateMap()
+                                                        ).encode() } },
+                                       { ins: { cached: false, n: 1 } }]);
+    __compactRuntime.queryLedgerState(context,
+                                      partialProofData,
+                                      [
+                                       { push: { storage: false,
+                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_2.toValue(3n),
+                                                                                              alignment: _descriptor_2.alignment() }).encode() } },
+                                       { push: { storage: true,
+                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(new Uint8Array(32)),
+                                                                                              alignment: _descriptor_0.alignment() }).encode() } },
+                                       { ins: { cached: false, n: 1 } }]);
+    const tmp_0 = this._persistentHash_0(mpcPk_0);
+    __compactRuntime.queryLedgerState(context,
+                                      partialProofData,
+                                      [
+                                       { push: { storage: false,
+                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_2.toValue(3n),
+                                                                                              alignment: _descriptor_2.alignment() }).encode() } },
+                                       { push: { storage: true,
+                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(tmp_0),
+                                                                                              alignment: _descriptor_0.alignment() }).encode() } },
+                                       { ins: { cached: false, n: 1 } }]);
+    state_0.data = new __compactRuntime.ChargedState(context.callContext.currentQueryContext.state.state);
+    return {
+      currentContractState: state_0,
+      currentPrivateState: context.callContext.currentPrivateState,
+      currentZswapLocalState: context.callContext.currentZswapLocalState
+    }
+  }
+  _jubjubSchnorrVerify_0(msg_0, signature_0, pk_0) {
+    const __compact_pattern_tmp1_0 = signature_0;
+    const announcement_0 = __compact_pattern_tmp1_0.announcement;
+    const response_0 = __compact_pattern_tmp1_0.response;
+    const cNative_0 = this._transientHash_0({ annX:
+                                                this._jubjubPointX_0(announcement_0),
+                                              annY:
+                                                this._jubjubPointY_0(announcement_0),
+                                              pkX: this._jubjubPointX_0(pk_0),
+                                              pkY: this._jubjubPointY_0(pk_0),
+                                              msg: msg_0 });
+    const c_0 = cNative_0;
+    const lhs_0 = this._ecMulGenerator_0(response_0);
+    const rhs_0 = this._ecAdd_0(announcement_0, this._ecMul_0(pk_0, c_0));
+    return this._equal_0(lhs_0, rhs_0);
+  }
+  _transientHash_0(value_0) {
+    const result_0 = __compactRuntime.transientHash(_descriptor_21, value_0);
+    return result_0;
+  }
+  _persistentHash_0(value_0) {
+    const result_0 = __compactRuntime.persistentHash(_descriptor_3, value_0);
+    return result_0;
+  }
+  _persistentHash_1(value_0) {
+    const result_0 = __compactRuntime.persistentHash(_descriptor_19, value_0);
+    return result_0;
+  }
+  _persistentHash_2(value_0) {
+    const result_0 = __compactRuntime.persistentHash(_descriptor_1, value_0);
+    return result_0;
+  }
+  _jubjubPointX_0(pt_0) {
+    const result_0 = __compactRuntime.jubjubPointX(pt_0);
+    return result_0;
+  }
+  _jubjubPointY_0(pt_0) {
+    const result_0 = __compactRuntime.jubjubPointY(pt_0);
+    return result_0;
+  }
+  _ecAdd_0(a_0, b_0) {
+    const result_0 = __compactRuntime.ecAdd(a_0, b_0);
+    return result_0;
+  }
+  _ecMul_0(a_0, b_0) {
+    const result_0 = __compactRuntime.ecMul(a_0, b_0);
+    return result_0;
+  }
+  _ecMulGenerator_0(b_0) {
+    const result_0 = __compactRuntime.ecMulGenerator(b_0);
+    return result_0;
+  }
+  _serialize_0(value_0) {
+    return Uint8Array.from([value_0.version,
+                            ...Array.from(value_0.payload, BigInt),
+                            ...Array.from(new Uint8Array([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]),
+                                          BigInt)],
+                           Number);
+  }
+  _serialize_1(value_0) {
+    return Uint8Array.from([...Array.from(value_0.requestId, BigInt),
+                            ...Array.from(__compactRuntime.convertBigintToBytes(8,
+                                                                                value_0.count,
+                                                                                '<standard library>'),
+                                          BigInt),
+                            ...Array.from(new Uint8Array([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]),
+                                          BigInt)],
+                           Number);
+  }
+  _serialize_2(value_0) {
+    return Uint8Array.from([...Array.from(value_0.requestId, BigInt),
+                            ...Array.from(new Uint8Array([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]),
+                                          BigInt)],
+                           Number);
+  }
+  _signetAttestationMessage_0(requestId_0, serializedOutput_0, outputLen_0) {
+    const rid_0 = requestId_0;
+    const outHash_0 = this._persistentHash_1([this._persistentHash_2(serializedOutput_0),
+                                              __compactRuntime.convertBigintToBytes(32,
+                                                                                    outputLen_0,
+                                                                                    'Signet.compact line 393 char 7')]);
+    return [__compactRuntime.convertBytesToBigint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
+                                                  16,
+                                                  ((e, i) => e.slice(i, i+16))(rid_0,
+                                                                               Number(0n)),
+                                                  'Field',
+                                                  'Signet.compact line 396 char 7'),
+            __compactRuntime.convertBytesToBigint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
+                                                  16,
+                                                  ((e, i) => e.slice(i, i+16))(rid_0,
+                                                                               Number(16n)),
+                                                  'Field',
+                                                  'Signet.compact line 397 char 7'),
+            __compactRuntime.convertBytesToBigint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
+                                                  16,
+                                                  ((e, i) => e.slice(i, i+16))(outHash_0,
+                                                                               Number(0n)),
+                                                  'Field',
+                                                  'Signet.compact line 398 char 7'),
+            __compactRuntime.convertBytesToBigint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
+                                                  16,
+                                                  ((e, i) => e.slice(i, i+16))(outHash_0,
+                                                                               Number(16n)),
+                                                  'Field',
+                                                  'Signet.compact line 399 char 7')];
+  }
+  async _emitSignBidirectionalEvent_0(context,
+                                      partialProofData,
+                                      signBidirectionalEvent_0)
+  {
+    let t_0;
+    __compactRuntime.queryLedgerState(context,
+                                      partialProofData,
+                                      [
+                                       { push: { storage: false,
+                                                 value: __compactRuntime.StateValue.newArray()
+                                                          .arrayPush(__compactRuntime.StateValue.newCell({ value: _descriptor_25.toValue(1n),
+                                                                                                           alignment: _descriptor_25.alignment() })).arrayPush(__compactRuntime.StateValue.newCell({ value: _descriptor_2.toValue(10n),
+                                                                                                                                                                                                     alignment: _descriptor_2.alignment() })).arrayPush(__compactRuntime.StateValue.newCell({ value: _descriptor_6.toValue((t_0 = { name:
+                                                                                                                                                                                                                                                                                                                                      new Uint8Array([83, 105, 103, 110, 66, 105, 100, 105, 114, 101, 99, 116, 105, 111, 110, 97, 108, 69, 118, 101, 110, 116, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]),
+                                                                                                                                                                                                                                                                                                                                    payload:
+                                                                                                                                                                                                                                                                                                                                      this._serialize_0(signBidirectionalEvent_0) },
+                                                                                                                                                                                                                                                                                                                            Uint8Array.from([...Array.from(t_0.name,
+                                                                                                                                                                                                                                                                                                                                                           BigInt),
+                                                                                                                                                                                                                                                                                                                                             ...Array.from(t_0.payload,
+                                                                                                                                                                                                                                                                                                                                                           BigInt)],
+                                                                                                                                                                                                                                                                                                                                            Number))),
+                                                                                                                                                                                                                                                                                              alignment: _descriptor_6.alignment() }))
+                                                          .encode() } },
+                                       'log']);
+    return [];
+  }
+  async _postSignatureResponse_0(context,
+                                 partialProofData,
+                                 requestId_0,
+                                 signatureResponse_0)
+  {
+    const disclosedRequestId_0 = requestId_0;
+    if (!_descriptor_7.fromValue(__compactRuntime.queryLedgerState(context,
+                                                                   partialProofData,
+                                                                   [
+                                                                    { dup: { n: 0 } },
+                                                                    { idx: { cached: false,
+                                                                             pushPath: false,
+                                                                             path: [
+                                                                                    { tag: 'value',
+                                                                                      value: { value: _descriptor_2.toValue(0n),
+                                                                                               alignment: _descriptor_2.alignment() } }] } },
+                                                                    { push: { storage: false,
+                                                                              value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(disclosedRequestId_0),
+                                                                                                                           alignment: _descriptor_0.alignment() }).encode() } },
+                                                                    'member',
+                                                                    { popeq: { cached: true,
+                                                                               result: undefined } }]).value))
+    {
+      __compactRuntime.queryLedgerState(context,
+                                        partialProofData,
+                                        [
+                                         { idx: { cached: false,
+                                                  pushPath: true,
+                                                  path: [
+                                                         { tag: 'value',
+                                                           value: { value: _descriptor_2.toValue(0n),
+                                                                    alignment: _descriptor_2.alignment() } }] } },
+                                         { push: { storage: false,
+                                                   value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(disclosedRequestId_0),
+                                                                                                alignment: _descriptor_0.alignment() }).encode() } },
+                                         { push: { storage: true,
+                                                   value: __compactRuntime.StateValue.newCell({ value: _descriptor_10.toValue(0n),
+                                                                                                alignment: _descriptor_10.alignment() }).encode() } },
+                                         { ins: { cached: false, n: 1 } },
+                                         { ins: { cached: true, n: 1 } }]);
+    }
+    const count_0 = _descriptor_10.fromValue(__compactRuntime.queryLedgerState(context,
+                                                                               partialProofData,
+                                                                               [
+                                                                                { dup: { n: 0 } },
+                                                                                { idx: { cached: false,
+                                                                                         pushPath: false,
+                                                                                         path: [
+                                                                                                { tag: 'value',
+                                                                                                  value: { value: _descriptor_2.toValue(0n),
+                                                                                                           alignment: _descriptor_2.alignment() } },
+                                                                                                { tag: 'value',
+                                                                                                  value: { value: _descriptor_0.toValue(disclosedRequestId_0),
+                                                                                                           alignment: _descriptor_0.alignment() } }] } },
+                                                                                { popeq: { cached: true,
+                                                                                           result: undefined } }]).value);
+    const tmp_0 = 1n;
+    __compactRuntime.queryLedgerState(context,
+                                      partialProofData,
+                                      [
+                                       { idx: { cached: false,
+                                                pushPath: true,
+                                                path: [
+                                                       { tag: 'value',
+                                                         value: { value: _descriptor_2.toValue(0n),
+                                                                  alignment: _descriptor_2.alignment() } },
+                                                       { tag: 'value',
+                                                         value: { value: _descriptor_0.toValue(disclosedRequestId_0),
+                                                                  alignment: _descriptor_0.alignment() } }] } },
+                                       { addi: { immediate: parseInt(__compactRuntime.valueToBigInt(
+                                                              { value: _descriptor_11.toValue(tmp_0),
+                                                                alignment: _descriptor_11.alignment() }
+                                                                .value
+                                                            )) } },
+                                       { ins: { cached: true, n: 2 } }]);
+    const tmp_1 = { count: count_0, requestId: disclosedRequestId_0 };
+    __compactRuntime.queryLedgerState(context,
+                                      partialProofData,
+                                      [
+                                       { idx: { cached: false,
+                                                pushPath: true,
+                                                path: [
+                                                       { tag: 'value',
+                                                         value: { value: _descriptor_2.toValue(1n),
+                                                                  alignment: _descriptor_2.alignment() } }] } },
+                                       { push: { storage: false,
+                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_12.toValue(tmp_1),
+                                                                                              alignment: _descriptor_12.alignment() }).encode() } },
+                                       { push: { storage: true,
+                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_13.toValue(signatureResponse_0),
+                                                                                              alignment: _descriptor_13.alignment() }).encode() } },
+                                       { ins: { cached: false, n: 1 } },
+                                       { ins: { cached: true, n: 1 } }]);
+    let t_0;
+    __compactRuntime.queryLedgerState(context,
+                                      partialProofData,
+                                      [
+                                       { push: { storage: false,
+                                                 value: __compactRuntime.StateValue.newArray()
+                                                          .arrayPush(__compactRuntime.StateValue.newCell({ value: _descriptor_25.toValue(1n),
+                                                                                                           alignment: _descriptor_25.alignment() })).arrayPush(__compactRuntime.StateValue.newCell({ value: _descriptor_2.toValue(10n),
+                                                                                                                                                                                                     alignment: _descriptor_2.alignment() })).arrayPush(__compactRuntime.StateValue.newCell({ value: _descriptor_6.toValue((t_0 = { name:
+                                                                                                                                                                                                                                                                                                                                      new Uint8Array([83, 105, 103, 110, 97, 116, 117, 114, 101, 82, 101, 115, 112, 111, 110, 100, 101, 100, 69, 118, 101, 110, 116, 0, 0, 0, 0, 0, 0, 0, 0, 0]),
+                                                                                                                                                                                                                                                                                                                                    payload:
+                                                                                                                                                                                                                                                                                                                                      this._serialize_1({ requestId:
+                                                                                                                                                                                                                                                                                                                                                            disclosedRequestId_0,
+                                                                                                                                                                                                                                                                                                                                                          count:
+                                                                                                                                                                                                                                                                                                                                                            count_0 }) },
+                                                                                                                                                                                                                                                                                                                            Uint8Array.from([...Array.from(t_0.name,
+                                                                                                                                                                                                                                                                                                                                                           BigInt),
+                                                                                                                                                                                                                                                                                                                                             ...Array.from(t_0.payload,
+                                                                                                                                                                                                                                                                                                                                                           BigInt)],
+                                                                                                                                                                                                                                                                                                                                            Number))),
+                                                                                                                                                                                                                                                                                              alignment: _descriptor_6.alignment() }))
+                                                          .encode() } },
+                                       'log']);
+    return [];
+  }
+  async _postRespondBidirectional_0(context,
+                                    partialProofData,
+                                    requestId_0,
+                                    respondBidirectional_0)
+  {
+    const disclosedRequestId_0 = requestId_0;
+    const disclosedResponse_0 = respondBidirectional_0;
+    __compactRuntime.assert(this._equal_1(this._persistentHash_0(disclosedResponse_0.pk),
+                                          _descriptor_0.fromValue(__compactRuntime.queryLedgerState(context,
+                                                                                                    partialProofData,
+                                                                                                    [
+                                                                                                     { dup: { n: 0 } },
+                                                                                                     { idx: { cached: false,
+                                                                                                              pushPath: false,
+                                                                                                              path: [
+                                                                                                                     { tag: 'value',
+                                                                                                                       value: { value: _descriptor_2.toValue(3n),
+                                                                                                                                alignment: _descriptor_2.alignment() } }] } },
+                                                                                                     { popeq: { cached: false,
+                                                                                                                result: undefined } }]).value)),
+                            'unauthorized: attestation pk is not the MPC key');
+    __compactRuntime.assert(this._jubjubSchnorrVerify_0(this._signetAttestationMessage_0(disclosedRequestId_0,
+                                                                                         disclosedResponse_0.serializedOutput,
+                                                                                         disclosedResponse_0.outputLen),
+                                                        { announcement:
+                                                            disclosedResponse_0.announcement,
+                                                          response:
+                                                            disclosedResponse_0.response },
+                                                        disclosedResponse_0.pk),
+                            'Invalid attestation signature');
+    if (_descriptor_7.fromValue(__compactRuntime.queryLedgerState(context,
+                                                                  partialProofData,
+                                                                  [
+                                                                   { dup: { n: 0 } },
+                                                                   { idx: { cached: false,
+                                                                            pushPath: false,
+                                                                            path: [
+                                                                                   { tag: 'value',
+                                                                                     value: { value: _descriptor_2.toValue(2n),
+                                                                                              alignment: _descriptor_2.alignment() } }] } },
+                                                                   { push: { storage: false,
+                                                                             value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(disclosedRequestId_0),
+                                                                                                                          alignment: _descriptor_0.alignment() }).encode() } },
+                                                                   'member',
+                                                                   { popeq: { cached: true,
+                                                                              result: undefined } }]).value))
+    {
+      return [];
+    } else {
+      __compactRuntime.queryLedgerState(context,
+                                        partialProofData,
+                                        [
+                                         { idx: { cached: false,
+                                                  pushPath: true,
+                                                  path: [
+                                                         { tag: 'value',
+                                                           value: { value: _descriptor_2.toValue(2n),
+                                                                    alignment: _descriptor_2.alignment() } }] } },
+                                         { push: { storage: false,
+                                                   value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(disclosedRequestId_0),
+                                                                                                alignment: _descriptor_0.alignment() }).encode() } },
+                                         { push: { storage: true,
+                                                   value: __compactRuntime.StateValue.newCell({ value: _descriptor_5.toValue(disclosedResponse_0),
+                                                                                                alignment: _descriptor_5.alignment() }).encode() } },
+                                         { ins: { cached: false, n: 1 } },
+                                         { ins: { cached: true, n: 1 } }]);
+      let t_0;
+      __compactRuntime.queryLedgerState(context,
+                                        partialProofData,
+                                        [
+                                         { push: { storage: false,
+                                                   value: __compactRuntime.StateValue.newArray()
+                                                            .arrayPush(__compactRuntime.StateValue.newCell({ value: _descriptor_25.toValue(1n),
+                                                                                                             alignment: _descriptor_25.alignment() })).arrayPush(__compactRuntime.StateValue.newCell({ value: _descriptor_2.toValue(10n),
+                                                                                                                                                                                                       alignment: _descriptor_2.alignment() })).arrayPush(__compactRuntime.StateValue.newCell({ value: _descriptor_6.toValue((t_0 = { name:
+                                                                                                                                                                                                                                                                                                                                        new Uint8Array([82, 101, 115, 112, 111, 110, 100, 66, 105, 100, 105, 114, 101, 99, 116, 105, 111, 110, 97, 108, 69, 118, 101, 110, 116, 0, 0, 0, 0, 0, 0, 0]),
+                                                                                                                                                                                                                                                                                                                                      payload:
+                                                                                                                                                                                                                                                                                                                                        this._serialize_2({ requestId:
+                                                                                                                                                                                                                                                                                                                                                              disclosedRequestId_0 }) },
+                                                                                                                                                                                                                                                                                                                              Uint8Array.from([...Array.from(t_0.name,
+                                                                                                                                                                                                                                                                                                                                                             BigInt),
+                                                                                                                                                                                                                                                                                                                                               ...Array.from(t_0.payload,
+                                                                                                                                                                                                                                                                                                                                                             BigInt)],
+                                                                                                                                                                                                                                                                                                                                              Number))),
+                                                                                                                                                                                                                                                                                                alignment: _descriptor_6.alignment() }))
+                                                            .encode() } },
+                                         'log']);
+      return [];
+    }
+  }
+  _equal_0(x0, y0) {
+    {
+      let x1 = x0.x;
+      let y1 = y0.x;
+      if (x1 !== y1) { return false; }
+    }
+    {
+      let x1 = x0.y;
+      let y1 = y0.y;
+      if (x1 !== y1) { return false; }
+    }
+    return true;
+  }
+  _equal_1(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;
+  const chargedState = stateOrChargedState instanceof __compactRuntime.StateValue ? new __compactRuntime.ChargedState(stateOrChargedState) : stateOrChargedState;
+  const context = {
+    callContext: { currentQueryContext: new __compactRuntime.QueryContext(chargedState, __compactRuntime.dummyContractAddress()), currentGasCost: __compactRuntime.emptyRunningCost() },
+    costModel: __compactRuntime.CostModel.initialCostModel()
+  };
+  const partialProofData = {
+    input: { value: [], alignment: [] },
+    output: undefined,
+    publicTranscript: [],
+    privateTranscriptOutputs: []
+  };
+  return {
+    signatureResponseCounterIndex: {
+      isEmpty(...args_0) {
+        if (args_0.length !== 0) {
+          throw new __compactRuntime.CompactError(`isEmpty: expected 0 arguments, received ${args_0.length}`);
+        }
+        return _descriptor_7.fromValue(__compactRuntime.queryLedgerState(context,
+                                                                         partialProofData,
+                                                                         [
+                                                                          { dup: { n: 0 } },
+                                                                          { idx: { cached: false,
+                                                                                   pushPath: false,
+                                                                                   path: [
+                                                                                          { tag: 'value',
+                                                                                            value: { value: _descriptor_2.toValue(0n),
+                                                                                                     alignment: _descriptor_2.alignment() } }] } },
+                                                                          'size',
+                                                                          { push: { storage: false,
+                                                                                    value: __compactRuntime.StateValue.newCell({ value: _descriptor_10.toValue(0n),
+                                                                                                                                 alignment: _descriptor_10.alignment() }).encode() } },
+                                                                          'eq',
+                                                                          { popeq: { cached: true,
+                                                                                     result: undefined } }]).value);
+      },
+      size(...args_0) {
+        if (args_0.length !== 0) {
+          throw new __compactRuntime.CompactError(`size: expected 0 arguments, received ${args_0.length}`);
+        }
+        return _descriptor_10.fromValue(__compactRuntime.queryLedgerState(context,
+                                                                          partialProofData,
+                                                                          [
+                                                                           { dup: { n: 0 } },
+                                                                           { idx: { cached: false,
+                                                                                    pushPath: false,
+                                                                                    path: [
+                                                                                           { tag: 'value',
+                                                                                             value: { value: _descriptor_2.toValue(0n),
+                                                                                                      alignment: _descriptor_2.alignment() } }] } },
+                                                                           'size',
+                                                                           { popeq: { cached: true,
+                                                                                      result: undefined } }]).value);
+      },
+      member(...args_0) {
+        if (args_0.length !== 1) {
+          throw new __compactRuntime.CompactError(`member: expected 1 argument, received ${args_0.length}`);
+        }
+        const key_0 = args_0[0];
+        if (!(key_0.buffer instanceof ArrayBuffer && key_0.BYTES_PER_ELEMENT === 1 && key_0.length === 32)) {
+          __compactRuntime.typeError('member',
+                                     'argument 1',
+                                     'signet-contract.compact line 14 char 1',
+                                     'Bytes<32>',
+                                     key_0)
+        }
+        return _descriptor_7.fromValue(__compactRuntime.queryLedgerState(context,
+                                                                         partialProofData,
+                                                                         [
+                                                                          { dup: { n: 0 } },
+                                                                          { idx: { cached: false,
+                                                                                   pushPath: false,
+                                                                                   path: [
+                                                                                          { tag: 'value',
+                                                                                            value: { value: _descriptor_2.toValue(0n),
+                                                                                                     alignment: _descriptor_2.alignment() } }] } },
+                                                                          { push: { storage: false,
+                                                                                    value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(key_0),
+                                                                                                                                 alignment: _descriptor_0.alignment() }).encode() } },
+                                                                          'member',
+                                                                          { popeq: { cached: true,
+                                                                                     result: undefined } }]).value);
+      },
+      lookup(...args_0) {
+        if (args_0.length !== 1) {
+          throw new __compactRuntime.CompactError(`lookup: expected 1 argument, received ${args_0.length}`);
+        }
+        const key_0 = args_0[0];
+        if (!(key_0.buffer instanceof ArrayBuffer && key_0.BYTES_PER_ELEMENT === 1 && key_0.length === 32)) {
+          __compactRuntime.typeError('lookup',
+                                     'argument 1',
+                                     'signet-contract.compact line 14 char 1',
+                                     'Bytes<32>',
+                                     key_0)
+        }
+        if (state.asArray()[0].asMap().get({ value: _descriptor_0.toValue(key_0),
+                                             alignment: _descriptor_0.alignment() }) === undefined) {
+          throw new __compactRuntime.CompactError(`Map value undefined for ${key_0}`);
+        }
+        return {
+          read(...args_1) {
+            if (args_1.length !== 0) {
+              throw new __compactRuntime.CompactError(`read: expected 0 arguments, received ${args_1.length}`);
+            }
+            return _descriptor_10.fromValue(__compactRuntime.queryLedgerState(context,
+                                                                              partialProofData,
+                                                                              [
+                                                                               { dup: { n: 0 } },
+                                                                               { idx: { cached: false,
+                                                                                        pushPath: false,
+                                                                                        path: [
+                                                                                               { tag: 'value',
+                                                                                                 value: { value: _descriptor_2.toValue(0n),
+                                                                                                          alignment: _descriptor_2.alignment() } },
+                                                                                               { tag: 'value',
+                                                                                                 value: { value: _descriptor_0.toValue(key_0),
+                                                                                                          alignment: _descriptor_0.alignment() } }] } },
+                                                                               { popeq: { cached: true,
+                                                                                          result: undefined } }]).value);
+          }
+        }
+      }
+    },
+    signatureResponseIndex: {
+      isEmpty(...args_0) {
+        if (args_0.length !== 0) {
+          throw new __compactRuntime.CompactError(`isEmpty: expected 0 arguments, received ${args_0.length}`);
+        }
+        return _descriptor_7.fromValue(__compactRuntime.queryLedgerState(context,
+                                                                         partialProofData,
+                                                                         [
+                                                                          { dup: { n: 0 } },
+                                                                          { idx: { cached: false,
+                                                                                   pushPath: false,
+                                                                                   path: [
+                                                                                          { tag: 'value',
+                                                                                            value: { value: _descriptor_2.toValue(1n),
+                                                                                                     alignment: _descriptor_2.alignment() } }] } },
+                                                                          'size',
+                                                                          { push: { storage: false,
+                                                                                    value: __compactRuntime.StateValue.newCell({ value: _descriptor_10.toValue(0n),
+                                                                                                                                 alignment: _descriptor_10.alignment() }).encode() } },
+                                                                          'eq',
+                                                                          { popeq: { cached: true,
+                                                                                     result: undefined } }]).value);
+      },
+      size(...args_0) {
+        if (args_0.length !== 0) {
+          throw new __compactRuntime.CompactError(`size: expected 0 arguments, received ${args_0.length}`);
+        }
+        return _descriptor_10.fromValue(__compactRuntime.queryLedgerState(context,
+                                                                          partialProofData,
+                                                                          [
+                                                                           { dup: { n: 0 } },
+                                                                           { idx: { cached: false,
+                                                                                    pushPath: false,
+                                                                                    path: [
+                                                                                           { tag: 'value',
+                                                                                             value: { value: _descriptor_2.toValue(1n),
+                                                                                                      alignment: _descriptor_2.alignment() } }] } },
+                                                                           'size',
+                                                                           { popeq: { cached: true,
+                                                                                      result: undefined } }]).value);
+      },
+      member(...args_0) {
+        if (args_0.length !== 1) {
+          throw new __compactRuntime.CompactError(`member: expected 1 argument, received ${args_0.length}`);
+        }
+        const key_0 = args_0[0];
+        if (!(typeof(key_0) === 'object' && typeof(key_0.count) === 'bigint' && key_0.count >= 0n && key_0.count <= 18446744073709551615n && key_0.requestId.buffer instanceof ArrayBuffer && key_0.requestId.BYTES_PER_ELEMENT === 1 && key_0.requestId.length === 32)) {
+          __compactRuntime.typeError('member',
+                                     'argument 1',
+                                     'signet-contract.compact line 16 char 1',
+                                     'struct SignetResponseKey<count: Uint<0..18446744073709551616>, requestId: Bytes<32>>',
+                                     key_0)
+        }
+        return _descriptor_7.fromValue(__compactRuntime.queryLedgerState(context,
+                                                                         partialProofData,
+                                                                         [
+                                                                          { dup: { n: 0 } },
+                                                                          { idx: { cached: false,
+                                                                                   pushPath: false,
+                                                                                   path: [
+                                                                                          { tag: 'value',
+                                                                                            value: { value: _descriptor_2.toValue(1n),
+                                                                                                     alignment: _descriptor_2.alignment() } }] } },
+                                                                          { push: { storage: false,
+                                                                                    value: __compactRuntime.StateValue.newCell({ value: _descriptor_12.toValue(key_0),
+                                                                                                                                 alignment: _descriptor_12.alignment() }).encode() } },
+                                                                          'member',
+                                                                          { popeq: { cached: true,
+                                                                                     result: undefined } }]).value);
+      },
+      lookup(...args_0) {
+        if (args_0.length !== 1) {
+          throw new __compactRuntime.CompactError(`lookup: expected 1 argument, received ${args_0.length}`);
+        }
+        const key_0 = args_0[0];
+        if (!(typeof(key_0) === 'object' && typeof(key_0.count) === 'bigint' && key_0.count >= 0n && key_0.count <= 18446744073709551615n && key_0.requestId.buffer instanceof ArrayBuffer && key_0.requestId.BYTES_PER_ELEMENT === 1 && key_0.requestId.length === 32)) {
+          __compactRuntime.typeError('lookup',
+                                     'argument 1',
+                                     'signet-contract.compact line 16 char 1',
+                                     'struct SignetResponseKey<count: Uint<0..18446744073709551616>, requestId: Bytes<32>>',
+                                     key_0)
+        }
+        return _descriptor_13.fromValue(__compactRuntime.queryLedgerState(context,
+                                                                          partialProofData,
+                                                                          [
+                                                                           { dup: { n: 0 } },
+                                                                           { idx: { cached: false,
+                                                                                    pushPath: false,
+                                                                                    path: [
+                                                                                           { tag: 'value',
+                                                                                             value: { value: _descriptor_2.toValue(1n),
+                                                                                                      alignment: _descriptor_2.alignment() } }] } },
+                                                                           { idx: { cached: false,
+                                                                                    pushPath: false,
+                                                                                    path: [
+                                                                                           { tag: 'value',
+                                                                                             value: { value: _descriptor_12.toValue(key_0),
+                                                                                                      alignment: _descriptor_12.alignment() } }] } },
+                                                                           { popeq: { cached: false,
+                                                                                      result: undefined } }]).value);
+      },
+      [Symbol.iterator](...args_0) {
+        if (args_0.length !== 0) {
+          throw new __compactRuntime.CompactError(`iter: expected 0 arguments, received ${args_0.length}`);
+        }
+        const self_0 = state.asArray()[1];
+        return self_0.asMap().keys().map(  (key) => {    const value = self_0.asMap().get(key).asCell();    return [      _descriptor_12.fromValue(key.value),      _descriptor_13.fromValue(value.value)    ];  })[Symbol.iterator]();
+      }
+    },
+    respondBidirectionalIndex: {
+      isEmpty(...args_0) {
+        if (args_0.length !== 0) {
+          throw new __compactRuntime.CompactError(`isEmpty: expected 0 arguments, received ${args_0.length}`);
+        }
+        return _descriptor_7.fromValue(__compactRuntime.queryLedgerState(context,
+                                                                         partialProofData,
+                                                                         [
+                                                                          { dup: { n: 0 } },
+                                                                          { idx: { cached: false,
+                                                                                   pushPath: false,
+                                                                                   path: [
+                                                                                          { tag: 'value',
+                                                                                            value: { value: _descriptor_2.toValue(2n),
+                                                                                                     alignment: _descriptor_2.alignment() } }] } },
+                                                                          'size',
+                                                                          { push: { storage: false,
+                                                                                    value: __compactRuntime.StateValue.newCell({ value: _descriptor_10.toValue(0n),
+                                                                                                                                 alignment: _descriptor_10.alignment() }).encode() } },
+                                                                          'eq',
+                                                                          { popeq: { cached: true,
+                                                                                     result: undefined } }]).value);
+      },
+      size(...args_0) {
+        if (args_0.length !== 0) {
+          throw new __compactRuntime.CompactError(`size: expected 0 arguments, received ${args_0.length}`);
+        }
+        return _descriptor_10.fromValue(__compactRuntime.queryLedgerState(context,
+                                                                          partialProofData,
+                                                                          [
+                                                                           { dup: { n: 0 } },
+                                                                           { idx: { cached: false,
+                                                                                    pushPath: false,
+                                                                                    path: [
+                                                                                           { tag: 'value',
+                                                                                             value: { value: _descriptor_2.toValue(2n),
+                                                                                                      alignment: _descriptor_2.alignment() } }] } },
+                                                                           'size',
+                                                                           { popeq: { cached: true,
+                                                                                      result: undefined } }]).value);
+      },
+      member(...args_0) {
+        if (args_0.length !== 1) {
+          throw new __compactRuntime.CompactError(`member: expected 1 argument, received ${args_0.length}`);
+        }
+        const key_0 = args_0[0];
+        if (!(key_0.buffer instanceof ArrayBuffer && key_0.BYTES_PER_ELEMENT === 1 && key_0.length === 32)) {
+          __compactRuntime.typeError('member',
+                                     'argument 1',
+                                     'signet-contract.compact line 18 char 1',
+                                     'Bytes<32>',
+                                     key_0)
+        }
+        return _descriptor_7.fromValue(__compactRuntime.queryLedgerState(context,
+                                                                         partialProofData,
+                                                                         [
+                                                                          { dup: { n: 0 } },
+                                                                          { idx: { cached: false,
+                                                                                   pushPath: false,
+                                                                                   path: [
+                                                                                          { tag: 'value',
+                                                                                            value: { value: _descriptor_2.toValue(2n),
+                                                                                                     alignment: _descriptor_2.alignment() } }] } },
+                                                                          { push: { storage: false,
+                                                                                    value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(key_0),
+                                                                                                                                 alignment: _descriptor_0.alignment() }).encode() } },
+                                                                          'member',
+                                                                          { popeq: { cached: true,
+                                                                                     result: undefined } }]).value);
+      },
+      lookup(...args_0) {
+        if (args_0.length !== 1) {
+          throw new __compactRuntime.CompactError(`lookup: expected 1 argument, received ${args_0.length}`);
+        }
+        const key_0 = args_0[0];
+        if (!(key_0.buffer instanceof ArrayBuffer && key_0.BYTES_PER_ELEMENT === 1 && key_0.length === 32)) {
+          __compactRuntime.typeError('lookup',
+                                     'argument 1',
+                                     'signet-contract.compact line 18 char 1',
+                                     'Bytes<32>',
+                                     key_0)
+        }
+        return _descriptor_5.fromValue(__compactRuntime.queryLedgerState(context,
+                                                                         partialProofData,
+                                                                         [
+                                                                          { dup: { n: 0 } },
+                                                                          { idx: { cached: false,
+                                                                                   pushPath: false,
+                                                                                   path: [
+                                                                                          { tag: 'value',
+                                                                                            value: { value: _descriptor_2.toValue(2n),
+                                                                                                     alignment: _descriptor_2.alignment() } }] } },
+                                                                          { idx: { cached: false,
+                                                                                   pushPath: false,
+                                                                                   path: [
+                                                                                          { tag: 'value',
+                                                                                            value: { value: _descriptor_0.toValue(key_0),
+                                                                                                     alignment: _descriptor_0.alignment() } }] } },
+                                                                          { popeq: { cached: false,
+                                                                                     result: undefined } }]).value);
+      },
+      [Symbol.iterator](...args_0) {
+        if (args_0.length !== 0) {
+          throw new __compactRuntime.CompactError(`iter: expected 0 arguments, received ${args_0.length}`);
+        }
+        const self_0 = state.asArray()[2];
+        return self_0.asMap().keys().map(  (key) => {    const value = self_0.asMap().get(key).asCell();    return [      _descriptor_0.fromValue(key.value),      _descriptor_5.fromValue(value.value)    ];  })[Symbol.iterator]();
+      }
+    },
+    get mpcPubKeyHash() {
+      return _descriptor_0.fromValue(__compactRuntime.queryLedgerState(context,
+                                                                       partialProofData,
+                                                                       [
+                                                                        { dup: { n: 0 } },
+                                                                        { idx: { cached: false,
+                                                                                 pushPath: false,
+                                                                                 path: [
+                                                                                        { tag: 'value',
+                                                                                          value: { value: _descriptor_2.toValue(3n),
+                                                                                                   alignment: _descriptor_2.alignment() } }] } },
+                                                                        { popeq: { cached: false,
+                                                                                   result: undefined } }]).value);
+    }
+  };
+}
+const _emptyContext = {
+  callContext: { currentQueryContext: new __compactRuntime.QueryContext(new __compactRuntime.ContractState().data, __compactRuntime.dummyContractAddress()), currentGasCost: __compactRuntime.emptyRunningCost() }
+};
+const _dummyContract = new Contract({ });
+export const pureCircuits = {};
+export const contractReferenceLocations =
+  { tag: 'publicLedgerArray', indices: { } };
+export const expectedVk = {
+  'emitSignBidirectionalEvent': '97af5bb456fae0ea3daf411d8031e6ceefe1cdc6dc0349372c56414d53fb8d6e',
+  'postRespondBidirectional': 'feda5f59c6367153d6089edefc96a7a18597373393d1f0c3410e9790c65078c7',
+  'postSignatureResponse': '1774d8bce0d5a9f4dcbd59f292b9cb5a9b69c5636ce9a95b7ec17ce797b425e7',
+};
+
+//# sourceMappingURL=index.js.map