@dstorage-tech/dstorage-sdk 0.0.4

package/dist/contract-api-TJ7JPHZA-ZWP3EH7D.mjs

@@ -0,0 +1,279 @@
+import {
+  ChainErrorCode
+} from "./chunk-JMPRZK5D.mjs";
+import {
+  DStorageError
+} from "./chunk-BWLEAAFW.mjs";
+import {
+  CompiledDataRegistryContract,
+  createDataRegistryPrivateState,
+  ledger
+} from "./chunk-VDZ7F7MP.mjs";
+import "./chunk-5QOKJEH3.mjs";
+import {
+  require_cjs
+} from "./chunk-25I6ZXUC.mjs";
+import {
+  __toESM
+} from "./chunk-UJCSKKID.mjs";
+
+// ../chain/dist/contract-api-TJ7JPHZA.mjs
+var import_rxjs = __toESM(require_cjs(), 1);
+import {
+  deployContract,
+  findDeployedContract,
+  withContractScopedTransaction
+} from "@midnight-ntwrk/midnight-js-contracts";
+import { toHex } from "@midnight-ntwrk/midnight-js-utils";
+var dataRegistryPrivateStateKey = "DataRegistryPrivateState";
+var SUPPORTED_CONTRACT_VERSION = 0n;
+function validateContractVersion(version, contractAddress) {
+  if (version !== SUPPORTED_CONTRACT_VERSION) {
+    throw new DStorageError(
+      ChainErrorCode.CONTRACT_UNSUPPORTED_VERSION,
+      `[dStorage/midnight] Unsupported contract version ${version} at ${contractAddress}. This SDK supports version ${SUPPORTED_CONTRACT_VERSION} only. Deploy a compatible DataRegistry contract or upgrade the SDK.`
+    );
+  }
+}
+var DataRegistryAPI = class _DataRegistryAPI {
+  /** @internal */
+  constructor(deployedContract, providers, logger) {
+    this.deployedContract = deployedContract;
+    this.providers = providers;
+    this.logger = logger;
+    this.deployedContractAddress = deployedContract.deployTxData.public.contractAddress;
+    this.state$ = (0, import_rxjs.combineLatest)(
+      [
+        // Combine public (ledger) state with...
+        providers.publicDataProvider.contractStateObservable(this.deployedContractAddress, {
+          type: "latest"
+        }).pipe(
+          (0, import_rxjs.map)((contractState) => ledger(contractState.data)),
+          (0, import_rxjs.tap)(
+            (ledgerState) => logger?.debug?.(
+              "dStorage/midnight",
+              `ledger state changed: refCounter=${ledgerState.refCounter}`
+            )
+          )
+        ),
+        // ...private state...
+        //    since the private state of the DataRegistry application never changes, we can query the
+        //    private state once and always use the same value with `combineLatest`. In applications
+        //    where the private state is expected to change, we would need to make this an `Observable`.
+        (0, import_rxjs.from)(
+          providers.privateStateProvider.get(
+            dataRegistryPrivateStateKey
+          )
+        )
+      ],
+      // ...and combine them to produce the required derived state.
+      // isOurs is set to false here — ownership is determined by the core SDK
+      // (dStorage.ts) by attempting to unwrap the DEK from the keyEnvelope using
+      // the available KEKs. This avoids coupling the chain layer to key material.
+      (ledgerState, _privateState) => {
+        const references = /* @__PURE__ */ new Map();
+        for (const [id, refEntry] of ledgerState.references) {
+          const refId = toHex(id);
+          references.set(refId, refEntry);
+        }
+        return {
+          references,
+          refCounter: ledgerState.refCounter,
+          contractVersion: ledgerState.contractVersion
+        };
+      }
+    ).pipe(
+      // Keep one live subscription to the indexer WebSocket for the lifetime of
+      // this API instance. Without shareReplay, each firstValueFrom(state$) call
+      // creates a new subscription — the indexer does not replay the last emitted
+      // state to new subscribers, so callers would receive stale data until the
+      // next on-chain change arrives. shareReplay(1) ensures:
+      //   1. The indexer connection is established once and kept alive.
+      //   2. Every new subscriber (e.g. listReferences, readReference) immediately
+      //      receives the most recently emitted state.
+      //   3. Future indexer pushes (after upload/remove txs) still update the cache.
+      (0, import_rxjs.shareReplay)({ bufferSize: 1, refCount: false })
+    );
+  }
+  async storeReference(storageId, encryptionScheme, storageProvider, metadata, writtenAt, keyEnvelope, contentHash, ownerSecret) {
+    this.logger?.log(
+      "dStorage/midnight",
+      `storing reference: storageId=${storageId}`
+    );
+    await this.providers.privateStateProvider.set(dataRegistryPrivateStateKey, {
+      ownerSecret: new Uint8Array(ownerSecret)
+    });
+    try {
+      const txData = await withContractScopedTransaction(
+        this.providers,
+        async (txCtx) => {
+          await this.deployedContract.callTx.storeReference(
+            txCtx,
+            storageId,
+            encryptionScheme,
+            storageProvider,
+            metadata,
+            writtenAt,
+            keyEnvelope,
+            contentHash
+          );
+        },
+        { scopeName: "storeReference" }
+      );
+      const txHash = txData.public.txHash ?? txData.public.txId ?? "";
+      const blockHeight = Number(txData.public.blockHeight ?? 0);
+      const circuitResult = txData.private.result;
+      if (!(circuitResult instanceof Uint8Array)) {
+        throw new DStorageError(
+          ChainErrorCode.CONTRACT_CIRCUIT_RESULT_MISSING,
+          `[dStorage/midnight] storeReference succeeded on-chain (txHash=${txHash}) but the runtime did not return the circuit refId at txData.private.result (got ${typeof circuitResult}). This is likely a compact-runtime version mismatch. Upgrade @midnight-ntwrk/compact-runtime or report this as a bug.`
+        );
+      }
+      this.logger?.debug?.(
+        "dStorage/midnight",
+        `transaction: circuit=storeReference txHash=${txHash} blockHeight=${blockHeight}`
+      );
+      return { refId: circuitResult, txHash, blockHeight };
+    } finally {
+      await this.providers.privateStateProvider.set(
+        dataRegistryPrivateStateKey,
+        {}
+      );
+    }
+  }
+  async removeReference(refId, ownerSecret) {
+    this.logger?.log(
+      "dStorage/midnight",
+      `removing reference: ${toHex(refId)}`
+    );
+    await this.providers.privateStateProvider.set(dataRegistryPrivateStateKey, {
+      ownerSecret: new Uint8Array(ownerSecret)
+    });
+    try {
+      const txData = await withContractScopedTransaction(
+        this.providers,
+        async (txCtx) => {
+          await this.deployedContract.callTx.removeReference(txCtx, refId);
+        },
+        { scopeName: "removeReference" }
+      );
+      const txHash = txData.public.txHash ?? txData.public.txId ?? "";
+      const blockHeight = Number(txData.public.blockHeight ?? 0);
+      this.logger?.debug?.(
+        "dStorage/midnight",
+        `transaction: circuit=removeReference txHash=${txHash} blockHeight=${blockHeight}`
+      );
+      return { txHash, blockHeight };
+    } finally {
+      await this.providers.privateStateProvider.set(
+        dataRegistryPrivateStateKey,
+        {}
+      );
+    }
+  }
+  async updateReference(refId, storageId, encryptionScheme, storageProvider, metadata, writtenAt, keyEnvelope, contentHash, ownerSecret, newOwnerSecret) {
+    this.logger?.log(
+      "dStorage/midnight",
+      `updating reference: ${toHex(refId)}`
+    );
+    await this.providers.privateStateProvider.set(dataRegistryPrivateStateKey, {
+      ownerSecret: new Uint8Array(ownerSecret),
+      // When no new secret is provided, pass the old one so the circuit recomputes the same
+      // commitment and the stored value is preserved unchanged.
+      newOwnerSecret: new Uint8Array(newOwnerSecret ?? ownerSecret)
+    });
+    try {
+      const txData = await withContractScopedTransaction(
+        this.providers,
+        async (txCtx) => {
+          await this.deployedContract.callTx.updateReference(
+            txCtx,
+            refId,
+            storageId,
+            encryptionScheme,
+            storageProvider,
+            metadata,
+            writtenAt,
+            keyEnvelope,
+            contentHash
+          );
+        },
+        { scopeName: "updateReference" }
+      );
+      const txHash = txData.public.txHash ?? txData.public.txId ?? "";
+      const blockHeight = Number(txData.public.blockHeight ?? 0);
+      this.logger?.debug?.(
+        "dStorage/midnight",
+        `transaction: circuit=updateReference txHash=${txHash} blockHeight=${blockHeight}`
+      );
+      return { txHash, blockHeight };
+    } finally {
+      await this.providers.privateStateProvider.set(
+        dataRegistryPrivateStateKey,
+        {}
+      );
+    }
+  }
+  /**
+   * Deploys a new DataRegistry contract to the network.
+   *
+   * @param providers The DataRegistry providers.
+   * @param logger An optional 'pino' logger to use for logging.
+   * @returns A `Promise` that resolves with a {@link DataRegistryAPI} instance that manages the newly deployed
+   * {@link DeployedDataRegistryContract}; or rejects with a deployment error.
+   */
+  static async deploy(providers, logger) {
+    logger?.log("dStorage/midnight", "deploying DataRegistry contract...");
+    const deployedDataRegistryContract = await deployContract(providers, {
+      compiledContract: CompiledDataRegistryContract,
+      privateStateId: dataRegistryPrivateStateKey,
+      initialPrivateState: createDataRegistryPrivateState()
+    });
+    return new _DataRegistryAPI(deployedDataRegistryContract, providers, logger);
+  }
+  /**
+   * Finds an already deployed DataRegistry contract on the network, and joins it.
+   *
+   * @param providers The DataRegistry providers.
+   * @param contractAddress The contract address of the deployed DataRegistry contract to search for and join.
+   * @param logger An optional 'pino' logger to use for logging.
+   * @returns A `Promise` that resolves with a {@link DataRegistryAPI} instance that manages the joined
+   * {@link DeployedDataRegistryContract}; or rejects with an error.
+   */
+  static async join(providers, contractAddress, logger) {
+    logger?.log(
+      "dStorage/midnight",
+      `joining DataRegistry contract at: ${contractAddress}`
+    );
+    providers.privateStateProvider.setContractAddress(contractAddress);
+    const deployedDataRegistryContract = await findDeployedContract(providers, {
+      contractAddress,
+      compiledContract: CompiledDataRegistryContract,
+      privateStateId: dataRegistryPrivateStateKey,
+      initialPrivateState: await _DataRegistryAPI.getPrivateState(providers)
+    });
+    const contractVersion = await (0, import_rxjs.firstValueFrom)(
+      providers.publicDataProvider.contractStateObservable(contractAddress, { type: "latest" }).pipe((0, import_rxjs.map)((s) => ledger(s.data).contractVersion))
+    );
+    validateContractVersion(contractVersion, contractAddress);
+    return new _DataRegistryAPI(deployedDataRegistryContract, providers, logger);
+  }
+  static async getPrivateState(providers) {
+    const existingPrivateState = await providers.privateStateProvider.get(
+      dataRegistryPrivateStateKey
+    );
+    return existingPrivateState ?? createDataRegistryPrivateState();
+  }
+};
+var randomBytes = (length) => {
+  const bytes = new Uint8Array(length);
+  crypto.getRandomValues(bytes);
+  return bytes;
+};
+export {
+  DataRegistryAPI,
+  SUPPORTED_CONTRACT_VERSION,
+  dataRegistryPrivateStateKey,
+  randomBytes,
+  validateContractVersion
+};

