@dstorage-tech/dstorage-sdk 0.0.4

package/dist/chunk-VDZ7F7MP.mjs

@@ -0,0 +1,1329 @@
+import {
+  __publicField
+} from "./chunk-5QOKJEH3.mjs";
+
+// ../chain/dist/chunk-I3XXA2G7.mjs
+import * as __compactRuntime from "@midnight-ntwrk/compact-runtime";
+import { CompiledContract } from "@midnight-ntwrk/compact-js";
+__compactRuntime.checkRuntimeVersion("0.16.0");
+var _descriptor_0 = new __compactRuntime.CompactTypeBytes(32);
+var _descriptor_1 = __compactRuntime.CompactTypeOpaqueString;
+var _descriptor_2 = new __compactRuntime.CompactTypeUnsignedInteger(18446744073709551615n, 8);
+var _ReferenceEntry_0 = class {
+  alignment() {
+    return _descriptor_1.alignment().concat(_descriptor_1.alignment().concat(_descriptor_1.alignment().concat(_descriptor_1.alignment().concat(_descriptor_2.alignment().concat(_descriptor_1.alignment().concat(_descriptor_0.alignment().concat(_descriptor_0.alignment())))))));
+  }
+  fromValue(value_0) {
+    return {
+      storageId: _descriptor_1.fromValue(value_0),
+      encryptionScheme: _descriptor_1.fromValue(value_0),
+      storageProvider: _descriptor_1.fromValue(value_0),
+      metadata: _descriptor_1.fromValue(value_0),
+      writtenAt: _descriptor_2.fromValue(value_0),
+      keyEnvelope: _descriptor_1.fromValue(value_0),
+      ownerCommitment: _descriptor_0.fromValue(value_0),
+      contentHash: _descriptor_0.fromValue(value_0)
+    };
+  }
+  toValue(value_0) {
+    return _descriptor_1.toValue(value_0.storageId).concat(_descriptor_1.toValue(value_0.encryptionScheme).concat(_descriptor_1.toValue(value_0.storageProvider).concat(_descriptor_1.toValue(value_0.metadata).concat(_descriptor_2.toValue(value_0.writtenAt).concat(_descriptor_1.toValue(value_0.keyEnvelope).concat(_descriptor_0.toValue(value_0.ownerCommitment).concat(_descriptor_0.toValue(value_0.contentHash))))))));
+  }
+};
+var _descriptor_3 = new _ReferenceEntry_0();
+var _descriptor_4 = __compactRuntime.CompactTypeBoolean;
+var _ContractAddress_0 = class {
+  alignment() {
+    return _descriptor_0.alignment();
+  }
+  fromValue(value_0) {
+    return {
+      bytes: _descriptor_0.fromValue(value_0)
+    };
+  }
+  toValue(value_0) {
+    return _descriptor_0.toValue(value_0.bytes);
+  }
+};
+var _descriptor_5 = new _ContractAddress_0();
+var _descriptor_6 = new __compactRuntime.CompactTypeUnsignedInteger(65535n, 2);
+var _descriptor_7 = new __compactRuntime.CompactTypeVector(4, _descriptor_0);
+var _descriptor_8 = new __compactRuntime.CompactTypeVector(3, _descriptor_0);
+var _Either_0 = class {
+  alignment() {
+    return _descriptor_4.alignment().concat(_descriptor_0.alignment().concat(_descriptor_0.alignment()));
+  }
+  fromValue(value_0) {
+    return {
+      is_left: _descriptor_4.fromValue(value_0),
+      left: _descriptor_0.fromValue(value_0),
+      right: _descriptor_0.fromValue(value_0)
+    };
+  }
+  toValue(value_0) {
+    return _descriptor_4.toValue(value_0.is_left).concat(_descriptor_0.toValue(value_0.left).concat(_descriptor_0.toValue(value_0.right)));
+  }
+};
+var _descriptor_9 = new _Either_0();
+var _descriptor_10 = new __compactRuntime.CompactTypeUnsignedInteger(340282366920938463463374607431768211455n, 16);
+var _descriptor_11 = new __compactRuntime.CompactTypeUnsignedInteger(255n, 1);
+var Contract = class {
+  constructor(...args_0) {
+    __publicField(this, "witnesses");
+    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");
+    }
+    if (typeof witnesses_0.ownerSecret !== "function") {
+      throw new __compactRuntime.CompactError("first (witnesses) argument to Contract constructor does not contain a function-valued field named ownerSecret");
+    }
+    if (typeof witnesses_0.newOwnerSecret !== "function") {
+      throw new __compactRuntime.CompactError("first (witnesses) argument to Contract constructor does not contain a function-valued field named newOwnerSecret");
+    }
+    this.witnesses = witnesses_0;
+    this.circuits = {
+      deriveRefId(context, ...args_1) {
+        return { result: pureCircuits.deriveRefId(...args_1), context };
+      },
+      storeReference: (...args_1) => {
+        if (args_1.length !== 8) {
+          throw new __compactRuntime.CompactError(`storeReference: expected 8 arguments (as invoked from Typescript), received ${args_1.length}`);
+        }
+        const contextOrig_0 = args_1[0];
+        const storageId_0 = args_1[1];
+        const encryptionScheme_0 = args_1[2];
+        const storageProvider_0 = args_1[3];
+        const metadata_0 = args_1[4];
+        const writtenAt_0 = args_1[5];
+        const keyEnvelope_0 = args_1[6];
+        const contentHash_0 = args_1[7];
+        if (!(typeof contextOrig_0 === "object" && contextOrig_0.currentQueryContext != void 0)) {
+          __compactRuntime.typeError(
+            "storeReference",
+            "argument 1 (as invoked from Typescript)",
+            "DataRegistry.compact line 184 char 1",
+            "CircuitContext",
+            contextOrig_0
+          );
+        }
+        if (!(typeof writtenAt_0 === "bigint" && writtenAt_0 >= 0n && writtenAt_0 <= 18446744073709551615n)) {
+          __compactRuntime.typeError(
+            "storeReference",
+            "argument 5 (argument 6 as invoked from Typescript)",
+            "DataRegistry.compact line 184 char 1",
+            "Uint<0..18446744073709551616>",
+            writtenAt_0
+          );
+        }
+        if (!(contentHash_0.buffer instanceof ArrayBuffer && contentHash_0.BYTES_PER_ELEMENT === 1 && contentHash_0.length === 32)) {
+          __compactRuntime.typeError(
+            "storeReference",
+            "argument 7 (argument 8 as invoked from Typescript)",
+            "DataRegistry.compact line 184 char 1",
+            "Bytes<32>",
+            contentHash_0
+          );
+        }
+        const context = { ...contextOrig_0, gasCost: __compactRuntime.emptyRunningCost() };
+        const partialProofData = {
+          input: {
+            value: _descriptor_1.toValue(storageId_0).concat(_descriptor_1.toValue(encryptionScheme_0).concat(_descriptor_1.toValue(storageProvider_0).concat(_descriptor_1.toValue(metadata_0).concat(_descriptor_2.toValue(writtenAt_0).concat(_descriptor_1.toValue(keyEnvelope_0).concat(_descriptor_0.toValue(contentHash_0))))))),
+            alignment: _descriptor_1.alignment().concat(_descriptor_1.alignment().concat(_descriptor_1.alignment().concat(_descriptor_1.alignment().concat(_descriptor_2.alignment().concat(_descriptor_1.alignment().concat(_descriptor_0.alignment()))))))
+          },
+          output: void 0,
+          publicTranscript: [],
+          privateTranscriptOutputs: []
+        };
+        const result_0 = this._storeReference_0(
+          context,
+          partialProofData,
+          storageId_0,
+          encryptionScheme_0,
+          storageProvider_0,
+          metadata_0,
+          writtenAt_0,
+          keyEnvelope_0,
+          contentHash_0
+        );
+        partialProofData.output = { value: _descriptor_0.toValue(result_0), alignment: _descriptor_0.alignment() };
+        return { result: result_0, context, proofData: partialProofData, gasCost: context.gasCost };
+      },
+      removeReference: (...args_1) => {
+        if (args_1.length !== 2) {
+          throw new __compactRuntime.CompactError(`removeReference: expected 2 arguments (as invoked from Typescript), received ${args_1.length}`);
+        }
+        const contextOrig_0 = args_1[0];
+        const refId_0 = args_1[1];
+        if (!(typeof contextOrig_0 === "object" && contextOrig_0.currentQueryContext != void 0)) {
+          __compactRuntime.typeError(
+            "removeReference",
+            "argument 1 (as invoked from Typescript)",
+            "DataRegistry.compact line 224 char 1",
+            "CircuitContext",
+            contextOrig_0
+          );
+        }
+        if (!(refId_0.buffer instanceof ArrayBuffer && refId_0.BYTES_PER_ELEMENT === 1 && refId_0.length === 32)) {
+          __compactRuntime.typeError(
+            "removeReference",
+            "argument 1 (argument 2 as invoked from Typescript)",
+            "DataRegistry.compact line 224 char 1",
+            "Bytes<32>",
+            refId_0
+          );
+        }
+        const context = { ...contextOrig_0, gasCost: __compactRuntime.emptyRunningCost() };
+        const partialProofData = {
+          input: {
+            value: _descriptor_0.toValue(refId_0),
+            alignment: _descriptor_0.alignment()
+          },
+          output: void 0,
+          publicTranscript: [],
+          privateTranscriptOutputs: []
+        };
+        const result_0 = this._removeReference_0(
+          context,
+          partialProofData,
+          refId_0
+        );
+        partialProofData.output = { value: [], alignment: [] };
+        return { result: result_0, context, proofData: partialProofData, gasCost: context.gasCost };
+      },
+      updateReference: (...args_1) => {
+        if (args_1.length !== 9) {
+          throw new __compactRuntime.CompactError(`updateReference: expected 9 arguments (as invoked from Typescript), received ${args_1.length}`);
+        }
+        const contextOrig_0 = args_1[0];
+        const refId_0 = args_1[1];
+        const storageId_0 = args_1[2];
+        const encryptionScheme_0 = args_1[3];
+        const storageProvider_0 = args_1[4];
+        const metadata_0 = args_1[5];
+        const writtenAt_0 = args_1[6];
+        const keyEnvelope_0 = args_1[7];
+        const contentHash_0 = args_1[8];
+        if (!(typeof contextOrig_0 === "object" && contextOrig_0.currentQueryContext != void 0)) {
+          __compactRuntime.typeError(
+            "updateReference",
+            "argument 1 (as invoked from Typescript)",
+            "DataRegistry.compact line 251 char 1",
+            "CircuitContext",
+            contextOrig_0
+          );
+        }
+        if (!(refId_0.buffer instanceof ArrayBuffer && refId_0.BYTES_PER_ELEMENT === 1 && refId_0.length === 32)) {
+          __compactRuntime.typeError(
+            "updateReference",
+            "argument 1 (argument 2 as invoked from Typescript)",
+            "DataRegistry.compact line 251 char 1",
+            "Bytes<32>",
+            refId_0
+          );
+        }
+        if (!(typeof writtenAt_0 === "bigint" && writtenAt_0 >= 0n && writtenAt_0 <= 18446744073709551615n)) {
+          __compactRuntime.typeError(
+            "updateReference",
+            "argument 6 (argument 7 as invoked from Typescript)",
+            "DataRegistry.compact line 251 char 1",
+            "Uint<0..18446744073709551616>",
+            writtenAt_0
+          );
+        }
+        if (!(contentHash_0.buffer instanceof ArrayBuffer && contentHash_0.BYTES_PER_ELEMENT === 1 && contentHash_0.length === 32)) {
+          __compactRuntime.typeError(
+            "updateReference",
+            "argument 8 (argument 9 as invoked from Typescript)",
+            "DataRegistry.compact line 251 char 1",
+            "Bytes<32>",
+            contentHash_0
+          );
+        }
+        const context = { ...contextOrig_0, gasCost: __compactRuntime.emptyRunningCost() };
+        const partialProofData = {
+          input: {
+            value: _descriptor_0.toValue(refId_0).concat(_descriptor_1.toValue(storageId_0).concat(_descriptor_1.toValue(encryptionScheme_0).concat(_descriptor_1.toValue(storageProvider_0).concat(_descriptor_1.toValue(metadata_0).concat(_descriptor_2.toValue(writtenAt_0).concat(_descriptor_1.toValue(keyEnvelope_0).concat(_descriptor_0.toValue(contentHash_0)))))))),
+            alignment: _descriptor_0.alignment().concat(_descriptor_1.alignment().concat(_descriptor_1.alignment().concat(_descriptor_1.alignment().concat(_descriptor_1.alignment().concat(_descriptor_2.alignment().concat(_descriptor_1.alignment().concat(_descriptor_0.alignment())))))))
+          },
+          output: void 0,
+          publicTranscript: [],
+          privateTranscriptOutputs: []
+        };
+        const result_0 = this._updateReference_0(
+          context,
+          partialProofData,
+          refId_0,
+          storageId_0,
+          encryptionScheme_0,
+          storageProvider_0,
+          metadata_0,
+          writtenAt_0,
+          keyEnvelope_0,
+          contentHash_0
+        );
+        partialProofData.output = { value: [], alignment: [] };
+        return { result: result_0, context, proofData: partialProofData, gasCost: context.gasCost };
+      }
+    };
+    this.impureCircuits = {
+      storeReference: this.circuits.storeReference,
+      removeReference: this.circuits.removeReference,
+      updateReference: this.circuits.updateReference
+    };
+    this.provableCircuits = {
+      storeReference: this.circuits.storeReference,
+      removeReference: this.circuits.removeReference,
+      updateReference: this.circuits.updateReference
+    };
+  }
+  initialState(...args_0) {
+    if (args_0.length !== 1) {
+      throw new __compactRuntime.CompactError(`Contract state constructor: expected 1 argument (as invoked from Typescript), received ${args_0.length}`);
+    }
+    const constructorContext_0 = args_0[0];
+    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 (!("initialPrivateState" in constructorContext_0)) {
+      throw new __compactRuntime.CompactError(`Contract state constructor: expected 'initialPrivateState' in argument 1 (as invoked from Typescript)`);
+    }
+    if (!("initialZswapLocalState" in constructorContext_0)) {
+      throw new __compactRuntime.CompactError(`Contract state constructor: expected 'initialZswapLocalState' in argument 1 (as invoked from Typescript)`);
+    }
+    if (typeof constructorContext_0.initialZswapLocalState !== "object") {
+      throw new __compactRuntime.CompactError(`Contract state constructor: expected 'initialZswapLocalState' in argument 1 (as invoked from Typescript) to be an object`);
+    }
+    const state_0 = new __compactRuntime.ContractState();
+    let stateValue_0 = __compactRuntime.StateValue.newArray();
+    stateValue_0 = stateValue_0.arrayPush(__compactRuntime.StateValue.newNull());
+    stateValue_0 = stateValue_0.arrayPush(__compactRuntime.StateValue.newNull());
+    stateValue_0 = stateValue_0.arrayPush(__compactRuntime.StateValue.newNull());
+    state_0.data = new __compactRuntime.ChargedState(stateValue_0);
+    state_0.setOperation("storeReference", new __compactRuntime.ContractOperation());
+    state_0.setOperation("removeReference", new __compactRuntime.ContractOperation());
+    state_0.setOperation("updateReference", new __compactRuntime.ContractOperation());
+    const context = __compactRuntime.createCircuitContext(__compactRuntime.dummyContractAddress(), constructorContext_0.initialZswapLocalState.coinPublicKey, state_0.data, constructorContext_0.initialPrivateState);
+    const partialProofData = {
+      input: { value: [], alignment: [] },
+      output: void 0,
+      publicTranscript: [],
+      privateTranscriptOutputs: []
+    };
+    __compactRuntime.queryLedgerState(
+      context,
+      partialProofData,
+      [
+        { push: {
+          storage: false,
+          value: __compactRuntime.StateValue.newCell({
+            value: _descriptor_11.toValue(0n),
+            alignment: _descriptor_11.alignment()
+          }).encode()
+        } },
+        { push: {
+          storage: true,
+          value: __compactRuntime.StateValue.newMap(
+            new __compactRuntime.StateMap()
+          ).encode()
+        } },
+        { ins: { cached: false, n: 1 } }
+      ]
+    );
+    __compactRuntime.queryLedgerState(
+      context,
+      partialProofData,
+      [
+        { push: {
+          storage: false,
+          value: __compactRuntime.StateValue.newCell({
+            value: _descriptor_11.toValue(1n),
+            alignment: _descriptor_11.alignment()
+          }).encode()
+        } },
+        { push: {
+          storage: true,
+          value: __compactRuntime.StateValue.newCell({
+            value: _descriptor_2.toValue(0n),
+            alignment: _descriptor_2.alignment()
+          }).encode()
+        } },
+        { ins: { cached: false, n: 1 } }
+      ]
+    );
+    __compactRuntime.queryLedgerState(
+      context,
+      partialProofData,
+      [
+        { push: {
+          storage: false,
+          value: __compactRuntime.StateValue.newCell({
+            value: _descriptor_11.toValue(2n),
+            alignment: _descriptor_11.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 = 1n;
+    __compactRuntime.queryLedgerState(
+      context,
+      partialProofData,
+      [
+        { idx: {
+          cached: false,
+          pushPath: true,
+          path: [
+            {
+              tag: "value",
+              value: {
+                value: _descriptor_11.toValue(1n),
+                alignment: _descriptor_11.alignment()
+              }
+            }
+          ]
+        } },
+        { addi: { immediate: parseInt(__compactRuntime.valueToBigInt(
+          {
+            value: _descriptor_6.toValue(tmp_0),
+            alignment: _descriptor_6.alignment()
+          }.value
+        )) } },
+        { ins: { cached: true, n: 1 } }
+      ]
+    );
+    const tmp_1 = 0n;
+    __compactRuntime.queryLedgerState(
+      context,
+      partialProofData,
+      [
+        { push: {
+          storage: false,
+          value: __compactRuntime.StateValue.newCell({
+            value: _descriptor_11.toValue(2n),
+            alignment: _descriptor_11.alignment()
+          }).encode()
+        } },
+        { push: {
+          storage: true,
+          value: __compactRuntime.StateValue.newCell({
+            value: _descriptor_6.toValue(tmp_1),
+            alignment: _descriptor_6.alignment()
+          }).encode()
+        } },
+        { ins: { cached: false, n: 1 } }
+      ]
+    );
+    state_0.data = new __compactRuntime.ChargedState(context.currentQueryContext.state.state);
+    return {
+      currentContractState: state_0,
+      currentPrivateState: context.currentPrivateState,
+      currentZswapLocalState: context.currentZswapLocalState
+    };
+  }
+  _persistentHash_0(value_0) {
+    const result_0 = __compactRuntime.persistentHash(_descriptor_8, value_0);
+    return result_0;
+  }
+  _persistentHash_1(value_0) {
+    const result_0 = __compactRuntime.persistentHash(_descriptor_7, value_0);
+    return result_0;
+  }
+  _ownerSecret_0(context, partialProofData) {
+    const witnessContext_0 = __compactRuntime.createWitnessContext(ledger(context.currentQueryContext.state), context.currentPrivateState, context.currentQueryContext.address);
+    const [nextPrivateState_0, result_0] = this.witnesses.ownerSecret(witnessContext_0);
+    context.currentPrivateState = nextPrivateState_0;
+    if (!(result_0.buffer instanceof ArrayBuffer && result_0.BYTES_PER_ELEMENT === 1 && result_0.length === 32)) {
+      __compactRuntime.typeError(
+        "ownerSecret",
+        "return value",
+        "DataRegistry.compact line 26 char 1",
+        "Bytes<32>",
+        result_0
+      );
+    }
+    partialProofData.privateTranscriptOutputs.push({
+      value: _descriptor_0.toValue(result_0),
+      alignment: _descriptor_0.alignment()
+    });
+    return result_0;
+  }
+  _newOwnerSecret_0(context, partialProofData) {
+    const witnessContext_0 = __compactRuntime.createWitnessContext(ledger(context.currentQueryContext.state), context.currentPrivateState, context.currentQueryContext.address);
+    const [nextPrivateState_0, result_0] = this.witnesses.newOwnerSecret(witnessContext_0);
+    context.currentPrivateState = nextPrivateState_0;
+    if (!(result_0.buffer instanceof ArrayBuffer && result_0.BYTES_PER_ELEMENT === 1 && result_0.length === 32)) {
+      __compactRuntime.typeError(
+        "newOwnerSecret",
+        "return value",
+        "DataRegistry.compact line 28 char 1",
+        "Bytes<32>",
+        result_0
+      );
+    }
+    partialProofData.privateTranscriptOutputs.push({
+      value: _descriptor_0.toValue(result_0),
+      alignment: _descriptor_0.alignment()
+    });
+    return result_0;
+  }
+  _computeOwnerCommitment_0(secret_0, nonce_0, instanceSalt_0) {
+    return this._persistentHash_1([
+      new Uint8Array([100, 115, 116, 111, 114, 97, 103, 101, 58, 111, 119, 110, 101, 114, 58, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]),
+      secret_0,
+      nonce_0,
+      instanceSalt_0
+    ]);
+  }
+  _deriveRefId_0(refCounter_0, instanceSalt_0) {
+    return this._persistentHash_0([
+      new Uint8Array([100, 115, 116, 111, 114, 97, 103, 101, 58, 114, 101, 102, 58, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]),
+      refCounter_0,
+      instanceSalt_0
+    ]);
+  }
+  _validatedOwnerCommitment_0(context, partialProofData, refId_0) {
+    const secret_0 = this._ownerSecret_0(context, partialProofData);
+    __compactRuntime.assert(
+      !this._equal_0(
+        secret_0,
+        new Uint8Array([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0])
+      ),
+      "ownerSecret must not be zero"
+    );
+    return this._computeOwnerCommitment_0(
+      secret_0,
+      refId_0,
+      _descriptor_5.fromValue(__compactRuntime.queryLedgerState(
+        context,
+        partialProofData,
+        [
+          { dup: { n: 2 } },
+          { idx: {
+            cached: true,
+            pushPath: false,
+            path: [
+              {
+                tag: "value",
+                value: {
+                  value: _descriptor_11.toValue(0n),
+                  alignment: _descriptor_11.alignment()
+                }
+              }
+            ]
+          } },
+          { popeq: {
+            cached: true,
+            result: void 0
+          } }
+        ]
+      ).value).bytes
+    );
+  }
+  _validatedNewOwnerCommitment_0(context, partialProofData, refId_0) {
+    const secret_0 = this._newOwnerSecret_0(context, partialProofData);
+    __compactRuntime.assert(
+      !this._equal_1(
+        secret_0,
+        new Uint8Array([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0])
+      ),
+      "newOwnerSecret must not be zero"
+    );
+    return this._computeOwnerCommitment_0(
+      secret_0,
+      refId_0,
+      _descriptor_5.fromValue(__compactRuntime.queryLedgerState(
+        context,
+        partialProofData,
+        [
+          { dup: { n: 2 } },
+          { idx: {
+            cached: true,
+            pushPath: false,
+            path: [
+              {
+                tag: "value",
+                value: {
+                  value: _descriptor_11.toValue(0n),
+                  alignment: _descriptor_11.alignment()
+                }
+              }
+            ]
+          } },
+          { popeq: {
+            cached: true,
+            result: void 0
+          } }
+        ]
+      ).value).bytes
+    );
+  }
+  _storeReference_0(context, partialProofData, storageId_0, encryptionScheme_0, storageProvider_0, metadata_0, writtenAt_0, keyEnvelope_0, contentHash_0) {
+    const refId_0 = this._deriveRefId_0(
+      __compactRuntime.convertFieldToBytes(
+        32,
+        _descriptor_2.fromValue(__compactRuntime.queryLedgerState(
+          context,
+          partialProofData,
+          [
+            { dup: { n: 0 } },
+            { idx: {
+              cached: false,
+              pushPath: false,
+              path: [
+                {
+                  tag: "value",
+                  value: {
+                    value: _descriptor_11.toValue(1n),
+                    alignment: _descriptor_11.alignment()
+                  }
+                }
+              ]
+            } },
+            { popeq: {
+              cached: true,
+              result: void 0
+            } }
+          ]
+        ).value),
+        "DataRegistry.compact line 193 char 29"
+      ),
+      _descriptor_5.fromValue(__compactRuntime.queryLedgerState(
+        context,
+        partialProofData,
+        [
+          { dup: { n: 2 } },
+          { idx: {
+            cached: true,
+            pushPath: false,
+            path: [
+              {
+                tag: "value",
+                value: {
+                  value: _descriptor_11.toValue(0n),
+                  alignment: _descriptor_11.alignment()
+                }
+              }
+            ]
+          } },
+          { popeq: {
+            cached: true,
+            result: void 0
+          } }
+        ]
+      ).value).bytes
+    );
+    __compactRuntime.assert(
+      !_descriptor_4.fromValue(__compactRuntime.queryLedgerState(
+        context,
+        partialProofData,
+        [
+          { dup: { n: 0 } },
+          { idx: {
+            cached: false,
+            pushPath: false,
+            path: [
+              {
+                tag: "value",
+                value: {
+                  value: _descriptor_11.toValue(0n),
+                  alignment: _descriptor_11.alignment()
+                }
+              }
+            ]
+          } },
+          { push: {
+            storage: false,
+            value: __compactRuntime.StateValue.newCell({
+              value: _descriptor_0.toValue(refId_0),
+              alignment: _descriptor_0.alignment()
+            }).encode()
+          } },
+          "member",
+          { popeq: {
+            cached: true,
+            result: void 0
+          } }
+        ]
+      ).value),
+      "Reference already stored"
+    );
+    const ownerCommitment_0 = this._validatedOwnerCommitment_0(
+      context,
+      partialProofData,
+      refId_0
+    );
+    const entry_0 = {
+      storageId: storageId_0,
+      encryptionScheme: encryptionScheme_0,
+      storageProvider: storageProvider_0,
+      metadata: metadata_0,
+      writtenAt: writtenAt_0,
+      keyEnvelope: keyEnvelope_0,
+      ownerCommitment: ownerCommitment_0,
+      contentHash: contentHash_0
+    };
+    __compactRuntime.queryLedgerState(
+      context,
+      partialProofData,
+      [
+        { idx: {
+          cached: false,
+          pushPath: true,
+          path: [
+            {
+              tag: "value",
+              value: {
+                value: _descriptor_11.toValue(0n),
+                alignment: _descriptor_11.alignment()
+              }
+            }
+          ]
+        } },
+        { push: {
+          storage: false,
+          value: __compactRuntime.StateValue.newCell({
+            value: _descriptor_0.toValue(refId_0),
+            alignment: _descriptor_0.alignment()
+          }).encode()
+        } },
+        { push: {
+          storage: true,
+          value: __compactRuntime.StateValue.newCell({
+            value: _descriptor_3.toValue(entry_0),
+            alignment: _descriptor_3.alignment()
+          }).encode()
+        } },
+        { ins: { cached: false, n: 1 } },
+        { ins: { cached: true, n: 1 } }
+      ]
+    );
+    const tmp_0 = 1n;
+    __compactRuntime.queryLedgerState(
+      context,
+      partialProofData,
+      [
+        { idx: {
+          cached: false,
+          pushPath: true,
+          path: [
+            {
+              tag: "value",
+              value: {
+                value: _descriptor_11.toValue(1n),
+                alignment: _descriptor_11.alignment()
+              }
+            }
+          ]
+        } },
+        { addi: { immediate: parseInt(__compactRuntime.valueToBigInt(
+          {
+            value: _descriptor_6.toValue(tmp_0),
+            alignment: _descriptor_6.alignment()
+          }.value
+        )) } },
+        { ins: { cached: true, n: 1 } }
+      ]
+    );
+    return refId_0;
+  }
+  _removeReference_0(context, partialProofData, refId_0) {
+    __compactRuntime.assert(
+      _descriptor_4.fromValue(__compactRuntime.queryLedgerState(
+        context,
+        partialProofData,
+        [
+          { dup: { n: 0 } },
+          { idx: {
+            cached: false,
+            pushPath: false,
+            path: [
+              {
+                tag: "value",
+                value: {
+                  value: _descriptor_11.toValue(0n),
+                  alignment: _descriptor_11.alignment()
+                }
+              }
+            ]
+          } },
+          { push: {
+            storage: false,
+            value: __compactRuntime.StateValue.newCell({
+              value: _descriptor_0.toValue(refId_0),
+              alignment: _descriptor_0.alignment()
+            }).encode()
+          } },
+          "member",
+          { popeq: {
+            cached: true,
+            result: void 0
+          } }
+        ]
+      ).value),
+      "Reference not found"
+    );
+    const entry_0 = _descriptor_3.fromValue(__compactRuntime.queryLedgerState(
+      context,
+      partialProofData,
+      [
+        { dup: { n: 0 } },
+        { idx: {
+          cached: false,
+          pushPath: false,
+          path: [
+            {
+              tag: "value",
+              value: {
+                value: _descriptor_11.toValue(0n),
+                alignment: _descriptor_11.alignment()
+              }
+            }
+          ]
+        } },
+        { idx: {
+          cached: false,
+          pushPath: false,
+          path: [
+            {
+              tag: "value",
+              value: {
+                value: _descriptor_0.toValue(refId_0),
+                alignment: _descriptor_0.alignment()
+              }
+            }
+          ]
+        } },
+        { popeq: {
+          cached: false,
+          result: void 0
+        } }
+      ]
+    ).value);
+    const ownerCommitment_0 = this._validatedOwnerCommitment_0(
+      context,
+      partialProofData,
+      refId_0
+    );
+    __compactRuntime.assert(
+      this._equal_2(
+        entry_0.ownerCommitment,
+        ownerCommitment_0
+      ),
+      "Not the owner"
+    );
+    __compactRuntime.queryLedgerState(
+      context,
+      partialProofData,
+      [
+        { idx: {
+          cached: false,
+          pushPath: true,
+          path: [
+            {
+              tag: "value",
+              value: {
+                value: _descriptor_11.toValue(0n),
+                alignment: _descriptor_11.alignment()
+              }
+            }
+          ]
+        } },
+        { push: {
+          storage: false,
+          value: __compactRuntime.StateValue.newCell({
+            value: _descriptor_0.toValue(refId_0),
+            alignment: _descriptor_0.alignment()
+          }).encode()
+        } },
+        { rem: { cached: false } },
+        { ins: { cached: true, n: 1 } }
+      ]
+    );
+    return [];
+  }
+  _updateReference_0(context, partialProofData, refId_0, storageId_0, encryptionScheme_0, storageProvider_0, metadata_0, writtenAt_0, keyEnvelope_0, contentHash_0) {
+    __compactRuntime.assert(
+      _descriptor_4.fromValue(__compactRuntime.queryLedgerState(
+        context,
+        partialProofData,
+        [
+          { dup: { n: 0 } },
+          { idx: {
+            cached: false,
+            pushPath: false,
+            path: [
+              {
+                tag: "value",
+                value: {
+                  value: _descriptor_11.toValue(0n),
+                  alignment: _descriptor_11.alignment()
+                }
+              }
+            ]
+          } },
+          { push: {
+            storage: false,
+            value: __compactRuntime.StateValue.newCell({
+              value: _descriptor_0.toValue(refId_0),
+              alignment: _descriptor_0.alignment()
+            }).encode()
+          } },
+          "member",
+          { popeq: {
+            cached: true,
+            result: void 0
+          } }
+        ]
+      ).value),
+      "Reference not found"
+    );
+    const entry_0 = _descriptor_3.fromValue(__compactRuntime.queryLedgerState(
+      context,
+      partialProofData,
+      [
+        { dup: { n: 0 } },
+        { idx: {
+          cached: false,
+          pushPath: false,
+          path: [
+            {
+              tag: "value",
+              value: {
+                value: _descriptor_11.toValue(0n),
+                alignment: _descriptor_11.alignment()
+              }
+            }
+          ]
+        } },
+        { idx: {
+          cached: false,
+          pushPath: false,
+          path: [
+            {
+              tag: "value",
+              value: {
+                value: _descriptor_0.toValue(refId_0),
+                alignment: _descriptor_0.alignment()
+              }
+            }
+          ]
+        } },
+        { popeq: {
+          cached: false,
+          result: void 0
+        } }
+      ]
+    ).value);
+    const currentOwnerCommitment_0 = this._validatedOwnerCommitment_0(
+      context,
+      partialProofData,
+      refId_0
+    );
+    __compactRuntime.assert(
+      this._equal_3(
+        entry_0.ownerCommitment,
+        currentOwnerCommitment_0
+      ),
+      "Not the owner"
+    );
+    const ownerCommitment_0 = this._validatedNewOwnerCommitment_0(
+      context,
+      partialProofData,
+      refId_0
+    );
+    const updatedEntry_0 = {
+      storageId: storageId_0,
+      encryptionScheme: encryptionScheme_0,
+      storageProvider: storageProvider_0,
+      metadata: metadata_0,
+      writtenAt: writtenAt_0,
+      keyEnvelope: keyEnvelope_0,
+      ownerCommitment: ownerCommitment_0,
+      contentHash: contentHash_0
+    };
+    __compactRuntime.queryLedgerState(
+      context,
+      partialProofData,
+      [
+        { idx: {
+          cached: false,
+          pushPath: true,
+          path: [
+            {
+              tag: "value",
+              value: {
+                value: _descriptor_11.toValue(0n),
+                alignment: _descriptor_11.alignment()
+              }
+            }
+          ]
+        } },
+        { push: {
+          storage: false,
+          value: __compactRuntime.StateValue.newCell({
+            value: _descriptor_0.toValue(refId_0),
+            alignment: _descriptor_0.alignment()
+          }).encode()
+        } },
+        { push: {
+          storage: true,
+          value: __compactRuntime.StateValue.newCell({
+            value: _descriptor_3.toValue(updatedEntry_0),
+            alignment: _descriptor_3.alignment()
+          }).encode()
+        } },
+        { ins: { cached: false, n: 1 } },
+        { ins: { cached: true, n: 1 } }
+      ]
+    );
+    return [];
+  }
+  _equal_0(x0, y0) {
+    if (!x0.every((x, i) => y0[i] === x)) {
+      return false;
+    }
+    return true;
+  }
+  _equal_1(x0, y0) {
+    if (!x0.every((x, i) => y0[i] === x)) {
+      return false;
+    }
+    return true;
+  }
+  _equal_2(x0, y0) {
+    if (!x0.every((x, i) => y0[i] === x)) {
+      return false;
+    }
+    return true;
+  }
+  _equal_3(x0, y0) {
+    if (!x0.every((x, i) => y0[i] === x)) {
+      return false;
+    }
+    return true;
+  }
+};
+function ledger(stateOrChargedState) {
+  const state = stateOrChargedState instanceof __compactRuntime.StateValue ? stateOrChargedState : stateOrChargedState.state;
+  const chargedState = stateOrChargedState instanceof __compactRuntime.StateValue ? new __compactRuntime.ChargedState(stateOrChargedState) : stateOrChargedState;
+  const context = {
+    currentQueryContext: new __compactRuntime.QueryContext(chargedState, __compactRuntime.dummyContractAddress()),
+    costModel: __compactRuntime.CostModel.initialCostModel()
+  };
+  const partialProofData = {
+    input: { value: [], alignment: [] },
+    output: void 0,
+    publicTranscript: [],
+    privateTranscriptOutputs: []
+  };
+  return {
+    references: {
+      isEmpty(...args_0) {
+        if (args_0.length !== 0) {
+          throw new __compactRuntime.CompactError(`isEmpty: expected 0 arguments, received ${args_0.length}`);
+        }
+        return _descriptor_4.fromValue(__compactRuntime.queryLedgerState(
+          context,
+          partialProofData,
+          [
+            { dup: { n: 0 } },
+            { idx: {
+              cached: false,
+              pushPath: false,
+              path: [
+                {
+                  tag: "value",
+                  value: {
+                    value: _descriptor_11.toValue(0n),
+                    alignment: _descriptor_11.alignment()
+                  }
+                }
+              ]
+            } },
+            "size",
+            { push: {
+              storage: false,
+              value: __compactRuntime.StateValue.newCell({
+                value: _descriptor_2.toValue(0n),
+                alignment: _descriptor_2.alignment()
+              }).encode()
+            } },
+            "eq",
+            { popeq: {
+              cached: true,
+              result: void 0
+            } }
+          ]
+        ).value);
+      },
+      size(...args_0) {
+        if (args_0.length !== 0) {
+          throw new __compactRuntime.CompactError(`size: expected 0 arguments, received ${args_0.length}`);
+        }
+        return _descriptor_2.fromValue(__compactRuntime.queryLedgerState(
+          context,
+          partialProofData,
+          [
+            { dup: { n: 0 } },
+            { idx: {
+              cached: false,
+              pushPath: false,
+              path: [
+                {
+                  tag: "value",
+                  value: {
+                    value: _descriptor_11.toValue(0n),
+                    alignment: _descriptor_11.alignment()
+                  }
+                }
+              ]
+            } },
+            "size",
+            { popeq: {
+              cached: true,
+              result: void 0
+            } }
+          ]
+        ).value);
+      },
+      member(...args_0) {
+        if (args_0.length !== 1) {
+          throw new __compactRuntime.CompactError(`member: expected 1 argument, received ${args_0.length}`);
+        }
+        const key_0 = args_0[0];
+        if (!(key_0.buffer instanceof ArrayBuffer && key_0.BYTES_PER_ELEMENT === 1 && key_0.length === 32)) {
+          __compactRuntime.typeError(
+            "member",
+            "argument 1",
+            "DataRegistry.compact line 80 char 1",
+            "Bytes<32>",
+            key_0
+          );
+        }
+        return _descriptor_4.fromValue(__compactRuntime.queryLedgerState(
+          context,
+          partialProofData,
+          [
+            { dup: { n: 0 } },
+            { idx: {
+              cached: false,
+              pushPath: false,
+              path: [
+                {
+                  tag: "value",
+                  value: {
+                    value: _descriptor_11.toValue(0n),
+                    alignment: _descriptor_11.alignment()
+                  }
+                }
+              ]
+            } },
+            { push: {
+              storage: false,
+              value: __compactRuntime.StateValue.newCell({
+                value: _descriptor_0.toValue(key_0),
+                alignment: _descriptor_0.alignment()
+              }).encode()
+            } },
+            "member",
+            { popeq: {
+              cached: true,
+              result: void 0
+            } }
+          ]
+        ).value);
+      },
+      lookup(...args_0) {
+        if (args_0.length !== 1) {
+          throw new __compactRuntime.CompactError(`lookup: expected 1 argument, received ${args_0.length}`);
+        }
+        const key_0 = args_0[0];
+        if (!(key_0.buffer instanceof ArrayBuffer && key_0.BYTES_PER_ELEMENT === 1 && key_0.length === 32)) {
+          __compactRuntime.typeError(
+            "lookup",
+            "argument 1",
+            "DataRegistry.compact line 80 char 1",
+            "Bytes<32>",
+            key_0
+          );
+        }
+        return _descriptor_3.fromValue(__compactRuntime.queryLedgerState(
+          context,
+          partialProofData,
+          [
+            { dup: { n: 0 } },
+            { idx: {
+              cached: false,
+              pushPath: false,
+              path: [
+                {
+                  tag: "value",
+                  value: {
+                    value: _descriptor_11.toValue(0n),
+                    alignment: _descriptor_11.alignment()
+                  }
+                }
+              ]
+            } },
+            { idx: {
+              cached: false,
+              pushPath: false,
+              path: [
+                {
+                  tag: "value",
+                  value: {
+                    value: _descriptor_0.toValue(key_0),
+                    alignment: _descriptor_0.alignment()
+                  }
+                }
+              ]
+            } },
+            { popeq: {
+              cached: false,
+              result: void 0
+            } }
+          ]
+        ).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()[0];
+        return self_0.asMap().keys().map((key) => {
+          const value = self_0.asMap().get(key).asCell();
+          return [_descriptor_0.fromValue(key.value), _descriptor_3.fromValue(value.value)];
+        })[Symbol.iterator]();
+      }
+    },
+    get refCounter() {
+      return _descriptor_2.fromValue(__compactRuntime.queryLedgerState(
+        context,
+        partialProofData,
+        [
+          { dup: { n: 0 } },
+          { idx: {
+            cached: false,
+            pushPath: false,
+            path: [
+              {
+                tag: "value",
+                value: {
+                  value: _descriptor_11.toValue(1n),
+                  alignment: _descriptor_11.alignment()
+                }
+              }
+            ]
+          } },
+          { popeq: {
+            cached: true,
+            result: void 0
+          } }
+        ]
+      ).value);
+    },
+    get contractVersion() {
+      return _descriptor_6.fromValue(__compactRuntime.queryLedgerState(
+        context,
+        partialProofData,
+        [
+          { dup: { n: 0 } },
+          { idx: {
+            cached: false,
+            pushPath: false,
+            path: [
+              {
+                tag: "value",
+                value: {
+                  value: _descriptor_11.toValue(2n),
+                  alignment: _descriptor_11.alignment()
+                }
+              }
+            ]
+          } },
+          { popeq: {
+            cached: false,
+            result: void 0
+          } }
+        ]
+      ).value);
+    }
+  };
+}
+var _emptyContext = {
+  currentQueryContext: new __compactRuntime.QueryContext(new __compactRuntime.ContractState().data, __compactRuntime.dummyContractAddress())
+};
+var _dummyContract = new Contract({
+  ownerSecret: (...args) => void 0,
+  newOwnerSecret: (...args) => void 0
+});
+var pureCircuits = {
+  deriveRefId: (...args_0) => {
+    if (args_0.length !== 2) {
+      throw new __compactRuntime.CompactError(`deriveRefId: expected 2 arguments (as invoked from Typescript), received ${args_0.length}`);
+    }
+    const refCounter_0 = args_0[0];
+    const instanceSalt_0 = args_0[1];
+    if (!(refCounter_0.buffer instanceof ArrayBuffer && refCounter_0.BYTES_PER_ELEMENT === 1 && refCounter_0.length === 32)) {
+      __compactRuntime.typeError(
+        "deriveRefId",
+        "argument 1",
+        "DataRegistry.compact line 149 char 1",
+        "Bytes<32>",
+        refCounter_0
+      );
+    }
+    if (!(instanceSalt_0.buffer instanceof ArrayBuffer && instanceSalt_0.BYTES_PER_ELEMENT === 1 && instanceSalt_0.length === 32)) {
+      __compactRuntime.typeError(
+        "deriveRefId",
+        "argument 2",
+        "DataRegistry.compact line 149 char 1",
+        "Bytes<32>",
+        instanceSalt_0
+      );
+    }
+    return _dummyContract._deriveRefId_0(refCounter_0, instanceSalt_0);
+  }
+};
+var witnesses = {
+  ownerSecret: (context) => {
+    const privateState = context.privateState;
+    if (!privateState.ownerSecret) {
+      throw new Error(
+        "[dStorage/midnight] ownerSecret is not set in private state. The SDK must call privateStateProvider.set() with ownerSecret before proof generation."
+      );
+    }
+    return [privateState, privateState.ownerSecret];
+  },
+  newOwnerSecret: (context) => {
+    const privateState = context.privateState;
+    if (!privateState.newOwnerSecret) {
+      throw new Error(
+        "[dStorage/midnight] newOwnerSecret is not set in private state. The SDK must call privateStateProvider.set() with newOwnerSecret before proof generation."
+      );
+    }
+    return [privateState, privateState.newOwnerSecret];
+  }
+};
+var createDataRegistryPrivateState = () => ({});
+var CompiledDataRegistryContract = CompiledContract.make(
+  "DataRegistry",
+  Contract
+).pipe(CompiledContract.withWitnesses(witnesses));
+
+export {
+  Contract,
+  ledger,
+  witnesses,
+  createDataRegistryPrivateState,
+  CompiledDataRegistryContract
+};