@opcat-labs/scrypt-ts-opcat 2.0.2 → 2.1.0

package/dist/esm/smart-contract/builtin-libs/genesis.js

@@ -0,0 +1,549 @@
+var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
+    var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
+    if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
+    else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
+    return c > 3 && r && Object.defineProperty(target, key, r), r;
+};
+var __metadata = (this && this.__metadata) || function (k, v) {
+    if (typeof Reflect === "object" && typeof Reflect.metadata === "function") return Reflect.metadata(k, v);
+};
+import { SmartContract } from '../smartContract.js';
+import { method, tags } from '../decorators.js';
+import { assert, toByteString, len, sha256, fill } from '../fns/index.js';
+import { TxUtils } from './txUtils.js';
+import { ContextUtils } from './contextUtils.js';
+import { uint8ArrayToHex } from '../../utils/common.js';
+/**
+ * Maximum number of inputs allowed during genesis deployment.
+ *
+ * ## Purpose
+ * Limits the number of inputs validated to prevent script size bloat while
+ * maintaining sufficient security coverage.
+ *
+ * ## Why 6?
+ * - **Typical deployments**: 1-3 inputs (Genesis UTXO + fee UTXOs)
+ * - **Edge case coverage**: Handles multi-input deployment scenarios
+ * - **Script size**: Each input check adds ~50 bytes; 6 is optimal balance
+ * - **Security**: Validates all inputs in normal cases
+ * - **sCrypt constraint**: Bitcoin Script loops must be unrolled at compile time
+ *
+ * ## Security Implications
+ * Transactions with more than 6 inputs will be **rejected by the contract**.
+ * This prevents attackers from hiding duplicate scriptHashes in unchecked input
+ * indices beyond the validation limit.
+ *
+ * @constant
+ * @see {@link Genesis.checkDeploy} - Uses this constant for input validation
+ * @category Genesis
+ */
+export const MAX_GENESIS_CHECK_INPUT = 6;
+/**
+ * Maximum number of outputs to check during genesis deployment.
+ *
+ * ## Purpose
+ * Limits the number of outputs validated during deployment to match input
+ * validation coverage and support typical deployment patterns.
+ *
+ * ## Usage Scenarios
+ * - **1 output**: Deploy single contract
+ * - **2-3 outputs**: Deploy contract + change outputs
+ * - **4-6 outputs**: Multi-contract deployment or complex output structures
+ *
+ * ## Validation Scope
+ * Only `output[0]` must be unique. Other outputs (1-5) can have duplicate
+ * scriptHashes as long as they differ from `output[0]`.
+ *
+ * @constant
+ * @see {@link Genesis.checkDeploy} - Uses this constant for output validation
+ * @see {@link MAX_GENESIS_CHECK_INPUT} - Corresponding input limit
+ * @category Genesis
+ */
+export const MAX_GENESIS_CHECK_OUTPUT = 6;
+/**
+ * Genesis contract for validating initial deployment outputs.
+ *
+ * ## Purpose
+ * The Genesis contract ensures that deployed contracts have unique scriptHashes,
+ * preventing duplicate deployments and establishing a verifiable deployment origin.
+ * It acts as a "genesis UTXO" that validates the first deployment of a contract.
+ *
+ * ## Deployment Validation Rules
+ * 1. **Genesis position**: Genesis must be unlocked at input index 0
+ * 2. **Output uniqueness**: Contract at `output[0]` must have unique scriptHash among all outputs
+ * 3. **Input differentiation**: Contract at `output[0]` must differ from all input scriptHashes
+ * 4. **Input limit**: Transaction must have ≤ {@link MAX_GENESIS_CHECK_INPUT} inputs
+ * 5. **Output limit**: Transaction must specify ≤ {@link MAX_GENESIS_CHECK_OUTPUT} outputs
+ *
+ * ## Why output[0]?
+ * Only `output[0]` requires uniqueness validation. This design allows:
+ * - Deploying the **primary contract** at output[0] with guaranteed uniqueness
+ * - Including **auxiliary contracts** or **change outputs** at indices 1-5
+ * - **Multi-output deployments** where only the main contract needs uniqueness
+ *
+ * ## Empty Placeholders
+ * When fewer than {@link MAX_GENESIS_CHECK_OUTPUT} outputs exist, use empty
+ * placeholders (scriptHash = empty ByteString) for unused slots. These are
+ * ignored during validation.
+ *
+ * @example
+ * **Basic single contract deployment:**
+ * ```typescript
+ * import { Genesis, genesisCheckDeploy } from '@opcat-labs/scrypt-ts-opcat';
+ * import { ExtPsbt } from '@opcat-labs/scrypt-ts-opcat';
+ *
+ * // 1. Create and bind Genesis contract
+ * const genesis = new Genesis();
+ * genesis.bindToUtxo(genesisUtxo);
+ *
+ * // 2. Create the contract to deploy
+ * const minter = new CAT20Minter(...);
+ *
+ * // 3. Build deployment transaction
+ * const psbt = new ExtPsbt({ network })
+ *   .addContractInput(genesis, genesisCheckDeploy()) // Genesis validates deployment
+ *   .addContractOutput(minter, 1000n)                 // Deploy at output[0]
+ *   .change(changeAddress, feeRate)
+ *   .seal();
+ *
+ * // 4. Finalize and broadcast
+ * await psbt.finalizeAllInputs();
+ * const txid = await psbt.broadcast();
+ * console.log(`Contract deployed at ${txid}:0`);
+ * ```
+ *
+ * @category Contract
+ * @category Genesis
+ * @see {@link genesisCheckDeploy} - Helper function for easier deployment
+ * @see {@link MAX_GENESIS_CHECK_INPUT} - Maximum inputs validated
+ * @see {@link MAX_GENESIS_CHECK_OUTPUT} - Maximum outputs validated
+ * @onchain
+ */
+let Genesis = class Genesis extends SmartContract {
+    constructor() {
+        // eslint-disable-next-line prefer-rest-params
+        super(...arguments);
+    }
+    /**
+     * Validates the deployment transaction outputs.
+     *
+     * ## Validation Process
+     * This method performs a **two-phase validation**:
+     *
+     * **Phase 1: Output Serialization & Uniqueness** (lines 168-183)
+     * - Iterates through all outputs up to MAX_GENESIS_CHECK_OUTPUT
+     * - Serializes valid outputs (index < outputCount) for context matching
+     * - Validates `output[0]` scriptHash is unique among all outputs
+     * - Ensures no duplicate contracts are deployed in a single transaction
+     *
+     * **Phase 2: Input Differentiation** (lines 185-195)
+     * - Checks `output[0]` differs from all input scriptHashes
+     * - Prevents redeployment attacks using existing contract UTXOs
+     * - Validates only inputs within MAX_GENESIS_CHECK_INPUT limit
+     *
+     * ## Why Two Separate Loops?
+     * 1. **Output loop**: Dual-purpose (serialize + validate uniqueness)
+     * 2. **Input loop**: Independent validation after outputs are processed
+     * 3. **sCrypt constraint**: Loops must be unrolled at compile time
+     *
+     * @param outputs - Fixed array of 6 outputs; fill unused slots with empty placeholders
+     * @param outputCount - Number of actual outputs (1-6); outputs beyond this are ignored
+     *
+     * @throws {Error} 'Genesis must be unlocked at input index 0' - Genesis not at input 0
+     * @throws {Error} 'Too many inputs to validate' - More than MAX_GENESIS_CHECK_INPUT inputs
+     * @throws {Error} 'Invalid outputCount' - outputCount out of range [1, 6]
+     * @throws {Error} 'Output scriptHash must be non-empty' - Empty scriptHash in valid output
+     * @throws {Error} 'output[0] must be unique among all outputs' - Duplicate scriptHash in outputs
+     * @throws {Error} 'output[0] must differ from all input scriptHashes' - Matches an input
+     * @throws {Error} 'Outputs mismatch with the transaction context' - Serialization mismatch
+     *
+     * @example
+     * ```typescript
+     * // Advanced: Direct method call (most users should use genesisCheckDeploy helper)
+     * const genesis = new Genesis();
+     * genesis.bindToUtxo(genesisUtxo);
+     *
+     * // Create output array with empty placeholders
+     * const outputs: TxOut[] = [
+     *   { scriptHash: sha256(contractScript), satoshis: 1000n, dataHash: sha256('') },
+     *   ...fill({ scriptHash: toByteString(''), satoshis: 0n, dataHash: sha256('') }, 5)
+     * ];
+     *
+     * await genesis.methods.checkDeploy(
+     *   outputs as FixedArray<TxOut, 6>,
+     *   1n // Only 1 real output, rest are placeholders
+     * );
+     * ```
+     *
+     * @see {@link genesisCheckDeploy} - Helper function for easier usage
+     * @see {@link MAX_GENESIS_CHECK_INPUT} - Maximum inputs validated
+     * @see {@link MAX_GENESIS_CHECK_OUTPUT} - Maximum outputs validated
+     * @onchain
+     */
+    checkDeploy(outputs, outputCount) {
+        // === PRELIMINARY CHECKS ===
+        // Ensure Genesis is unlocked at input index 0
+        // This guarantees Genesis validates the deployment and prevents position-based attacks
+        assert(this.ctx.inputIndex == 0n, 'Genesis must be unlocked at input index 0');
+        // Ensure input count does not exceed the maximum we can check
+        // SECURITY: Prevents attackers from hiding duplicate scriptHashes in unchecked input indices
+        assert(this.ctx.inputCount <= BigInt(MAX_GENESIS_CHECK_INPUT), 'Too many inputs to validate');
+        // Validate outputCount is within valid range [1, MAX_GENESIS_CHECK_OUTPUT]
+        assert(outputCount > 0n && outputCount <= BigInt(MAX_GENESIS_CHECK_OUTPUT), 'Invalid outputCount: must be between 1 and MAX_GENESIS_CHECK_OUTPUT');
+        // Cache output[0] scriptHash for comparison in validation loops
+        // This is more efficient than repeatedly accessing outputs[0].scriptHash
+        const output0ScriptHash = outputs[0].scriptHash;
+        // === PHASE 1: SERIALIZE OUTPUTS & VALIDATE UNIQUENESS ===
+        // Loop through all output slots to:
+        // 1. Serialize valid outputs for context matching
+        // 2. Validate output[0] uniqueness among all outputs
+        // Note: Loop is unrolled at compile time (sCrypt constraint)
+        let outputBytes = toByteString('');
+        for (let index = 0; index < MAX_GENESIS_CHECK_OUTPUT; index++) {
+            const _output = outputs[index];
+            if (index < outputCount) {
+                // Validate: All valid outputs must have non-empty scriptHash
+                assert(len(_output.scriptHash) > 0n, 'Output scriptHash must be non-empty for valid outputs');
+                // Serialize this output for later context verification
+                outputBytes += TxUtils.buildDataOutput(_output.scriptHash, _output.satoshis, _output.dataHash);
+                // Validate: output[0] must be unique among all outputs
+                // Skip index 0 (can't compare output[0] with itself)
+                if (index > 0) {
+                    assert(output0ScriptHash != _output.scriptHash, 'output[0] must be unique among all outputs');
+                }
+            }
+            // Else: index >= outputCount, this is an empty placeholder, skip it
+        }
+        // === PHASE 2: VALIDATE INPUT DIFFERENTIATION ===
+        // Ensure output[0] scriptHash differs from all input scriptHashes
+        // SECURITY: Prevents redeployment using existing contract UTXOs as inputs
+        for (let index = 0; index < MAX_GENESIS_CHECK_INPUT; index++) {
+            if (index < this.ctx.inputCount) {
+                // Extract scriptHash of input at this index
+                const inputScriptHash = ContextUtils.getSpentScriptHash(this.ctx.spentScriptHashes, BigInt(index));
+                // Validate: output[0] must differ from this input
+                assert(output0ScriptHash != inputScriptHash, 'output[0] must differ from all input scriptHashes');
+            }
+            // Else: index >= inputCount, no input at this index, skip it
+        }
+        // === FINAL CHECK: CONTEXT VERIFICATION ===
+        // Verify that our serialized outputs match the transaction's actual outputs
+        // This ensures the outputs array passed to this method is truthful
+        assert(this.checkOutputs(outputBytes), 'Outputs mismatch with the transaction context');
+    }
+};
+__decorate([
+    method(),
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [Object, BigInt]),
+    __metadata("design:returntype", void 0)
+], Genesis.prototype, "checkDeploy", null);
+Genesis = __decorate([
+    tags(['GENESIS']),
+    __metadata("design:paramtypes", [])
+], Genesis);
+export { Genesis };
+/**
+ * Creates a contract call function for Genesis.checkDeploy that automatically
+ * builds the TxOut array from transaction outputs.
+ *
+ * ## What it does
+ * This helper function simplifies Genesis deployment by:
+ * 1. **Extracting outputs** from the PSBT transaction
+ * 2. **Computing hashes** (scriptHash and dataHash) for each output
+ * 3. **Creating placeholders** for unused output slots (up to 6 total)
+ * 4. **Invoking checkDeploy** with properly formatted parameters
+ *
+ * ## When to use
+ * - **Recommended**: Use this helper when building deployment transactions with ExtPsbt
+ * - **Advanced**: Call {@link Genesis.checkDeploy} directly for manual control
+ *
+ * ## Output Handling
+ * - Processes up to {@link MAX_GENESIS_CHECK_OUTPUT} (6) outputs
+ * - Automatically limits `outputCount` via `Math.min(txOutputs.length, 6)`
+ * - Fills unused slots with empty placeholders (scriptHash = empty ByteString)
+ *
+ * @returns A ContractCall function compatible with ExtPsbt.addContractInput
+ *
+ * @example
+ * **Basic single contract deployment:**
+ * ```typescript
+ * import { Genesis, genesisCheckDeploy } from '@opcat-labs/scrypt-ts-opcat';
+ * import { ExtPsbt } from '@opcat-labs/scrypt-ts-opcat';
+ *
+ * // 1. Setup Genesis contract
+ * const genesis = new Genesis();
+ * genesis.bindToUtxo(genesisUtxo);
+ *
+ * // 2. Create contract to deploy
+ * const minter = new CAT20Minter(...);
+ *
+ * // 3. Build deployment transaction
+ * const psbt = new ExtPsbt({ network })
+ *   .addContractInput(genesis, genesisCheckDeploy())  // Genesis validates
+ *   .addContractOutput(minter, 1000n)                  // Deploy at output[0]
+ *   .change(changeAddress, feeRate)                    // Change output
+ *   .seal();
+ *
+ * // 4. Finalize and broadcast
+ * await psbt.finalizeAllInputs();
+ * const txid = await psbt.broadcast();
+ * console.log(`Contract deployed at ${txid}:0`);
+ * ```
+ *
+ * @example
+ * **Multi-output deployment:**
+ * ```typescript
+ * // Deploy primary contract + auxiliary contracts
+ * const psbt = new ExtPsbt({ network })
+ *   .addContractInput(genesis, genesisCheckDeploy())
+ *   .addContractOutput(primaryContract, 2000n)    // output[0] - must be unique
+ *   .addContractOutput(helperContract, 1000n)     // output[1] - can match output[2+]
+ *   .addContractOutput(anotherHelper, 1000n)      // output[2] - can match output[1]
+ *   .change(changeAddress, feeRate)
+ *   .seal();
+ * ```
+ *
+ * @example
+ * **Error handling:**
+ * ```typescript
+ * try {
+ *   const psbt = new ExtPsbt({ network })
+ *     .addContractInput(genesis, genesisCheckDeploy())
+ *     .addContractOutput(contract1, 1000n)  // output[0]
+ *     .addContractOutput(contract1, 1000n)  // ❌ Same as output[0] - will fail!
+ *     .seal();
+ *   await psbt.finalizeAllInputs();
+ *   await psbt.broadcast();
+ * } catch (error) {
+ *   // Error: output[0] must be unique among all outputs
+ *   console.error('Deployment failed:', error.message);
+ * }
+ * ```
+ *
+ * @category Genesis
+ * @see {@link Genesis.checkDeploy} - The underlying contract method
+ * @see {@link MAX_GENESIS_CHECK_OUTPUT} - Maximum outputs validated
+ */
+export function genesisCheckDeploy() {
+    return (contract, psbt) => {
+        // Create empty placeholder for unused output slots
+        // Empty scriptHash signals "no output" to the Genesis contract
+        const emptyOutput = {
+            scriptHash: toByteString(''), // Empty = placeholder
+            satoshis: 0n, // Placeholder value
+            dataHash: sha256(toByteString('')), // Hash of empty data
+        };
+        // Initialize array with 6 empty placeholders
+        // Genesis contract requires exactly 6 output slots (sCrypt FixedArray constraint)
+        const outputs = fill(emptyOutput, MAX_GENESIS_CHECK_OUTPUT);
+        // Extract actual outputs from the transaction being built
+        const txOutputs = psbt.txOutputs;
+        // Limit to MAX_GENESIS_CHECK_OUTPUT to prevent validation errors
+        // If tx has >6 outputs, only first 6 are validated (rare edge case)
+        const outputCount = Math.min(txOutputs.length, MAX_GENESIS_CHECK_OUTPUT);
+        // Fill the output array with actual transaction outputs
+        for (let i = 0; i < outputCount; i++) {
+            const output = txOutputs[i];
+            outputs[i] = {
+                // Compute scriptHash: SHA256 of the output's locking script
+                scriptHash: sha256(toByteString(uint8ArrayToHex(output.script))),
+                // Output amount in satoshis
+                satoshis: BigInt(output.value),
+                // Compute dataHash: SHA256 of the output's data field (if any)
+                dataHash: sha256(toByteString(uint8ArrayToHex(output.data))),
+            };
+        }
+        // Remaining slots (i >= outputCount) remain as empty placeholders
+        contract.checkDeploy(outputs, BigInt(outputCount));
+    };
+}
+/**
+ * Embedded contract artifact for the Genesis contract.
+ *
+ * ## What is this?
+ * This object contains the compiled sCrypt bytecode and metadata for the Genesis contract.
+ * It includes:
+ * - **Compiled bytecode** (hex, asm fields) - Executable Bitcoin Script
+ * - **Contract ABI** - Method signatures and parameter types
+ * - **Struct definitions** (TxOut, SHPreimage) - Type information for complex data structures
+ * - **Compiler metadata** - Version, MD5 hash for artifact validation
+ *
+ * ## Auto-generation
+ * This artifact is **automatically generated and updated** by the build script:
+ * ```bash
+ * npm run gen:contract Genesis
+ * ```
+ *
+ * This command:
+ * 1. Compiles the Genesis contract using `npx tspc`
+ * 2. Generates artifact JSON in `test/fixtures/genesis.json`
+ * 3. Embeds the artifact into this source file (via `updateContractDesc.ts`)
+ * 4. Cleans up intermediate compilation files
+ *
+ * ## Why embedded in source?
+ * Embedding the artifact directly in the source file provides:
+ * - **Zero-config usage** - No need to load external JSON files
+ * - **Type safety** - TypeScript can validate the artifact structure
+ * - **Bundler compatibility** - Works seamlessly with webpack, rollup, etc.
+ * - **Single-file distribution** - Easier to import and use
+ *
+ * ## When to update
+ * The artifact must be regenerated whenever:
+ * - The Genesis contract logic changes
+ * - Struct definitions (TxOut, SHPreimage) are modified
+ * - The sCrypt compiler version is updated
+ *
+ * ⚠️ **DO NOT manually edit this object** - Changes will be overwritten on next compilation.
+ * To update: modify the contract code above, then run `npm run gen:contract Genesis`.
+ *
+ * @see {@link updateContractDesc} - Script that embeds this artifact (scripts/updateContractDesc.ts)
+ */
+const desc = {
+    version: 10,
+    compilerVersion: "1.21.0+commit.2ada378",
+    contract: "Genesis",
+    md5: "0b1e184a0aecd042ae661eb8d44a0483",
+    structs: [
+        {
+            name: "TxOut",
+            params: [
+                {
+                    name: "scriptHash",
+                    type: "bytes"
+                },
+                {
+                    name: "dataHash",
+                    type: "bytes"
+                },
+                {
+                    name: "satoshis",
+                    type: "int"
+                }
+            ],
+            genericTypes: []
+        },
+        {
+            name: "SHPreimage",
+            params: [
+                {
+                    name: "nVersion",
+                    type: "bytes"
+                },
+                {
+                    name: "hashPrevouts",
+                    type: "bytes"
+                },
+                {
+                    name: "spentScriptHash",
+                    type: "bytes"
+                },
+                {
+                    name: "spentDataHash",
+                    type: "bytes"
+                },
+                {
+                    name: "value",
+                    type: "int"
+                },
+                {
+                    name: "nSequence",
+                    type: "bytes"
+                },
+                {
+                    name: "hashSpentAmounts",
+                    type: "bytes"
+                },
+                {
+                    name: "hashSpentScriptHashes",
+                    type: "bytes"
+                },
+                {
+                    name: "hashSpentDataHashes",
+                    type: "bytes"
+                },
+                {
+                    name: "hashSequences",
+                    type: "bytes"
+                },
+                {
+                    name: "hashOutputs",
+                    type: "bytes"
+                },
+                {
+                    name: "inputIndex",
+                    type: "int"
+                },
+                {
+                    name: "nLockTime",
+                    type: "int"
+                },
+                {
+                    name: "sigHashType",
+                    type: "int"
+                }
+            ],
+            genericTypes: []
+        }
+    ],
+    library: [
+        {
+            name: "TxUtils",
+            params: [],
+            properties: [],
+            genericTypes: []
+        },
+        {
+            name: "ContextUtils",
+            params: [],
+            properties: [],
+            genericTypes: []
+        },
+        {
+            name: "StdUtils",
+            params: [],
+            properties: [],
+            genericTypes: []
+        }
+    ],
+    alias: [],
+    abi: [
+        {
+            type: "function",
+            name: "checkDeploy",
+            index: 0,
+            params: [
+                {
+                    name: "outputs",
+                    type: "TxOut[6]"
+                },
+                {
+                    name: "outputCount",
+                    type: "int"
+                },
+                {
+                    name: "__scrypt_ts_shPreimage",
+                    type: "SHPreimage"
+                },
+                {
+                    name: "__scrypt_ts_spentAmounts",
+                    type: "bytes"
+                },
+                {
+                    name: "__scrypt_ts_spentScriptHashes",
+                    type: "bytes"
+                }
+            ]
+        },
+        {
+            type: "constructor",
+            params: []
+        }
+    ],
+    stateProps: [],
+    buildType: "release",
+    file: "",
+    hex: "512097dfd76851bf465e8f715593b217714858bbe9570ff3bd5e33840a34e20ff0262102ba79df5f8ae7604a9830f03c7933028186aede0675a16f025dc4f8be8eec0382201008ce7480da41702918d1ec8e6849ba32b4d65b1e40dc669c31a1e6306b266c6161011379011379011379011379011379011379011379011379011379011379011379011379011379011379615d798277549c695c79827701209c695b79827701209c695a79827701209c69597900a26958798277549c695779827701209c695679827701209c695579827701209c695479827701209c695379827701209c69527900a269517900a2690079519c640079529c675168640079539c6751686400790281009c6751686400790282009c6751686400790283009c675168695d795d797e5c797e5b797e5a7961007961007900a263007909ffffffffffffffff00a1670068690079586151795179519380007952797f75007f77517a75517a75517a7561517a7561517a75617e59797e58797e57797e56797e55797e54797e5379546151795179519380007952797f75007f77517a75517a75517a75617e5279546151795179519380007952797f75007f77517a75517a75517a75617e517954807e0079517a75517a75517a75517a75517a75517a75517a75517a75517a75517a75517a75517a75517a75517a75517a7561547961517955795579210ac407f0e4bd44bfc207355a778b046225a7068fc59ee7eda43ad905aadbffc800206c266b30e6a1319c66dc401e5bd6b432ba49688eecd118297041da8074ce081057795679615679aa0079610079517f517f517f517f517f517f517f517f517f517f517f517f517f517f517f517f517f517f517f517f517f517f517f517f517f517f517f517f517f517f517f7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e01007e81517a75615779567956795679567961537956795479577995939521414136d08c5ed2bf3ba048afe6dcaebafeffffffffffffffffffffffffffffff00517951796151795179970079009f63007952799367007968517a75517a75517a7561527a75517a517951795296a0630079527994527a75517a6853798277527982775379012080517f517f517f517f517f517f517f517f517f517f517f517f517f517f517f517f517f517f517f517f517f517f517f517f517f517f517f517f517f517f517f7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e7c7e01205279947f7754537993527993013051797e527e54797e58797e527e53797e52797e57797e0079517a75517a75517a75517a75517a75517a75517a75517a75517a75517a75517a75517a75517a756100795779ac517a75517a75517a75517a75517a75517a75517a75517a75517a7561517a75517a75616955795e79615179aa5179876951795861517982770079527997009c690079527996517a75517a75517a7561517a75517a756155795e795279615279aa5279876900795379012061517982770079527997009c690079527996517a75517a75517a75619c6951517a75517a75517a7561755979009c69007956a16901157900a06301157956a167006869006101286b6c766b796c766b796c766b796c7500011a799f635279827700a0695379537952795479615279827751798277517901209c69007901209c69537900a269537961007961007900a263007909ffffffffffffffff00a1670068690079586151795179519380007952797f75007f77517a75517a75517a7561517a7561517a756155797e53797e517a75517a75517a75517a75517a75617e547a75537a537a537a537975687575756101256b6c766b796c766b796c766b796c7551011a799f635279827700a0695379537952795479615279827751798277517901209c69007901209c69537900a269537961007961007900a263007909ffffffffffffffff00a1670068690079586151795179519380007952797f75007f77517a75517a75517a7561517a7561517a756155797e53797e517a75517a75517a75517a75517a75617e547a75537a537a537a537975687575756101226b6c766b796c766b796c766b796c7552011a799f635279827700a0695379537952795479615279827751798277517901209c69007901209c69537900a269537961007961007900a263007909ffffffffffffffff00a1670068690079586151795179519380007952797f75007f77517a75517a75517a7561517a7561517a756155797e53797e517a75517a75517a75517a75517a75617e547a75537a537a537a5379756875757561011f6b6c766b796c766b796c766b796c7553011a799f635279827700a0695379537952795479615279827751798277517901209c69007901209c69537900a269537961007961007900a263007909ffffffffffffffff00a1670068690079586151795179519380007952797f75007f77517a75517a75517a7561517a7561517a756155797e53797e517a75517a75517a75517a75517a75617e547a75537a537a537a5379756875757561011c6b6c766b796c766b796c766b796c7554011a799f635279827700a0695379537952795479615279827751798277517901209c69007901209c69537900a269537961007961007900a263007909ffffffffffffffff00a1670068690079586151795179519380007952797f75007f77517a75517a75517a7561517a7561517a756155797e53797e517a75517a75517a75517a75517a75617e547a75537a537a537a537975687575756101196b6c766b796c766b796c766b796c7555011a799f635279827700a0695379537952795479615279827751798277517901209c69007901209c69537900a269537961007961007900a263007909ffffffffffffffff00a1670068690079586151795179519380007952797f75007f77517a75517a75517a7561517a7561517a756155797e53797e517a75517a75517a75517a75517a75617e547a75537a537a537a5379756875757501286b6c766b796c766b796c766b796c75527a527a527a7575610053799f63577900615179517951930120957f7551790120957f77517a75517a7561517951798791697568615153799f63577951615179517951930120957f7551790120957f77517a75517a7561517951798791697568615253799f63577952615179517951930120957f7551790120957f77517a75517a7561517951798791697568615353799f63577953615179517951930120957f7551790120957f77517a75517a7561517951798791697568615453799f63577954615179517951930120957f7551790120957f77517a75517a7561517951798791697568615553799f63577955615179517951930120957f7551790120957f77517a75517a756151795179879169756801177951a063007901276b6c766b796c766b796c766b796c75527a527a527a75758791696801177952a063007901246b6c766b796c766b796c766b796c75527a527a527a75758791696801177953a063007901216b6c766b796c766b796c766b796c75527a527a527a75758791696801177954a0630079011e6b6c766b796c766b796c766b796c75527a527a527a75758791696801177955a0630079011b6b6c766b796c766b796c766b796c75527a527a527a7575879169685179aa5d7987777777777777777777777777777777777777777777777777777777777777777777777777777777777777",
+    sourceMapFile: ""
+};
+Genesis.loadArtifact(desc);
+//# sourceMappingURL=genesis.js.map