package/dist/contracts/dataregistry/managed/zkir/removeReference.zkir

@@ -0,0 +1,138 @@
+{
+  "version": { "major": 2, "minor": 0 },
+  "do_communications_commitment": true,
+  "num_inputs": 2,
+  "instructions": [
+    { "op": "constrain_bits", "var": 0, "bits": 8 },
+    { "op": "constrain_bits", "var": 1, "bits": 248 },
+    { "op": "load_imm", "imm": "01" },
+    { "op": "load_imm", "imm": "30" },
+    { "op": "declare_pub_input", "var": 3 },
+    { "op": "pi_skip", "guard": 2, "count": 1 },
+    { "op": "load_imm", "imm": "50" },
+    { "op": "load_imm", "imm": "00" },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "declare_pub_input", "var": 2 },
+    { "op": "declare_pub_input", "var": 2 },
+    { "op": "declare_pub_input", "var": 5 },
+    { "op": "pi_skip", "guard": 2, "count": 4 },
+    { "op": "load_imm", "imm": "10" },
+    { "op": "load_imm", "imm": "20" },
+    { "op": "declare_pub_input", "var": 6 },
+    { "op": "declare_pub_input", "var": 2 },
+    { "op": "declare_pub_input", "var": 2 },
+    { "op": "declare_pub_input", "var": 7 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "pi_skip", "guard": 2, "count": 6 },
+    { "op": "load_imm", "imm": "18" },
+    { "op": "declare_pub_input", "var": 8 },
+    { "op": "pi_skip", "guard": 2, "count": 1 },
+    { "op": "public_input", "guard": null },
+    { "op": "load_imm", "imm": "0D" },
+    { "op": "declare_pub_input", "var": 10 },
+    { "op": "declare_pub_input", "var": 2 },
+    { "op": "declare_pub_input", "var": 2 },
+    { "op": "declare_pub_input", "var": 9 },
+    { "op": "pi_skip", "guard": 2, "count": 4 },
+    { "op": "assert", "cond": 9 },
+    { "op": "declare_pub_input", "var": 3 },
+    { "op": "pi_skip", "guard": 2, "count": 1 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "declare_pub_input", "var": 2 },
+    { "op": "declare_pub_input", "var": 2 },
+    { "op": "declare_pub_input", "var": 5 },
+    { "op": "pi_skip", "guard": 2, "count": 4 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "declare_pub_input", "var": 2 },
+    { "op": "declare_pub_input", "var": 7 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "pi_skip", "guard": 2, "count": 5 },
+    { "op": "public_input", "guard": null },
+    { "op": "public_input", "guard": null },
+    { "op": "public_input", "guard": null },
+    { "op": "public_input", "guard": null },
+    { "op": "public_input", "guard": null },
+    { "op": "public_input", "guard": null },
+    { "op": "public_input", "guard": null },
+    { "op": "public_input", "guard": null },
+    { "op": "public_input", "guard": null },
+    { "op": "public_input", "guard": null },
+    { "op": "load_imm", "imm": "-01" },
+    { "op": "load_imm", "imm": "08" },
+    { "op": "load_imm", "imm": "0C" },
+    { "op": "declare_pub_input", "var": 23 },
+    { "op": "declare_pub_input", "var": 22 },
+    { "op": "declare_pub_input", "var": 21 },
+    { "op": "declare_pub_input", "var": 21 },
+    { "op": "declare_pub_input", "var": 21 },
+    { "op": "declare_pub_input", "var": 21 },
+    { "op": "declare_pub_input", "var": 22 },
+    { "op": "declare_pub_input", "var": 21 },
+    { "op": "declare_pub_input", "var": 7 },
+    { "op": "declare_pub_input", "var": 7 },
+    { "op": "declare_pub_input", "var": 11 },
+    { "op": "declare_pub_input", "var": 12 },
+    { "op": "declare_pub_input", "var": 13 },
+    { "op": "declare_pub_input", "var": 14 },
+    { "op": "declare_pub_input", "var": 15 },
+    { "op": "declare_pub_input", "var": 16 },
+    { "op": "declare_pub_input", "var": 17 },
+    { "op": "declare_pub_input", "var": 18 },
+    { "op": "declare_pub_input", "var": 19 },
+    { "op": "declare_pub_input", "var": 20 },
+    { "op": "pi_skip", "guard": 2, "count": 20 },
+    { "op": "private_input", "guard": null },
+    { "op": "constrain_bits", "var": 24, "bits": 8 },
+    { "op": "private_input", "guard": null },
+    { "op": "constrain_bits", "var": 25, "bits": 248 },
+    { "op": "test_eq", "a": 24, "b": 5 },
+    { "op": "test_eq", "a": 25, "b": 5 },
+    { "op": "cond_select", "bit": 26, "a": 27, "b": 5 },
+    { "op": "cond_select", "bit": 28, "a": 5, "b": 2 },
+    { "op": "assert", "cond": 29 },
+    { "op": "load_imm", "imm": "32" },
+    { "op": "declare_pub_input", "var": 30 },
+    { "op": "pi_skip", "guard": 2, "count": 1 },
+    { "op": "load_imm", "imm": "60" },
+    { "op": "declare_pub_input", "var": 31 },
+    { "op": "declare_pub_input", "var": 2 },
+    { "op": "declare_pub_input", "var": 2 },
+    { "op": "declare_pub_input", "var": 5 },
+    { "op": "pi_skip", "guard": 2, "count": 4 },
+    { "op": "public_input", "guard": null },
+    { "op": "public_input", "guard": null },
+    { "op": "declare_pub_input", "var": 10 },
+    { "op": "declare_pub_input", "var": 2 },
+    { "op": "declare_pub_input", "var": 7 },
+    { "op": "declare_pub_input", "var": 32 },
+    { "op": "declare_pub_input", "var": 33 },
+    { "op": "pi_skip", "guard": 2, "count": 5 },
+    { "op": "load_imm", "imm": "6473746F726167653A6F776E65723A" },
+    { "op": "persistent_hash", "alignment": [{ "tag": "atom", "value": { "length": 32, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }], "inputs": [5, 34, 24, 25, 0, 1, 32, 33] },
+    { "op": "test_eq", "a": 17, "b": 35 },
+    { "op": "test_eq", "a": 18, "b": 36 },
+    { "op": "cond_select", "bit": 37, "a": 38, "b": 5 },
+    { "op": "assert", "cond": 39 },
+    { "op": "load_imm", "imm": "70" },
+    { "op": "declare_pub_input", "var": 40 },
+    { "op": "declare_pub_input", "var": 2 },
+    { "op": "declare_pub_input", "var": 2 },
+    { "op": "declare_pub_input", "var": 5 },
+    { "op": "pi_skip", "guard": 2, "count": 4 },
+    { "op": "declare_pub_input", "var": 6 },
+    { "op": "declare_pub_input", "var": 2 },
+    { "op": "declare_pub_input", "var": 2 },
+    { "op": "declare_pub_input", "var": 7 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "pi_skip", "guard": 2, "count": 6 },
+    { "op": "load_imm", "imm": "19" },
+    { "op": "declare_pub_input", "var": 41 },
+    { "op": "pi_skip", "guard": 2, "count": 1 },
+    { "op": "load_imm", "imm": "A1" },
+    { "op": "declare_pub_input", "var": 42 },
+    { "op": "pi_skip", "guard": 2, "count": 1 }
+  ]
+}

