@midnames/sdk 0.1.8 → 0.2.0

package/managed/managed/leaf/contract/index.cjs

@@ -0,0 +1,2789 @@
+'use strict';
+const __compactRuntime = require('@midnight-ntwrk/compact-runtime');
+const expectedRuntimeVersionString = '0.8.1';
+const expectedRuntimeVersion = expectedRuntimeVersionString.split('-')[0].split('.').map(Number);
+const actualRuntimeVersion = __compactRuntime.versionString.split('-')[0].split('.').map(Number);
+if (expectedRuntimeVersion[0] != actualRuntimeVersion[0]
+     || (actualRuntimeVersion[0] == 0 && expectedRuntimeVersion[1] != actualRuntimeVersion[1])
+     || expectedRuntimeVersion[1] > actualRuntimeVersion[1]
+     || (expectedRuntimeVersion[1] == actualRuntimeVersion[1] && expectedRuntimeVersion[2] > actualRuntimeVersion[2]))
+   throw new __compactRuntime.CompactError(`Version mismatch: compiled code expects ${expectedRuntimeVersionString}, runtime is ${__compactRuntime.versionString}`);
+{ const MAX_FIELD = 52435875175126190479447740508185965837690552500527637822603658699938581184512n;
+  if (__compactRuntime.MAX_FIELD !== MAX_FIELD)
+     throw new __compactRuntime.CompactError(`compiler thinks maximum field value is ${MAX_FIELD}; run time thinks it is ${__compactRuntime.MAX_FIELD}`)
+}
+
+const _descriptor_0 = new __compactRuntime.CompactTypeOpaqueString();
+
+const _descriptor_1 = new __compactRuntime.CompactTypeBytes(32);
+
+class _ZswapCoinPublicKey_0 {
+  alignment() {
+    return _descriptor_1.alignment();
+  }
+  fromValue(value_0) {
+    return {
+      bytes: _descriptor_1.fromValue(value_0)
+    }
+  }
+  toValue(value_0) {
+    return _descriptor_1.toValue(value_0.bytes);
+  }
+}
+
+const _descriptor_2 = new _ZswapCoinPublicKey_0();
+
+class _ContractAddress_0 {
+  alignment() {
+    return _descriptor_1.alignment();
+  }
+  fromValue(value_0) {
+    return {
+      bytes: _descriptor_1.fromValue(value_0)
+    }
+  }
+  toValue(value_0) {
+    return _descriptor_1.toValue(value_0.bytes);
+  }
+}
+
+const _descriptor_3 = new _ContractAddress_0();
+
+class _DomainData_0 {
+  alignment() {
+    return _descriptor_2.alignment().concat(_descriptor_3.alignment());
+  }
+  fromValue(value_0) {
+    return {
+      owner: _descriptor_2.fromValue(value_0),
+      resolver: _descriptor_3.fromValue(value_0)
+    }
+  }
+  toValue(value_0) {
+    return _descriptor_2.toValue(value_0.owner).concat(_descriptor_3.toValue(value_0.resolver));
+  }
+}
+
+const _descriptor_4 = new _DomainData_0();
+
+const _descriptor_5 = new __compactRuntime.CompactTypeBoolean();
+
+const _descriptor_6 = new __compactRuntime.CompactTypeUnsignedInteger(18446744073709551615n, 8);
+
+class _Either_0 {
+  alignment() {
+    return _descriptor_5.alignment().concat(_descriptor_2.alignment().concat(_descriptor_3.alignment()));
+  }
+  fromValue(value_0) {
+    return {
+      is_left: _descriptor_5.fromValue(value_0),
+      left: _descriptor_2.fromValue(value_0),
+      right: _descriptor_3.fromValue(value_0)
+    }
+  }
+  toValue(value_0) {
+    return _descriptor_5.toValue(value_0.is_left).concat(_descriptor_2.toValue(value_0.left).concat(_descriptor_3.toValue(value_0.right)));
+  }
+}
+
+const _descriptor_7 = new _Either_0();
+
+const _descriptor_8 = new __compactRuntime.CompactTypeUnsignedInteger(340282366920938463463374607431768211455n, 16);
+
+class _CoinInfo_0 {
+  alignment() {
+    return _descriptor_1.alignment().concat(_descriptor_1.alignment().concat(_descriptor_8.alignment()));
+  }
+  fromValue(value_0) {
+    return {
+      nonce: _descriptor_1.fromValue(value_0),
+      color: _descriptor_1.fromValue(value_0),
+      value: _descriptor_8.fromValue(value_0)
+    }
+  }
+  toValue(value_0) {
+    return _descriptor_1.toValue(value_0.nonce).concat(_descriptor_1.toValue(value_0.color).concat(_descriptor_8.toValue(value_0.value)));
+  }
+}
+
+const _descriptor_9 = new _CoinInfo_0();
+
+class _tuple_0 {
+  alignment() {
+    return _descriptor_0.alignment().concat(_descriptor_0.alignment());
+  }
+  fromValue(value_0) {
+    return [
+      _descriptor_0.fromValue(value_0),
+      _descriptor_0.fromValue(value_0)
+    ]
+  }
+  toValue(value_0) {
+    return _descriptor_0.toValue(value_0[0]).concat(_descriptor_0.toValue(value_0[1]));
+  }
+}
+
+const _descriptor_10 = new _tuple_0();
+
+class _Maybe_0 {
+  alignment() {
+    return _descriptor_5.alignment().concat(_descriptor_10.alignment());
+  }
+  fromValue(value_0) {
+    return {
+      is_some: _descriptor_5.fromValue(value_0),
+      value: _descriptor_10.fromValue(value_0)
+    }
+  }
+  toValue(value_0) {
+    return _descriptor_5.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 _QualifiedCoinInfo_0 {
+  alignment() {
+    return _descriptor_1.alignment().concat(_descriptor_1.alignment().concat(_descriptor_8.alignment().concat(_descriptor_6.alignment())));
+  }
+  fromValue(value_0) {
+    return {
+      nonce: _descriptor_1.fromValue(value_0),
+      color: _descriptor_1.fromValue(value_0),
+      value: _descriptor_8.fromValue(value_0),
+      mt_index: _descriptor_6.fromValue(value_0)
+    }
+  }
+  toValue(value_0) {
+    return _descriptor_1.toValue(value_0.nonce).concat(_descriptor_1.toValue(value_0.color).concat(_descriptor_8.toValue(value_0.value).concat(_descriptor_6.toValue(value_0.mt_index))));
+  }
+}
+
+const _descriptor_13 = new _QualifiedCoinInfo_0();
+
+class _Maybe_1 {
+  alignment() {
+    return _descriptor_5.alignment().concat(_descriptor_9.alignment());
+  }
+  fromValue(value_0) {
+    return {
+      is_some: _descriptor_5.fromValue(value_0),
+      value: _descriptor_9.fromValue(value_0)
+    }
+  }
+  toValue(value_0) {
+    return _descriptor_5.toValue(value_0.is_some).concat(_descriptor_9.toValue(value_0.value));
+  }
+}
+
+const _descriptor_14 = new _Maybe_1();
+
+class _SendResult_0 {
+  alignment() {
+    return _descriptor_14.alignment().concat(_descriptor_9.alignment());
+  }
+  fromValue(value_0) {
+    return {
+      change: _descriptor_14.fromValue(value_0),
+      sent: _descriptor_9.fromValue(value_0)
+    }
+  }
+  toValue(value_0) {
+    return _descriptor_14.toValue(value_0.change).concat(_descriptor_9.toValue(value_0.sent));
+  }
+}
+
+const _descriptor_15 = new _SendResult_0();
+
+const _descriptor_16 = new __compactRuntime.CompactTypeField();
+
+const _descriptor_17 = new __compactRuntime.CompactTypeBytes(6);
+
+class _CoinPreimage_0 {
+  alignment() {
+    return _descriptor_9.alignment().concat(_descriptor_5.alignment().concat(_descriptor_1.alignment().concat(_descriptor_17.alignment())));
+  }
+  fromValue(value_0) {
+    return {
+      info: _descriptor_9.fromValue(value_0),
+      dataType: _descriptor_5.fromValue(value_0),
+      data: _descriptor_1.fromValue(value_0),
+      domain_sep: _descriptor_17.fromValue(value_0)
+    }
+  }
+  toValue(value_0) {
+    return _descriptor_9.toValue(value_0.info).concat(_descriptor_5.toValue(value_0.dataType).concat(_descriptor_1.toValue(value_0.data).concat(_descriptor_17.toValue(value_0.domain_sep))));
+  }
+}
+
+const _descriptor_18 = new _CoinPreimage_0();
+
+const _descriptor_19 = new __compactRuntime.CompactTypeVector(2, _descriptor_16);
+
+class _Maybe_2 {
+  alignment() {
+    return _descriptor_5.alignment().concat(_descriptor_0.alignment());
+  }
+  fromValue(value_0) {
+    return {
+      is_some: _descriptor_5.fromValue(value_0),
+      value: _descriptor_0.fromValue(value_0)
+    }
+  }
+  toValue(value_0) {
+    return _descriptor_5.toValue(value_0.is_some).concat(_descriptor_0.toValue(value_0.value));
+  }
+}
+
+const _descriptor_20 = new _Maybe_2();
+
+const _descriptor_21 = new __compactRuntime.CompactTypeUnsignedInteger(255n, 1);
+
+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.originalState != undefined && contextOrig_0.transactionContext != undefined)) {
+          __compactRuntime.type_error('update_color',
+                                      'argument 1 (as invoked from Typescript)',
+                                      'leaf.compact line 84 char 1',
+                                      'CircuitContext',
+                                      contextOrig_0)
+        }
+        if (!(c_0.buffer instanceof ArrayBuffer && c_0.BYTES_PER_ELEMENT === 1 && c_0.length === 32)) {
+          __compactRuntime.type_error('update_color',
+                                      'argument 1 (argument 2 as invoked from Typescript)',
+                                      'leaf.compact line 84 char 1',
+                                      'Bytes<32>',
+                                      c_0)
+        }
+        const context = { ...contextOrig_0 };
+        const partialProofData = {
+          input: {
+            value: _descriptor_1.toValue(c_0),
+            alignment: _descriptor_1.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 };
+      },
+      update_cost: (...args_1) => {
+        if (args_1.length !== 2) {
+          throw new __compactRuntime.CompactError(`update_cost: 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.originalState != undefined && contextOrig_0.transactionContext != undefined)) {
+          __compactRuntime.type_error('update_cost',
+                                      'argument 1 (as invoked from Typescript)',
+                                      'leaf.compact line 89 char 1',
+                                      'CircuitContext',
+                                      contextOrig_0)
+        }
+        if (!(typeof(c_0) === 'bigint' && c_0 >= 0n && c_0 <= 18446744073709551615n)) {
+          __compactRuntime.type_error('update_cost',
+                                      'argument 1 (argument 2 as invoked from Typescript)',
+                                      'leaf.compact line 89 char 1',
+                                      'Uint<0..18446744073709551615>',
+                                      c_0)
+        }
+        const context = { ...contextOrig_0 };
+        const partialProofData = {
+          input: {
+            value: _descriptor_6.toValue(c_0),
+            alignment: _descriptor_6.alignment()
+          },
+          output: undefined,
+          publicTranscript: [],
+          privateTranscriptOutputs: []
+        };
+        const result_0 = this._update_cost_0(context, partialProofData, c_0);
+        partialProofData.output = { value: [], alignment: [] };
+        return { result: result_0, context: context, proofData: partialProofData };
+      },
+      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.originalState != undefined && contextOrig_0.transactionContext != undefined)) {
+          __compactRuntime.type_error('update_target_and_fields',
+                                      'argument 1 (as invoked from Typescript)',
+                                      'leaf.compact line 94 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.type_error('update_target_and_fields',
+                                      'argument 1 (argument 2 as invoked from Typescript)',
+                                      'leaf.compact line 94 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.type_error('update_target_and_fields',
+                                      'argument 2 (argument 3 as invoked from Typescript)',
+                                      'leaf.compact line 94 char 1',
+                                      'Vector<10, struct Maybe<is_some: Boolean, value: [Opaque<"string">, Opaque<"string">]>>',
+                                      kvs_0)
+        }
+        const context = { ...contextOrig_0 };
+        const partialProofData = {
+          input: {
+            value: _descriptor_7.toValue(new_target_0).concat(_descriptor_12.toValue(kvs_0)),
+            alignment: _descriptor_7.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 };
+      },
+      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 resolver_0 = args_1[3];
+        const payment_0 = args_1[4];
+        if (!(typeof(contextOrig_0) === 'object' && contextOrig_0.originalState != undefined && contextOrig_0.transactionContext != undefined)) {
+          __compactRuntime.type_error('buy_domain_for',
+                                      'argument 1 (as invoked from Typescript)',
+                                      'leaf.compact line 109 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.type_error('buy_domain_for',
+                                      'argument 1 (argument 2 as invoked from Typescript)',
+                                      'leaf.compact line 109 char 1',
+                                      'struct ZswapCoinPublicKey<bytes: Bytes<32>>',
+                                      owner_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.type_error('buy_domain_for',
+                                      'argument 3 (argument 4 as invoked from Typescript)',
+                                      'leaf.compact line 109 char 1',
+                                      'struct ContractAddress<bytes: Bytes<32>>',
+                                      resolver_0)
+        }
+        if (!(typeof(payment_0) === 'object' && payment_0.nonce.buffer instanceof ArrayBuffer && payment_0.nonce.BYTES_PER_ELEMENT === 1 && payment_0.nonce.length === 32 && payment_0.color.buffer instanceof ArrayBuffer && payment_0.color.BYTES_PER_ELEMENT === 1 && payment_0.color.length === 32 && typeof(payment_0.value) === 'bigint' && payment_0.value >= 0n && payment_0.value <= 340282366920938463463374607431768211455n)) {
+          __compactRuntime.type_error('buy_domain_for',
+                                      'argument 4 (argument 5 as invoked from Typescript)',
+                                      'leaf.compact line 109 char 1',
+                                      'struct CoinInfo<nonce: Bytes<32>, color: Bytes<32>, value: Uint<0..340282366920938463463374607431768211455>>',
+                                      payment_0)
+        }
+        const context = { ...contextOrig_0 };
+        const partialProofData = {
+          input: {
+            value: _descriptor_2.toValue(owner_0).concat(_descriptor_0.toValue(domain_0).concat(_descriptor_3.toValue(resolver_0).concat(_descriptor_9.toValue(payment_0)))),
+            alignment: _descriptor_2.alignment().concat(_descriptor_0.alignment().concat(_descriptor_3.alignment().concat(_descriptor_9.alignment())))
+          },
+          output: undefined,
+          publicTranscript: [],
+          privateTranscriptOutputs: []
+        };
+        const result_0 = this._buy_domain_for_0(context,
+                                                partialProofData,
+                                                owner_0,
+                                                domain_0,
+                                                resolver_0,
+                                                payment_0);
+        partialProofData.output = { value: [], alignment: [] };
+        return { result: result_0, context: context, proofData: partialProofData };
+      },
+      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.originalState != undefined && contextOrig_0.transactionContext != undefined)) {
+          __compactRuntime.type_error('add_multiple_fields',
+                                      'argument 1 (as invoked from Typescript)',
+                                      'leaf.compact line 134 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.type_error('add_multiple_fields',
+                                      'argument 1 (argument 2 as invoked from Typescript)',
+                                      'leaf.compact line 134 char 1',
+                                      'Vector<10, struct Maybe<is_some: Boolean, value: [Opaque<"string">, Opaque<"string">]>>',
+                                      kvs_0)
+        }
+        const context = { ...contextOrig_0 };
+        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 };
+      },
+      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.originalState != undefined && contextOrig_0.transactionContext != undefined)) {
+          __compactRuntime.type_error('insert_field',
+                                      'argument 1 (as invoked from Typescript)',
+                                      'leaf.compact line 144 char 1',
+                                      'CircuitContext',
+                                      contextOrig_0)
+        }
+        const context = { ...contextOrig_0 };
+        const partialProofData = {
+          input: {
+            value: _descriptor_0.toValue(k_0).concat(_descriptor_0.toValue(v_0)),
+            alignment: _descriptor_0.alignment().concat(_descriptor_0.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 };
+      },
+      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.originalState != undefined && contextOrig_0.transactionContext != undefined)) {
+          __compactRuntime.type_error('clear_field',
+                                      'argument 1 (as invoked from Typescript)',
+                                      'leaf.compact line 149 char 1',
+                                      'CircuitContext',
+                                      contextOrig_0)
+        }
+        const context = { ...contextOrig_0 };
+        const partialProofData = {
+          input: {
+            value: _descriptor_0.toValue(k_0),
+            alignment: _descriptor_0.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 };
+      },
+      clear_all_fields: (...args_1) => {
+        if (args_1.length !== 2) {
+          throw new __compactRuntime.CompactError(`clear_all_fields: expected 2 arguments (as invoked from Typescript), received ${args_1.length}`);
+        }
+        const contextOrig_0 = args_1[0];
+        const domain_0 = args_1[1];
+        if (!(typeof(contextOrig_0) === 'object' && contextOrig_0.originalState != undefined && contextOrig_0.transactionContext != undefined)) {
+          __compactRuntime.type_error('clear_all_fields',
+                                      'argument 1 (as invoked from Typescript)',
+                                      'leaf.compact line 154 char 1',
+                                      'CircuitContext',
+                                      contextOrig_0)
+        }
+        const context = { ...contextOrig_0 };
+        const partialProofData = {
+          input: {
+            value: _descriptor_0.toValue(domain_0),
+            alignment: _descriptor_0.alignment()
+          },
+          output: undefined,
+          publicTranscript: [],
+          privateTranscriptOutputs: []
+        };
+        const result_0 = this._clear_all_fields_0(context,
+                                                  partialProofData,
+                                                  domain_0);
+        partialProofData.output = { value: [], alignment: [] };
+        return { result: result_0, context: context, proofData: partialProofData };
+      },
+      register_domain_for: (...args_1) => {
+        if (args_1.length !== 4) {
+          throw new __compactRuntime.CompactError(`register_domain_for: expected 4 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 resolver_0 = args_1[3];
+        if (!(typeof(contextOrig_0) === 'object' && contextOrig_0.originalState != undefined && contextOrig_0.transactionContext != undefined)) {
+          __compactRuntime.type_error('register_domain_for',
+                                      'argument 1 (as invoked from Typescript)',
+                                      'leaf.compact line 159 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.type_error('register_domain_for',
+                                      'argument 1 (argument 2 as invoked from Typescript)',
+                                      'leaf.compact line 159 char 1',
+                                      'struct ZswapCoinPublicKey<bytes: Bytes<32>>',
+                                      owner_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.type_error('register_domain_for',
+                                      'argument 3 (argument 4 as invoked from Typescript)',
+                                      'leaf.compact line 159 char 1',
+                                      'struct ContractAddress<bytes: Bytes<32>>',
+                                      resolver_0)
+        }
+        const context = { ...contextOrig_0 };
+        const partialProofData = {
+          input: {
+            value: _descriptor_2.toValue(owner_0).concat(_descriptor_0.toValue(domain_0).concat(_descriptor_3.toValue(resolver_0))),
+            alignment: _descriptor_2.alignment().concat(_descriptor_0.alignment().concat(_descriptor_3.alignment()))
+          },
+          output: undefined,
+          publicTranscript: [],
+          privateTranscriptOutputs: []
+        };
+        const result_0 = this._register_domain_for_0(context,
+                                                     partialProofData,
+                                                     owner_0,
+                                                     domain_0,
+                                                     resolver_0);
+        partialProofData.output = { value: [], alignment: [] };
+        return { result: result_0, context: context, proofData: partialProofData };
+      },
+      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.originalState != undefined && contextOrig_0.transactionContext != undefined)) {
+          __compactRuntime.type_error('set_resolver',
+                                      'argument 1 (as invoked from Typescript)',
+                                      'leaf.compact line 178 char 1',
+                                      'CircuitContext',
+                                      contextOrig_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.type_error('set_resolver',
+                                      'argument 2 (argument 3 as invoked from Typescript)',
+                                      'leaf.compact line 178 char 1',
+                                      'struct ContractAddress<bytes: Bytes<32>>',
+                                      resolver_0)
+        }
+        const context = { ...contextOrig_0 };
+        const partialProofData = {
+          input: {
+            value: _descriptor_0.toValue(domain_0).concat(_descriptor_3.toValue(resolver_0)),
+            alignment: _descriptor_0.alignment().concat(_descriptor_3.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 };
+      },
+      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.originalState != undefined && contextOrig_0.transactionContext != undefined)) {
+          __compactRuntime.type_error('update_domain_target',
+                                      'argument 1 (as invoked from Typescript)',
+                                      'leaf.compact line 192 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.type_error('update_domain_target',
+                                      'argument 1 (argument 2 as invoked from Typescript)',
+                                      'leaf.compact line 192 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 };
+        const partialProofData = {
+          input: {
+            value: _descriptor_7.toValue(new_target_0),
+            alignment: _descriptor_7.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 };
+      },
+      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.originalState != undefined && contextOrig_0.transactionContext != undefined)) {
+          __compactRuntime.type_error('transfer_domain',
+                                      'argument 1 (as invoked from Typescript)',
+                                      'leaf.compact line 198 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.type_error('transfer_domain',
+                                      'argument 2 (argument 3 as invoked from Typescript)',
+                                      'leaf.compact line 198 char 1',
+                                      'struct ZswapCoinPublicKey<bytes: Bytes<32>>',
+                                      new_owner_0)
+        }
+        const context = { ...contextOrig_0 };
+        const partialProofData = {
+          input: {
+            value: _descriptor_0.toValue(domain_0).concat(_descriptor_2.toValue(new_owner_0)),
+            alignment: _descriptor_0.alignment().concat(_descriptor_2.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 };
+      },
+      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.originalState != undefined && contextOrig_0.transactionContext != undefined)) {
+          __compactRuntime.type_error('change_owner',
+                                      'argument 1 (as invoked from Typescript)',
+                                      'leaf.compact line 220 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.type_error('change_owner',
+                                      'argument 1 (argument 2 as invoked from Typescript)',
+                                      'leaf.compact line 220 char 1',
+                                      'struct ZswapCoinPublicKey<bytes: Bytes<32>>',
+                                      new_owner_0)
+        }
+        const context = { ...contextOrig_0 };
+        const partialProofData = {
+          input: {
+            value: _descriptor_2.toValue(new_owner_0),
+            alignment: _descriptor_2.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 };
+      }
+    };
+    this.impureCircuits = {
+      update_color: this.circuits.update_color,
+      update_cost: this.circuits.update_cost,
+      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 !== 8) {
+      throw new __compactRuntime.CompactError(`Contract state constructor: expected 8 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 domain_cost_0 = args_0[6];
+    const kvs_0 = args_0[7];
+    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' && true)) {
+      __compactRuntime.type_error('Contract state constructor',
+                                  'argument 1 (argument 2 as invoked from Typescript)',
+                                  'leaf.compact line 53 char 1',
+                                  'struct Maybe<is_some: Boolean, value: Opaque<"string">>',
+                                  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.type_error('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.type_error('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' && true)) {
+      __compactRuntime.type_error('Contract state constructor',
+                                  'argument 4 (argument 5 as invoked from Typescript)',
+                                  'leaf.compact line 53 char 1',
+                                  'struct Maybe<is_some: Boolean, value: Opaque<"string">>',
+                                  domain_0)
+    }
+    if (!(coin_color_0.buffer instanceof ArrayBuffer && coin_color_0.BYTES_PER_ELEMENT === 1 && coin_color_0.length === 32)) {
+      __compactRuntime.type_error('Contract state constructor',
+                                  'argument 5 (argument 6 as invoked from Typescript)',
+                                  'leaf.compact line 53 char 1',
+                                  'Bytes<32>',
+                                  coin_color_0)
+    }
+    if (!(typeof(domain_cost_0) === 'bigint' && domain_cost_0 >= 0n && domain_cost_0 <= 18446744073709551615n)) {
+      __compactRuntime.type_error('Contract state constructor',
+                                  'argument 6 (argument 7 as invoked from Typescript)',
+                                  'leaf.compact line 53 char 1',
+                                  'Uint<0..18446744073709551615>',
+                                  domain_cost_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.type_error('Contract state constructor',
+                                  'argument 7 (argument 8 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());
+    state_0.data = stateValue_0;
+    state_0.setOperation('update_color', new __compactRuntime.ContractOperation());
+    state_0.setOperation('update_cost', 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 = {
+      originalState: state_0,
+      currentPrivateState: constructorContext_0.initialPrivateState,
+      currentZswapLocalState: constructorContext_0.initialZswapLocalState,
+      transactionContext: new __compactRuntime.QueryContext(state_0.data, __compactRuntime.dummyContractAddress())
+    };
+    const partialProofData = {
+      input: { value: [], alignment: [] },
+      output: undefined,
+      publicTranscript: [],
+      privateTranscriptOutputs: []
+    };
+    Contract._query(context,
+                    partialProofData,
+                    [
+                     { push: { storage: false,
+                               value: __compactRuntime.StateValue.newCell({ value: _descriptor_21.toValue(0n),
+                                                                            alignment: _descriptor_21.alignment() }).encode() } },
+                     { push: { storage: true,
+                               value: __compactRuntime.StateValue.newCell({ value: _descriptor_20.toValue({ is_some: false, value: '' }),
+                                                                            alignment: _descriptor_20.alignment() }).encode() } },
+                     { ins: { cached: false, n: 1 } }]);
+    Contract._query(context,
+                    partialProofData,
+                    [
+                     { push: { storage: false,
+                               value: __compactRuntime.StateValue.newCell({ value: _descriptor_21.toValue(1n),
+                                                                            alignment: _descriptor_21.alignment() }).encode() } },
+                     { push: { storage: true,
+                               value: __compactRuntime.StateValue.newCell({ value: _descriptor_3.toValue({ bytes: new Uint8Array(32) }),
+                                                                            alignment: _descriptor_3.alignment() }).encode() } },
+                     { ins: { cached: false, n: 1 } }]);
+    Contract._query(context,
+                    partialProofData,
+                    [
+                     { push: { storage: false,
+                               value: __compactRuntime.StateValue.newCell({ value: _descriptor_21.toValue(2n),
+                                                                            alignment: _descriptor_21.alignment() }).encode() } },
+                     { push: { storage: true,
+                               value: __compactRuntime.StateValue.newCell({ value: _descriptor_20.toValue({ is_some: false, value: '' }),
+                                                                            alignment: _descriptor_20.alignment() }).encode() } },
+                     { ins: { cached: false, n: 1 } }]);
+    Contract._query(context,
+                    partialProofData,
+                    [
+                     { push: { storage: false,
+                               value: __compactRuntime.StateValue.newCell({ value: _descriptor_21.toValue(3n),
+                                                                            alignment: _descriptor_21.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 } }]);
+    Contract._query(context,
+                    partialProofData,
+                    [
+                     { push: { storage: false,
+                               value: __compactRuntime.StateValue.newCell({ value: _descriptor_21.toValue(4n),
+                                                                            alignment: _descriptor_21.alignment() }).encode() } },
+                     { push: { storage: true,
+                               value: __compactRuntime.StateValue.newCell({ value: _descriptor_7.toValue({ is_left: false, left: { bytes: new Uint8Array(32) }, right: { bytes: new Uint8Array(32) } }),
+                                                                            alignment: _descriptor_7.alignment() }).encode() } },
+                     { ins: { cached: false, n: 1 } }]);
+    Contract._query(context,
+                    partialProofData,
+                    [
+                     { push: { storage: false,
+                               value: __compactRuntime.StateValue.newCell({ value: _descriptor_21.toValue(5n),
+                                                                            alignment: _descriptor_21.alignment() }).encode() } },
+                     { push: { storage: true,
+                               value: __compactRuntime.StateValue.newMap(
+                                        new __compactRuntime.StateMap()
+                                      ).encode() } },
+                     { ins: { cached: false, n: 1 } }]);
+    Contract._query(context,
+                    partialProofData,
+                    [
+                     { push: { storage: false,
+                               value: __compactRuntime.StateValue.newCell({ value: _descriptor_21.toValue(6n),
+                                                                            alignment: _descriptor_21.alignment() }).encode() } },
+                     { push: { storage: true,
+                               value: __compactRuntime.StateValue.newMap(
+                                        new __compactRuntime.StateMap()
+                                      ).encode() } },
+                     { ins: { cached: false, n: 1 } }]);
+    Contract._query(context,
+                    partialProofData,
+                    [
+                     { push: { storage: false,
+                               value: __compactRuntime.StateValue.newCell({ value: _descriptor_21.toValue(7n),
+                                                                            alignment: _descriptor_21.alignment() }).encode() } },
+                     { push: { storage: true,
+                               value: __compactRuntime.StateValue.newMap(
+                                        new __compactRuntime.StateMap()
+                                      ).encode() } },
+                     { ins: { cached: false, n: 1 } }]);
+    Contract._query(context,
+                    partialProofData,
+                    [
+                     { push: { storage: false,
+                               value: __compactRuntime.StateValue.newCell({ value: _descriptor_21.toValue(8n),
+                                                                            alignment: _descriptor_21.alignment() }).encode() } },
+                     { push: { storage: true,
+                               value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(new Uint8Array(32)),
+                                                                            alignment: _descriptor_1.alignment() }).encode() } },
+                     { ins: { cached: false, n: 1 } }]);
+    Contract._query(context,
+                    partialProofData,
+                    [
+                     { push: { storage: false,
+                               value: __compactRuntime.StateValue.newCell({ value: _descriptor_21.toValue(9n),
+                                                                            alignment: _descriptor_21.alignment() }).encode() } },
+                     { push: { storage: true,
+                               value: __compactRuntime.StateValue.newCell({ value: _descriptor_6.toValue(0n),
+                                                                            alignment: _descriptor_6.alignment() }).encode() } },
+                     { ins: { cached: false, n: 1 } }]);
+    const tmp_0 = this._ownPublicKey_0(context, partialProofData);
+    Contract._query(context,
+                    partialProofData,
+                    [
+                     { push: { storage: false,
+                               value: __compactRuntime.StateValue.newCell({ value: _descriptor_21.toValue(3n),
+                                                                            alignment: _descriptor_21.alignment() }).encode() } },
+                     { push: { storage: true,
+                               value: __compactRuntime.StateValue.newCell({ value: _descriptor_2.toValue(tmp_0),
+                                                                            alignment: _descriptor_2.alignment() }).encode() } },
+                     { ins: { cached: false, n: 1 } }]);
+    Contract._query(context,
+                    partialProofData,
+                    [
+                     { push: { storage: false,
+                               value: __compactRuntime.StateValue.newCell({ value: _descriptor_21.toValue(0n),
+                                                                            alignment: _descriptor_21.alignment() }).encode() } },
+                     { push: { storage: true,
+                               value: __compactRuntime.StateValue.newCell({ value: _descriptor_20.toValue(parent_domain_0),
+                                                                            alignment: _descriptor_20.alignment() }).encode() } },
+                     { ins: { cached: false, n: 1 } }]);
+    Contract._query(context,
+                    partialProofData,
+                    [
+                     { push: { storage: false,
+                               value: __compactRuntime.StateValue.newCell({ value: _descriptor_21.toValue(1n),
+                                                                            alignment: _descriptor_21.alignment() }).encode() } },
+                     { push: { storage: true,
+                               value: __compactRuntime.StateValue.newCell({ value: _descriptor_3.toValue(parent_resolver_0),
+                                                                            alignment: _descriptor_3.alignment() }).encode() } },
+                     { ins: { cached: false, n: 1 } }]);
+    Contract._query(context,
+                    partialProofData,
+                    [
+                     { push: { storage: false,
+                               value: __compactRuntime.StateValue.newCell({ value: _descriptor_21.toValue(4n),
+                                                                            alignment: _descriptor_21.alignment() }).encode() } },
+                     { push: { storage: true,
+                               value: __compactRuntime.StateValue.newCell({ value: _descriptor_7.toValue(target_0),
+                                                                            alignment: _descriptor_7.alignment() }).encode() } },
+                     { ins: { cached: false, n: 1 } }]);
+    Contract._query(context,
+                    partialProofData,
+                    [
+                     { push: { storage: false,
+                               value: __compactRuntime.StateValue.newCell({ value: _descriptor_21.toValue(2n),
+                                                                            alignment: _descriptor_21.alignment() }).encode() } },
+                     { push: { storage: true,
+                               value: __compactRuntime.StateValue.newCell({ value: _descriptor_20.toValue(domain_0),
+                                                                            alignment: _descriptor_20.alignment() }).encode() } },
+                     { ins: { cached: false, n: 1 } }]);
+    Contract._query(context,
+                    partialProofData,
+                    [
+                     { push: { storage: false,
+                               value: __compactRuntime.StateValue.newCell({ value: _descriptor_21.toValue(8n),
+                                                                            alignment: _descriptor_21.alignment() }).encode() } },
+                     { push: { storage: true,
+                               value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(coin_color_0),
+                                                                            alignment: _descriptor_1.alignment() }).encode() } },
+                     { ins: { cached: false, n: 1 } }]);
+    Contract._query(context,
+                    partialProofData,
+                    [
+                     { push: { storage: false,
+                               value: __compactRuntime.StateValue.newCell({ value: _descriptor_21.toValue(9n),
+                                                                            alignment: _descriptor_21.alignment() }).encode() } },
+                     { push: { storage: true,
+                               value: __compactRuntime.StateValue.newCell({ value: _descriptor_6.toValue(domain_cost_0),
+                                                                            alignment: _descriptor_6.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_1())) {
+                      } else {
+                        const tmp_1 = kv_0.value[0];
+                        const tmp_2 = kv_0.value[1];
+                        Contract._query(context,
+                                        partialProofData,
+                                        [
+                                         { idx: { cached: false,
+                                                  pushPath: true,
+                                                  path: [
+                                                         { tag: 'value',
+                                                           value: { value: _descriptor_21.toValue(7n),
+                                                                    alignment: _descriptor_21.alignment() } }] } },
+                                         { push: { storage: false,
+                                                   value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(tmp_1),
+                                                                                                alignment: _descriptor_0.alignment() }).encode() } },
+                                         { push: { storage: true,
+                                                   value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(tmp_2),
+                                                                                                alignment: _descriptor_0.alignment() }).encode() } },
+                                         { ins: { cached: false, n: 1 } },
+                                         { ins: { cached: true, n: 1 } }]);
+                      }
+                      return t_0;
+                    }),
+                   [],
+                   kvs_0);
+    state_0.data = context.transactionContext.state;
+    return {
+      currentContractState: state_0,
+      currentPrivateState: context.currentPrivateState,
+      currentZswapLocalState: context.currentZswapLocalState
+    }
+  }
+  _some_0(value_0) { return { is_some: true, value: value_0 }; }
+  _none_0() {
+    return { is_some: false,
+             value:
+               { nonce: new Uint8Array(32), color: new Uint8Array(32), value: 0n } };
+  }
+  _none_1() { return { is_some: false, value: ['', ''] }; }
+  _left_0(value_0) {
+    return { is_left: true, left: value_0, right: { bytes: new Uint8Array(32) } };
+  }
+  _right_0(value_0) {
+    return { is_left: false, left: { bytes: new Uint8Array(32) }, right: value_0 };
+  }
+  _transientHash_0(value_0) {
+    const result_0 = __compactRuntime.transientHash(_descriptor_19, value_0);
+    return result_0;
+  }
+  _persistentHash_0(value_0) {
+    const result_0 = __compactRuntime.persistentHash(_descriptor_18, value_0);
+    return result_0;
+  }
+  _degradeToTransient_0(x_0) {
+    const result_0 = __compactRuntime.degradeToTransient(x_0);
+    return result_0;
+  }
+  _upgradeFromTransient_0(x_0) {
+    const result_0 = __compactRuntime.upgradeFromTransient(x_0);
+    return result_0;
+  }
+  _ownPublicKey_0(context, partialProofData) {
+    const result_0 = __compactRuntime.ownPublicKey(context);
+    partialProofData.privateTranscriptOutputs.push({
+      value: _descriptor_2.toValue(result_0),
+      alignment: _descriptor_2.alignment()
+    });
+    return result_0;
+  }
+  _createZswapInput_0(context, partialProofData, coin_0) {
+    const result_0 = __compactRuntime.createZswapInput(context, coin_0);
+    partialProofData.privateTranscriptOutputs.push({
+      value: [],
+      alignment: []
+    });
+    return result_0;
+  }
+  _createZswapOutput_0(context, partialProofData, coin_0, recipient_0) {
+    const result_0 = __compactRuntime.createZswapOutput(context,
+                                                        coin_0,
+                                                        recipient_0);
+    partialProofData.privateTranscriptOutputs.push({
+      value: [],
+      alignment: []
+    });
+    return result_0;
+  }
+  _receive_0(context, partialProofData, coin_0) {
+    const recipient_0 = this._right_0(_descriptor_3.fromValue(Contract._query(context,
+                                                                              partialProofData,
+                                                                              [
+                                                                               { dup: { n: 2 } },
+                                                                               { idx: { cached: true,
+                                                                                        pushPath: false,
+                                                                                        path: [
+                                                                                               { tag: 'value',
+                                                                                                 value: { value: _descriptor_21.toValue(0n),
+                                                                                                          alignment: _descriptor_21.alignment() } }] } },
+                                                                               { popeq: { cached: true,
+                                                                                          result: undefined } }]).value));
+    this._createZswapOutput_0(context, partialProofData, coin_0, recipient_0);
+    const tmp_0 = this._coinCommitment_0(coin_0, recipient_0);
+    Contract._query(context,
+                    partialProofData,
+                    [
+                     { swap: { n: 0 } },
+                     { idx: { cached: true,
+                              pushPath: true,
+                              path: [
+                                     { tag: 'value',
+                                       value: { value: _descriptor_21.toValue(1n),
+                                                alignment: _descriptor_21.alignment() } }] } },
+                     { push: { storage: false,
+                               value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(tmp_0),
+                                                                            alignment: _descriptor_1.alignment() }).encode() } },
+                     { push: { storage: false,
+                               value: __compactRuntime.StateValue.newNull().encode() } },
+                     { ins: { cached: true, n: 2 } },
+                     { swap: { n: 0 } }]);
+    return [];
+  }
+  _send_0(context, partialProofData, input_0, recipient_0, value_0) {
+    const selfAddr_0 = _descriptor_3.fromValue(Contract._query(context,
+                                                               partialProofData,
+                                                               [
+                                                                { dup: { n: 2 } },
+                                                                { idx: { cached: true,
+                                                                         pushPath: false,
+                                                                         path: [
+                                                                                { tag: 'value',
+                                                                                  value: { value: _descriptor_21.toValue(0n),
+                                                                                           alignment: _descriptor_21.alignment() } }] } },
+                                                                { popeq: { cached: true,
+                                                                           result: undefined } }]).value);
+    this._createZswapInput_0(context, partialProofData, input_0);
+    const tmp_0 = this._coinNullifier_0(this._downcastQualifiedCoin_0(input_0),
+                                        selfAddr_0);
+    Contract._query(context,
+                    partialProofData,
+                    [
+                     { swap: { n: 0 } },
+                     { idx: { cached: true,
+                              pushPath: true,
+                              path: [
+                                     { tag: 'value',
+                                       value: { value: _descriptor_21.toValue(0n),
+                                                alignment: _descriptor_21.alignment() } }] } },
+                     { push: { storage: false,
+                               value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(tmp_0),
+                                                                            alignment: _descriptor_1.alignment() }).encode() } },
+                     { push: { storage: false,
+                               value: __compactRuntime.StateValue.newNull().encode() } },
+                     { ins: { cached: true, n: 2 } },
+                     { swap: { n: 0 } }]);
+    let t_0;
+    const change_0 = (t_0 = input_0.value,
+                      (__compactRuntime.assert(!(t_0 < value_0),
+                                               'result of subtraction would be negative'),
+                       t_0 - value_0));
+    const output_0 = { nonce:
+                         this._upgradeFromTransient_0(this._transientHash_0([__compactRuntime.convert_Uint8Array_to_bigint(28,
+                                                                                                                           new Uint8Array([109, 105, 100, 110, 105, 103, 104, 116, 58, 107, 101, 114, 110, 101, 108, 58, 110, 111, 110, 99, 101, 95, 101, 118, 111, 108, 118, 101])),
+                                                                             this._degradeToTransient_0(input_0.nonce)])),
+                       color: input_0.color,
+                       value: value_0 };
+    this._createZswapOutput_0(context, partialProofData, output_0, recipient_0);
+    const tmp_1 = this._coinCommitment_0(output_0, recipient_0);
+    Contract._query(context,
+                    partialProofData,
+                    [
+                     { swap: { n: 0 } },
+                     { idx: { cached: true,
+                              pushPath: true,
+                              path: [
+                                     { tag: 'value',
+                                       value: { value: _descriptor_21.toValue(2n),
+                                                alignment: _descriptor_21.alignment() } }] } },
+                     { push: { storage: false,
+                               value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(tmp_1),
+                                                                            alignment: _descriptor_1.alignment() }).encode() } },
+                     { push: { storage: false,
+                               value: __compactRuntime.StateValue.newNull().encode() } },
+                     { ins: { cached: true, n: 2 } },
+                     { swap: { n: 0 } }]);
+    if (this._equal_1(change_0, 0n)) {
+      return { change: this._none_0(), sent: output_0 };
+    } else {
+      const changeCoin_0 = { nonce:
+                               this._upgradeFromTransient_0(this._transientHash_0([__compactRuntime.convert_Uint8Array_to_bigint(30,
+                                                                                                                                 new Uint8Array([109, 105, 100, 110, 105, 103, 104, 116, 58, 107, 101, 114, 110, 101, 108, 58, 110, 111, 110, 99, 101, 95, 101, 118, 111, 108, 118, 101, 47, 50])),
+                                                                                   this._degradeToTransient_0(input_0.nonce)])),
+                             color: input_0.color,
+                             value: change_0 };
+      this._createZswapOutput_0(context,
+                                partialProofData,
+                                changeCoin_0,
+                                this._right_0(selfAddr_0));
+      const cm_0 = this._coinCommitment_0(changeCoin_0,
+                                          this._right_0(selfAddr_0));
+      Contract._query(context,
+                      partialProofData,
+                      [
+                       { swap: { n: 0 } },
+                       { idx: { cached: true,
+                                pushPath: true,
+                                path: [
+                                       { tag: 'value',
+                                         value: { value: _descriptor_21.toValue(2n),
+                                                  alignment: _descriptor_21.alignment() } }] } },
+                       { push: { storage: false,
+                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(cm_0),
+                                                                              alignment: _descriptor_1.alignment() }).encode() } },
+                       { push: { storage: false,
+                                 value: __compactRuntime.StateValue.newNull().encode() } },
+                       { ins: { cached: true, n: 2 } },
+                       { swap: { n: 0 } }]);
+      Contract._query(context,
+                      partialProofData,
+                      [
+                       { swap: { n: 0 } },
+                       { idx: { cached: true,
+                                pushPath: true,
+                                path: [
+                                       { tag: 'value',
+                                         value: { value: _descriptor_21.toValue(1n),
+                                                  alignment: _descriptor_21.alignment() } }] } },
+                       { push: { storage: false,
+                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(cm_0),
+                                                                              alignment: _descriptor_1.alignment() }).encode() } },
+                       { push: { storage: false,
+                                 value: __compactRuntime.StateValue.newNull().encode() } },
+                       { ins: { cached: true, n: 2 } },
+                       { swap: { n: 0 } }]);
+      return { change: this._some_0(changeCoin_0), sent: output_0 };
+    }
+  }
+  _sendImmediate_0(context, partialProofData, input_0, target_0, value_0) {
+    return this._send_0(context,
+                        partialProofData,
+                        this._upcastQualifiedCoin_0(input_0),
+                        target_0,
+                        value_0);
+  }
+  _downcastQualifiedCoin_0(coin_0) {
+    return { nonce: coin_0.nonce, color: coin_0.color, value: coin_0.value };
+  }
+  _upcastQualifiedCoin_0(coin_0) {
+    return { nonce: coin_0.nonce,
+             color: coin_0.color,
+             value: coin_0.value,
+             mt_index: 0n };
+  }
+  _coinCommitment_0(coin_0, recipient_0) {
+    return this._persistentHash_0({ info: coin_0,
+                                    dataType: recipient_0.is_left,
+                                    data:
+                                      recipient_0.is_left ?
+                                      recipient_0.left.bytes :
+                                      recipient_0.right.bytes,
+                                    domain_sep:
+                                      new Uint8Array([109, 100, 110, 58, 99, 99]) });
+  }
+  _coinNullifier_0(coin_0, addr_0) {
+    return this._persistentHash_0({ info: coin_0,
+                                    dataType: false,
+                                    data: addr_0.bytes,
+                                    domain_sep:
+                                      new Uint8Array([109, 100, 110, 58, 99, 110]) });
+  }
+  _update_color_0(context, partialProofData, c_0) {
+    __compactRuntime.assert(this._equal_2(_descriptor_2.fromValue(Contract._query(context,
+                                                                                  partialProofData,
+                                                                                  [
+                                                                                   { dup: { n: 0 } },
+                                                                                   { idx: { cached: false,
+                                                                                            pushPath: false,
+                                                                                            path: [
+                                                                                                   { tag: 'value',
+                                                                                                     value: { value: _descriptor_21.toValue(3n),
+                                                                                                              alignment: _descriptor_21.alignment() } }] } },
+                                                                                   { popeq: { cached: false,
+                                                                                              result: undefined } }]).value),
+                                          this._ownPublicKey_0(context,
+                                                               partialProofData)),
+                            'Not the owner');
+    Contract._query(context,
+                    partialProofData,
+                    [
+                     { push: { storage: false,
+                               value: __compactRuntime.StateValue.newCell({ value: _descriptor_21.toValue(8n),
+                                                                            alignment: _descriptor_21.alignment() }).encode() } },
+                     { push: { storage: true,
+                               value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(c_0),
+                                                                            alignment: _descriptor_1.alignment() }).encode() } },
+                     { ins: { cached: false, n: 1 } }]);
+    return [];
+  }
+  _update_cost_0(context, partialProofData, c_0) {
+    __compactRuntime.assert(this._equal_3(_descriptor_2.fromValue(Contract._query(context,
+                                                                                  partialProofData,
+                                                                                  [
+                                                                                   { dup: { n: 0 } },
+                                                                                   { idx: { cached: false,
+                                                                                            pushPath: false,
+                                                                                            path: [
+                                                                                                   { tag: 'value',
+                                                                                                     value: { value: _descriptor_21.toValue(3n),
+                                                                                                              alignment: _descriptor_21.alignment() } }] } },
+                                                                                   { popeq: { cached: false,
+                                                                                              result: undefined } }]).value),
+                                          this._ownPublicKey_0(context,
+                                                               partialProofData)),
+                            'Not the owner');
+    Contract._query(context,
+                    partialProofData,
+                    [
+                     { push: { storage: false,
+                               value: __compactRuntime.StateValue.newCell({ value: _descriptor_21.toValue(9n),
+                                                                            alignment: _descriptor_21.alignment() }).encode() } },
+                     { push: { storage: true,
+                               value: __compactRuntime.StateValue.newCell({ value: _descriptor_6.toValue(c_0),
+                                                                            alignment: _descriptor_6.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_2.fromValue(Contract._query(context,
+                                                                                  partialProofData,
+                                                                                  [
+                                                                                   { dup: { n: 0 } },
+                                                                                   { idx: { cached: false,
+                                                                                            pushPath: false,
+                                                                                            path: [
+                                                                                                   { tag: 'value',
+                                                                                                     value: { value: _descriptor_21.toValue(3n),
+                                                                                                              alignment: _descriptor_21.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_1())) {
+                      } else {
+                        const tmp_0 = kv_0.value[0];
+                        const tmp_1 = kv_0.value[1];
+                        Contract._query(context,
+                                        partialProofData,
+                                        [
+                                         { idx: { cached: false,
+                                                  pushPath: true,
+                                                  path: [
+                                                         { tag: 'value',
+                                                           value: { value: _descriptor_21.toValue(7n),
+                                                                    alignment: _descriptor_21.alignment() } }] } },
+                                         { push: { storage: false,
+                                                   value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(tmp_0),
+                                                                                                alignment: _descriptor_0.alignment() }).encode() } },
+                                         { push: { storage: true,
+                                                   value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(tmp_1),
+                                                                                                alignment: _descriptor_0.alignment() }).encode() } },
+                                         { ins: { cached: false, n: 1 } },
+                                         { ins: { cached: true, n: 1 } }]);
+                      }
+                      return t_0;
+                    }),
+                   [],
+                   kvs_0);
+    Contract._query(context,
+                    partialProofData,
+                    [
+                     { push: { storage: false,
+                               value: __compactRuntime.StateValue.newCell({ value: _descriptor_21.toValue(4n),
+                                                                            alignment: _descriptor_21.alignment() }).encode() } },
+                     { push: { storage: true,
+                               value: __compactRuntime.StateValue.newCell({ value: _descriptor_7.toValue(new_target_0),
+                                                                            alignment: _descriptor_7.alignment() }).encode() } },
+                     { ins: { cached: false, n: 1 } }]);
+    return [];
+  }
+  _buy_domain_for_0(context,
+                    partialProofData,
+                    owner_0,
+                    domain_0,
+                    resolver_0,
+                    payment_0)
+  {
+    __compactRuntime.assert(!_descriptor_5.fromValue(Contract._query(context,
+                                                                     partialProofData,
+                                                                     [
+                                                                      { dup: { n: 0 } },
+                                                                      { idx: { cached: false,
+                                                                               pushPath: false,
+                                                                               path: [
+                                                                                      { tag: 'value',
+                                                                                        value: { value: _descriptor_21.toValue(5n),
+                                                                                                 alignment: _descriptor_21.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_payment_0 = payment_0;
+    __compactRuntime.assert(this._equal_6(d_payment_0.value,
+                                          _descriptor_6.fromValue(Contract._query(context,
+                                                                                  partialProofData,
+                                                                                  [
+                                                                                   { dup: { n: 0 } },
+                                                                                   { idx: { cached: false,
+                                                                                            pushPath: false,
+                                                                                            path: [
+                                                                                                   { tag: 'value',
+                                                                                                     value: { value: _descriptor_21.toValue(9n),
+                                                                                                              alignment: _descriptor_21.alignment() } }] } },
+                                                                                   { popeq: { cached: false,
+                                                                                              result: undefined } }]).value)),
+                            'Wrong amount');
+    __compactRuntime.assert(this._equal_7(d_payment_0.color,
+                                          _descriptor_1.fromValue(Contract._query(context,
+                                                                                  partialProofData,
+                                                                                  [
+                                                                                   { dup: { n: 0 } },
+                                                                                   { idx: { cached: false,
+                                                                                            pushPath: false,
+                                                                                            path: [
+                                                                                                   { tag: 'value',
+                                                                                                     value: { value: _descriptor_21.toValue(8n),
+                                                                                                              alignment: _descriptor_21.alignment() } }] } },
+                                                                                   { popeq: { cached: false,
+                                                                                              result: undefined } }]).value)),
+                            'Wrong coin');
+    this._receive_0(context, partialProofData, d_payment_0);
+    this._sendImmediate_0(context,
+                          partialProofData,
+                          d_payment_0,
+                          this._left_0(_descriptor_2.fromValue(Contract._query(context,
+                                                                               partialProofData,
+                                                                               [
+                                                                                { dup: { n: 0 } },
+                                                                                { idx: { cached: false,
+                                                                                         pushPath: false,
+                                                                                         path: [
+                                                                                                { tag: 'value',
+                                                                                                  value: { value: _descriptor_21.toValue(3n),
+                                                                                                           alignment: _descriptor_21.alignment() } }] } },
+                                                                                { popeq: { cached: false,
+                                                                                           result: undefined } }]).value)),
+                          _descriptor_6.fromValue(Contract._query(context,
+                                                                  partialProofData,
+                                                                  [
+                                                                   { dup: { n: 0 } },
+                                                                   { idx: { cached: false,
+                                                                            pushPath: false,
+                                                                            path: [
+                                                                                   { tag: 'value',
+                                                                                     value: { value: _descriptor_21.toValue(9n),
+                                                                                              alignment: _descriptor_21.alignment() } }] } },
+                                                                   { popeq: { cached: false,
+                                                                              result: undefined } }]).value));
+    const d_owner_0 = owner_0;
+    const domain_data_0 = { owner: d_owner_0, resolver: resolver_0 };
+    Contract._query(context,
+                    partialProofData,
+                    [
+                     { idx: { cached: false,
+                              pushPath: true,
+                              path: [
+                                     { tag: 'value',
+                                       value: { value: _descriptor_21.toValue(5n),
+                                                alignment: _descriptor_21.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_4.toValue(domain_data_0),
+                                                                            alignment: _descriptor_4.alignment() }).encode() } },
+                     { ins: { cached: false, n: 1 } },
+                     { ins: { cached: true, n: 1 } }]);
+    if (!_descriptor_5.fromValue(Contract._query(context,
+                                                 partialProofData,
+                                                 [
+                                                  { dup: { n: 0 } },
+                                                  { idx: { cached: false,
+                                                           pushPath: false,
+                                                           path: [
+                                                                  { tag: 'value',
+                                                                    value: { value: _descriptor_21.toValue(6n),
+                                                                             alignment: _descriptor_21.alignment() } }] } },
+                                                  { push: { storage: false,
+                                                            value: __compactRuntime.StateValue.newCell({ value: _descriptor_2.toValue(d_owner_0),
+                                                                                                         alignment: _descriptor_2.alignment() }).encode() } },
+                                                  'member',
+                                                  { popeq: { cached: true,
+                                                             result: undefined } }]).value))
+    {
+      Contract._query(context,
+                      partialProofData,
+                      [
+                       { idx: { cached: false,
+                                pushPath: true,
+                                path: [
+                                       { tag: 'value',
+                                         value: { value: _descriptor_21.toValue(6n),
+                                                  alignment: _descriptor_21.alignment() } }] } },
+                       { push: { storage: false,
+                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_2.toValue(d_owner_0),
+                                                                              alignment: _descriptor_2.alignment() }).encode() } },
+                       { push: { storage: true,
+                                 value: __compactRuntime.StateValue.newMap(
+                                          new __compactRuntime.StateMap()
+                                        ).encode() } },
+                       { ins: { cached: false, n: 1 } },
+                       { ins: { cached: true, n: 1 } }]);
+    }
+    Contract._query(context,
+                    partialProofData,
+                    [
+                     { idx: { cached: false,
+                              pushPath: true,
+                              path: [
+                                     { tag: 'value',
+                                       value: { value: _descriptor_21.toValue(6n),
+                                                alignment: _descriptor_21.alignment() } },
+                                     { tag: 'value',
+                                       value: { value: _descriptor_2.toValue(d_owner_0),
+                                                alignment: _descriptor_2.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_2.fromValue(Contract._query(context,
+                                                                                  partialProofData,
+                                                                                  [
+                                                                                   { dup: { n: 0 } },
+                                                                                   { idx: { cached: false,
+                                                                                            pushPath: false,
+                                                                                            path: [
+                                                                                                   { tag: 'value',
+                                                                                                     value: { value: _descriptor_21.toValue(3n),
+                                                                                                              alignment: _descriptor_21.alignment() } }] } },
+                                                                                   { popeq: { cached: false,
+                                                                                              result: undefined } }]).value),
+                                          this._ownPublicKey_0(context,
+                                                               partialProofData)),
+                            'Not the domain owner');
+    this._folder_2(context,
+                   partialProofData,
+                   ((context, partialProofData, t_0, kv_0) =>
+                    {
+                      if (this._equal_9(kv_0, this._none_1())) {
+                      } else {
+                        const tmp_0 = kv_0.value[0];
+                        const tmp_1 = kv_0.value[1];
+                        Contract._query(context,
+                                        partialProofData,
+                                        [
+                                         { idx: { cached: false,
+                                                  pushPath: true,
+                                                  path: [
+                                                         { tag: 'value',
+                                                           value: { value: _descriptor_21.toValue(7n),
+                                                                    alignment: _descriptor_21.alignment() } }] } },
+                                         { push: { storage: false,
+                                                   value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(tmp_0),
+                                                                                                alignment: _descriptor_0.alignment() }).encode() } },
+                                         { push: { storage: true,
+                                                   value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(tmp_1),
+                                                                                                alignment: _descriptor_0.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_2.fromValue(Contract._query(context,
+                                                                                   partialProofData,
+                                                                                   [
+                                                                                    { dup: { n: 0 } },
+                                                                                    { idx: { cached: false,
+                                                                                             pushPath: false,
+                                                                                             path: [
+                                                                                                    { tag: 'value',
+                                                                                                      value: { value: _descriptor_21.toValue(3n),
+                                                                                                               alignment: _descriptor_21.alignment() } }] } },
+                                                                                    { popeq: { cached: false,
+                                                                                               result: undefined } }]).value),
+                                           this._ownPublicKey_0(context,
+                                                                partialProofData)),
+                            'Not the domain owner');
+    Contract._query(context,
+                    partialProofData,
+                    [
+                     { idx: { cached: false,
+                              pushPath: true,
+                              path: [
+                                     { tag: 'value',
+                                       value: { value: _descriptor_21.toValue(7n),
+                                                alignment: _descriptor_21.alignment() } }] } },
+                     { push: { storage: false,
+                               value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(k_0),
+                                                                            alignment: _descriptor_0.alignment() }).encode() } },
+                     { push: { storage: true,
+                               value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(v_0),
+                                                                            alignment: _descriptor_0.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_2.fromValue(Contract._query(context,
+                                                                                   partialProofData,
+                                                                                   [
+                                                                                    { dup: { n: 0 } },
+                                                                                    { idx: { cached: false,
+                                                                                             pushPath: false,
+                                                                                             path: [
+                                                                                                    { tag: 'value',
+                                                                                                      value: { value: _descriptor_21.toValue(3n),
+                                                                                                               alignment: _descriptor_21.alignment() } }] } },
+                                                                                    { popeq: { cached: false,
+                                                                                               result: undefined } }]).value),
+                                           this._ownPublicKey_0(context,
+                                                                partialProofData)),
+                            'Not the domain owner');
+    Contract._query(context,
+                    partialProofData,
+                    [
+                     { idx: { cached: false,
+                              pushPath: true,
+                              path: [
+                                     { tag: 'value',
+                                       value: { value: _descriptor_21.toValue(7n),
+                                                alignment: _descriptor_21.alignment() } }] } },
+                     { push: { storage: false,
+                               value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(k_0),
+                                                                            alignment: _descriptor_0.alignment() }).encode() } },
+                     { rem: { cached: false } },
+                     { ins: { cached: true, n: 1 } }]);
+    return [];
+  }
+  _clear_all_fields_0(context, partialProofData, domain_0) {
+    __compactRuntime.assert(this._equal_12(_descriptor_2.fromValue(Contract._query(context,
+                                                                                   partialProofData,
+                                                                                   [
+                                                                                    { dup: { n: 0 } },
+                                                                                    { idx: { cached: false,
+                                                                                             pushPath: false,
+                                                                                             path: [
+                                                                                                    { tag: 'value',
+                                                                                                      value: { value: _descriptor_21.toValue(3n),
+                                                                                                               alignment: _descriptor_21.alignment() } }] } },
+                                                                                    { popeq: { cached: false,
+                                                                                               result: undefined } }]).value),
+                                           this._ownPublicKey_0(context,
+                                                                partialProofData)),
+                            'Not the domain owner');
+    Contract._query(context,
+                    partialProofData,
+                    [
+                     { push: { storage: false,
+                               value: __compactRuntime.StateValue.newCell({ value: _descriptor_21.toValue(7n),
+                                                                            alignment: _descriptor_21.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,
+                         resolver_0)
+  {
+    __compactRuntime.assert(!_descriptor_5.fromValue(Contract._query(context,
+                                                                     partialProofData,
+                                                                     [
+                                                                      { dup: { n: 0 } },
+                                                                      { idx: { cached: false,
+                                                                               pushPath: false,
+                                                                               path: [
+                                                                                      { tag: 'value',
+                                                                                        value: { value: _descriptor_21.toValue(5n),
+                                                                                                 alignment: _descriptor_21.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_13(_descriptor_2.fromValue(Contract._query(context,
+                                                                                   partialProofData,
+                                                                                   [
+                                                                                    { dup: { n: 0 } },
+                                                                                    { idx: { cached: false,
+                                                                                             pushPath: false,
+                                                                                             path: [
+                                                                                                    { tag: 'value',
+                                                                                                      value: { value: _descriptor_21.toValue(3n),
+                                                                                                               alignment: _descriptor_21.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 };
+    Contract._query(context,
+                    partialProofData,
+                    [
+                     { idx: { cached: false,
+                              pushPath: true,
+                              path: [
+                                     { tag: 'value',
+                                       value: { value: _descriptor_21.toValue(5n),
+                                                alignment: _descriptor_21.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_4.toValue(domain_data_0),
+                                                                            alignment: _descriptor_4.alignment() }).encode() } },
+                     { ins: { cached: false, n: 1 } },
+                     { ins: { cached: true, n: 1 } }]);
+    if (!_descriptor_5.fromValue(Contract._query(context,
+                                                 partialProofData,
+                                                 [
+                                                  { dup: { n: 0 } },
+                                                  { idx: { cached: false,
+                                                           pushPath: false,
+                                                           path: [
+                                                                  { tag: 'value',
+                                                                    value: { value: _descriptor_21.toValue(6n),
+                                                                             alignment: _descriptor_21.alignment() } }] } },
+                                                  { push: { storage: false,
+                                                            value: __compactRuntime.StateValue.newCell({ value: _descriptor_2.toValue(d_owner_0),
+                                                                                                         alignment: _descriptor_2.alignment() }).encode() } },
+                                                  'member',
+                                                  { popeq: { cached: true,
+                                                             result: undefined } }]).value))
+    {
+      Contract._query(context,
+                      partialProofData,
+                      [
+                       { idx: { cached: false,
+                                pushPath: true,
+                                path: [
+                                       { tag: 'value',
+                                         value: { value: _descriptor_21.toValue(6n),
+                                                  alignment: _descriptor_21.alignment() } }] } },
+                       { push: { storage: false,
+                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_2.toValue(d_owner_0),
+                                                                              alignment: _descriptor_2.alignment() }).encode() } },
+                       { push: { storage: true,
+                                 value: __compactRuntime.StateValue.newMap(
+                                          new __compactRuntime.StateMap()
+                                        ).encode() } },
+                       { ins: { cached: false, n: 1 } },
+                       { ins: { cached: true, n: 1 } }]);
+    }
+    Contract._query(context,
+                    partialProofData,
+                    [
+                     { idx: { cached: false,
+                              pushPath: true,
+                              path: [
+                                     { tag: 'value',
+                                       value: { value: _descriptor_21.toValue(6n),
+                                                alignment: _descriptor_21.alignment() } },
+                                     { tag: 'value',
+                                       value: { value: _descriptor_2.toValue(d_owner_0),
+                                                alignment: _descriptor_2.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_5.fromValue(Contract._query(context,
+                                                                    partialProofData,
+                                                                    [
+                                                                     { dup: { n: 0 } },
+                                                                     { idx: { cached: false,
+                                                                              pushPath: false,
+                                                                              path: [
+                                                                                     { tag: 'value',
+                                                                                       value: { value: _descriptor_21.toValue(5n),
+                                                                                                alignment: _descriptor_21.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_4.fromValue(Contract._query(context,
+                                                                   partialProofData,
+                                                                   [
+                                                                    { dup: { n: 0 } },
+                                                                    { idx: { cached: false,
+                                                                             pushPath: false,
+                                                                             path: [
+                                                                                    { tag: 'value',
+                                                                                      value: { value: _descriptor_21.toValue(5n),
+                                                                                               alignment: _descriptor_21.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_14(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 };
+    Contract._query(context,
+                    partialProofData,
+                    [
+                     { idx: { cached: false,
+                              pushPath: true,
+                              path: [
+                                     { tag: 'value',
+                                       value: { value: _descriptor_21.toValue(5n),
+                                                alignment: _descriptor_21.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_4.toValue(new_data_0),
+                                                                            alignment: _descriptor_4.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_15(_descriptor_2.fromValue(Contract._query(context,
+                                                                                   partialProofData,
+                                                                                   [
+                                                                                    { dup: { n: 0 } },
+                                                                                    { idx: { cached: false,
+                                                                                             pushPath: false,
+                                                                                             path: [
+                                                                                                    { tag: 'value',
+                                                                                                      value: { value: _descriptor_21.toValue(3n),
+                                                                                                               alignment: _descriptor_21.alignment() } }] } },
+                                                                                    { popeq: { cached: false,
+                                                                                               result: undefined } }]).value),
+                                           this._ownPublicKey_0(context,
+                                                                partialProofData)),
+                            'Not the contract owner');
+    Contract._query(context,
+                    partialProofData,
+                    [
+                     { push: { storage: false,
+                               value: __compactRuntime.StateValue.newCell({ value: _descriptor_21.toValue(4n),
+                                                                            alignment: _descriptor_21.alignment() }).encode() } },
+                     { push: { storage: true,
+                               value: __compactRuntime.StateValue.newCell({ value: _descriptor_7.toValue(new_target_0),
+                                                                            alignment: _descriptor_7.alignment() }).encode() } },
+                     { ins: { cached: false, n: 1 } }]);
+    return [];
+  }
+  _transfer_domain_0(context, partialProofData, domain_0, new_owner_0) {
+    __compactRuntime.assert(_descriptor_5.fromValue(Contract._query(context,
+                                                                    partialProofData,
+                                                                    [
+                                                                     { dup: { n: 0 } },
+                                                                     { idx: { cached: false,
+                                                                              pushPath: false,
+                                                                              path: [
+                                                                                     { tag: 'value',
+                                                                                       value: { value: _descriptor_21.toValue(5n),
+                                                                                                alignment: _descriptor_21.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_4.fromValue(Contract._query(context,
+                                                                   partialProofData,
+                                                                   [
+                                                                    { dup: { n: 0 } },
+                                                                    { idx: { cached: false,
+                                                                             pushPath: false,
+                                                                             path: [
+                                                                                    { tag: 'value',
+                                                                                      value: { value: _descriptor_21.toValue(5n),
+                                                                                               alignment: _descriptor_21.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_16(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 };
+    Contract._query(context,
+                    partialProofData,
+                    [
+                     { idx: { cached: false,
+                              pushPath: true,
+                              path: [
+                                     { tag: 'value',
+                                       value: { value: _descriptor_21.toValue(5n),
+                                                alignment: _descriptor_21.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_4.toValue(new_data_0),
+                                                                            alignment: _descriptor_4.alignment() }).encode() } },
+                     { ins: { cached: false, n: 1 } },
+                     { ins: { cached: true, n: 1 } }]);
+    const tmp_0 = this._ownPublicKey_0(context, partialProofData);
+    Contract._query(context,
+                    partialProofData,
+                    [
+                     { idx: { cached: false,
+                              pushPath: true,
+                              path: [
+                                     { tag: 'value',
+                                       value: { value: _descriptor_21.toValue(6n),
+                                                alignment: _descriptor_21.alignment() } },
+                                     { tag: 'value',
+                                       value: { value: _descriptor_2.toValue(tmp_0),
+                                                alignment: _descriptor_2.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_5.fromValue(Contract._query(context,
+                                                 partialProofData,
+                                                 [
+                                                  { dup: { n: 0 } },
+                                                  { idx: { cached: false,
+                                                           pushPath: false,
+                                                           path: [
+                                                                  { tag: 'value',
+                                                                    value: { value: _descriptor_21.toValue(6n),
+                                                                             alignment: _descriptor_21.alignment() } }] } },
+                                                  { push: { storage: false,
+                                                            value: __compactRuntime.StateValue.newCell({ value: _descriptor_2.toValue(new_owner_0),
+                                                                                                         alignment: _descriptor_2.alignment() }).encode() } },
+                                                  'member',
+                                                  { popeq: { cached: true,
+                                                             result: undefined } }]).value))
+    {
+      Contract._query(context,
+                      partialProofData,
+                      [
+                       { idx: { cached: false,
+                                pushPath: true,
+                                path: [
+                                       { tag: 'value',
+                                         value: { value: _descriptor_21.toValue(6n),
+                                                  alignment: _descriptor_21.alignment() } }] } },
+                       { push: { storage: false,
+                                 value: __compactRuntime.StateValue.newCell({ value: _descriptor_2.toValue(new_owner_0),
+                                                                              alignment: _descriptor_2.alignment() }).encode() } },
+                       { push: { storage: true,
+                                 value: __compactRuntime.StateValue.newMap(
+                                          new __compactRuntime.StateMap()
+                                        ).encode() } },
+                       { ins: { cached: false, n: 1 } },
+                       { ins: { cached: true, n: 1 } }]);
+    }
+    Contract._query(context,
+                    partialProofData,
+                    [
+                     { idx: { cached: false,
+                              pushPath: true,
+                              path: [
+                                     { tag: 'value',
+                                       value: { value: _descriptor_21.toValue(6n),
+                                                alignment: _descriptor_21.alignment() } },
+                                     { tag: 'value',
+                                       value: { value: _descriptor_2.toValue(new_owner_0),
+                                                alignment: _descriptor_2.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_17(_descriptor_2.fromValue(Contract._query(context,
+                                                                                   partialProofData,
+                                                                                   [
+                                                                                    { dup: { n: 0 } },
+                                                                                    { idx: { cached: false,
+                                                                                             pushPath: false,
+                                                                                             path: [
+                                                                                                    { tag: 'value',
+                                                                                                      value: { value: _descriptor_21.toValue(3n),
+                                                                                                               alignment: _descriptor_21.alignment() } }] } },
+                                                                                    { popeq: { cached: false,
+                                                                                               result: undefined } }]).value),
+                                           this._ownPublicKey_0(context,
+                                                                partialProofData)),
+                            'Not the contract owner');
+    Contract._query(context,
+                    partialProofData,
+                    [
+                     { push: { storage: false,
+                               value: __compactRuntime.StateValue.newCell({ value: _descriptor_21.toValue(3n),
+                                                                            alignment: _descriptor_21.alignment() }).encode() } },
+                     { push: { storage: true,
+                               value: __compactRuntime.StateValue.newCell({ value: _descriptor_2.toValue(new_owner_0),
+                                                                            alignment: _descriptor_2.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 !== y0) { 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;
+  }
+  _equal_7(x0, y0) {
+    if (!x0.every((x, i) => y0[i] === x)) { 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_2(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) {
+    {
+      let x1 = x0.bytes;
+      let y1 = y0.bytes;
+      if (!x1.every((x, i) => y1[i] === x)) { return false; }
+    }
+    return true;
+  }
+  _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;
+  }
+  static _query(context, partialProofData, prog) {
+    var res;
+    try {
+      res = context.transactionContext.query(prog, __compactRuntime.CostModel.dummyCostModel());
+    } catch (err) {
+      throw new __compactRuntime.CompactError(err.toString());
+    }
+    context.transactionContext = res.context;
+    var reads = res.events.filter((e) => e.tag === 'read');
+    var i = 0;
+    partialProofData.publicTranscript = partialProofData.publicTranscript.concat(prog.map((op) => {
+      if(typeof(op) === 'object' && 'popeq' in op) {
+        return { popeq: {
+          ...op.popeq,
+          result: reads[i++].content,
+        } };
+      } else {
+        return op;
+      }
+    }));
+    if(res.events.length == 1 && res.events[0].tag === 'read') {
+      return res.events[0].content;
+    } else {
+      return res.events;
+    }
+  }
+}
+function ledger(state) {
+  const context = {
+    originalState: state,
+    transactionContext: new __compactRuntime.QueryContext(state, __compactRuntime.dummyContractAddress())
+  };
+  const partialProofData = {
+    input: { value: [], alignment: [] },
+    output: undefined,
+    publicTranscript: [],
+    privateTranscriptOutputs: []
+  };
+  return {
+    get PARENT_DOMAIN() {
+      return _descriptor_20.fromValue(Contract._query(context,
+                                                      partialProofData,
+                                                      [
+                                                       { dup: { n: 0 } },
+                                                       { idx: { cached: false,
+                                                                pushPath: false,
+                                                                path: [
+                                                                       { tag: 'value',
+                                                                         value: { value: _descriptor_21.toValue(0n),
+                                                                                  alignment: _descriptor_21.alignment() } }] } },
+                                                       { popeq: { cached: false,
+                                                                  result: undefined } }]).value);
+    },
+    get PARENT_RESOLVER() {
+      return _descriptor_3.fromValue(Contract._query(context,
+                                                     partialProofData,
+                                                     [
+                                                      { dup: { n: 0 } },
+                                                      { idx: { cached: false,
+                                                               pushPath: false,
+                                                               path: [
+                                                                      { tag: 'value',
+                                                                        value: { value: _descriptor_21.toValue(1n),
+                                                                                 alignment: _descriptor_21.alignment() } }] } },
+                                                      { popeq: { cached: false,
+                                                                 result: undefined } }]).value);
+    },
+    get DOMAIN() {
+      return _descriptor_20.fromValue(Contract._query(context,
+                                                      partialProofData,
+                                                      [
+                                                       { dup: { n: 0 } },
+                                                       { idx: { cached: false,
+                                                                pushPath: false,
+                                                                path: [
+                                                                       { tag: 'value',
+                                                                         value: { value: _descriptor_21.toValue(2n),
+                                                                                  alignment: _descriptor_21.alignment() } }] } },
+                                                       { popeq: { cached: false,
+                                                                  result: undefined } }]).value);
+    },
+    get DOMAIN_OWNER() {
+      return _descriptor_2.fromValue(Contract._query(context,
+                                                     partialProofData,
+                                                     [
+                                                      { dup: { n: 0 } },
+                                                      { idx: { cached: false,
+                                                               pushPath: false,
+                                                               path: [
+                                                                      { tag: 'value',
+                                                                        value: { value: _descriptor_21.toValue(3n),
+                                                                                 alignment: _descriptor_21.alignment() } }] } },
+                                                      { popeq: { cached: false,
+                                                                 result: undefined } }]).value);
+    },
+    get DOMAIN_TARGET() {
+      return _descriptor_7.fromValue(Contract._query(context,
+                                                     partialProofData,
+                                                     [
+                                                      { dup: { n: 0 } },
+                                                      { idx: { cached: false,
+                                                               pushPath: false,
+                                                               path: [
+                                                                      { tag: 'value',
+                                                                        value: { value: _descriptor_21.toValue(4n),
+                                                                                 alignment: _descriptor_21.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_5.fromValue(Contract._query(context,
+                                                       partialProofData,
+                                                       [
+                                                        { dup: { n: 0 } },
+                                                        { idx: { cached: false,
+                                                                 pushPath: false,
+                                                                 path: [
+                                                                        { tag: 'value',
+                                                                          value: { value: _descriptor_21.toValue(5n),
+                                                                                   alignment: _descriptor_21.alignment() } }] } },
+                                                        'size',
+                                                        { push: { storage: false,
+                                                                  value: __compactRuntime.StateValue.newCell({ value: _descriptor_6.toValue(0n),
+                                                                                                               alignment: _descriptor_6.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_6.fromValue(Contract._query(context,
+                                                       partialProofData,
+                                                       [
+                                                        { dup: { n: 0 } },
+                                                        { idx: { cached: false,
+                                                                 pushPath: false,
+                                                                 path: [
+                                                                        { tag: 'value',
+                                                                          value: { value: _descriptor_21.toValue(5n),
+                                                                                   alignment: _descriptor_21.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_5.fromValue(Contract._query(context,
+                                                       partialProofData,
+                                                       [
+                                                        { dup: { n: 0 } },
+                                                        { idx: { cached: false,
+                                                                 pushPath: false,
+                                                                 path: [
+                                                                        { tag: 'value',
+                                                                          value: { value: _descriptor_21.toValue(5n),
+                                                                                   alignment: _descriptor_21.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];
+        return _descriptor_4.fromValue(Contract._query(context,
+                                                       partialProofData,
+                                                       [
+                                                        { dup: { n: 0 } },
+                                                        { idx: { cached: false,
+                                                                 pushPath: false,
+                                                                 path: [
+                                                                        { tag: 'value',
+                                                                          value: { value: _descriptor_21.toValue(5n),
+                                                                                   alignment: _descriptor_21.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_4.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_5.fromValue(Contract._query(context,
+                                                       partialProofData,
+                                                       [
+                                                        { dup: { n: 0 } },
+                                                        { idx: { cached: false,
+                                                                 pushPath: false,
+                                                                 path: [
+                                                                        { tag: 'value',
+                                                                          value: { value: _descriptor_21.toValue(6n),
+                                                                                   alignment: _descriptor_21.alignment() } }] } },
+                                                        'size',
+                                                        { push: { storage: false,
+                                                                  value: __compactRuntime.StateValue.newCell({ value: _descriptor_6.toValue(0n),
+                                                                                                               alignment: _descriptor_6.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_6.fromValue(Contract._query(context,
+                                                       partialProofData,
+                                                       [
+                                                        { dup: { n: 0 } },
+                                                        { idx: { cached: false,
+                                                                 pushPath: false,
+                                                                 path: [
+                                                                        { tag: 'value',
+                                                                          value: { value: _descriptor_21.toValue(6n),
+                                                                                   alignment: _descriptor_21.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.type_error('member',
+                                      'argument 1',
+                                      'leaf.compact line 41 char 1',
+                                      'struct ZswapCoinPublicKey<bytes: Bytes<32>>',
+                                      key_0)
+        }
+        return _descriptor_5.fromValue(Contract._query(context,
+                                                       partialProofData,
+                                                       [
+                                                        { dup: { n: 0 } },
+                                                        { idx: { cached: false,
+                                                                 pushPath: false,
+                                                                 path: [
+                                                                        { tag: 'value',
+                                                                          value: { value: _descriptor_21.toValue(6n),
+                                                                                   alignment: _descriptor_21.alignment() } }] } },
+                                                        { push: { storage: false,
+                                                                  value: __compactRuntime.StateValue.newCell({ value: _descriptor_2.toValue(key_0),
+                                                                                                               alignment: _descriptor_2.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.type_error('lookup',
+                                      'argument 1',
+                                      'leaf.compact line 41 char 1',
+                                      'struct ZswapCoinPublicKey<bytes: Bytes<32>>',
+                                      key_0)
+        }
+        if (state.asArray()[6].asMap().get({ value: _descriptor_2.toValue(key_0),
+                                             alignment: _descriptor_2.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_5.fromValue(Contract._query(context,
+                                                           partialProofData,
+                                                           [
+                                                            { dup: { n: 0 } },
+                                                            { idx: { cached: false,
+                                                                     pushPath: false,
+                                                                     path: [
+                                                                            { tag: 'value',
+                                                                              value: { value: _descriptor_21.toValue(6n),
+                                                                                       alignment: _descriptor_21.alignment() } },
+                                                                            { tag: 'value',
+                                                                              value: { value: _descriptor_2.toValue(key_0),
+                                                                                       alignment: _descriptor_2.alignment() } }] } },
+                                                            'size',
+                                                            { push: { storage: false,
+                                                                      value: __compactRuntime.StateValue.newCell({ value: _descriptor_6.toValue(0n),
+                                                                                                                   alignment: _descriptor_6.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_6.fromValue(Contract._query(context,
+                                                           partialProofData,
+                                                           [
+                                                            { dup: { n: 0 } },
+                                                            { idx: { cached: false,
+                                                                     pushPath: false,
+                                                                     path: [
+                                                                            { tag: 'value',
+                                                                              value: { value: _descriptor_21.toValue(6n),
+                                                                                       alignment: _descriptor_21.alignment() } },
+                                                                            { tag: 'value',
+                                                                              value: { value: _descriptor_2.toValue(key_0),
+                                                                                       alignment: _descriptor_2.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];
+            return _descriptor_5.fromValue(Contract._query(context,
+                                                           partialProofData,
+                                                           [
+                                                            { dup: { n: 0 } },
+                                                            { idx: { cached: false,
+                                                                     pushPath: false,
+                                                                     path: [
+                                                                            { tag: 'value',
+                                                                              value: { value: _descriptor_21.toValue(6n),
+                                                                                       alignment: _descriptor_21.alignment() } },
+                                                                            { tag: 'value',
+                                                                              value: { value: _descriptor_2.toValue(key_0),
+                                                                                       alignment: _descriptor_2.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_2.toValue(key_0),
+                                                            alignment: _descriptor_2.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_5.fromValue(Contract._query(context,
+                                                       partialProofData,
+                                                       [
+                                                        { dup: { n: 0 } },
+                                                        { idx: { cached: false,
+                                                                 pushPath: false,
+                                                                 path: [
+                                                                        { tag: 'value',
+                                                                          value: { value: _descriptor_21.toValue(7n),
+                                                                                   alignment: _descriptor_21.alignment() } }] } },
+                                                        'size',
+                                                        { push: { storage: false,
+                                                                  value: __compactRuntime.StateValue.newCell({ value: _descriptor_6.toValue(0n),
+                                                                                                               alignment: _descriptor_6.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_6.fromValue(Contract._query(context,
+                                                       partialProofData,
+                                                       [
+                                                        { dup: { n: 0 } },
+                                                        { idx: { cached: false,
+                                                                 pushPath: false,
+                                                                 path: [
+                                                                        { tag: 'value',
+                                                                          value: { value: _descriptor_21.toValue(7n),
+                                                                                   alignment: _descriptor_21.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_5.fromValue(Contract._query(context,
+                                                       partialProofData,
+                                                       [
+                                                        { dup: { n: 0 } },
+                                                        { idx: { cached: false,
+                                                                 pushPath: false,
+                                                                 path: [
+                                                                        { tag: 'value',
+                                                                          value: { value: _descriptor_21.toValue(7n),
+                                                                                   alignment: _descriptor_21.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];
+        return _descriptor_0.fromValue(Contract._query(context,
+                                                       partialProofData,
+                                                       [
+                                                        { dup: { n: 0 } },
+                                                        { idx: { cached: false,
+                                                                 pushPath: false,
+                                                                 path: [
+                                                                        { tag: 'value',
+                                                                          value: { value: _descriptor_21.toValue(7n),
+                                                                                   alignment: _descriptor_21.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()[7];
+        return self_0.asMap().keys().map(  (key) => {    const value = self_0.asMap().get(key).asCell();    return [      _descriptor_0.fromValue(key.value),      _descriptor_0.fromValue(value.value)    ];  })[Symbol.iterator]();
+      }
+    },
+    get COIN_COLOR() {
+      return _descriptor_1.fromValue(Contract._query(context,
+                                                     partialProofData,
+                                                     [
+                                                      { dup: { n: 0 } },
+                                                      { idx: { cached: false,
+                                                               pushPath: false,
+                                                               path: [
+                                                                      { tag: 'value',
+                                                                        value: { value: _descriptor_21.toValue(8n),
+                                                                                 alignment: _descriptor_21.alignment() } }] } },
+                                                      { popeq: { cached: false,
+                                                                 result: undefined } }]).value);
+    },
+    get DOMAIN_COST() {
+      return _descriptor_6.fromValue(Contract._query(context,
+                                                     partialProofData,
+                                                     [
+                                                      { dup: { n: 0 } },
+                                                      { idx: { cached: false,
+                                                               pushPath: false,
+                                                               path: [
+                                                                      { tag: 'value',
+                                                                        value: { value: _descriptor_21.toValue(9n),
+                                                                                 alignment: _descriptor_21.alignment() } }] } },
+                                                      { popeq: { cached: false,
+                                                                 result: undefined } }]).value);
+    }
+  };
+}
+const _emptyContext = {
+  originalState: new __compactRuntime.ContractState(),
+  transactionContext: new __compactRuntime.QueryContext(new __compactRuntime.ContractState().data, __compactRuntime.dummyContractAddress())
+};
+const _dummyContract = new Contract({ });
+const pureCircuits = {};
+const contractReferenceLocations = { tag: 'publicLedgerArray', indices: { } };
+exports.Contract = Contract;
+exports.ledger = ledger;
+exports.pureCircuits = pureCircuits;
+exports.contractReferenceLocations = contractReferenceLocations;
+//# sourceMappingURL=index.cjs.map