package/dist/esm/smart-contract/builtin-libs/genesis.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"genesis.js","sourceRoot":"","sources":["../../../../src/smart-contract/builtin-libs/genesis.ts"],"names":[],"mappings":";;;;;;;;;AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAC;AAE1E,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AACvC,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAEjD,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAExD;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,CAAC;AAEzC;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,CAAC;AAE1C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0DG;AAEI,IAAM,OAAO,GAAb,MAAM,OAAQ,SAAQ,aAAa;IACxC;QACE,8CAA8C;QAC9C,KAAK,CAAC,GAAG,SAAS,CAAC,CAAC;IACtB,CAAC;IAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAuDG;IAEI,WAAW,CAAC,OAA2D,EAAE,WAAmB;QACjG,6BAA6B;QAE7B,8CAA8C;QAC9C,uFAAuF;QACvF,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,IAAI,EAAE,EAAE,2CAA2C,CAAC,CAAC;QAE/E,8DAA8D;QAC9D,6FAA6F;QAC7F,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,IAAI,MAAM,CAAC,uBAAuB,CAAC,EAAE,6BAA6B,CAAC,CAAC;QAE9F,2EAA2E;QAC3E,MAAM,CACJ,WAAW,GAAG,EAAE,IAAI,WAAW,IAAI,MAAM,CAAC,wBAAwB,CAAC,EACnE,qEAAqE,CACtE,CAAC;QAEF,gEAAgE;QAChE,yEAAyE;QACzE,MAAM,iBAAiB,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC;QAEhD,2DAA2D;QAE3D,oCAAoC;QACpC,kDAAkD;QAClD,qDAAqD;QACrD,6DAA6D;QAC7D,IAAI,WAAW,GAAG,YAAY,CAAC,EAAE,CAAC,CAAC;QACnC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,wBAAwB,EAAE,KAAK,EAAE,EAAE,CAAC;YAC9D,MAAM,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;YAC/B,IAAI,KAAK,GAAG,WAAW,EAAE,CAAC;gBACxB,6DAA6D;gBAC7D,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,EAAE,EAAE,uDAAuD,CAAC,CAAC;gBAE9F,uDAAuD;gBACvD,WAAW,IAAI,OAAO,CAAC,eAAe,CACpC,OAAO,CAAC,UAAU,EAClB,OAAO,CAAC,QAAQ,EAChB,OAAO,CAAC,QAAQ,CACjB,CAAC;gBAEF,uDAAuD;gBACvD,qDAAqD;gBACrD,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;oBACd,MAAM,CAAC,iBAAiB,IAAI,OAAO,CAAC,UAAU,EAAE,4CAA4C,CAAC,CAAC;gBAChG,CAAC;YACH,CAAC;YACD,oEAAoE;QACtE,CAAC;QAED,kDAAkD;QAElD,kEAAkE;QAClE,0EAA0E;QAC1E,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,uBAAuB,EAAE,KAAK,EAAE,EAAE,CAAC;YAC7D,IAAI,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC;gBAChC,4CAA4C;gBAC5C,MAAM,eAAe,GAAG,YAAY,CAAC,kBAAkB,CACrD,IAAI,CAAC,GAAG,CAAC,iBAAiB,EAC1B,MAAM,CAAC,KAAK,CAAC,CACd,CAAC;gBACF,kDAAkD;gBAClD,MAAM,CAAC,iBAAiB,IAAI,eAAe,EAAE,mDAAmD,CAAC,CAAC;YACpG,CAAC;YACD,6DAA6D;QAC/D,CAAC;QAED,4CAA4C;QAE5C,4EAA4E;QAC5E,mEAAmE;QACnE,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,WAAW,CAAC,EAAE,+CAA+C,CAAC,CAAC;IAC1F,CAAC;CACF,CAAA;AAzEQ;IADN,MAAM,EAAE;;;;0CAyER;AAvIU,OAAO;IADnB,IAAI,CAAC,CAAC,SAAS,CAAC,CAAC;;GACL,OAAO,CAwInB;;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiFG;AACH,MAAM,UAAU,kBAAkB;IAChC,OAAO,CAAC,QAAQ,EAAE,IAAI,EAAE,EAAE;QACxB,mDAAmD;QACnD,+DAA+D;QAC/D,MAAM,WAAW,GAAU;YACzB,UAAU,EAAE,YAAY,CAAC,EAAE,CAAC,EAAO,sBAAsB;YACzD,QAAQ,EAAE,EAAE,EAAwB,oBAAoB;YACxD,QAAQ,EAAE,MAAM,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC,EAAE,qBAAqB;SAC1D,CAAC;QAEF,6CAA6C;QAC7C,kFAAkF;QAClF,MAAM,OAAO,GAAY,IAAI,CAAC,WAAW,EAAE,wBAAwB,CAAC,CAAC;QAErE,0DAA0D;QAC1D,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;QAEjC,iEAAiE;QACjE,oEAAoE;QACpE,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,EAAE,wBAAwB,CAAC,CAAC;QAEzE,wDAAwD;QACxD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,EAAE,CAAC,EAAE,EAAE,CAAC;YACrC,MAAM,MAAM,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;YAC5B,OAAO,CAAC,CAAC,CAAC,GAAG;gBACX,4DAA4D;gBAC5D,UAAU,EAAE,MAAM,CAAC,YAAY,CAAC,eAAe,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;gBAChE,4BAA4B;gBAC5B,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;gBAC9B,+DAA+D;gBAC/D,QAAQ,EAAE,MAAM,CAAC,YAAY,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;aAC7D,CAAC;QACJ,CAAC;QACD,kEAAkE;QAElE,QAAQ,CAAC,WAAW,CAClB,OAA6D,EAC7D,MAAM,CAAC,WAAW,CAAC,CACpB,CAAC;IACJ,CAAC,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwCG;AACH,MAAM,IAAI,GAAG;IACX,OAAO,EAAE,EAAE;IACX,eAAe,EAAE,uBAAuB;IACxC,QAAQ,EAAE,SAAS;IACnB,GAAG,EAAE,kCAAkC;IACvC,OAAO,EAAE;QACP;YACE,IAAI,EAAE,OAAO;YACb,MAAM,EAAE;gBACN;oBACE,IAAI,EAAE,YAAY;oBAClB,IAAI,EAAE,OAAO;iBACd;gBACD;oBACE,IAAI,EAAE,UAAU;oBAChB,IAAI,EAAE,OAAO;iBACd;gBACD;oBACE,IAAI,EAAE,UAAU;oBAChB,IAAI,EAAE,KAAK;iBACZ;aACF;YACD,YAAY,EAAE,EAAE;SACjB;QACD;YACE,IAAI,EAAE,YAAY;YAClB,MAAM,EAAE;gBACN;oBACE,IAAI,EAAE,UAAU;oBAChB,IAAI,EAAE,OAAO;iBACd;gBACD;oBACE,IAAI,EAAE,cAAc;oBACpB,IAAI,EAAE,OAAO;iBACd;gBACD;oBACE,IAAI,EAAE,iBAAiB;oBACvB,IAAI,EAAE,OAAO;iBACd;gBACD;oBACE,IAAI,EAAE,eAAe;oBACrB,IAAI,EAAE,OAAO;iBACd;gBACD;oBACE,IAAI,EAAE,OAAO;oBACb,IAAI,EAAE,KAAK;iBACZ;gBACD;oBACE,IAAI,EAAE,WAAW;oBACjB,IAAI,EAAE,OAAO;iBACd;gBACD;oBACE,IAAI,EAAE,kBAAkB;oBACxB,IAAI,EAAE,OAAO;iBACd;gBACD;oBACE,IAAI,EAAE,uBAAuB;oBAC7B,IAAI,EAAE,OAAO;iBACd;gBACD;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,IAAI,EAAE,OAAO;iBACd;gBACD;oBACE,IAAI,EAAE,eAAe;oBACrB,IAAI,EAAE,OAAO;iBACd;gBACD;oBACE,IAAI,EAAE,aAAa;oBACnB,IAAI,EAAE,OAAO;iBACd;gBACD;oBACE,IAAI,EAAE,YAAY;oBAClB,IAAI,EAAE,KAAK;iBACZ;gBACD;oBACE,IAAI,EAAE,WAAW;oBACjB,IAAI,EAAE,KAAK;iBACZ;gBACD;oBACE,IAAI,EAAE,aAAa;oBACnB,IAAI,EAAE,KAAK;iBACZ;aACF;YACD,YAAY,EAAE,EAAE;SACjB;KACF;IACD,OAAO,EAAE;QACP;YACE,IAAI,EAAE,SAAS;YACf,MAAM,EAAE,EAAE;YACV,UAAU,EAAE,EAAE;YACd,YAAY,EAAE,EAAE;SACjB;QACD;YACE,IAAI,EAAE,cAAc;YACpB,MAAM,EAAE,EAAE;YACV,UAAU,EAAE,EAAE;YACd,YAAY,EAAE,EAAE;SACjB;QACD;YACE,IAAI,EAAE,UAAU;YAChB,MAAM,EAAE,EAAE;YACV,UAAU,EAAE,EAAE;YACd,YAAY,EAAE,EAAE;SACjB;KACF;IACD,KAAK,EAAE,EAAE;IACT,GAAG,EAAE;QACH;YACE,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,aAAa;YACnB,KAAK,EAAE,CAAC;YACR,MAAM,EAAE;gBACN;oBACE,IAAI,EAAE,SAAS;oBACf,IAAI,EAAE,UAAU;iBACjB;gBACD;oBACE,IAAI,EAAE,aAAa;oBACnB,IAAI,EAAE,KAAK;iBACZ;gBACD;oBACE,IAAI,EAAE,wBAAwB;oBAC9B,IAAI,EAAE,YAAY;iBACnB;gBACD;oBACE,IAAI,EAAE,0BAA0B;oBAChC,IAAI,EAAE,OAAO;iBACd;gBACD;oBACE,IAAI,EAAE,+BAA+B;oBACrC,IAAI,EAAE,OAAO;iBACd;aACF;SACF;QACD;YACE,IAAI,EAAE,aAAa;YACnB,MAAM,EAAE,EAAE;SACX;KACF;IACD,UAAU,EAAE,EAAE;IACd,SAAS,EAAE,SAAS;IACpB,IAAI,EAAE,EAAE;IACR,GAAG,EAAE,86KAA86K;IACn7K,aAAa,EAAE,EAAE;CAClB,CAAC;AAEF,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC"}