package/dist/contracts/dataregistry/managed/zkir/storeReference.zkir

@@ -0,0 +1,158 @@
+{
+  "version": { "major": 2, "minor": 0 },
+  "do_communications_commitment": true,
+  "num_inputs": 8,
+  "instructions": [
+    { "op": "constrain_bits", "var": 4, "bits": 64 },
+    { "op": "constrain_bits", "var": 6, "bits": 8 },
+    { "op": "constrain_bits", "var": 7, "bits": 248 },
+    { "op": "load_imm", "imm": "01" },
+    { "op": "load_imm", "imm": "30" },
+    { "op": "declare_pub_input", "var": 9 },
+    { "op": "pi_skip", "guard": 8, "count": 1 },
+    { "op": "load_imm", "imm": "50" },
+    { "op": "declare_pub_input", "var": 10 },
+    { "op": "declare_pub_input", "var": 8 },
+    { "op": "declare_pub_input", "var": 8 },
+    { "op": "declare_pub_input", "var": 8 },
+    { "op": "pi_skip", "guard": 8, "count": 4 },
+    { "op": "public_input", "guard": null },
+    { "op": "load_imm", "imm": "08" },
+    { "op": "load_imm", "imm": "0D" },
+    { "op": "declare_pub_input", "var": 13 },
+    { "op": "declare_pub_input", "var": 8 },
+    { "op": "declare_pub_input", "var": 12 },
+    { "op": "declare_pub_input", "var": 11 },
+    { "op": "pi_skip", "guard": 8, "count": 4 },
+    { "op": "div_mod_power_of_two", "var": 11, "bits": 248 },
+    { "op": "load_imm", "imm": "32" },
+    { "op": "declare_pub_input", "var": 16 },
+    { "op": "pi_skip", "guard": 8, "count": 1 },
+    { "op": "load_imm", "imm": "60" },
+    { "op": "load_imm", "imm": "00" },
+    { "op": "declare_pub_input", "var": 17 },
+    { "op": "declare_pub_input", "var": 8 },
+    { "op": "declare_pub_input", "var": 8 },
+    { "op": "declare_pub_input", "var": 18 },
+    { "op": "pi_skip", "guard": 8, "count": 4 },
+    { "op": "public_input", "guard": null },
+    { "op": "public_input", "guard": null },
+    { "op": "load_imm", "imm": "20" },
+    { "op": "declare_pub_input", "var": 13 },
+    { "op": "declare_pub_input", "var": 8 },
+    { "op": "declare_pub_input", "var": 21 },
+    { "op": "declare_pub_input", "var": 19 },
+    { "op": "declare_pub_input", "var": 20 },
+    { "op": "pi_skip", "guard": 8, "count": 5 },
+    { "op": "load_imm", "imm": "6473746F726167653A7265663A" },
+    { "op": "persistent_hash", "alignment": [{ "tag": "atom", "value": { "length": 32, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }], "inputs": [18, 22, 14, 15, 19, 20] },
+    { "op": "declare_pub_input", "var": 9 },
+    { "op": "pi_skip", "guard": 8, "count": 1 },
+    { "op": "declare_pub_input", "var": 10 },
+    { "op": "declare_pub_input", "var": 8 },
+    { "op": "declare_pub_input", "var": 8 },
+    { "op": "declare_pub_input", "var": 18 },
+    { "op": "pi_skip", "guard": 8, "count": 4 },
+    { "op": "load_imm", "imm": "10" },
+    { "op": "declare_pub_input", "var": 25 },
+    { "op": "declare_pub_input", "var": 8 },
+    { "op": "declare_pub_input", "var": 8 },
+    { "op": "declare_pub_input", "var": 21 },
+    { "op": "declare_pub_input", "var": 23 },
+    { "op": "declare_pub_input", "var": 24 },
+    { "op": "pi_skip", "guard": 8, "count": 6 },
+    { "op": "load_imm", "imm": "18" },
+    { "op": "declare_pub_input", "var": 26 },
+    { "op": "pi_skip", "guard": 8, "count": 1 },
+    { "op": "public_input", "guard": null },
+    { "op": "declare_pub_input", "var": 13 },
+    { "op": "declare_pub_input", "var": 8 },
+    { "op": "declare_pub_input", "var": 8 },
+    { "op": "declare_pub_input", "var": 27 },
+    { "op": "pi_skip", "guard": 8, "count": 4 },
+    { "op": "cond_select", "bit": 27, "a": 18, "b": 8 },
+    { "op": "assert", "cond": 28 },
+    { "op": "private_input", "guard": null },
+    { "op": "constrain_bits", "var": 29, "bits": 8 },
+    { "op": "private_input", "guard": null },
+    { "op": "constrain_bits", "var": 30, "bits": 248 },
+    { "op": "test_eq", "a": 29, "b": 18 },
+    { "op": "test_eq", "a": 30, "b": 18 },
+    { "op": "cond_select", "bit": 31, "a": 32, "b": 18 },
+    { "op": "cond_select", "bit": 33, "a": 18, "b": 8 },
+    { "op": "assert", "cond": 34 },
+    { "op": "declare_pub_input", "var": 16 },
+    { "op": "pi_skip", "guard": 8, "count": 1 },
+    { "op": "declare_pub_input", "var": 17 },
+    { "op": "declare_pub_input", "var": 8 },
+    { "op": "declare_pub_input", "var": 8 },
+    { "op": "declare_pub_input", "var": 18 },
+    { "op": "pi_skip", "guard": 8, "count": 4 },
+    { "op": "public_input", "guard": null },
+    { "op": "public_input", "guard": null },
+    { "op": "declare_pub_input", "var": 13 },
+    { "op": "declare_pub_input", "var": 8 },
+    { "op": "declare_pub_input", "var": 21 },
+    { "op": "declare_pub_input", "var": 35 },
+    { "op": "declare_pub_input", "var": 36 },
+    { "op": "pi_skip", "guard": 8, "count": 5 },
+    { "op": "load_imm", "imm": "6473746F726167653A6F776E65723A" },
+    { "op": "persistent_hash", "alignment": [{ "tag": "atom", "value": { "length": 32, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }], "inputs": [18, 37, 29, 30, 23, 24, 35, 36] },
+    { "op": "load_imm", "imm": "70" },
+    { "op": "declare_pub_input", "var": 40 },
+    { "op": "declare_pub_input", "var": 8 },
+    { "op": "declare_pub_input", "var": 8 },
+    { "op": "declare_pub_input", "var": 18 },
+    { "op": "pi_skip", "guard": 8, "count": 4 },
+    { "op": "declare_pub_input", "var": 25 },
+    { "op": "declare_pub_input", "var": 8 },
+    { "op": "declare_pub_input", "var": 8 },
+    { "op": "declare_pub_input", "var": 21 },
+    { "op": "declare_pub_input", "var": 23 },
+    { "op": "declare_pub_input", "var": 24 },
+    { "op": "pi_skip", "guard": 8, "count": 6 },
+    { "op": "load_imm", "imm": "11" },
+    { "op": "load_imm", "imm": "-01" },
+    { "op": "declare_pub_input", "var": 41 },
+    { "op": "declare_pub_input", "var": 8 },
+    { "op": "declare_pub_input", "var": 12 },
+    { "op": "declare_pub_input", "var": 42 },
+    { "op": "declare_pub_input", "var": 42 },
+    { "op": "declare_pub_input", "var": 42 },
+    { "op": "declare_pub_input", "var": 42 },
+    { "op": "declare_pub_input", "var": 12 },
+    { "op": "declare_pub_input", "var": 42 },
+    { "op": "declare_pub_input", "var": 21 },
+    { "op": "declare_pub_input", "var": 21 },
+    { "op": "declare_pub_input", "var": 0 },
+    { "op": "declare_pub_input", "var": 1 },
+    { "op": "declare_pub_input", "var": 2 },
+    { "op": "declare_pub_input", "var": 3 },
+    { "op": "declare_pub_input", "var": 4 },
+    { "op": "declare_pub_input", "var": 5 },
+    { "op": "declare_pub_input", "var": 38 },
+    { "op": "declare_pub_input", "var": 39 },
+    { "op": "declare_pub_input", "var": 6 },
+    { "op": "declare_pub_input", "var": 7 },
+    { "op": "pi_skip", "guard": 8, "count": 21 },
+    { "op": "load_imm", "imm": "91" },
+    { "op": "declare_pub_input", "var": 43 },
+    { "op": "pi_skip", "guard": 8, "count": 1 },
+    { "op": "load_imm", "imm": "A1" },
+    { "op": "declare_pub_input", "var": 44 },
+    { "op": "pi_skip", "guard": 8, "count": 1 },
+    { "op": "declare_pub_input", "var": 40 },
+    { "op": "declare_pub_input", "var": 8 },
+    { "op": "declare_pub_input", "var": 8 },
+    { "op": "declare_pub_input", "var": 8 },
+    { "op": "pi_skip", "guard": 8, "count": 4 },
+    { "op": "load_imm", "imm": "0E" },
+    { "op": "declare_pub_input", "var": 45 },
+    { "op": "declare_pub_input", "var": 8 },
+    { "op": "pi_skip", "guard": 8, "count": 2 },
+    { "op": "declare_pub_input", "var": 44 },
+    { "op": "pi_skip", "guard": 8, "count": 1 },
+    { "op": "output", "var": 23 },
+    { "op": "output", "var": 24 }
+  ]
+}