@midnames/sdk 1.0.1 → 1.0.4

package/managed/managed/leaf/contract/index.js

@@ -1,3094 +0,0 @@
-import * as __compactRuntime from '@midnight-ntwrk/compact-runtime';
-__compactRuntime.checkRuntimeVersion('0.15.0');
-
-const _descriptor_0 = new __compactRuntime.CompactTypeBytes(32);
-
-class _ZswapCoinPublicKey_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_1 = new _ZswapCoinPublicKey_0();
-
-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_2 = new _ContractAddress_0();
-
-class _DomainData_0 {
-  alignment() {
-    return _descriptor_1.alignment().concat(_descriptor_2.alignment());
-  }
-  fromValue(value_0) {
-    return {
-      owner: _descriptor_1.fromValue(value_0),
-      resolver: _descriptor_2.fromValue(value_0)
-    }
-  }
-  toValue(value_0) {
-    return _descriptor_1.toValue(value_0.owner).concat(_descriptor_2.toValue(value_0.resolver));
-  }
-}
-
-const _descriptor_3 = new _DomainData_0();
-
-const _descriptor_4 = __compactRuntime.CompactTypeBoolean;
-
-const _descriptor_5 = new __compactRuntime.CompactTypeUnsignedInteger(18446744073709551615n, 8);
-
-class _Either_0 {
-  alignment() {
-    return _descriptor_4.alignment().concat(_descriptor_1.alignment().concat(_descriptor_2.alignment()));
-  }
-  fromValue(value_0) {
-    return {
-      is_left: _descriptor_4.fromValue(value_0),
-      left: _descriptor_1.fromValue(value_0),
-      right: _descriptor_2.fromValue(value_0)
-    }
-  }
-  toValue(value_0) {
-    return _descriptor_4.toValue(value_0.is_left).concat(_descriptor_1.toValue(value_0.left).concat(_descriptor_2.toValue(value_0.right)));
-  }
-}
-
-const _descriptor_6 = new _Either_0();
-
-const _descriptor_7 = __compactRuntime.CompactTypeOpaqueString;
-
-const _descriptor_8 = new __compactRuntime.CompactTypeUnsignedInteger(4294967295n, 4);
-
-const _descriptor_9 = new __compactRuntime.CompactTypeUnsignedInteger(340282366920938463463374607431768211455n, 16);
-
-class _tuple_0 {
-  alignment() {
-    return _descriptor_7.alignment().concat(_descriptor_7.alignment());
-  }
-  fromValue(value_0) {
-    return [
-      _descriptor_7.fromValue(value_0),
-      _descriptor_7.fromValue(value_0)
-    ]
-  }
-  toValue(value_0) {
-    return _descriptor_7.toValue(value_0[0]).concat(_descriptor_7.toValue(value_0[1]));
-  }
-}
-
-const _descriptor_10 = new _tuple_0();
-
-class _Maybe_0 {
-  alignment() {
-    return _descriptor_4.alignment().concat(_descriptor_10.alignment());
-  }
-  fromValue(value_0) {
-    return {
-      is_some: _descriptor_4.fromValue(value_0),
-      value: _descriptor_10.fromValue(value_0)
-    }
-  }
-  toValue(value_0) {
-    return _descriptor_4.toValue(value_0.is_some).concat(_descriptor_10.toValue(value_0.value));
-  }
-}
-
-const _descriptor_11 = new _Maybe_0();
-
-const _descriptor_12 = new __compactRuntime.CompactTypeVector(10, _descriptor_11);
-
-class _Either_1 {
-  alignment() {
-    return _descriptor_4.alignment().concat(_descriptor_0.alignment().concat(_descriptor_0.alignment()));
-  }
-  fromValue(value_0) {
-    return {
-      is_left: _descriptor_4.fromValue(value_0),
-      left: _descriptor_0.fromValue(value_0),
-      right: _descriptor_0.fromValue(value_0)
-    }
-  }
-  toValue(value_0) {
-    return _descriptor_4.toValue(value_0.is_left).concat(_descriptor_0.toValue(value_0.left).concat(_descriptor_0.toValue(value_0.right)));
-  }
-}
-
-const _descriptor_13 = new _Either_1();
-
-class _UserAddress_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_14 = new _UserAddress_0();
-
-class _Either_2 {
-  alignment() {
-    return _descriptor_4.alignment().concat(_descriptor_2.alignment().concat(_descriptor_14.alignment()));
-  }
-  fromValue(value_0) {
-    return {
-      is_left: _descriptor_4.fromValue(value_0),
-      left: _descriptor_2.fromValue(value_0),
-      right: _descriptor_14.fromValue(value_0)
-    }
-  }
-  toValue(value_0) {
-    return _descriptor_4.toValue(value_0.is_left).concat(_descriptor_2.toValue(value_0.left).concat(_descriptor_14.toValue(value_0.right)));
-  }
-}
-
-const _descriptor_15 = new _Either_2();
-
-class _Maybe_1 {
-  alignment() {
-    return _descriptor_4.alignment().concat(_descriptor_0.alignment());
-  }
-  fromValue(value_0) {
-    return {
-      is_some: _descriptor_4.fromValue(value_0),
-      value: _descriptor_0.fromValue(value_0)
-    }
-  }
-  toValue(value_0) {
-    return _descriptor_4.toValue(value_0.is_some).concat(_descriptor_0.toValue(value_0.value));
-  }
-}
-
-const _descriptor_16 = new _Maybe_1();
-
-const _descriptor_17 = new __compactRuntime.CompactTypeUnsignedInteger(255n, 1);
-
-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 = {
-      update_color: (...args_1) => {
-        if (args_1.length !== 2) {
-          throw new __compactRuntime.CompactError(`update_color: expected 2 arguments (as invoked from Typescript), received ${args_1.length}`);
-        }
-        const contextOrig_0 = args_1[0];
-        const c_0 = args_1[1];
-        if (!(typeof(contextOrig_0) === 'object' && contextOrig_0.currentQueryContext != undefined)) {
-          __compactRuntime.typeError('update_color',
-                                     'argument 1 (as invoked from Typescript)',
-                                     'leaf.compact line 89 char 1',
-                                     'CircuitContext',
-                                     contextOrig_0)
-        }
-        if (!(c_0.buffer instanceof ArrayBuffer && c_0.BYTES_PER_ELEMENT === 1 && c_0.length === 32)) {
-          __compactRuntime.typeError('update_color',
-                                     'argument 1 (argument 2 as invoked from Typescript)',
-                                     'leaf.compact line 89 char 1',
-                                     'Bytes<32>',
-                                     c_0)
-        }
-        const context = { ...contextOrig_0, gasCost: __compactRuntime.emptyRunningCost() };
-        const partialProofData = {
-          input: {
-            value: _descriptor_0.toValue(c_0),
-            alignment: _descriptor_0.alignment()
-          },
-          output: undefined,
-          publicTranscript: [],
-          privateTranscriptOutputs: []
-        };
-        const result_0 = this._update_color_0(context, partialProofData, c_0);
-        partialProofData.output = { value: [], alignment: [] };
-        return { result: result_0, context: context, proofData: partialProofData, gasCost: context.gasCost };
-      },
-      update_costs: (...args_1) => {
-        if (args_1.length !== 4) {
-          throw new __compactRuntime.CompactError(`update_costs: expected 4 arguments (as invoked from Typescript), received ${args_1.length}`);
-        }
-        const contextOrig_0 = args_1[0];
-        const cost_short_0 = args_1[1];
-        const cost_med_0 = args_1[2];
-        const cost_long_0 = args_1[3];
-        if (!(typeof(contextOrig_0) === 'object' && contextOrig_0.currentQueryContext != undefined)) {
-          __compactRuntime.typeError('update_costs',
-                                     'argument 1 (as invoked from Typescript)',
-                                     'leaf.compact line 94 char 1',
-                                     'CircuitContext',
-                                     contextOrig_0)
-        }
-        if (!(typeof(cost_short_0) === 'bigint' && cost_short_0 >= 0n && cost_short_0 <= 340282366920938463463374607431768211455n)) {
-          __compactRuntime.typeError('update_costs',
-                                     'argument 1 (argument 2 as invoked from Typescript)',
-                                     'leaf.compact line 94 char 1',
-                                     'Uint<0..340282366920938463463374607431768211456>',
-                                     cost_short_0)
-        }
-        if (!(typeof(cost_med_0) === 'bigint' && cost_med_0 >= 0n && cost_med_0 <= 340282366920938463463374607431768211455n)) {
-          __compactRuntime.typeError('update_costs',
-                                     'argument 2 (argument 3 as invoked from Typescript)',
-                                     'leaf.compact line 94 char 1',
-                                     'Uint<0..340282366920938463463374607431768211456>',
-                                     cost_med_0)
-        }
-        if (!(typeof(cost_long_0) === 'bigint' && cost_long_0 >= 0n && cost_long_0 <= 340282366920938463463374607431768211455n)) {
-          __compactRuntime.typeError('update_costs',
-                                     'argument 3 (argument 4 as invoked from Typescript)',
-                                     'leaf.compact line 94 char 1',
-                                     'Uint<0..340282366920938463463374607431768211456>',
-                                     cost_long_0)
-        }
-        const context = { ...contextOrig_0, gasCost: __compactRuntime.emptyRunningCost() };
-        const partialProofData = {
-          input: {
-            value: _descriptor_9.toValue(cost_short_0).concat(_descriptor_9.toValue(cost_med_0).concat(_descriptor_9.toValue(cost_long_0))),
-            alignment: _descriptor_9.alignment().concat(_descriptor_9.alignment().concat(_descriptor_9.alignment()))
-          },
-          output: undefined,
-          publicTranscript: [],
-          privateTranscriptOutputs: []
-        };
-        const result_0 = this._update_costs_0(context,
-                                              partialProofData,
-                                              cost_short_0,
-                                              cost_med_0,
-                                              cost_long_0);
-        partialProofData.output = { value: [], alignment: [] };
-        return { result: result_0, context: context, proofData: partialProofData, gasCost: context.gasCost };
-      },
-      update_target_and_fields: (...args_1) => {
-        if (args_1.length !== 3) {
-          throw new __compactRuntime.CompactError(`update_target_and_fields: expected 3 arguments (as invoked from Typescript), received ${args_1.length}`);
-        }
-        const contextOrig_0 = args_1[0];
-        const new_target_0 = args_1[1];
-        const kvs_0 = args_1[2];
-        if (!(typeof(contextOrig_0) === 'object' && contextOrig_0.currentQueryContext != undefined)) {
-          __compactRuntime.typeError('update_target_and_fields',
-                                     'argument 1 (as invoked from Typescript)',
-                                     'leaf.compact line 101 char 1',
-                                     'CircuitContext',
-                                     contextOrig_0)
-        }
-        if (!(typeof(new_target_0) === 'object' && typeof(new_target_0.is_left) === 'boolean' && typeof(new_target_0.left) === 'object' && new_target_0.left.bytes.buffer instanceof ArrayBuffer && new_target_0.left.bytes.BYTES_PER_ELEMENT === 1 && new_target_0.left.bytes.length === 32 && typeof(new_target_0.right) === 'object' && new_target_0.right.bytes.buffer instanceof ArrayBuffer && new_target_0.right.bytes.BYTES_PER_ELEMENT === 1 && new_target_0.right.bytes.length === 32)) {
-          __compactRuntime.typeError('update_target_and_fields',
-                                     'argument 1 (argument 2 as invoked from Typescript)',
-                                     'leaf.compact line 101 char 1',
-                                     'struct Either<is_left: Boolean, left: struct ZswapCoinPublicKey<bytes: Bytes<32>>, right: struct ContractAddress<bytes: Bytes<32>>>',
-                                     new_target_0)
-        }
-        if (!(Array.isArray(kvs_0) && kvs_0.length === 10 && kvs_0.every((t) => typeof(t) === 'object' && typeof(t.is_some) === 'boolean' && Array.isArray(t.value) && t.value.length === 2  && true && true))) {
-          __compactRuntime.typeError('update_target_and_fields',
-                                     'argument 2 (argument 3 as invoked from Typescript)',
-                                     'leaf.compact line 101 char 1',
-                                     'Vector<10, struct Maybe<is_some: Boolean, value: [Opaque<"string">, Opaque<"string">]>>',
-                                     kvs_0)
-        }
-        const context = { ...contextOrig_0, gasCost: __compactRuntime.emptyRunningCost() };
-        const partialProofData = {
-          input: {
-            value: _descriptor_6.toValue(new_target_0).concat(_descriptor_12.toValue(kvs_0)),
-            alignment: _descriptor_6.alignment().concat(_descriptor_12.alignment())
-          },
-          output: undefined,
-          publicTranscript: [],
-          privateTranscriptOutputs: []
-        };
-        const result_0 = this._update_target_and_fields_0(context,
-                                                          partialProofData,
-                                                          new_target_0,
-                                                          kvs_0);
-        partialProofData.output = { value: [], alignment: [] };
-        return { result: result_0, context: context, proofData: partialProofData, gasCost: context.gasCost };
-      },
-      buy_domain_for: (...args_1) => {
-        if (args_1.length !== 5) {
-          throw new __compactRuntime.CompactError(`buy_domain_for: expected 5 arguments (as invoked from Typescript), received ${args_1.length}`);
-        }
-        const contextOrig_0 = args_1[0];
-        const owner_0 = args_1[1];
-        const domain_0 = args_1[2];
-        const len_0 = args_1[3];
-        const resolver_0 = args_1[4];
-        if (!(typeof(contextOrig_0) === 'object' && contextOrig_0.currentQueryContext != undefined)) {
-          __compactRuntime.typeError('buy_domain_for',
-                                     'argument 1 (as invoked from Typescript)',
-                                     'leaf.compact line 115 char 1',
-                                     'CircuitContext',
-                                     contextOrig_0)
-        }
-        if (!(typeof(owner_0) === 'object' && owner_0.bytes.buffer instanceof ArrayBuffer && owner_0.bytes.BYTES_PER_ELEMENT === 1 && owner_0.bytes.length === 32)) {
-          __compactRuntime.typeError('buy_domain_for',
-                                     'argument 1 (argument 2 as invoked from Typescript)',
-                                     'leaf.compact line 115 char 1',
-                                     'struct ZswapCoinPublicKey<bytes: Bytes<32>>',
-                                     owner_0)
-        }
-        if (!(domain_0.buffer instanceof ArrayBuffer && domain_0.BYTES_PER_ELEMENT === 1 && domain_0.length === 32)) {
-          __compactRuntime.typeError('buy_domain_for',
-                                     'argument 2 (argument 3 as invoked from Typescript)',
-                                     'leaf.compact line 115 char 1',
-                                     'Bytes<32>',
-                                     domain_0)
-        }
-        if (!(typeof(len_0) === 'bigint' && len_0 >= 0n && len_0 <= 4294967295n)) {
-          __compactRuntime.typeError('buy_domain_for',
-                                     'argument 3 (argument 4 as invoked from Typescript)',
-                                     'leaf.compact line 115 char 1',
-                                     'Uint<0..4294967296>',
-                                     len_0)
-        }
-        if (!(typeof(resolver_0) === 'object' && resolver_0.bytes.buffer instanceof ArrayBuffer && resolver_0.bytes.BYTES_PER_ELEMENT === 1 && resolver_0.bytes.length === 32)) {
-          __compactRuntime.typeError('buy_domain_for',
-                                     'argument 4 (argument 5 as invoked from Typescript)',
-                                     'leaf.compact line 115 char 1',
-                                     'struct ContractAddress<bytes: Bytes<32>>',
-                                     resolver_0)
-        }
-        const context = { ...contextOrig_0, gasCost: __compactRuntime.emptyRunningCost() };
-        const partialProofData = {
-          input: {
-            value: _descriptor_1.toValue(owner_0).concat(_descriptor_0.toValue(domain_0).concat(_descriptor_8.toValue(len_0).concat(_descriptor_2.toValue(resolver_0)))),
-            alignment: _descriptor_1.alignment().concat(_descriptor_0.alignment().concat(_descriptor_8.alignment().concat(_descriptor_2.alignment())))
-          },
-          output: undefined,
-          publicTranscript: [],
-          privateTranscriptOutputs: []
-        };
-        const result_0 = this._buy_domain_for_0(context,
-                                                partialProofData,
-                                                owner_0,
-                                                domain_0,
-                                                len_0,
-                                                resolver_0);
-        partialProofData.output = { value: [], alignment: [] };
-        return { result: result_0, context: context, proofData: partialProofData, gasCost: context.gasCost };
-      },
-      add_multiple_fields: (...args_1) => {
-        if (args_1.length !== 2) {
-          throw new __compactRuntime.CompactError(`add_multiple_fields: expected 2 arguments (as invoked from Typescript), received ${args_1.length}`);
-        }
-        const contextOrig_0 = args_1[0];
-        const kvs_0 = args_1[1];
-        if (!(typeof(contextOrig_0) === 'object' && contextOrig_0.currentQueryContext != undefined)) {
-          __compactRuntime.typeError('add_multiple_fields',
-                                     'argument 1 (as invoked from Typescript)',
-                                     'leaf.compact line 156 char 1',
-                                     'CircuitContext',
-                                     contextOrig_0)
-        }
-        if (!(Array.isArray(kvs_0) && kvs_0.length === 10 && kvs_0.every((t) => typeof(t) === 'object' && typeof(t.is_some) === 'boolean' && Array.isArray(t.value) && t.value.length === 2  && true && true))) {
-          __compactRuntime.typeError('add_multiple_fields',
-                                     'argument 1 (argument 2 as invoked from Typescript)',
-                                     'leaf.compact line 156 char 1',
-                                     'Vector<10, struct Maybe<is_some: Boolean, value: [Opaque<"string">, Opaque<"string">]>>',
-                                     kvs_0)
-        }
-        const context = { ...contextOrig_0, gasCost: __compactRuntime.emptyRunningCost() };
-        const partialProofData = {
-          input: {
-            value: _descriptor_12.toValue(kvs_0),
-            alignment: _descriptor_12.alignment()
-          },
-          output: undefined,
-          publicTranscript: [],
-          privateTranscriptOutputs: []
-        };
-        const result_0 = this._add_multiple_fields_0(context,
-                                                     partialProofData,
-                                                     kvs_0);
-        partialProofData.output = { value: [], alignment: [] };
-        return { result: result_0, context: context, proofData: partialProofData, gasCost: context.gasCost };
-      },
-      insert_field: (...args_1) => {
-        if (args_1.length !== 3) {
-          throw new __compactRuntime.CompactError(`insert_field: expected 3 arguments (as invoked from Typescript), received ${args_1.length}`);
-        }
-        const contextOrig_0 = args_1[0];
-        const k_0 = args_1[1];
-        const v_0 = args_1[2];
-        if (!(typeof(contextOrig_0) === 'object' && contextOrig_0.currentQueryContext != undefined)) {
-          __compactRuntime.typeError('insert_field',
-                                     'argument 1 (as invoked from Typescript)',
-                                     'leaf.compact line 165 char 1',
-                                     'CircuitContext',
-                                     contextOrig_0)
-        }
-        const context = { ...contextOrig_0, gasCost: __compactRuntime.emptyRunningCost() };
-        const partialProofData = {
-          input: {
-            value: _descriptor_7.toValue(k_0).concat(_descriptor_7.toValue(v_0)),
-            alignment: _descriptor_7.alignment().concat(_descriptor_7.alignment())
-          },
-          output: undefined,
-          publicTranscript: [],
-          privateTranscriptOutputs: []
-        };
-        const result_0 = this._insert_field_0(context,
-                                              partialProofData,
-                                              k_0,
-                                              v_0);
-        partialProofData.output = { value: [], alignment: [] };
-        return { result: result_0, context: context, proofData: partialProofData, gasCost: context.gasCost };
-      },
-      clear_field: (...args_1) => {
-        if (args_1.length !== 2) {
-          throw new __compactRuntime.CompactError(`clear_field: expected 2 arguments (as invoked from Typescript), received ${args_1.length}`);
-        }
-        const contextOrig_0 = args_1[0];
-        const k_0 = args_1[1];
-        if (!(typeof(contextOrig_0) === 'object' && contextOrig_0.currentQueryContext != undefined)) {
-          __compactRuntime.typeError('clear_field',
-                                     'argument 1 (as invoked from Typescript)',
-                                     'leaf.compact line 170 char 1',
-                                     'CircuitContext',
-                                     contextOrig_0)
-        }
-        const context = { ...contextOrig_0, gasCost: __compactRuntime.emptyRunningCost() };
-        const partialProofData = {
-          input: {
-            value: _descriptor_7.toValue(k_0),
-            alignment: _descriptor_7.alignment()
-          },
-          output: undefined,
-          publicTranscript: [],
-          privateTranscriptOutputs: []
-        };
-        const result_0 = this._clear_field_0(context, partialProofData, k_0);
-        partialProofData.output = { value: [], alignment: [] };
-        return { result: result_0, context: context, proofData: partialProofData, gasCost: context.gasCost };
-      },
-      clear_all_fields: (...args_1) => {
-        if (args_1.length !== 1) {
-          throw new __compactRuntime.CompactError(`clear_all_fields: expected 1 argument (as invoked from Typescript), received ${args_1.length}`);
-        }
-        const contextOrig_0 = args_1[0];
-        if (!(typeof(contextOrig_0) === 'object' && contextOrig_0.currentQueryContext != undefined)) {
-          __compactRuntime.typeError('clear_all_fields',
-                                     'argument 1 (as invoked from Typescript)',
-                                     'leaf.compact line 175 char 1',
-                                     'CircuitContext',
-                                     contextOrig_0)
-        }
-        const context = { ...contextOrig_0, gasCost: __compactRuntime.emptyRunningCost() };
-        const partialProofData = {
-          input: { value: [], alignment: [] },
-          output: undefined,
-          publicTranscript: [],
-          privateTranscriptOutputs: []
-        };
-        const result_0 = this._clear_all_fields_0(context, partialProofData);
-        partialProofData.output = { value: [], alignment: [] };
-        return { result: result_0, context: context, proofData: partialProofData, gasCost: context.gasCost };
-      },
-      register_domain_for: (...args_1) => {
-        if (args_1.length !== 5) {
-          throw new __compactRuntime.CompactError(`register_domain_for: expected 5 arguments (as invoked from Typescript), received ${args_1.length}`);
-        }
-        const contextOrig_0 = args_1[0];
-        const owner_0 = args_1[1];
-        const domain_0 = args_1[2];
-        const len_0 = args_1[3];
-        const resolver_0 = args_1[4];
-        if (!(typeof(contextOrig_0) === 'object' && contextOrig_0.currentQueryContext != undefined)) {
-          __compactRuntime.typeError('register_domain_for',
-                                     'argument 1 (as invoked from Typescript)',
-                                     'leaf.compact line 180 char 1',
-                                     'CircuitContext',
-                                     contextOrig_0)
-        }
-        if (!(typeof(owner_0) === 'object' && owner_0.bytes.buffer instanceof ArrayBuffer && owner_0.bytes.BYTES_PER_ELEMENT === 1 && owner_0.bytes.length === 32)) {
-          __compactRuntime.typeError('register_domain_for',
-                                     'argument 1 (argument 2 as invoked from Typescript)',
-                                     'leaf.compact line 180 char 1',
-                                     'struct ZswapCoinPublicKey<bytes: Bytes<32>>',
-                                     owner_0)
-        }
-        if (!(domain_0.buffer instanceof ArrayBuffer && domain_0.BYTES_PER_ELEMENT === 1 && domain_0.length === 32)) {
-          __compactRuntime.typeError('register_domain_for',
-                                     'argument 2 (argument 3 as invoked from Typescript)',
-                                     'leaf.compact line 180 char 1',
-                                     'Bytes<32>',
-                                     domain_0)
-        }
-        if (!(typeof(len_0) === 'bigint' && len_0 >= 0n && len_0 <= 4294967295n)) {
-          __compactRuntime.typeError('register_domain_for',
-                                     'argument 3 (argument 4 as invoked from Typescript)',
-                                     'leaf.compact line 180 char 1',
-                                     'Uint<0..4294967296>',
-                                     len_0)
-        }
-        if (!(typeof(resolver_0) === 'object' && resolver_0.bytes.buffer instanceof ArrayBuffer && resolver_0.bytes.BYTES_PER_ELEMENT === 1 && resolver_0.bytes.length === 32)) {
-          __compactRuntime.typeError('register_domain_for',
-                                     'argument 4 (argument 5 as invoked from Typescript)',
-                                     'leaf.compact line 180 char 1',
-                                     'struct ContractAddress<bytes: Bytes<32>>',
-                                     resolver_0)
-        }
-        const context = { ...contextOrig_0, gasCost: __compactRuntime.emptyRunningCost() };
-        const partialProofData = {
-          input: {
-            value: _descriptor_1.toValue(owner_0).concat(_descriptor_0.toValue(domain_0).concat(_descriptor_8.toValue(len_0).concat(_descriptor_2.toValue(resolver_0)))),
-            alignment: _descriptor_1.alignment().concat(_descriptor_0.alignment().concat(_descriptor_8.alignment().concat(_descriptor_2.alignment())))
-          },
-          output: undefined,
-          publicTranscript: [],
-          privateTranscriptOutputs: []
-        };
-        const result_0 = this._register_domain_for_0(context,
-                                                     partialProofData,
-                                                     owner_0,
-                                                     domain_0,
-                                                     len_0,
-                                                     resolver_0);
-        partialProofData.output = { value: [], alignment: [] };
-        return { result: result_0, context: context, proofData: partialProofData, gasCost: context.gasCost };
-      },
-      set_resolver: (...args_1) => {
-        if (args_1.length !== 3) {
-          throw new __compactRuntime.CompactError(`set_resolver: expected 3 arguments (as invoked from Typescript), received ${args_1.length}`);
-        }
-        const contextOrig_0 = args_1[0];
-        const domain_0 = args_1[1];
-        const resolver_0 = args_1[2];
-        if (!(typeof(contextOrig_0) === 'object' && contextOrig_0.currentQueryContext != undefined)) {
-          __compactRuntime.typeError('set_resolver',
-                                     'argument 1 (as invoked from Typescript)',
-                                     'leaf.compact line 210 char 1',
-                                     'CircuitContext',
-                                     contextOrig_0)
-        }
-        if (!(domain_0.buffer instanceof ArrayBuffer && domain_0.BYTES_PER_ELEMENT === 1 && domain_0.length === 32)) {
-          __compactRuntime.typeError('set_resolver',
-                                     'argument 1 (argument 2 as invoked from Typescript)',
-                                     'leaf.compact line 210 char 1',
-                                     'Bytes<32>',
-                                     domain_0)
-        }
-        if (!(typeof(resolver_0) === 'object' && resolver_0.bytes.buffer instanceof ArrayBuffer && resolver_0.bytes.BYTES_PER_ELEMENT === 1 && resolver_0.bytes.length === 32)) {
-          __compactRuntime.typeError('set_resolver',
-                                     'argument 2 (argument 3 as invoked from Typescript)',
-                                     'leaf.compact line 210 char 1',
-                                     'struct ContractAddress<bytes: Bytes<32>>',
-                                     resolver_0)
-        }
-        const context = { ...contextOrig_0, gasCost: __compactRuntime.emptyRunningCost() };
-        const partialProofData = {
-          input: {
-            value: _descriptor_0.toValue(domain_0).concat(_descriptor_2.toValue(resolver_0)),
-            alignment: _descriptor_0.alignment().concat(_descriptor_2.alignment())
-          },
-          output: undefined,
-          publicTranscript: [],
-          privateTranscriptOutputs: []
-        };
-        const result_0 = this._set_resolver_0(context,
-                                              partialProofData,
-                                              domain_0,
-                                              resolver_0);
-        partialProofData.output = { value: [], alignment: [] };
-        return { result: result_0, context: context, proofData: partialProofData, gasCost: context.gasCost };
-      },
-      update_domain_target: (...args_1) => {
-        if (args_1.length !== 2) {
-          throw new __compactRuntime.CompactError(`update_domain_target: expected 2 arguments (as invoked from Typescript), received ${args_1.length}`);
-        }
-        const contextOrig_0 = args_1[0];
-        const new_target_0 = args_1[1];
-        if (!(typeof(contextOrig_0) === 'object' && contextOrig_0.currentQueryContext != undefined)) {
-          __compactRuntime.typeError('update_domain_target',
-                                     'argument 1 (as invoked from Typescript)',
-                                     'leaf.compact line 224 char 1',
-                                     'CircuitContext',
-                                     contextOrig_0)
-        }
-        if (!(typeof(new_target_0) === 'object' && typeof(new_target_0.is_left) === 'boolean' && typeof(new_target_0.left) === 'object' && new_target_0.left.bytes.buffer instanceof ArrayBuffer && new_target_0.left.bytes.BYTES_PER_ELEMENT === 1 && new_target_0.left.bytes.length === 32 && typeof(new_target_0.right) === 'object' && new_target_0.right.bytes.buffer instanceof ArrayBuffer && new_target_0.right.bytes.BYTES_PER_ELEMENT === 1 && new_target_0.right.bytes.length === 32)) {
-          __compactRuntime.typeError('update_domain_target',
-                                     'argument 1 (argument 2 as invoked from Typescript)',
-                                     'leaf.compact line 224 char 1',
-                                     'struct Either<is_left: Boolean, left: struct ZswapCoinPublicKey<bytes: Bytes<32>>, right: struct ContractAddress<bytes: Bytes<32>>>',
-                                     new_target_0)
-        }
-        const context = { ...contextOrig_0, gasCost: __compactRuntime.emptyRunningCost() };
-        const partialProofData = {
-          input: {
-            value: _descriptor_6.toValue(new_target_0),
-            alignment: _descriptor_6.alignment()
-          },
-          output: undefined,
-          publicTranscript: [],
-          privateTranscriptOutputs: []
-        };
-        const result_0 = this._update_domain_target_0(context,
-                                                      partialProofData,
-                                                      new_target_0);
-        partialProofData.output = { value: [], alignment: [] };
-        return { result: result_0, context: context, proofData: partialProofData, gasCost: context.gasCost };
-      },
-      transfer_domain: (...args_1) => {
-        if (args_1.length !== 3) {
-          throw new __compactRuntime.CompactError(`transfer_domain: expected 3 arguments (as invoked from Typescript), received ${args_1.length}`);
-        }
-        const contextOrig_0 = args_1[0];
-        const domain_0 = args_1[1];
-        const new_owner_0 = args_1[2];
-        if (!(typeof(contextOrig_0) === 'object' && contextOrig_0.currentQueryContext != undefined)) {
-          __compactRuntime.typeError('transfer_domain',
-                                     'argument 1 (as invoked from Typescript)',
-                                     'leaf.compact line 230 char 1',
-                                     'CircuitContext',
-                                     contextOrig_0)
-        }
-        if (!(domain_0.buffer instanceof ArrayBuffer && domain_0.BYTES_PER_ELEMENT === 1 && domain_0.length === 32)) {
-          __compactRuntime.typeError('transfer_domain',
-                                     'argument 1 (argument 2 as invoked from Typescript)',
-                                     'leaf.compact line 230 char 1',
-                                     'Bytes<32>',
-                                     domain_0)
-        }
-        if (!(typeof(new_owner_0) === 'object' && new_owner_0.bytes.buffer instanceof ArrayBuffer && new_owner_0.bytes.BYTES_PER_ELEMENT === 1 && new_owner_0.bytes.length === 32)) {
-          __compactRuntime.typeError('transfer_domain',
-                                     'argument 2 (argument 3 as invoked from Typescript)',
-                                     'leaf.compact line 230 char 1',
-                                     'struct ZswapCoinPublicKey<bytes: Bytes<32>>',
-                                     new_owner_0)
-        }
-        const context = { ...contextOrig_0, gasCost: __compactRuntime.emptyRunningCost() };
-        const partialProofData = {
-          input: {
-            value: _descriptor_0.toValue(domain_0).concat(_descriptor_1.toValue(new_owner_0)),
-            alignment: _descriptor_0.alignment().concat(_descriptor_1.alignment())
-          },
-          output: undefined,
-          publicTranscript: [],
-          privateTranscriptOutputs: []
-        };
-        const result_0 = this._transfer_domain_0(context,
-                                                 partialProofData,
-                                                 domain_0,
-                                                 new_owner_0);
-        partialProofData.output = { value: [], alignment: [] };
-        return { result: result_0, context: context, proofData: partialProofData, gasCost: context.gasCost };
-      },
-      change_owner: (...args_1) => {
-        if (args_1.length !== 2) {
-          throw new __compactRuntime.CompactError(`change_owner: expected 2 arguments (as invoked from Typescript), received ${args_1.length}`);
-        }
-        const contextOrig_0 = args_1[0];
-        const new_owner_0 = args_1[1];
-        if (!(typeof(contextOrig_0) === 'object' && contextOrig_0.currentQueryContext != undefined)) {
-          __compactRuntime.typeError('change_owner',
-                                     'argument 1 (as invoked from Typescript)',
-                                     'leaf.compact line 252 char 1',
-                                     'CircuitContext',
-                                     contextOrig_0)
-        }
-        if (!(typeof(new_owner_0) === 'object' && new_owner_0.bytes.buffer instanceof ArrayBuffer && new_owner_0.bytes.BYTES_PER_ELEMENT === 1 && new_owner_0.bytes.length === 32)) {
-          __compactRuntime.typeError('change_owner',
-                                     'argument 1 (argument 2 as invoked from Typescript)',
-                                     'leaf.compact line 252 char 1',
-                                     'struct ZswapCoinPublicKey<bytes: Bytes<32>>',
-                                     new_owner_0)
-        }
-        const context = { ...contextOrig_0, gasCost: __compactRuntime.emptyRunningCost() };
-        const partialProofData = {
-          input: {
-            value: _descriptor_1.toValue(new_owner_0),
-            alignment: _descriptor_1.alignment()
-          },
-          output: undefined,
-          publicTranscript: [],
-          privateTranscriptOutputs: []
-        };
-        const result_0 = this._change_owner_0(context,
-                                              partialProofData,
-                                              new_owner_0);
-        partialProofData.output = { value: [], alignment: [] };
-        return { result: result_0, context: context, proofData: partialProofData, gasCost: context.gasCost };
-      }
-    };
-    this.impureCircuits = {
-      update_color: this.circuits.update_color,
-      update_costs: this.circuits.update_costs,
-      update_target_and_fields: this.circuits.update_target_and_fields,
-      buy_domain_for: this.circuits.buy_domain_for,
-      add_multiple_fields: this.circuits.add_multiple_fields,
-      insert_field: this.circuits.insert_field,
-      clear_field: this.circuits.clear_field,
-      clear_all_fields: this.circuits.clear_all_fields,
-      register_domain_for: this.circuits.register_domain_for,
-      set_resolver: this.circuits.set_resolver,
-      update_domain_target: this.circuits.update_domain_target,
-      transfer_domain: this.circuits.transfer_domain,
-      change_owner: this.circuits.change_owner
-    };
-    this.provableCircuits = {
-      update_color: this.circuits.update_color,
-      update_costs: this.circuits.update_costs,
-      update_target_and_fields: this.circuits.update_target_and_fields,
-      buy_domain_for: this.circuits.buy_domain_for,
-      add_multiple_fields: this.circuits.add_multiple_fields,
-      insert_field: this.circuits.insert_field,
-      clear_field: this.circuits.clear_field,
-      clear_all_fields: this.circuits.clear_all_fields,
-      register_domain_for: this.circuits.register_domain_for,
-      set_resolver: this.circuits.set_resolver,
-      update_domain_target: this.circuits.update_domain_target,
-      transfer_domain: this.circuits.transfer_domain,
-      change_owner: this.circuits.change_owner
-    };
-  }
-  initialState(...args_0) {
-    if (args_0.length !== 10) {
-      throw new __compactRuntime.CompactError(`Contract state constructor: expected 10 arguments (as invoked from Typescript), received ${args_0.length}`);
-    }
-    const constructorContext_0 = args_0[0];
-    const parent_domain_0 = args_0[1];
-    const parent_resolver_0 = args_0[2];
-    const target_0 = args_0[3];
-    const domain_0 = args_0[4];
-    const coin_color_0 = args_0[5];
-    const cost_short_0 = args_0[6];
-    const cost_med_0 = args_0[7];
-    const cost_long_0 = args_0[8];
-    const kvs_0 = args_0[9];
-    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`);
-    }
-    if (!(typeof(parent_domain_0) === 'object' && typeof(parent_domain_0.is_some) === 'boolean' && parent_domain_0.value.buffer instanceof ArrayBuffer && parent_domain_0.value.BYTES_PER_ELEMENT === 1 && parent_domain_0.value.length === 32)) {
-      __compactRuntime.typeError('Contract state constructor',
-                                 'argument 1 (argument 2 as invoked from Typescript)',
-                                 'leaf.compact line 53 char 1',
-                                 'struct Maybe<is_some: Boolean, value: Bytes<32>>',
-                                 parent_domain_0)
-    }
-    if (!(typeof(parent_resolver_0) === 'object' && parent_resolver_0.bytes.buffer instanceof ArrayBuffer && parent_resolver_0.bytes.BYTES_PER_ELEMENT === 1 && parent_resolver_0.bytes.length === 32)) {
-      __compactRuntime.typeError('Contract state constructor',
-                                 'argument 2 (argument 3 as invoked from Typescript)',
-                                 'leaf.compact line 53 char 1',
-                                 'struct ContractAddress<bytes: Bytes<32>>',
-                                 parent_resolver_0)
-    }
-    if (!(typeof(target_0) === 'object' && typeof(target_0.is_left) === 'boolean' && typeof(target_0.left) === 'object' && target_0.left.bytes.buffer instanceof ArrayBuffer && target_0.left.bytes.BYTES_PER_ELEMENT === 1 && target_0.left.bytes.length === 32 && typeof(target_0.right) === 'object' && target_0.right.bytes.buffer instanceof ArrayBuffer && target_0.right.bytes.BYTES_PER_ELEMENT === 1 && target_0.right.bytes.length === 32)) {
-      __compactRuntime.typeError('Contract state constructor',
-                                 'argument 3 (argument 4 as invoked from Typescript)',
-                                 'leaf.compact line 53 char 1',
-                                 'struct Either<is_left: Boolean, left: struct ZswapCoinPublicKey<bytes: Bytes<32>>, right: struct ContractAddress<bytes: Bytes<32>>>',
-                                 target_0)
-    }
-    if (!(typeof(domain_0) === 'object' && typeof(domain_0.is_some) === 'boolean' && domain_0.value.buffer instanceof ArrayBuffer && domain_0.value.BYTES_PER_ELEMENT === 1 && domain_0.value.length === 32)) {
-      __compactRuntime.typeError('Contract state constructor',
-                                 'argument 4 (argument 5 as invoked from Typescript)',
-                                 'leaf.compact line 53 char 1',
-                                 'struct Maybe<is_some: Boolean, value: Bytes<32>>',
-                                 domain_0)
-    }
-    if (!(coin_color_0.buffer instanceof ArrayBuffer && coin_color_0.BYTES_PER_ELEMENT === 1 && coin_color_0.length === 32)) {
-      __compactRuntime.typeError('Contract state constructor',
-                                 'argument 5 (argument 6 as invoked from Typescript)',
-                                 'leaf.compact line 53 char 1',
-                                 'Bytes<32>',
-                                 coin_color_0)
-    }
-    if (!(typeof(cost_short_0) === 'bigint' && cost_short_0 >= 0n && cost_short_0 <= 340282366920938463463374607431768211455n)) {
-      __compactRuntime.typeError('Contract state constructor',
-                                 'argument 6 (argument 7 as invoked from Typescript)',
-                                 'leaf.compact line 53 char 1',
-                                 'Uint<0..340282366920938463463374607431768211456>',
-                                 cost_short_0)
-    }
-    if (!(typeof(cost_med_0) === 'bigint' && cost_med_0 >= 0n && cost_med_0 <= 340282366920938463463374607431768211455n)) {
-      __compactRuntime.typeError('Contract state constructor',
-                                 'argument 7 (argument 8 as invoked from Typescript)',
-                                 'leaf.compact line 53 char 1',
-                                 'Uint<0..340282366920938463463374607431768211456>',
-                                 cost_med_0)
-    }
-    if (!(typeof(cost_long_0) === 'bigint' && cost_long_0 >= 0n && cost_long_0 <= 340282366920938463463374607431768211455n)) {
-      __compactRuntime.typeError('Contract state constructor',
-                                 'argument 8 (argument 9 as invoked from Typescript)',
-                                 'leaf.compact line 53 char 1',
-                                 'Uint<0..340282366920938463463374607431768211456>',
-                                 cost_long_0)
-    }
-    if (!(Array.isArray(kvs_0) && kvs_0.length === 10 && kvs_0.every((t) => typeof(t) === 'object' && typeof(t.is_some) === 'boolean' && Array.isArray(t.value) && t.value.length === 2  && true && true))) {
-      __compactRuntime.typeError('Contract state constructor',
-                                 'argument 9 (argument 10 as invoked from Typescript)',
-                                 'leaf.compact line 53 char 1',
-                                 'Vector<10, struct Maybe<is_some: Boolean, value: [Opaque<"string">, Opaque<"string">]>>',
-                                 kvs_0)
-    }
-    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());
-    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());
-    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('update_color', new __compactRuntime.ContractOperation());
-    state_0.setOperation('update_costs', new __compactRuntime.ContractOperation());
-    state_0.setOperation('update_target_and_fields', new __compactRuntime.ContractOperation());
-    state_0.setOperation('buy_domain_for', new __compactRuntime.ContractOperation());
-    state_0.setOperation('add_multiple_fields', new __compactRuntime.ContractOperation());
-    state_0.setOperation('insert_field', new __compactRuntime.ContractOperation());
-    state_0.setOperation('clear_field', new __compactRuntime.ContractOperation());
-    state_0.setOperation('clear_all_fields', new __compactRuntime.ContractOperation());
-    state_0.setOperation('register_domain_for', new __compactRuntime.ContractOperation());
-    state_0.setOperation('set_resolver', new __compactRuntime.ContractOperation());
-    state_0.setOperation('update_domain_target', new __compactRuntime.ContractOperation());
-    state_0.setOperation('transfer_domain', new __compactRuntime.ContractOperation());
-    state_0.setOperation('change_owner', new __compactRuntime.ContractOperation());
-    const context = __compactRuntime.createCircuitContext(__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_17.toValue(0n),
-                                                                                              alignment: _descriptor_17.alignment() }).encode() } },
-                                       { push: { storage: true,
-                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_16.toValue({ is_some: false, value: new Uint8Array(32) }),
-                                                                                              alignment: _descriptor_16.alignment() }).encode() } },
-                                       { ins: { cached: false, n: 1 } }]);
-    __compactRuntime.queryLedgerState(context,
-                                      partialProofData,
-                                      [
-                                       { push: { storage: false,
-                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_17.toValue(1n),
-                                                                                              alignment: _descriptor_17.alignment() }).encode() } },
-                                       { push: { storage: true,
-                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_2.toValue({ bytes: new Uint8Array(32) }),
-                                                                                              alignment: _descriptor_2.alignment() }).encode() } },
-                                       { ins: { cached: false, n: 1 } }]);
-    __compactRuntime.queryLedgerState(context,
-                                      partialProofData,
-                                      [
-                                       { push: { storage: false,
-                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_17.toValue(2n),
-                                                                                              alignment: _descriptor_17.alignment() }).encode() } },
-                                       { push: { storage: true,
-                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_16.toValue({ is_some: false, value: new Uint8Array(32) }),
-                                                                                              alignment: _descriptor_16.alignment() }).encode() } },
-                                       { ins: { cached: false, n: 1 } }]);
-    __compactRuntime.queryLedgerState(context,
-                                      partialProofData,
-                                      [
-                                       { push: { storage: false,
-                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_17.toValue(3n),
-                                                                                              alignment: _descriptor_17.alignment() }).encode() } },
-                                       { push: { storage: true,
-                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue({ bytes: new Uint8Array(32) }),
-                                                                                              alignment: _descriptor_1.alignment() }).encode() } },
-                                       { ins: { cached: false, n: 1 } }]);
-    __compactRuntime.queryLedgerState(context,
-                                      partialProofData,
-                                      [
-                                       { push: { storage: false,
-                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_17.toValue(4n),
-                                                                                              alignment: _descriptor_17.alignment() }).encode() } },
-                                       { push: { storage: true,
-                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_6.toValue({ is_left: false, left: { bytes: new Uint8Array(32) }, right: { bytes: new Uint8Array(32) } }),
-                                                                                              alignment: _descriptor_6.alignment() }).encode() } },
-                                       { ins: { cached: false, n: 1 } }]);
-    __compactRuntime.queryLedgerState(context,
-                                      partialProofData,
-                                      [
-                                       { push: { storage: false,
-                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_17.toValue(5n),
-                                                                                              alignment: _descriptor_17.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_17.toValue(6n),
-                                                                                              alignment: _descriptor_17.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_17.toValue(7n),
-                                                                                              alignment: _descriptor_17.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_17.toValue(8n),
-                                                                                              alignment: _descriptor_17.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 } }]);
-    __compactRuntime.queryLedgerState(context,
-                                      partialProofData,
-                                      [
-                                       { push: { storage: false,
-                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_17.toValue(9n),
-                                                                                              alignment: _descriptor_17.alignment() }).encode() } },
-                                       { push: { storage: true,
-                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_9.toValue(0n),
-                                                                                              alignment: _descriptor_9.alignment() }).encode() } },
-                                       { ins: { cached: false, n: 1 } }]);
-    __compactRuntime.queryLedgerState(context,
-                                      partialProofData,
-                                      [
-                                       { push: { storage: false,
-                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_17.toValue(10n),
-                                                                                              alignment: _descriptor_17.alignment() }).encode() } },
-                                       { push: { storage: true,
-                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_9.toValue(0n),
-                                                                                              alignment: _descriptor_9.alignment() }).encode() } },
-                                       { ins: { cached: false, n: 1 } }]);
-    __compactRuntime.queryLedgerState(context,
-                                      partialProofData,
-                                      [
-                                       { push: { storage: false,
-                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_17.toValue(11n),
-                                                                                              alignment: _descriptor_17.alignment() }).encode() } },
-                                       { push: { storage: true,
-                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_9.toValue(0n),
-                                                                                              alignment: _descriptor_9.alignment() }).encode() } },
-                                       { ins: { cached: false, n: 1 } }]);
-    const tmp_0 = this._ownPublicKey_0(context, partialProofData);
-    __compactRuntime.queryLedgerState(context,
-                                      partialProofData,
-                                      [
-                                       { push: { storage: false,
-                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_17.toValue(3n),
-                                                                                              alignment: _descriptor_17.alignment() }).encode() } },
-                                       { push: { storage: true,
-                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(tmp_0),
-                                                                                              alignment: _descriptor_1.alignment() }).encode() } },
-                                       { ins: { cached: false, n: 1 } }]);
-    __compactRuntime.queryLedgerState(context,
-                                      partialProofData,
-                                      [
-                                       { push: { storage: false,
-                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_17.toValue(0n),
-                                                                                              alignment: _descriptor_17.alignment() }).encode() } },
-                                       { push: { storage: true,
-                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_16.toValue(parent_domain_0),
-                                                                                              alignment: _descriptor_16.alignment() }).encode() } },
-                                       { ins: { cached: false, n: 1 } }]);
-    __compactRuntime.queryLedgerState(context,
-                                      partialProofData,
-                                      [
-                                       { push: { storage: false,
-                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_17.toValue(1n),
-                                                                                              alignment: _descriptor_17.alignment() }).encode() } },
-                                       { push: { storage: true,
-                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_2.toValue(parent_resolver_0),
-                                                                                              alignment: _descriptor_2.alignment() }).encode() } },
-                                       { ins: { cached: false, n: 1 } }]);
-    __compactRuntime.queryLedgerState(context,
-                                      partialProofData,
-                                      [
-                                       { push: { storage: false,
-                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_17.toValue(4n),
-                                                                                              alignment: _descriptor_17.alignment() }).encode() } },
-                                       { push: { storage: true,
-                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_6.toValue(target_0),
-                                                                                              alignment: _descriptor_6.alignment() }).encode() } },
-                                       { ins: { cached: false, n: 1 } }]);
-    __compactRuntime.queryLedgerState(context,
-                                      partialProofData,
-                                      [
-                                       { push: { storage: false,
-                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_17.toValue(2n),
-                                                                                              alignment: _descriptor_17.alignment() }).encode() } },
-                                       { push: { storage: true,
-                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_16.toValue(domain_0),
-                                                                                              alignment: _descriptor_16.alignment() }).encode() } },
-                                       { ins: { cached: false, n: 1 } }]);
-    __compactRuntime.queryLedgerState(context,
-                                      partialProofData,
-                                      [
-                                       { push: { storage: false,
-                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_17.toValue(8n),
-                                                                                              alignment: _descriptor_17.alignment() }).encode() } },
-                                       { push: { storage: true,
-                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(coin_color_0),
-                                                                                              alignment: _descriptor_0.alignment() }).encode() } },
-                                       { ins: { cached: false, n: 1 } }]);
-    __compactRuntime.queryLedgerState(context,
-                                      partialProofData,
-                                      [
-                                       { push: { storage: false,
-                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_17.toValue(9n),
-                                                                                              alignment: _descriptor_17.alignment() }).encode() } },
-                                       { push: { storage: true,
-                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_9.toValue(cost_short_0),
-                                                                                              alignment: _descriptor_9.alignment() }).encode() } },
-                                       { ins: { cached: false, n: 1 } }]);
-    __compactRuntime.queryLedgerState(context,
-                                      partialProofData,
-                                      [
-                                       { push: { storage: false,
-                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_17.toValue(10n),
-                                                                                              alignment: _descriptor_17.alignment() }).encode() } },
-                                       { push: { storage: true,
-                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_9.toValue(cost_med_0),
-                                                                                              alignment: _descriptor_9.alignment() }).encode() } },
-                                       { ins: { cached: false, n: 1 } }]);
-    __compactRuntime.queryLedgerState(context,
-                                      partialProofData,
-                                      [
-                                       { push: { storage: false,
-                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_17.toValue(11n),
-                                                                                              alignment: _descriptor_17.alignment() }).encode() } },
-                                       { push: { storage: true,
-                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_9.toValue(cost_long_0),
-                                                                                              alignment: _descriptor_9.alignment() }).encode() } },
-                                       { ins: { cached: false, n: 1 } }]);
-    this._folder_0(context,
-                   partialProofData,
-                   ((context, partialProofData, t_0, kv_0) =>
-                    {
-                      if (!this._equal_0(kv_0, this._none_0())) {
-                        const tmp_1 = kv_0.value[0];
-                        const tmp_2 = kv_0.value[1];
-                        __compactRuntime.queryLedgerState(context,
-                                                          partialProofData,
-                                                          [
-                                                           { idx: { cached: false,
-                                                                    pushPath: true,
-                                                                    path: [
-                                                                           { tag: 'value',
-                                                                             value: { value: _descriptor_17.toValue(7n),
-                                                                                      alignment: _descriptor_17.alignment() } }] } },
-                                                           { push: { storage: false,
-                                                                     value: __compactRuntime.StateValue.newCell({ value: _descriptor_7.toValue(tmp_1),
-                                                                                                                  alignment: _descriptor_7.alignment() }).encode() } },
-                                                           { push: { storage: true,
-                                                                     value: __compactRuntime.StateValue.newCell({ value: _descriptor_7.toValue(tmp_2),
-                                                                                                                  alignment: _descriptor_7.alignment() }).encode() } },
-                                                           { ins: { cached: false,
-                                                                    n: 1 } },
-                                                           { ins: { cached: true,
-                                                                    n: 1 } }]);
-                      }
-                      return t_0;
-                    }),
-                   [],
-                   kvs_0);
-    state_0.data = new __compactRuntime.ChargedState(context.currentQueryContext.state.state);
-    return {
-      currentContractState: state_0,
-      currentPrivateState: context.currentPrivateState,
-      currentZswapLocalState: context.currentZswapLocalState
-    }
-  }
-  _none_0() { return { is_some: false, value: ['', ''] }; }
-  _left_0(value_0) {
-    return { is_left: true, left: value_0, right: new Uint8Array(32) };
-  }
-  _right_0(value_0) {
-    return { is_left: false, left: { bytes: new Uint8Array(32) }, right: value_0 };
-  }
-  _sendUnshielded_0(context, partialProofData, color_0, amount_0, recipient_0) {
-    const tmp_0 = this._left_0(color_0);
-    __compactRuntime.queryLedgerState(context,
-                                      partialProofData,
-                                      [
-                                       { swap: { n: 0 } },
-                                       { idx: { cached: true,
-                                                pushPath: true,
-                                                path: [
-                                                       { tag: 'value',
-                                                         value: { value: _descriptor_17.toValue(7n),
-                                                                  alignment: _descriptor_17.alignment() } }] } },
-                                       { push: { storage: false,
-                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_13.toValue(tmp_0),
-                                                                                              alignment: _descriptor_13.alignment() }).encode() } },
-                                       { dup: { n: 1 } },
-                                       { dup: { n: 1 } },
-                                       'member',
-                                       { push: { storage: false,
-                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_9.toValue(amount_0),
-                                                                                              alignment: _descriptor_9.alignment() }).encode() } },
-                                       { swap: { n: 0 } },
-                                       'neg',
-                                       { branch: { skip: 4 } },
-                                       { dup: { n: 2 } },
-                                       { dup: { n: 2 } },
-                                       { idx: { cached: true,
-                                                pushPath: false,
-                                                path: [ { tag: 'stack' }] } },
-                                       'add',
-                                       { ins: { cached: true, n: 2 } },
-                                       { swap: { n: 0 } }]);
-    const tmp_1 = this._left_0(color_0);
-    __compactRuntime.queryLedgerState(context,
-                                      partialProofData,
-                                      [
-                                       { swap: { n: 0 } },
-                                       { idx: { cached: true,
-                                                pushPath: true,
-                                                path: [
-                                                       { tag: 'value',
-                                                         value: { value: _descriptor_17.toValue(8n),
-                                                                  alignment: _descriptor_17.alignment() } }] } },
-                                       { push: { storage: false,
-                                                 value: __compactRuntime.StateValue.newCell(__compactRuntime.alignedConcat(
-                                                                                              { value: _descriptor_13.toValue(tmp_1),
-                                                                                                alignment: _descriptor_13.alignment() },
-                                                                                              { value: _descriptor_15.toValue(recipient_0),
-                                                                                                alignment: _descriptor_15.alignment() }
-                                                                                            )).encode() } },
-                                       { dup: { n: 1 } },
-                                       { dup: { n: 1 } },
-                                       'member',
-                                       { push: { storage: false,
-                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_9.toValue(amount_0),
-                                                                                              alignment: _descriptor_9.alignment() }).encode() } },
-                                       { swap: { n: 0 } },
-                                       'neg',
-                                       { branch: { skip: 4 } },
-                                       { dup: { n: 2 } },
-                                       { dup: { n: 2 } },
-                                       { idx: { cached: true,
-                                                pushPath: false,
-                                                path: [ { tag: 'stack' }] } },
-                                       'add',
-                                       { ins: { cached: true, n: 2 } },
-                                       { swap: { n: 0 } }]);
-    if (recipient_0.is_left
-        &&
-        this._equal_1(recipient_0.left.bytes,
-                      _descriptor_2.fromValue(__compactRuntime.queryLedgerState(context,
-                                                                                partialProofData,
-                                                                                [
-                                                                                 { dup: { n: 2 } },
-                                                                                 { idx: { cached: true,
-                                                                                          pushPath: false,
-                                                                                          path: [
-                                                                                                 { tag: 'value',
-                                                                                                   value: { value: _descriptor_17.toValue(0n),
-                                                                                                            alignment: _descriptor_17.alignment() } }] } },
-                                                                                 { popeq: { cached: true,
-                                                                                            result: undefined } }]).value).bytes))
-    {
-      const tmp_2 = this._left_0(color_0);
-      __compactRuntime.queryLedgerState(context,
-                                        partialProofData,
-                                        [
-                                         { swap: { n: 0 } },
-                                         { idx: { cached: true,
-                                                  pushPath: true,
-                                                  path: [
-                                                         { tag: 'value',
-                                                           value: { value: _descriptor_17.toValue(6n),
-                                                                    alignment: _descriptor_17.alignment() } }] } },
-                                         { push: { storage: false,
-                                                   value: __compactRuntime.StateValue.newCell({ value: _descriptor_13.toValue(tmp_2),
-                                                                                                alignment: _descriptor_13.alignment() }).encode() } },
-                                         { dup: { n: 1 } },
-                                         { dup: { n: 1 } },
-                                         'member',
-                                         { push: { storage: false,
-                                                   value: __compactRuntime.StateValue.newCell({ value: _descriptor_9.toValue(amount_0),
-                                                                                                alignment: _descriptor_9.alignment() }).encode() } },
-                                         { swap: { n: 0 } },
-                                         'neg',
-                                         { branch: { skip: 4 } },
-                                         { dup: { n: 2 } },
-                                         { dup: { n: 2 } },
-                                         { idx: { cached: true,
-                                                  pushPath: false,
-                                                  path: [ { tag: 'stack' }] } },
-                                         'add',
-                                         { ins: { cached: true, n: 2 } },
-                                         { swap: { n: 0 } }]);
-    }
-    return [];
-  }
-  _receiveUnshielded_0(context, partialProofData, color_0, amount_0) {
-    const tmp_0 = this._left_0(color_0);
-    __compactRuntime.queryLedgerState(context,
-                                      partialProofData,
-                                      [
-                                       { swap: { n: 0 } },
-                                       { idx: { cached: true,
-                                                pushPath: true,
-                                                path: [
-                                                       { tag: 'value',
-                                                         value: { value: _descriptor_17.toValue(6n),
-                                                                  alignment: _descriptor_17.alignment() } }] } },
-                                       { push: { storage: false,
-                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_13.toValue(tmp_0),
-                                                                                              alignment: _descriptor_13.alignment() }).encode() } },
-                                       { dup: { n: 1 } },
-                                       { dup: { n: 1 } },
-                                       'member',
-                                       { push: { storage: false,
-                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_9.toValue(amount_0),
-                                                                                              alignment: _descriptor_9.alignment() }).encode() } },
-                                       { swap: { n: 0 } },
-                                       'neg',
-                                       { branch: { skip: 4 } },
-                                       { dup: { n: 2 } },
-                                       { dup: { n: 2 } },
-                                       { idx: { cached: true,
-                                                pushPath: false,
-                                                path: [ { tag: 'stack' }] } },
-                                       'add',
-                                       { ins: { cached: true, n: 2 } },
-                                       { swap: { n: 0 } }]);
-    return [];
-  }
-  _ownPublicKey_0(context, partialProofData) {
-    const result_0 = __compactRuntime.ownPublicKey(context);
-    partialProofData.privateTranscriptOutputs.push({
-      value: _descriptor_1.toValue(result_0),
-      alignment: _descriptor_1.alignment()
-    });
-    return result_0;
-  }
-  _update_color_0(context, partialProofData, c_0) {
-    __compactRuntime.assert(this._equal_2(_descriptor_1.fromValue(__compactRuntime.queryLedgerState(context,
-                                                                                                    partialProofData,
-                                                                                                    [
-                                                                                                     { dup: { n: 0 } },
-                                                                                                     { idx: { cached: false,
-                                                                                                              pushPath: false,
-                                                                                                              path: [
-                                                                                                                     { tag: 'value',
-                                                                                                                       value: { value: _descriptor_17.toValue(3n),
-                                                                                                                                alignment: _descriptor_17.alignment() } }] } },
-                                                                                                     { popeq: { cached: false,
-                                                                                                                result: undefined } }]).value),
-                                          this._ownPublicKey_0(context,
-                                                               partialProofData)),
-                            'Not the owner');
-    __compactRuntime.queryLedgerState(context,
-                                      partialProofData,
-                                      [
-                                       { push: { storage: false,
-                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_17.toValue(8n),
-                                                                                              alignment: _descriptor_17.alignment() }).encode() } },
-                                       { push: { storage: true,
-                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(c_0),
-                                                                                              alignment: _descriptor_0.alignment() }).encode() } },
-                                       { ins: { cached: false, n: 1 } }]);
-    return [];
-  }
-  _update_costs_0(context,
-                  partialProofData,
-                  cost_short_0,
-                  cost_med_0,
-                  cost_long_0)
-  {
-    __compactRuntime.assert(this._equal_3(_descriptor_1.fromValue(__compactRuntime.queryLedgerState(context,
-                                                                                                    partialProofData,
-                                                                                                    [
-                                                                                                     { dup: { n: 0 } },
-                                                                                                     { idx: { cached: false,
-                                                                                                              pushPath: false,
-                                                                                                              path: [
-                                                                                                                     { tag: 'value',
-                                                                                                                       value: { value: _descriptor_17.toValue(3n),
-                                                                                                                                alignment: _descriptor_17.alignment() } }] } },
-                                                                                                     { popeq: { cached: false,
-                                                                                                                result: undefined } }]).value),
-                                          this._ownPublicKey_0(context,
-                                                               partialProofData)),
-                            'Not the owner');
-    __compactRuntime.queryLedgerState(context,
-                                      partialProofData,
-                                      [
-                                       { push: { storage: false,
-                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_17.toValue(9n),
-                                                                                              alignment: _descriptor_17.alignment() }).encode() } },
-                                       { push: { storage: true,
-                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_9.toValue(cost_short_0),
-                                                                                              alignment: _descriptor_9.alignment() }).encode() } },
-                                       { ins: { cached: false, n: 1 } }]);
-    __compactRuntime.queryLedgerState(context,
-                                      partialProofData,
-                                      [
-                                       { push: { storage: false,
-                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_17.toValue(10n),
-                                                                                              alignment: _descriptor_17.alignment() }).encode() } },
-                                       { push: { storage: true,
-                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_9.toValue(cost_med_0),
-                                                                                              alignment: _descriptor_9.alignment() }).encode() } },
-                                       { ins: { cached: false, n: 1 } }]);
-    __compactRuntime.queryLedgerState(context,
-                                      partialProofData,
-                                      [
-                                       { push: { storage: false,
-                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_17.toValue(11n),
-                                                                                              alignment: _descriptor_17.alignment() }).encode() } },
-                                       { push: { storage: true,
-                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_9.toValue(cost_long_0),
-                                                                                              alignment: _descriptor_9.alignment() }).encode() } },
-                                       { ins: { cached: false, n: 1 } }]);
-    return [];
-  }
-  _update_target_and_fields_0(context, partialProofData, new_target_0, kvs_0) {
-    __compactRuntime.assert(this._equal_4(_descriptor_1.fromValue(__compactRuntime.queryLedgerState(context,
-                                                                                                    partialProofData,
-                                                                                                    [
-                                                                                                     { dup: { n: 0 } },
-                                                                                                     { idx: { cached: false,
-                                                                                                              pushPath: false,
-                                                                                                              path: [
-                                                                                                                     { tag: 'value',
-                                                                                                                       value: { value: _descriptor_17.toValue(3n),
-                                                                                                                                alignment: _descriptor_17.alignment() } }] } },
-                                                                                                     { popeq: { cached: false,
-                                                                                                                result: undefined } }]).value),
-                                          this._ownPublicKey_0(context,
-                                                               partialProofData)),
-                            'Not the domain owner');
-    this._folder_1(context,
-                   partialProofData,
-                   ((context, partialProofData, t_0, kv_0) =>
-                    {
-                      if (!this._equal_5(kv_0, this._none_0())) {
-                        const tmp_0 = kv_0.value[0];
-                        const tmp_1 = kv_0.value[1];
-                        __compactRuntime.queryLedgerState(context,
-                                                          partialProofData,
-                                                          [
-                                                           { idx: { cached: false,
-                                                                    pushPath: true,
-                                                                    path: [
-                                                                           { tag: 'value',
-                                                                             value: { value: _descriptor_17.toValue(7n),
-                                                                                      alignment: _descriptor_17.alignment() } }] } },
-                                                           { push: { storage: false,
-                                                                     value: __compactRuntime.StateValue.newCell({ value: _descriptor_7.toValue(tmp_0),
-                                                                                                                  alignment: _descriptor_7.alignment() }).encode() } },
-                                                           { push: { storage: true,
-                                                                     value: __compactRuntime.StateValue.newCell({ value: _descriptor_7.toValue(tmp_1),
-                                                                                                                  alignment: _descriptor_7.alignment() }).encode() } },
-                                                           { ins: { cached: false,
-                                                                    n: 1 } },
-                                                           { ins: { cached: true,
-                                                                    n: 1 } }]);
-                      }
-                      return t_0;
-                    }),
-                   [],
-                   kvs_0);
-    __compactRuntime.queryLedgerState(context,
-                                      partialProofData,
-                                      [
-                                       { push: { storage: false,
-                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_17.toValue(4n),
-                                                                                              alignment: _descriptor_17.alignment() }).encode() } },
-                                       { push: { storage: true,
-                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_6.toValue(new_target_0),
-                                                                                              alignment: _descriptor_6.alignment() }).encode() } },
-                                       { ins: { cached: false, n: 1 } }]);
-    return [];
-  }
-  _buy_domain_for_0(context,
-                    partialProofData,
-                    owner_0,
-                    domain_0,
-                    len_0,
-                    resolver_0)
-  {
-    __compactRuntime.assert(len_0 <= 32n, 'len must be <= 32');
-    __compactRuntime.assert(len_0 >= 1n, 'domain name cannot be empty');
-    const valid_0 = this._folder_2(context,
-                                   partialProofData,
-                                   ((context,
-                                     partialProofData,
-                                     acc_0,
-                                     byte_0,
-                                     i_0) =>
-                                    {
-                                      let t_0;
-                                      return acc_0
-                                             &&
-                                             ((t_0 = i_0, t_0 < len_0)
-                                              ||
-                                              this._equal_6(byte_0, 255n));
-                                    }),
-                                   true,
-                                   domain_0,
-                                   [0n,
-                                    1n,
-                                    2n,
-                                    3n,
-                                    4n,
-                                    5n,
-                                    6n,
-                                    7n,
-                                    8n,
-                                    9n,
-                                    10n,
-                                    11n,
-                                    12n,
-                                    13n,
-                                    14n,
-                                    15n,
-                                    16n,
-                                    17n,
-                                    18n,
-                                    19n,
-                                    20n,
-                                    21n,
-                                    22n,
-                                    23n,
-                                    24n,
-                                    25n,
-                                    26n,
-                                    27n,
-                                    28n,
-                                    29n,
-                                    30n,
-                                    31n]);
-    __compactRuntime.assert(valid_0, 'Invalid domain key padding');
-    __compactRuntime.assert(!_descriptor_4.fromValue(__compactRuntime.queryLedgerState(context,
-                                                                                       partialProofData,
-                                                                                       [
-                                                                                        { dup: { n: 0 } },
-                                                                                        { idx: { cached: false,
-                                                                                                 pushPath: false,
-                                                                                                 path: [
-                                                                                                        { tag: 'value',
-                                                                                                          value: { value: _descriptor_17.toValue(5n),
-                                                                                                                   alignment: _descriptor_17.alignment() } }] } },
-                                                                                        { push: { storage: false,
-                                                                                                  value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(domain_0),
-                                                                                                                                               alignment: _descriptor_0.alignment() }).encode() } },
-                                                                                        'member',
-                                                                                        { popeq: { cached: true,
-                                                                                                   result: undefined } }]).value),
-                            'Domain already exists');
-    const d_len_0 = len_0;
-    if (d_len_0 <= 3n) {
-      this._receiveUnshielded_0(context,
-                                partialProofData,
-                                _descriptor_0.fromValue(__compactRuntime.queryLedgerState(context,
-                                                                                          partialProofData,
-                                                                                          [
-                                                                                           { dup: { n: 0 } },
-                                                                                           { idx: { cached: false,
-                                                                                                    pushPath: false,
-                                                                                                    path: [
-                                                                                                           { tag: 'value',
-                                                                                                             value: { value: _descriptor_17.toValue(8n),
-                                                                                                                      alignment: _descriptor_17.alignment() } }] } },
-                                                                                           { popeq: { cached: false,
-                                                                                                      result: undefined } }]).value),
-                                _descriptor_9.fromValue(__compactRuntime.queryLedgerState(context,
-                                                                                          partialProofData,
-                                                                                          [
-                                                                                           { dup: { n: 0 } },
-                                                                                           { idx: { cached: false,
-                                                                                                    pushPath: false,
-                                                                                                    path: [
-                                                                                                           { tag: 'value',
-                                                                                                             value: { value: _descriptor_17.toValue(9n),
-                                                                                                                      alignment: _descriptor_17.alignment() } }] } },
-                                                                                           { popeq: { cached: false,
-                                                                                                      result: undefined } }]).value));
-      this._sendUnshielded_0(context,
-                             partialProofData,
-                             _descriptor_0.fromValue(__compactRuntime.queryLedgerState(context,
-                                                                                       partialProofData,
-                                                                                       [
-                                                                                        { dup: { n: 0 } },
-                                                                                        { idx: { cached: false,
-                                                                                                 pushPath: false,
-                                                                                                 path: [
-                                                                                                        { tag: 'value',
-                                                                                                          value: { value: _descriptor_17.toValue(8n),
-                                                                                                                   alignment: _descriptor_17.alignment() } }] } },
-                                                                                        { popeq: { cached: false,
-                                                                                                   result: undefined } }]).value),
-                             _descriptor_9.fromValue(__compactRuntime.queryLedgerState(context,
-                                                                                       partialProofData,
-                                                                                       [
-                                                                                        { dup: { n: 0 } },
-                                                                                        { idx: { cached: false,
-                                                                                                 pushPath: false,
-                                                                                                 path: [
-                                                                                                        { tag: 'value',
-                                                                                                          value: { value: _descriptor_17.toValue(9n),
-                                                                                                                   alignment: _descriptor_17.alignment() } }] } },
-                                                                                        { popeq: { cached: false,
-                                                                                                   result: undefined } }]).value),
-                             this._right_0({ bytes:
-                                               _descriptor_1.fromValue(__compactRuntime.queryLedgerState(context,
-                                                                                                         partialProofData,
-                                                                                                         [
-                                                                                                          { dup: { n: 0 } },
-                                                                                                          { idx: { cached: false,
-                                                                                                                   pushPath: false,
-                                                                                                                   path: [
-                                                                                                                          { tag: 'value',
-                                                                                                                            value: { value: _descriptor_17.toValue(3n),
-                                                                                                                                     alignment: _descriptor_17.alignment() } }] } },
-                                                                                                          { popeq: { cached: false,
-                                                                                                                     result: undefined } }]).value).bytes }));
-    } else {
-      if (this._equal_7(d_len_0, 4n)) {
-        this._receiveUnshielded_0(context,
-                                  partialProofData,
-                                  _descriptor_0.fromValue(__compactRuntime.queryLedgerState(context,
-                                                                                            partialProofData,
-                                                                                            [
-                                                                                             { dup: { n: 0 } },
-                                                                                             { idx: { cached: false,
-                                                                                                      pushPath: false,
-                                                                                                      path: [
-                                                                                                             { tag: 'value',
-                                                                                                               value: { value: _descriptor_17.toValue(8n),
-                                                                                                                        alignment: _descriptor_17.alignment() } }] } },
-                                                                                             { popeq: { cached: false,
-                                                                                                        result: undefined } }]).value),
-                                  _descriptor_9.fromValue(__compactRuntime.queryLedgerState(context,
-                                                                                            partialProofData,
-                                                                                            [
-                                                                                             { dup: { n: 0 } },
-                                                                                             { idx: { cached: false,
-                                                                                                      pushPath: false,
-                                                                                                      path: [
-                                                                                                             { tag: 'value',
-                                                                                                               value: { value: _descriptor_17.toValue(10n),
-                                                                                                                        alignment: _descriptor_17.alignment() } }] } },
-                                                                                             { popeq: { cached: false,
-                                                                                                        result: undefined } }]).value));
-        this._sendUnshielded_0(context,
-                               partialProofData,
-                               _descriptor_0.fromValue(__compactRuntime.queryLedgerState(context,
-                                                                                         partialProofData,
-                                                                                         [
-                                                                                          { dup: { n: 0 } },
-                                                                                          { idx: { cached: false,
-                                                                                                   pushPath: false,
-                                                                                                   path: [
-                                                                                                          { tag: 'value',
-                                                                                                            value: { value: _descriptor_17.toValue(8n),
-                                                                                                                     alignment: _descriptor_17.alignment() } }] } },
-                                                                                          { popeq: { cached: false,
-                                                                                                     result: undefined } }]).value),
-                               _descriptor_9.fromValue(__compactRuntime.queryLedgerState(context,
-                                                                                         partialProofData,
-                                                                                         [
-                                                                                          { dup: { n: 0 } },
-                                                                                          { idx: { cached: false,
-                                                                                                   pushPath: false,
-                                                                                                   path: [
-                                                                                                          { tag: 'value',
-                                                                                                            value: { value: _descriptor_17.toValue(10n),
-                                                                                                                     alignment: _descriptor_17.alignment() } }] } },
-                                                                                          { popeq: { cached: false,
-                                                                                                     result: undefined } }]).value),
-                               this._right_0({ bytes:
-                                                 _descriptor_1.fromValue(__compactRuntime.queryLedgerState(context,
-                                                                                                           partialProofData,
-                                                                                                           [
-                                                                                                            { dup: { n: 0 } },
-                                                                                                            { idx: { cached: false,
-                                                                                                                     pushPath: false,
-                                                                                                                     path: [
-                                                                                                                            { tag: 'value',
-                                                                                                                              value: { value: _descriptor_17.toValue(3n),
-                                                                                                                                       alignment: _descriptor_17.alignment() } }] } },
-                                                                                                            { popeq: { cached: false,
-                                                                                                                       result: undefined } }]).value).bytes }));
-      } else {
-        this._receiveUnshielded_0(context,
-                                  partialProofData,
-                                  _descriptor_0.fromValue(__compactRuntime.queryLedgerState(context,
-                                                                                            partialProofData,
-                                                                                            [
-                                                                                             { dup: { n: 0 } },
-                                                                                             { idx: { cached: false,
-                                                                                                      pushPath: false,
-                                                                                                      path: [
-                                                                                                             { tag: 'value',
-                                                                                                               value: { value: _descriptor_17.toValue(8n),
-                                                                                                                        alignment: _descriptor_17.alignment() } }] } },
-                                                                                             { popeq: { cached: false,
-                                                                                                        result: undefined } }]).value),
-                                  _descriptor_9.fromValue(__compactRuntime.queryLedgerState(context,
-                                                                                            partialProofData,
-                                                                                            [
-                                                                                             { dup: { n: 0 } },
-                                                                                             { idx: { cached: false,
-                                                                                                      pushPath: false,
-                                                                                                      path: [
-                                                                                                             { tag: 'value',
-                                                                                                               value: { value: _descriptor_17.toValue(11n),
-                                                                                                                        alignment: _descriptor_17.alignment() } }] } },
-                                                                                             { popeq: { cached: false,
-                                                                                                        result: undefined } }]).value));
-        this._sendUnshielded_0(context,
-                               partialProofData,
-                               _descriptor_0.fromValue(__compactRuntime.queryLedgerState(context,
-                                                                                         partialProofData,
-                                                                                         [
-                                                                                          { dup: { n: 0 } },
-                                                                                          { idx: { cached: false,
-                                                                                                   pushPath: false,
-                                                                                                   path: [
-                                                                                                          { tag: 'value',
-                                                                                                            value: { value: _descriptor_17.toValue(8n),
-                                                                                                                     alignment: _descriptor_17.alignment() } }] } },
-                                                                                          { popeq: { cached: false,
-                                                                                                     result: undefined } }]).value),
-                               _descriptor_9.fromValue(__compactRuntime.queryLedgerState(context,
-                                                                                         partialProofData,
-                                                                                         [
-                                                                                          { dup: { n: 0 } },
-                                                                                          { idx: { cached: false,
-                                                                                                   pushPath: false,
-                                                                                                   path: [
-                                                                                                          { tag: 'value',
-                                                                                                            value: { value: _descriptor_17.toValue(11n),
-                                                                                                                     alignment: _descriptor_17.alignment() } }] } },
-                                                                                          { popeq: { cached: false,
-                                                                                                     result: undefined } }]).value),
-                               this._right_0({ bytes:
-                                                 _descriptor_1.fromValue(__compactRuntime.queryLedgerState(context,
-                                                                                                           partialProofData,
-                                                                                                           [
-                                                                                                            { dup: { n: 0 } },
-                                                                                                            { idx: { cached: false,
-                                                                                                                     pushPath: false,
-                                                                                                                     path: [
-                                                                                                                            { tag: 'value',
-                                                                                                                              value: { value: _descriptor_17.toValue(3n),
-                                                                                                                                       alignment: _descriptor_17.alignment() } }] } },
-                                                                                                            { popeq: { cached: false,
-                                                                                                                       result: undefined } }]).value).bytes }));
-      }
-    }
-    const d_owner_0 = owner_0;
-    const domain_data_0 = { owner: d_owner_0, resolver: resolver_0 };
-    __compactRuntime.queryLedgerState(context,
-                                      partialProofData,
-                                      [
-                                       { idx: { cached: false,
-                                                pushPath: true,
-                                                path: [
-                                                       { tag: 'value',
-                                                         value: { value: _descriptor_17.toValue(5n),
-                                                                  alignment: _descriptor_17.alignment() } }] } },
-                                       { push: { storage: false,
-                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(domain_0),
-                                                                                              alignment: _descriptor_0.alignment() }).encode() } },
-                                       { push: { storage: true,
-                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_3.toValue(domain_data_0),
-                                                                                              alignment: _descriptor_3.alignment() }).encode() } },
-                                       { ins: { cached: false, n: 1 } },
-                                       { ins: { cached: true, n: 1 } }]);
-    if (!_descriptor_4.fromValue(__compactRuntime.queryLedgerState(context,
-                                                                   partialProofData,
-                                                                   [
-                                                                    { dup: { n: 0 } },
-                                                                    { idx: { cached: false,
-                                                                             pushPath: false,
-                                                                             path: [
-                                                                                    { tag: 'value',
-                                                                                      value: { value: _descriptor_17.toValue(6n),
-                                                                                               alignment: _descriptor_17.alignment() } }] } },
-                                                                    { push: { storage: false,
-                                                                              value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(d_owner_0),
-                                                                                                                           alignment: _descriptor_1.alignment() }).encode() } },
-                                                                    'member',
-                                                                    { popeq: { cached: true,
-                                                                               result: undefined } }]).value))
-    {
-      __compactRuntime.queryLedgerState(context,
-                                        partialProofData,
-                                        [
-                                         { idx: { cached: false,
-                                                  pushPath: true,
-                                                  path: [
-                                                         { tag: 'value',
-                                                           value: { value: _descriptor_17.toValue(6n),
-                                                                    alignment: _descriptor_17.alignment() } }] } },
-                                         { push: { storage: false,
-                                                   value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(d_owner_0),
-                                                                                                alignment: _descriptor_1.alignment() }).encode() } },
-                                         { push: { storage: true,
-                                                   value: __compactRuntime.StateValue.newMap(
-                                                            new __compactRuntime.StateMap()
-                                                          ).encode() } },
-                                         { ins: { cached: false, n: 1 } },
-                                         { ins: { cached: true, n: 1 } }]);
-    }
-    __compactRuntime.queryLedgerState(context,
-                                      partialProofData,
-                                      [
-                                       { idx: { cached: false,
-                                                pushPath: true,
-                                                path: [
-                                                       { tag: 'value',
-                                                         value: { value: _descriptor_17.toValue(6n),
-                                                                  alignment: _descriptor_17.alignment() } },
-                                                       { tag: 'value',
-                                                         value: { value: _descriptor_1.toValue(d_owner_0),
-                                                                  alignment: _descriptor_1.alignment() } }] } },
-                                       { push: { storage: false,
-                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(domain_0),
-                                                                                              alignment: _descriptor_0.alignment() }).encode() } },
-                                       { push: { storage: true,
-                                                 value: __compactRuntime.StateValue.newNull().encode() } },
-                                       { ins: { cached: false, n: 1 } },
-                                       { ins: { cached: true, n: 2 } }]);
-    return [];
-  }
-  _add_multiple_fields_0(context, partialProofData, kvs_0) {
-    __compactRuntime.assert(this._equal_8(_descriptor_1.fromValue(__compactRuntime.queryLedgerState(context,
-                                                                                                    partialProofData,
-                                                                                                    [
-                                                                                                     { dup: { n: 0 } },
-                                                                                                     { idx: { cached: false,
-                                                                                                              pushPath: false,
-                                                                                                              path: [
-                                                                                                                     { tag: 'value',
-                                                                                                                       value: { value: _descriptor_17.toValue(3n),
-                                                                                                                                alignment: _descriptor_17.alignment() } }] } },
-                                                                                                     { popeq: { cached: false,
-                                                                                                                result: undefined } }]).value),
-                                          this._ownPublicKey_0(context,
-                                                               partialProofData)),
-                            'Not the domain owner');
-    this._folder_3(context,
-                   partialProofData,
-                   ((context, partialProofData, t_0, kv_0) =>
-                    {
-                      if (!this._equal_9(kv_0, this._none_0())) {
-                        const tmp_0 = kv_0.value[0];
-                        const tmp_1 = kv_0.value[1];
-                        __compactRuntime.queryLedgerState(context,
-                                                          partialProofData,
-                                                          [
-                                                           { idx: { cached: false,
-                                                                    pushPath: true,
-                                                                    path: [
-                                                                           { tag: 'value',
-                                                                             value: { value: _descriptor_17.toValue(7n),
-                                                                                      alignment: _descriptor_17.alignment() } }] } },
-                                                           { push: { storage: false,
-                                                                     value: __compactRuntime.StateValue.newCell({ value: _descriptor_7.toValue(tmp_0),
-                                                                                                                  alignment: _descriptor_7.alignment() }).encode() } },
-                                                           { push: { storage: true,
-                                                                     value: __compactRuntime.StateValue.newCell({ value: _descriptor_7.toValue(tmp_1),
-                                                                                                                  alignment: _descriptor_7.alignment() }).encode() } },
-                                                           { ins: { cached: false,
-                                                                    n: 1 } },
-                                                           { ins: { cached: true,
-                                                                    n: 1 } }]);
-                      }
-                      return t_0;
-                    }),
-                   [],
-                   kvs_0);
-    return [];
-  }
-  _insert_field_0(context, partialProofData, k_0, v_0) {
-    __compactRuntime.assert(this._equal_10(_descriptor_1.fromValue(__compactRuntime.queryLedgerState(context,
-                                                                                                     partialProofData,
-                                                                                                     [
-                                                                                                      { dup: { n: 0 } },
-                                                                                                      { idx: { cached: false,
-                                                                                                               pushPath: false,
-                                                                                                               path: [
-                                                                                                                      { tag: 'value',
-                                                                                                                        value: { value: _descriptor_17.toValue(3n),
-                                                                                                                                 alignment: _descriptor_17.alignment() } }] } },
-                                                                                                      { popeq: { cached: false,
-                                                                                                                 result: undefined } }]).value),
-                                           this._ownPublicKey_0(context,
-                                                                partialProofData)),
-                            'Not the domain owner');
-    __compactRuntime.queryLedgerState(context,
-                                      partialProofData,
-                                      [
-                                       { idx: { cached: false,
-                                                pushPath: true,
-                                                path: [
-                                                       { tag: 'value',
-                                                         value: { value: _descriptor_17.toValue(7n),
-                                                                  alignment: _descriptor_17.alignment() } }] } },
-                                       { push: { storage: false,
-                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_7.toValue(k_0),
-                                                                                              alignment: _descriptor_7.alignment() }).encode() } },
-                                       { push: { storage: true,
-                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_7.toValue(v_0),
-                                                                                              alignment: _descriptor_7.alignment() }).encode() } },
-                                       { ins: { cached: false, n: 1 } },
-                                       { ins: { cached: true, n: 1 } }]);
-    return [];
-  }
-  _clear_field_0(context, partialProofData, k_0) {
-    __compactRuntime.assert(this._equal_11(_descriptor_1.fromValue(__compactRuntime.queryLedgerState(context,
-                                                                                                     partialProofData,
-                                                                                                     [
-                                                                                                      { dup: { n: 0 } },
-                                                                                                      { idx: { cached: false,
-                                                                                                               pushPath: false,
-                                                                                                               path: [
-                                                                                                                      { tag: 'value',
-                                                                                                                        value: { value: _descriptor_17.toValue(3n),
-                                                                                                                                 alignment: _descriptor_17.alignment() } }] } },
-                                                                                                      { popeq: { cached: false,
-                                                                                                                 result: undefined } }]).value),
-                                           this._ownPublicKey_0(context,
-                                                                partialProofData)),
-                            'Not the domain owner');
-    __compactRuntime.queryLedgerState(context,
-                                      partialProofData,
-                                      [
-                                       { idx: { cached: false,
-                                                pushPath: true,
-                                                path: [
-                                                       { tag: 'value',
-                                                         value: { value: _descriptor_17.toValue(7n),
-                                                                  alignment: _descriptor_17.alignment() } }] } },
-                                       { push: { storage: false,
-                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_7.toValue(k_0),
-                                                                                              alignment: _descriptor_7.alignment() }).encode() } },
-                                       { rem: { cached: false } },
-                                       { ins: { cached: true, n: 1 } }]);
-    return [];
-  }
-  _clear_all_fields_0(context, partialProofData) {
-    __compactRuntime.assert(this._equal_12(_descriptor_1.fromValue(__compactRuntime.queryLedgerState(context,
-                                                                                                     partialProofData,
-                                                                                                     [
-                                                                                                      { dup: { n: 0 } },
-                                                                                                      { idx: { cached: false,
-                                                                                                               pushPath: false,
-                                                                                                               path: [
-                                                                                                                      { tag: 'value',
-                                                                                                                        value: { value: _descriptor_17.toValue(3n),
-                                                                                                                                 alignment: _descriptor_17.alignment() } }] } },
-                                                                                                      { popeq: { cached: false,
-                                                                                                                 result: undefined } }]).value),
-                                           this._ownPublicKey_0(context,
-                                                                partialProofData)),
-                            'Not the domain owner');
-    __compactRuntime.queryLedgerState(context,
-                                      partialProofData,
-                                      [
-                                       { push: { storage: false,
-                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_17.toValue(7n),
-                                                                                              alignment: _descriptor_17.alignment() }).encode() } },
-                                       { push: { storage: true,
-                                                 value: __compactRuntime.StateValue.newMap(
-                                                          new __compactRuntime.StateMap()
-                                                        ).encode() } },
-                                       { ins: { cached: false, n: 1 } }]);
-    return [];
-  }
-  _register_domain_for_0(context,
-                         partialProofData,
-                         owner_0,
-                         domain_0,
-                         len_0,
-                         resolver_0)
-  {
-    __compactRuntime.assert(len_0 <= 32n, 'len must be <= 32');
-    __compactRuntime.assert(len_0 >= 1n, 'domain name cannot be empty');
-    const valid_0 = this._folder_4(context,
-                                   partialProofData,
-                                   ((context,
-                                     partialProofData,
-                                     acc_0,
-                                     byte_0,
-                                     i_0) =>
-                                    {
-                                      let t_0;
-                                      return acc_0
-                                             &&
-                                             ((t_0 = i_0, t_0 < len_0)
-                                              ||
-                                              this._equal_13(byte_0, 255n));
-                                    }),
-                                   true,
-                                   domain_0,
-                                   [0n,
-                                    1n,
-                                    2n,
-                                    3n,
-                                    4n,
-                                    5n,
-                                    6n,
-                                    7n,
-                                    8n,
-                                    9n,
-                                    10n,
-                                    11n,
-                                    12n,
-                                    13n,
-                                    14n,
-                                    15n,
-                                    16n,
-                                    17n,
-                                    18n,
-                                    19n,
-                                    20n,
-                                    21n,
-                                    22n,
-                                    23n,
-                                    24n,
-                                    25n,
-                                    26n,
-                                    27n,
-                                    28n,
-                                    29n,
-                                    30n,
-                                    31n]);
-    __compactRuntime.assert(valid_0, 'Invalid domain key padding');
-    __compactRuntime.assert(!_descriptor_4.fromValue(__compactRuntime.queryLedgerState(context,
-                                                                                       partialProofData,
-                                                                                       [
-                                                                                        { dup: { n: 0 } },
-                                                                                        { idx: { cached: false,
-                                                                                                 pushPath: false,
-                                                                                                 path: [
-                                                                                                        { tag: 'value',
-                                                                                                          value: { value: _descriptor_17.toValue(5n),
-                                                                                                                   alignment: _descriptor_17.alignment() } }] } },
-                                                                                        { push: { storage: false,
-                                                                                                  value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(domain_0),
-                                                                                                                                               alignment: _descriptor_0.alignment() }).encode() } },
-                                                                                        'member',
-                                                                                        { popeq: { cached: true,
-                                                                                                   result: undefined } }]).value),
-                            'Domain already exists');
-    __compactRuntime.assert(this._equal_14(_descriptor_1.fromValue(__compactRuntime.queryLedgerState(context,
-                                                                                                     partialProofData,
-                                                                                                     [
-                                                                                                      { dup: { n: 0 } },
-                                                                                                      { idx: { cached: false,
-                                                                                                               pushPath: false,
-                                                                                                               path: [
-                                                                                                                      { tag: 'value',
-                                                                                                                        value: { value: _descriptor_17.toValue(3n),
-                                                                                                                                 alignment: _descriptor_17.alignment() } }] } },
-                                                                                                      { popeq: { cached: false,
-                                                                                                                 result: undefined } }]).value),
-                                           this._ownPublicKey_0(context,
-                                                                partialProofData)),
-                            'Not the domain owner');
-    const d_owner_0 = owner_0;
-    const domain_data_0 = { owner: d_owner_0, resolver: resolver_0 };
-    __compactRuntime.queryLedgerState(context,
-                                      partialProofData,
-                                      [
-                                       { idx: { cached: false,
-                                                pushPath: true,
-                                                path: [
-                                                       { tag: 'value',
-                                                         value: { value: _descriptor_17.toValue(5n),
-                                                                  alignment: _descriptor_17.alignment() } }] } },
-                                       { push: { storage: false,
-                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(domain_0),
-                                                                                              alignment: _descriptor_0.alignment() }).encode() } },
-                                       { push: { storage: true,
-                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_3.toValue(domain_data_0),
-                                                                                              alignment: _descriptor_3.alignment() }).encode() } },
-                                       { ins: { cached: false, n: 1 } },
-                                       { ins: { cached: true, n: 1 } }]);
-    if (!_descriptor_4.fromValue(__compactRuntime.queryLedgerState(context,
-                                                                   partialProofData,
-                                                                   [
-                                                                    { dup: { n: 0 } },
-                                                                    { idx: { cached: false,
-                                                                             pushPath: false,
-                                                                             path: [
-                                                                                    { tag: 'value',
-                                                                                      value: { value: _descriptor_17.toValue(6n),
-                                                                                               alignment: _descriptor_17.alignment() } }] } },
-                                                                    { push: { storage: false,
-                                                                              value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(d_owner_0),
-                                                                                                                           alignment: _descriptor_1.alignment() }).encode() } },
-                                                                    'member',
-                                                                    { popeq: { cached: true,
-                                                                               result: undefined } }]).value))
-    {
-      __compactRuntime.queryLedgerState(context,
-                                        partialProofData,
-                                        [
-                                         { idx: { cached: false,
-                                                  pushPath: true,
-                                                  path: [
-                                                         { tag: 'value',
-                                                           value: { value: _descriptor_17.toValue(6n),
-                                                                    alignment: _descriptor_17.alignment() } }] } },
-                                         { push: { storage: false,
-                                                   value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(d_owner_0),
-                                                                                                alignment: _descriptor_1.alignment() }).encode() } },
-                                         { push: { storage: true,
-                                                   value: __compactRuntime.StateValue.newMap(
-                                                            new __compactRuntime.StateMap()
-                                                          ).encode() } },
-                                         { ins: { cached: false, n: 1 } },
-                                         { ins: { cached: true, n: 1 } }]);
-    }
-    __compactRuntime.queryLedgerState(context,
-                                      partialProofData,
-                                      [
-                                       { idx: { cached: false,
-                                                pushPath: true,
-                                                path: [
-                                                       { tag: 'value',
-                                                         value: { value: _descriptor_17.toValue(6n),
-                                                                  alignment: _descriptor_17.alignment() } },
-                                                       { tag: 'value',
-                                                         value: { value: _descriptor_1.toValue(d_owner_0),
-                                                                  alignment: _descriptor_1.alignment() } }] } },
-                                       { push: { storage: false,
-                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(domain_0),
-                                                                                              alignment: _descriptor_0.alignment() }).encode() } },
-                                       { push: { storage: true,
-                                                 value: __compactRuntime.StateValue.newNull().encode() } },
-                                       { ins: { cached: false, n: 1 } },
-                                       { ins: { cached: true, n: 2 } }]);
-    return [];
-  }
-  _set_resolver_0(context, partialProofData, domain_0, resolver_0) {
-    __compactRuntime.assert(_descriptor_4.fromValue(__compactRuntime.queryLedgerState(context,
-                                                                                      partialProofData,
-                                                                                      [
-                                                                                       { dup: { n: 0 } },
-                                                                                       { idx: { cached: false,
-                                                                                                pushPath: false,
-                                                                                                path: [
-                                                                                                       { tag: 'value',
-                                                                                                         value: { value: _descriptor_17.toValue(5n),
-                                                                                                                  alignment: _descriptor_17.alignment() } }] } },
-                                                                                       { push: { storage: false,
-                                                                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(domain_0),
-                                                                                                                                              alignment: _descriptor_0.alignment() }).encode() } },
-                                                                                       'member',
-                                                                                       { popeq: { cached: true,
-                                                                                                  result: undefined } }]).value),
-                            'Domain does not exist');
-    const current_data_0 = _descriptor_3.fromValue(__compactRuntime.queryLedgerState(context,
-                                                                                     partialProofData,
-                                                                                     [
-                                                                                      { dup: { n: 0 } },
-                                                                                      { idx: { cached: false,
-                                                                                               pushPath: false,
-                                                                                               path: [
-                                                                                                      { tag: 'value',
-                                                                                                        value: { value: _descriptor_17.toValue(5n),
-                                                                                                                 alignment: _descriptor_17.alignment() } }] } },
-                                                                                      { idx: { cached: false,
-                                                                                               pushPath: false,
-                                                                                               path: [
-                                                                                                      { tag: 'value',
-                                                                                                        value: { value: _descriptor_0.toValue(domain_0),
-                                                                                                                 alignment: _descriptor_0.alignment() } }] } },
-                                                                                      { popeq: { cached: false,
-                                                                                                 result: undefined } }]).value);
-    __compactRuntime.assert(this._equal_15(current_data_0.owner,
-                                           this._ownPublicKey_0(context,
-                                                                partialProofData)),
-                            'Not the domain owner');
-    const new_data_0 = { owner: current_data_0.owner, resolver: resolver_0 };
-    __compactRuntime.queryLedgerState(context,
-                                      partialProofData,
-                                      [
-                                       { idx: { cached: false,
-                                                pushPath: true,
-                                                path: [
-                                                       { tag: 'value',
-                                                         value: { value: _descriptor_17.toValue(5n),
-                                                                  alignment: _descriptor_17.alignment() } }] } },
-                                       { push: { storage: false,
-                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(domain_0),
-                                                                                              alignment: _descriptor_0.alignment() }).encode() } },
-                                       { push: { storage: true,
-                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_3.toValue(new_data_0),
-                                                                                              alignment: _descriptor_3.alignment() }).encode() } },
-                                       { ins: { cached: false, n: 1 } },
-                                       { ins: { cached: true, n: 1 } }]);
-    return [];
-  }
-  _update_domain_target_0(context, partialProofData, new_target_0) {
-    __compactRuntime.assert(this._equal_16(_descriptor_1.fromValue(__compactRuntime.queryLedgerState(context,
-                                                                                                     partialProofData,
-                                                                                                     [
-                                                                                                      { dup: { n: 0 } },
-                                                                                                      { idx: { cached: false,
-                                                                                                               pushPath: false,
-                                                                                                               path: [
-                                                                                                                      { tag: 'value',
-                                                                                                                        value: { value: _descriptor_17.toValue(3n),
-                                                                                                                                 alignment: _descriptor_17.alignment() } }] } },
-                                                                                                      { popeq: { cached: false,
-                                                                                                                 result: undefined } }]).value),
-                                           this._ownPublicKey_0(context,
-                                                                partialProofData)),
-                            'Not the contract owner');
-    __compactRuntime.queryLedgerState(context,
-                                      partialProofData,
-                                      [
-                                       { push: { storage: false,
-                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_17.toValue(4n),
-                                                                                              alignment: _descriptor_17.alignment() }).encode() } },
-                                       { push: { storage: true,
-                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_6.toValue(new_target_0),
-                                                                                              alignment: _descriptor_6.alignment() }).encode() } },
-                                       { ins: { cached: false, n: 1 } }]);
-    return [];
-  }
-  _transfer_domain_0(context, partialProofData, domain_0, new_owner_0) {
-    __compactRuntime.assert(_descriptor_4.fromValue(__compactRuntime.queryLedgerState(context,
-                                                                                      partialProofData,
-                                                                                      [
-                                                                                       { dup: { n: 0 } },
-                                                                                       { idx: { cached: false,
-                                                                                                pushPath: false,
-                                                                                                path: [
-                                                                                                       { tag: 'value',
-                                                                                                         value: { value: _descriptor_17.toValue(5n),
-                                                                                                                  alignment: _descriptor_17.alignment() } }] } },
-                                                                                       { push: { storage: false,
-                                                                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(domain_0),
-                                                                                                                                              alignment: _descriptor_0.alignment() }).encode() } },
-                                                                                       'member',
-                                                                                       { popeq: { cached: true,
-                                                                                                  result: undefined } }]).value),
-                            'Domain does not exist');
-    const current_data_0 = _descriptor_3.fromValue(__compactRuntime.queryLedgerState(context,
-                                                                                     partialProofData,
-                                                                                     [
-                                                                                      { dup: { n: 0 } },
-                                                                                      { idx: { cached: false,
-                                                                                               pushPath: false,
-                                                                                               path: [
-                                                                                                      { tag: 'value',
-                                                                                                        value: { value: _descriptor_17.toValue(5n),
-                                                                                                                 alignment: _descriptor_17.alignment() } }] } },
-                                                                                      { idx: { cached: false,
-                                                                                               pushPath: false,
-                                                                                               path: [
-                                                                                                      { tag: 'value',
-                                                                                                        value: { value: _descriptor_0.toValue(domain_0),
-                                                                                                                 alignment: _descriptor_0.alignment() } }] } },
-                                                                                      { popeq: { cached: false,
-                                                                                                 result: undefined } }]).value);
-    __compactRuntime.assert(this._equal_17(current_data_0.owner,
-                                           this._ownPublicKey_0(context,
-                                                                partialProofData)),
-                            'Not the domain owner');
-    const new_data_0 = { owner: new_owner_0, resolver: current_data_0.resolver };
-    __compactRuntime.queryLedgerState(context,
-                                      partialProofData,
-                                      [
-                                       { idx: { cached: false,
-                                                pushPath: true,
-                                                path: [
-                                                       { tag: 'value',
-                                                         value: { value: _descriptor_17.toValue(5n),
-                                                                  alignment: _descriptor_17.alignment() } }] } },
-                                       { push: { storage: false,
-                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(domain_0),
-                                                                                              alignment: _descriptor_0.alignment() }).encode() } },
-                                       { push: { storage: true,
-                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_3.toValue(new_data_0),
-                                                                                              alignment: _descriptor_3.alignment() }).encode() } },
-                                       { ins: { cached: false, n: 1 } },
-                                       { ins: { cached: true, n: 1 } }]);
-    const tmp_0 = this._ownPublicKey_0(context, partialProofData);
-    __compactRuntime.queryLedgerState(context,
-                                      partialProofData,
-                                      [
-                                       { idx: { cached: false,
-                                                pushPath: true,
-                                                path: [
-                                                       { tag: 'value',
-                                                         value: { value: _descriptor_17.toValue(6n),
-                                                                  alignment: _descriptor_17.alignment() } },
-                                                       { tag: 'value',
-                                                         value: { value: _descriptor_1.toValue(tmp_0),
-                                                                  alignment: _descriptor_1.alignment() } }] } },
-                                       { push: { storage: false,
-                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(domain_0),
-                                                                                              alignment: _descriptor_0.alignment() }).encode() } },
-                                       { rem: { cached: false } },
-                                       { ins: { cached: true, n: 2 } }]);
-    if (!_descriptor_4.fromValue(__compactRuntime.queryLedgerState(context,
-                                                                   partialProofData,
-                                                                   [
-                                                                    { dup: { n: 0 } },
-                                                                    { idx: { cached: false,
-                                                                             pushPath: false,
-                                                                             path: [
-                                                                                    { tag: 'value',
-                                                                                      value: { value: _descriptor_17.toValue(6n),
-                                                                                               alignment: _descriptor_17.alignment() } }] } },
-                                                                    { push: { storage: false,
-                                                                              value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(new_owner_0),
-                                                                                                                           alignment: _descriptor_1.alignment() }).encode() } },
-                                                                    'member',
-                                                                    { popeq: { cached: true,
-                                                                               result: undefined } }]).value))
-    {
-      __compactRuntime.queryLedgerState(context,
-                                        partialProofData,
-                                        [
-                                         { idx: { cached: false,
-                                                  pushPath: true,
-                                                  path: [
-                                                         { tag: 'value',
-                                                           value: { value: _descriptor_17.toValue(6n),
-                                                                    alignment: _descriptor_17.alignment() } }] } },
-                                         { push: { storage: false,
-                                                   value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(new_owner_0),
-                                                                                                alignment: _descriptor_1.alignment() }).encode() } },
-                                         { push: { storage: true,
-                                                   value: __compactRuntime.StateValue.newMap(
-                                                            new __compactRuntime.StateMap()
-                                                          ).encode() } },
-                                         { ins: { cached: false, n: 1 } },
-                                         { ins: { cached: true, n: 1 } }]);
-    }
-    __compactRuntime.queryLedgerState(context,
-                                      partialProofData,
-                                      [
-                                       { idx: { cached: false,
-                                                pushPath: true,
-                                                path: [
-                                                       { tag: 'value',
-                                                         value: { value: _descriptor_17.toValue(6n),
-                                                                  alignment: _descriptor_17.alignment() } },
-                                                       { tag: 'value',
-                                                         value: { value: _descriptor_1.toValue(new_owner_0),
-                                                                  alignment: _descriptor_1.alignment() } }] } },
-                                       { push: { storage: false,
-                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(domain_0),
-                                                                                              alignment: _descriptor_0.alignment() }).encode() } },
-                                       { push: { storage: true,
-                                                 value: __compactRuntime.StateValue.newNull().encode() } },
-                                       { ins: { cached: false, n: 1 } },
-                                       { ins: { cached: true, n: 2 } }]);
-    return [];
-  }
-  _change_owner_0(context, partialProofData, new_owner_0) {
-    __compactRuntime.assert(this._equal_18(_descriptor_1.fromValue(__compactRuntime.queryLedgerState(context,
-                                                                                                     partialProofData,
-                                                                                                     [
-                                                                                                      { dup: { n: 0 } },
-                                                                                                      { idx: { cached: false,
-                                                                                                               pushPath: false,
-                                                                                                               path: [
-                                                                                                                      { tag: 'value',
-                                                                                                                        value: { value: _descriptor_17.toValue(3n),
-                                                                                                                                 alignment: _descriptor_17.alignment() } }] } },
-                                                                                                      { popeq: { cached: false,
-                                                                                                                 result: undefined } }]).value),
-                                           this._ownPublicKey_0(context,
-                                                                partialProofData)),
-                            'Not the contract owner');
-    __compactRuntime.queryLedgerState(context,
-                                      partialProofData,
-                                      [
-                                       { push: { storage: false,
-                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_17.toValue(3n),
-                                                                                              alignment: _descriptor_17.alignment() }).encode() } },
-                                       { push: { storage: true,
-                                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(new_owner_0),
-                                                                                              alignment: _descriptor_1.alignment() }).encode() } },
-                                       { ins: { cached: false, n: 1 } }]);
-    return [];
-  }
-  _equal_0(x0, y0) {
-    {
-      let x1 = x0.is_some;
-      let y1 = y0.is_some;
-      if (x1 !== y1) { return false; }
-    }
-    {
-      let x1 = x0.value;
-      let y1 = y0.value;
-      {
-        let x2 = x1[0];
-        let y2 = y1[0];
-        if (x2 !== y2) { return false; }
-      }
-      {
-        let x2 = x1[1];
-        let y2 = y1[1];
-        if (x2 !== y2) { return false; }
-      }
-    }
-    return true;
-  }
-  _folder_0(context, partialProofData, f, x, a0) {
-    for (let i = 0; i < 10; i++) { x = f(context, partialProofData, x, a0[i]); }
-    return x;
-  }
-  _equal_1(x0, y0) {
-    if (!x0.every((x, i) => y0[i] === x)) { return false; }
-    return true;
-  }
-  _equal_2(x0, y0) {
-    {
-      let x1 = x0.bytes;
-      let y1 = y0.bytes;
-      if (!x1.every((x, i) => y1[i] === x)) { return false; }
-    }
-    return true;
-  }
-  _equal_3(x0, y0) {
-    {
-      let x1 = x0.bytes;
-      let y1 = y0.bytes;
-      if (!x1.every((x, i) => y1[i] === x)) { return false; }
-    }
-    return true;
-  }
-  _equal_4(x0, y0) {
-    {
-      let x1 = x0.bytes;
-      let y1 = y0.bytes;
-      if (!x1.every((x, i) => y1[i] === x)) { return false; }
-    }
-    return true;
-  }
-  _equal_5(x0, y0) {
-    {
-      let x1 = x0.is_some;
-      let y1 = y0.is_some;
-      if (x1 !== y1) { return false; }
-    }
-    {
-      let x1 = x0.value;
-      let y1 = y0.value;
-      {
-        let x2 = x1[0];
-        let y2 = y1[0];
-        if (x2 !== y2) { return false; }
-      }
-      {
-        let x2 = x1[1];
-        let y2 = y1[1];
-        if (x2 !== y2) { return false; }
-      }
-    }
-    return true;
-  }
-  _folder_1(context, partialProofData, f, x, a0) {
-    for (let i = 0; i < 10; i++) { x = f(context, partialProofData, x, a0[i]); }
-    return x;
-  }
-  _equal_6(x0, y0) {
-    if (x0 !== y0) { return false; }
-    return true;
-  }
-  _folder_2(context, partialProofData, f, x, a0, a1) {
-    for (let i = 0; i < 32; i++) { x = f(context, partialProofData, x, BigInt(a0[i]), a1[i]); }
-    return x;
-  }
-  _equal_7(x0, y0) {
-    if (x0 !== y0) { return false; }
-    return true;
-  }
-  _equal_8(x0, y0) {
-    {
-      let x1 = x0.bytes;
-      let y1 = y0.bytes;
-      if (!x1.every((x, i) => y1[i] === x)) { return false; }
-    }
-    return true;
-  }
-  _equal_9(x0, y0) {
-    {
-      let x1 = x0.is_some;
-      let y1 = y0.is_some;
-      if (x1 !== y1) { return false; }
-    }
-    {
-      let x1 = x0.value;
-      let y1 = y0.value;
-      {
-        let x2 = x1[0];
-        let y2 = y1[0];
-        if (x2 !== y2) { return false; }
-      }
-      {
-        let x2 = x1[1];
-        let y2 = y1[1];
-        if (x2 !== y2) { return false; }
-      }
-    }
-    return true;
-  }
-  _folder_3(context, partialProofData, f, x, a0) {
-    for (let i = 0; i < 10; i++) { x = f(context, partialProofData, x, a0[i]); }
-    return x;
-  }
-  _equal_10(x0, y0) {
-    {
-      let x1 = x0.bytes;
-      let y1 = y0.bytes;
-      if (!x1.every((x, i) => y1[i] === x)) { return false; }
-    }
-    return true;
-  }
-  _equal_11(x0, y0) {
-    {
-      let x1 = x0.bytes;
-      let y1 = y0.bytes;
-      if (!x1.every((x, i) => y1[i] === x)) { return false; }
-    }
-    return true;
-  }
-  _equal_12(x0, y0) {
-    {
-      let x1 = x0.bytes;
-      let y1 = y0.bytes;
-      if (!x1.every((x, i) => y1[i] === x)) { return false; }
-    }
-    return true;
-  }
-  _equal_13(x0, y0) {
-    if (x0 !== y0) { return false; }
-    return true;
-  }
-  _folder_4(context, partialProofData, f, x, a0, a1) {
-    for (let i = 0; i < 32; i++) { x = f(context, partialProofData, x, BigInt(a0[i]), a1[i]); }
-    return x;
-  }
-  _equal_14(x0, y0) {
-    {
-      let x1 = x0.bytes;
-      let y1 = y0.bytes;
-      if (!x1.every((x, i) => y1[i] === x)) { return false; }
-    }
-    return true;
-  }
-  _equal_15(x0, y0) {
-    {
-      let x1 = x0.bytes;
-      let y1 = y0.bytes;
-      if (!x1.every((x, i) => y1[i] === x)) { return false; }
-    }
-    return true;
-  }
-  _equal_16(x0, y0) {
-    {
-      let x1 = x0.bytes;
-      let y1 = y0.bytes;
-      if (!x1.every((x, i) => y1[i] === x)) { return false; }
-    }
-    return true;
-  }
-  _equal_17(x0, y0) {
-    {
-      let x1 = x0.bytes;
-      let y1 = y0.bytes;
-      if (!x1.every((x, i) => y1[i] === x)) { return false; }
-    }
-    return true;
-  }
-  _equal_18(x0, y0) {
-    {
-      let x1 = x0.bytes;
-      let y1 = y0.bytes;
-      if (!x1.every((x, i) => y1[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 = {
-    currentQueryContext: new __compactRuntime.QueryContext(chargedState, __compactRuntime.dummyContractAddress()),
-    costModel: __compactRuntime.CostModel.initialCostModel()
-  };
-  const partialProofData = {
-    input: { value: [], alignment: [] },
-    output: undefined,
-    publicTranscript: [],
-    privateTranscriptOutputs: []
-  };
-  return {
-    get PARENT_DOMAIN() {
-      return _descriptor_16.fromValue(__compactRuntime.queryLedgerState(context,
-                                                                        partialProofData,
-                                                                        [
-                                                                         { dup: { n: 0 } },
-                                                                         { idx: { cached: false,
-                                                                                  pushPath: false,
-                                                                                  path: [
-                                                                                         { tag: 'value',
-                                                                                           value: { value: _descriptor_17.toValue(0n),
-                                                                                                    alignment: _descriptor_17.alignment() } }] } },
-                                                                         { popeq: { cached: false,
-                                                                                    result: undefined } }]).value);
-    },
-    get PARENT_RESOLVER() {
-      return _descriptor_2.fromValue(__compactRuntime.queryLedgerState(context,
-                                                                       partialProofData,
-                                                                       [
-                                                                        { dup: { n: 0 } },
-                                                                        { idx: { cached: false,
-                                                                                 pushPath: false,
-                                                                                 path: [
-                                                                                        { tag: 'value',
-                                                                                          value: { value: _descriptor_17.toValue(1n),
-                                                                                                   alignment: _descriptor_17.alignment() } }] } },
-                                                                        { popeq: { cached: false,
-                                                                                   result: undefined } }]).value);
-    },
-    get DOMAIN() {
-      return _descriptor_16.fromValue(__compactRuntime.queryLedgerState(context,
-                                                                        partialProofData,
-                                                                        [
-                                                                         { dup: { n: 0 } },
-                                                                         { idx: { cached: false,
-                                                                                  pushPath: false,
-                                                                                  path: [
-                                                                                         { tag: 'value',
-                                                                                           value: { value: _descriptor_17.toValue(2n),
-                                                                                                    alignment: _descriptor_17.alignment() } }] } },
-                                                                         { popeq: { cached: false,
-                                                                                    result: undefined } }]).value);
-    },
-    get DOMAIN_OWNER() {
-      return _descriptor_1.fromValue(__compactRuntime.queryLedgerState(context,
-                                                                       partialProofData,
-                                                                       [
-                                                                        { dup: { n: 0 } },
-                                                                        { idx: { cached: false,
-                                                                                 pushPath: false,
-                                                                                 path: [
-                                                                                        { tag: 'value',
-                                                                                          value: { value: _descriptor_17.toValue(3n),
-                                                                                                   alignment: _descriptor_17.alignment() } }] } },
-                                                                        { popeq: { cached: false,
-                                                                                   result: undefined } }]).value);
-    },
-    get DOMAIN_TARGET() {
-      return _descriptor_6.fromValue(__compactRuntime.queryLedgerState(context,
-                                                                       partialProofData,
-                                                                       [
-                                                                        { dup: { n: 0 } },
-                                                                        { idx: { cached: false,
-                                                                                 pushPath: false,
-                                                                                 path: [
-                                                                                        { tag: 'value',
-                                                                                          value: { value: _descriptor_17.toValue(4n),
-                                                                                                   alignment: _descriptor_17.alignment() } }] } },
-                                                                        { popeq: { cached: false,
-                                                                                   result: undefined } }]).value);
-    },
-    domains: {
-      isEmpty(...args_0) {
-        if (args_0.length !== 0) {
-          throw new __compactRuntime.CompactError(`isEmpty: expected 0 arguments, received ${args_0.length}`);
-        }
-        return _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context,
-                                                                         partialProofData,
-                                                                         [
-                                                                          { dup: { n: 0 } },
-                                                                          { idx: { cached: false,
-                                                                                   pushPath: false,
-                                                                                   path: [
-                                                                                          { tag: 'value',
-                                                                                            value: { value: _descriptor_17.toValue(5n),
-                                                                                                     alignment: _descriptor_17.alignment() } }] } },
-                                                                          'size',
-                                                                          { push: { storage: false,
-                                                                                    value: __compactRuntime.StateValue.newCell({ value: _descriptor_5.toValue(0n),
-                                                                                                                                 alignment: _descriptor_5.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_5.fromValue(__compactRuntime.queryLedgerState(context,
-                                                                         partialProofData,
-                                                                         [
-                                                                          { dup: { n: 0 } },
-                                                                          { idx: { cached: false,
-                                                                                   pushPath: false,
-                                                                                   path: [
-                                                                                          { tag: 'value',
-                                                                                            value: { value: _descriptor_17.toValue(5n),
-                                                                                                     alignment: _descriptor_17.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',
-                                     'leaf.compact line 38 char 1',
-                                     'Bytes<32>',
-                                     key_0)
-        }
-        return _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context,
-                                                                         partialProofData,
-                                                                         [
-                                                                          { dup: { n: 0 } },
-                                                                          { idx: { cached: false,
-                                                                                   pushPath: false,
-                                                                                   path: [
-                                                                                          { tag: 'value',
-                                                                                            value: { value: _descriptor_17.toValue(5n),
-                                                                                                     alignment: _descriptor_17.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',
-                                     'leaf.compact line 38 char 1',
-                                     'Bytes<32>',
-                                     key_0)
-        }
-        return _descriptor_3.fromValue(__compactRuntime.queryLedgerState(context,
-                                                                         partialProofData,
-                                                                         [
-                                                                          { dup: { n: 0 } },
-                                                                          { idx: { cached: false,
-                                                                                   pushPath: false,
-                                                                                   path: [
-                                                                                          { tag: 'value',
-                                                                                            value: { value: _descriptor_17.toValue(5n),
-                                                                                                     alignment: _descriptor_17.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()[5];
-        return self_0.asMap().keys().map(  (key) => {    const value = self_0.asMap().get(key).asCell();    return [      _descriptor_0.fromValue(key.value),      _descriptor_3.fromValue(value.value)    ];  })[Symbol.iterator]();
-      }
-    },
-    domains_owned: {
-      isEmpty(...args_0) {
-        if (args_0.length !== 0) {
-          throw new __compactRuntime.CompactError(`isEmpty: expected 0 arguments, received ${args_0.length}`);
-        }
-        return _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context,
-                                                                         partialProofData,
-                                                                         [
-                                                                          { dup: { n: 0 } },
-                                                                          { idx: { cached: false,
-                                                                                   pushPath: false,
-                                                                                   path: [
-                                                                                          { tag: 'value',
-                                                                                            value: { value: _descriptor_17.toValue(6n),
-                                                                                                     alignment: _descriptor_17.alignment() } }] } },
-                                                                          'size',
-                                                                          { push: { storage: false,
-                                                                                    value: __compactRuntime.StateValue.newCell({ value: _descriptor_5.toValue(0n),
-                                                                                                                                 alignment: _descriptor_5.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_5.fromValue(__compactRuntime.queryLedgerState(context,
-                                                                         partialProofData,
-                                                                         [
-                                                                          { dup: { n: 0 } },
-                                                                          { idx: { cached: false,
-                                                                                   pushPath: false,
-                                                                                   path: [
-                                                                                          { tag: 'value',
-                                                                                            value: { value: _descriptor_17.toValue(6n),
-                                                                                                     alignment: _descriptor_17.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' && key_0.bytes.buffer instanceof ArrayBuffer && key_0.bytes.BYTES_PER_ELEMENT === 1 && key_0.bytes.length === 32)) {
-          __compactRuntime.typeError('member',
-                                     'argument 1',
-                                     'leaf.compact line 41 char 1',
-                                     'struct ZswapCoinPublicKey<bytes: Bytes<32>>',
-                                     key_0)
-        }
-        return _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context,
-                                                                         partialProofData,
-                                                                         [
-                                                                          { dup: { n: 0 } },
-                                                                          { idx: { cached: false,
-                                                                                   pushPath: false,
-                                                                                   path: [
-                                                                                          { tag: 'value',
-                                                                                            value: { value: _descriptor_17.toValue(6n),
-                                                                                                     alignment: _descriptor_17.alignment() } }] } },
-                                                                          { push: { storage: false,
-                                                                                    value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(key_0),
-                                                                                                                                 alignment: _descriptor_1.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' && key_0.bytes.buffer instanceof ArrayBuffer && key_0.bytes.BYTES_PER_ELEMENT === 1 && key_0.bytes.length === 32)) {
-          __compactRuntime.typeError('lookup',
-                                     'argument 1',
-                                     'leaf.compact line 41 char 1',
-                                     'struct ZswapCoinPublicKey<bytes: Bytes<32>>',
-                                     key_0)
-        }
-        if (state.asArray()[6].asMap().get({ value: _descriptor_1.toValue(key_0),
-                                             alignment: _descriptor_1.alignment() }) === undefined) {
-          throw new __compactRuntime.CompactError(`Map value undefined for ${key_0}`);
-        }
-        return {
-          isEmpty(...args_1) {
-            if (args_1.length !== 0) {
-              throw new __compactRuntime.CompactError(`isEmpty: expected 0 arguments, received ${args_1.length}`);
-            }
-            return _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context,
-                                                                             partialProofData,
-                                                                             [
-                                                                              { dup: { n: 0 } },
-                                                                              { idx: { cached: false,
-                                                                                       pushPath: false,
-                                                                                       path: [
-                                                                                              { tag: 'value',
-                                                                                                value: { value: _descriptor_17.toValue(6n),
-                                                                                                         alignment: _descriptor_17.alignment() } },
-                                                                                              { tag: 'value',
-                                                                                                value: { value: _descriptor_1.toValue(key_0),
-                                                                                                         alignment: _descriptor_1.alignment() } }] } },
-                                                                              'size',
-                                                                              { push: { storage: false,
-                                                                                        value: __compactRuntime.StateValue.newCell({ value: _descriptor_5.toValue(0n),
-                                                                                                                                     alignment: _descriptor_5.alignment() }).encode() } },
-                                                                              'eq',
-                                                                              { popeq: { cached: true,
-                                                                                         result: undefined } }]).value);
-          },
-          size(...args_1) {
-            if (args_1.length !== 0) {
-              throw new __compactRuntime.CompactError(`size: expected 0 arguments, received ${args_1.length}`);
-            }
-            return _descriptor_5.fromValue(__compactRuntime.queryLedgerState(context,
-                                                                             partialProofData,
-                                                                             [
-                                                                              { dup: { n: 0 } },
-                                                                              { idx: { cached: false,
-                                                                                       pushPath: false,
-                                                                                       path: [
-                                                                                              { tag: 'value',
-                                                                                                value: { value: _descriptor_17.toValue(6n),
-                                                                                                         alignment: _descriptor_17.alignment() } },
-                                                                                              { tag: 'value',
-                                                                                                value: { value: _descriptor_1.toValue(key_0),
-                                                                                                         alignment: _descriptor_1.alignment() } }] } },
-                                                                              'size',
-                                                                              { popeq: { cached: true,
-                                                                                         result: undefined } }]).value);
-          },
-          member(...args_1) {
-            if (args_1.length !== 1) {
-              throw new __compactRuntime.CompactError(`member: expected 1 argument, received ${args_1.length}`);
-            }
-            const elem_0 = args_1[0];
-            if (!(elem_0.buffer instanceof ArrayBuffer && elem_0.BYTES_PER_ELEMENT === 1 && elem_0.length === 32)) {
-              __compactRuntime.typeError('member',
-                                         'argument 1',
-                                         'leaf.compact line 41 char 54',
-                                         'Bytes<32>',
-                                         elem_0)
-            }
-            return _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context,
-                                                                             partialProofData,
-                                                                             [
-                                                                              { dup: { n: 0 } },
-                                                                              { idx: { cached: false,
-                                                                                       pushPath: false,
-                                                                                       path: [
-                                                                                              { tag: 'value',
-                                                                                                value: { value: _descriptor_17.toValue(6n),
-                                                                                                         alignment: _descriptor_17.alignment() } },
-                                                                                              { tag: 'value',
-                                                                                                value: { value: _descriptor_1.toValue(key_0),
-                                                                                                         alignment: _descriptor_1.alignment() } }] } },
-                                                                              { push: { storage: false,
-                                                                                        value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(elem_0),
-                                                                                                                                     alignment: _descriptor_0.alignment() }).encode() } },
-                                                                              'member',
-                                                                              { popeq: { cached: true,
-                                                                                         result: undefined } }]).value);
-          },
-          [Symbol.iterator](...args_1) {
-            if (args_1.length !== 0) {
-              throw new __compactRuntime.CompactError(`iter: expected 0 arguments, received ${args_1.length}`);
-            }
-            const self_0 = state.asArray()[6].asMap().get({ value: _descriptor_1.toValue(key_0),
-                                                            alignment: _descriptor_1.alignment() });
-            return self_0.asMap().keys().map((elem) => _descriptor_0.fromValue(elem.value))[Symbol.iterator]();
-          }
-        }
-      }
-    },
-    fields: {
-      isEmpty(...args_0) {
-        if (args_0.length !== 0) {
-          throw new __compactRuntime.CompactError(`isEmpty: expected 0 arguments, received ${args_0.length}`);
-        }
-        return _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context,
-                                                                         partialProofData,
-                                                                         [
-                                                                          { dup: { n: 0 } },
-                                                                          { idx: { cached: false,
-                                                                                   pushPath: false,
-                                                                                   path: [
-                                                                                          { tag: 'value',
-                                                                                            value: { value: _descriptor_17.toValue(7n),
-                                                                                                     alignment: _descriptor_17.alignment() } }] } },
-                                                                          'size',
-                                                                          { push: { storage: false,
-                                                                                    value: __compactRuntime.StateValue.newCell({ value: _descriptor_5.toValue(0n),
-                                                                                                                                 alignment: _descriptor_5.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_5.fromValue(__compactRuntime.queryLedgerState(context,
-                                                                         partialProofData,
-                                                                         [
-                                                                          { dup: { n: 0 } },
-                                                                          { idx: { cached: false,
-                                                                                   pushPath: false,
-                                                                                   path: [
-                                                                                          { tag: 'value',
-                                                                                            value: { value: _descriptor_17.toValue(7n),
-                                                                                                     alignment: _descriptor_17.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];
-        return _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context,
-                                                                         partialProofData,
-                                                                         [
-                                                                          { dup: { n: 0 } },
-                                                                          { idx: { cached: false,
-                                                                                   pushPath: false,
-                                                                                   path: [
-                                                                                          { tag: 'value',
-                                                                                            value: { value: _descriptor_17.toValue(7n),
-                                                                                                     alignment: _descriptor_17.alignment() } }] } },
-                                                                          { push: { storage: false,
-                                                                                    value: __compactRuntime.StateValue.newCell({ value: _descriptor_7.toValue(key_0),
-                                                                                                                                 alignment: _descriptor_7.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];
-        return _descriptor_7.fromValue(__compactRuntime.queryLedgerState(context,
-                                                                         partialProofData,
-                                                                         [
-                                                                          { dup: { n: 0 } },
-                                                                          { idx: { cached: false,
-                                                                                   pushPath: false,
-                                                                                   path: [
-                                                                                          { tag: 'value',
-                                                                                            value: { value: _descriptor_17.toValue(7n),
-                                                                                                     alignment: _descriptor_17.alignment() } }] } },
-                                                                          { idx: { cached: false,
-                                                                                   pushPath: false,
-                                                                                   path: [
-                                                                                          { tag: 'value',
-                                                                                            value: { value: _descriptor_7.toValue(key_0),
-                                                                                                     alignment: _descriptor_7.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()[7];
-        return self_0.asMap().keys().map(  (key) => {    const value = self_0.asMap().get(key).asCell();    return [      _descriptor_7.fromValue(key.value),      _descriptor_7.fromValue(value.value)    ];  })[Symbol.iterator]();
-      }
-    },
-    get COIN_COLOR() {
-      return _descriptor_0.fromValue(__compactRuntime.queryLedgerState(context,
-                                                                       partialProofData,
-                                                                       [
-                                                                        { dup: { n: 0 } },
-                                                                        { idx: { cached: false,
-                                                                                 pushPath: false,
-                                                                                 path: [
-                                                                                        { tag: 'value',
-                                                                                          value: { value: _descriptor_17.toValue(8n),
-                                                                                                   alignment: _descriptor_17.alignment() } }] } },
-                                                                        { popeq: { cached: false,
-                                                                                   result: undefined } }]).value);
-    },
-    get COST_SHORT() {
-      return _descriptor_9.fromValue(__compactRuntime.queryLedgerState(context,
-                                                                       partialProofData,
-                                                                       [
-                                                                        { dup: { n: 0 } },
-                                                                        { idx: { cached: false,
-                                                                                 pushPath: false,
-                                                                                 path: [
-                                                                                        { tag: 'value',
-                                                                                          value: { value: _descriptor_17.toValue(9n),
-                                                                                                   alignment: _descriptor_17.alignment() } }] } },
-                                                                        { popeq: { cached: false,
-                                                                                   result: undefined } }]).value);
-    },
-    get COST_MED() {
-      return _descriptor_9.fromValue(__compactRuntime.queryLedgerState(context,
-                                                                       partialProofData,
-                                                                       [
-                                                                        { dup: { n: 0 } },
-                                                                        { idx: { cached: false,
-                                                                                 pushPath: false,
-                                                                                 path: [
-                                                                                        { tag: 'value',
-                                                                                          value: { value: _descriptor_17.toValue(10n),
-                                                                                                   alignment: _descriptor_17.alignment() } }] } },
-                                                                        { popeq: { cached: false,
-                                                                                   result: undefined } }]).value);
-    },
-    get COST_LONG() {
-      return _descriptor_9.fromValue(__compactRuntime.queryLedgerState(context,
-                                                                       partialProofData,
-                                                                       [
-                                                                        { dup: { n: 0 } },
-                                                                        { idx: { cached: false,
-                                                                                 pushPath: false,
-                                                                                 path: [
-                                                                                        { tag: 'value',
-                                                                                          value: { value: _descriptor_17.toValue(11n),
-                                                                                                   alignment: _descriptor_17.alignment() } }] } },
-                                                                        { popeq: { cached: false,
-                                                                                   result: undefined } }]).value);
-    }
-  };
-}
-const _emptyContext = {
-  currentQueryContext: new __compactRuntime.QueryContext(new __compactRuntime.ContractState().data, __compactRuntime.dummyContractAddress())
-};
-const _dummyContract = new Contract({ });
-export const pureCircuits = {};
-export const contractReferenceLocations =
-  { tag: 'publicLedgerArray', indices: { } };
-//# sourceMappingURL=index.js.map