package/dist/esm/smart-contract/builtin-libs/index.js

@@ -5,4 +5,5 @@ export { StdUtils } from './stdUtils.js';
 export { Backtrace } from './backtrace.js';
 export { StateLib } from './stateLib.js';
 export { TxHashPreimageUtils } from './txHashPreimageUtils.js';
+export { Genesis, MAX_GENESIS_CHECK_OUTPUT, genesisCheckDeploy } from './genesis.js';
 //# sourceMappingURL=index.js.map

package/dist/esm/smart-contract/builtin-libs/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/smart-contract/builtin-libs/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACjD,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AACvC,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AACzC,OAAO,EAAE,SAAS,EAA8B,MAAM,gBAAgB,CAAC;AACvE,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AACzC,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/smart-contract/builtin-libs/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACjD,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AACvC,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AACzC,OAAO,EAAE,SAAS,EAA8B,MAAM,gBAAgB,CAAC;AACvE,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AACzC,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAC/D,OAAO,EAAE,OAAO,EAAE,wBAAwB,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC"}

package/dist/esm/smart-contract/smartContract.js

@@ -8,7 +8,7 @@ import { ABICoder } from './abi.js';
 import { Script } from './types/script.js';
 import { uint8ArrayToHex, cloneDeep, isFinal, hexToUint8Array, ContractHeaderSerializer, calcArtifactHexMD5 } from '../utils/index.js';
 import { hash256, sha256 } from './fns/hashes.js';
-import { slice } from './fns/byteString.js';
+import { slice, toByteString } from './fns/byteString.js';
 import { checkInputStateImpl } from './methods/checkInputState.js';
 import { deserializeOutputs } from './serializer.js';
 import { backtraceToOutpointImpl, backtraceToScriptImpl } from './methods/backtraceToGenensis.js';
@@ -37,6 +37,26 @@ export class SmartContract extends AbstractContract {
         const clazz = this.constructor;
         return clazz.stateType;
     }
+    /**
+     * Get the data of the contract.
+     * @returns the data of the contract
+     */
+    get data() {
+        return this._data;
+    }
+    /**
+     * Set the data of the contract.
+     * Only stateless contracts (without stateType) can set data.
+     * Stateful contracts should use the state property instead.
+     * @param value the data to set
+     */
+    set data(value) {
+        if (this.getStateType() !== undefined) {
+            throw new Error(`Cannot set data on stateful contract '${this.constructor.name}'. ` +
+                `Use 'state' property instead for stateful contracts.`);
+        }
+        this._data = value;
+    }
     /**
      * This function is usually called on the frontend.
      * The contract class needs to call this function before instantiating.
@@ -71,6 +91,8 @@ export class SmartContract extends AbstractContract {
         if (!SmartContract.newFromCreate) {
             this.initLockingScript(...args);
         }
+        // init
+        this._data = toByteString('');
     }
     /**
    * @ignore