Elements/Liquid Opcodes & Macros¶

Composite Opcodes¶

Introspection¶

OP::INPUT_VALUE `Script` ¶

OP::INPUT_VALUE = `OP_INSPECTINPUTVALUE OP_VERIFY`

stack in: <input index> stack out: <input amount> (or fail if the amount is confidential)

Minsc source code: src/stdlib/elements.minsc:20

OP::OUTPUT_VALUE `Script` ¶

OP::OUTPUT_VALUE = `OP_INSPECTOUTPUTVALUE OP_VERIFY`

stack in: <output index> stack out: <output amount> (or fail if the amount is confidential)

Minsc source code: src/stdlib/elements.minsc:21

OP::INPUT_ASSET `Script` ¶

OP::INPUT_ASSET = `OP_INSPECTINPUTASSET OP_VERIFY`

Minsc source code: src/stdlib/elements.minsc:22

OP::OUTPUT_ASSET `Script` ¶

OP::OUTPUT_ASSET = `OP_INSPECTOUTPUTASSET OP_VERIFY`

Minsc source code: src/stdlib/elements.minsc:23

OP::OUTPUT_ASSET_EQ_VERIFY `Script` ¶

OP::OUTPUT_ASSET_EQ_VERIFY = `OP_INSPECTOUTPUTASSET OP_VERIFY OP_EQUALVERIFY`

Minsc source code: src/stdlib/elements.minsc:35

OP::INPUT_ASSET_EQ_VERIFY `Script` ¶

OP::INPUT_ASSET_EQ_VERIFY = `OP_INSPECTINPUTASSET OP_VERIFY OP_EQUALVERIFY`

Minsc source code: src/stdlib/elements.minsc:36

OP::OUTPUT_VALUE_EQ_VERIFY `Script` ¶

OP::OUTPUT_VALUE_EQ_VERIFY = `OP_INSPECTOUTPUTVALUE OP_VERIFY OP_EQUALVERIFY`

Minsc source code: src/stdlib/elements.minsc:37

OP::INPUT_VALUE_EQ_VERIFY `Script` ¶

OP::INPUT_VALUE_EQ_VERIFY = `OP_INSPECTINPUTVALUE OP_VERIFY OP_EQUALVERIFY`

Minsc source code: src/stdlib/elements.minsc:38

OP::OUTPUT_SPK_EQ_VERIFY `Script` ¶

OP::OUTPUT_SPK_EQ_VERIFY = `OP_INSPECTOUTPUTSCRIPTPUBKEY OP_ROT OP_EQUALVERIFY OP_EQUALVERIFY`

Minsc source code: src/stdlib/elements.minsc:42

OP::INPUT_SPK_EQ_VERIFY `Script` ¶

OP::INPUT_SPK_EQ_VERIFY = `OP_INSPECTINPUTSCRIPTPUBKEY OP_ROT OP_EQUALVERIFY OP_EQUALVERIFY`

Minsc source code: src/stdlib/elements.minsc:43

OP::OUTPUT_SPK_V1_EQ_VERIFY `Script` ¶

OP::OUTPUT_SPK_V1_EQ_VERIFY = `OP_INSPECTOUTPUTSCRIPTPUBKEY <1> OP_EQUALVERIFY OP_EQUALVERIFY`

Minsc source code: src/stdlib/elements.minsc:46

OP::INPUT_SPK_V1_EQ_VERIFY `Script` ¶

OP::INPUT_SPK_V1_EQ_VERIFY = `OP_INSPECTINPUTSCRIPTPUBKEY <1> OP_EQUALVERIFY OP_EQUALVERIFY`

Minsc source code: src/stdlib/elements.minsc:47

64-bit Arithmetic¶

OP::ADD64_VERIFY `Script` ¶

OP::ADD64_VERIFY = `OP_ADD64 OP_VERIFY`

Minsc source code: src/stdlib/elements.minsc:91

OP::SUB64_VERIFY `Script` ¶

OP::SUB64_VERIFY = `OP_SUB64 OP_VERIFY`

Minsc source code: src/stdlib/elements.minsc:92

OP::MUL64_VERIFY `Script` ¶

OP::MUL64_VERIFY = `OP_MUL64 OP_VERIFY`

Minsc source code: src/stdlib/elements.minsc:93

OP::DIV64_VERIFY `Script` ¶

OP::DIV64_VERIFY = `OP_DIV64 OP_VERIFY`

Minsc source code: src/stdlib/elements.minsc:94

OP::DIV64FLOOR_VERIFY `Script` ¶

OP::DIV64FLOOR_VERIFY = `OP_DIV64 OP_VERIFY OP_NIP`

Minsc source code: src/stdlib/elements.minsc:95

OP::NEG64_VERIFY `Script` ¶

OP::NEG64_VERIFY = `OP_NEG64 OP_VERIFY`

Minsc source code: src/stdlib/elements.minsc:96

OP::GT64_VERIFY `Script` ¶

OP::GT64_VERIFY = `OP_GREATERTHAN64 OP_VERIFY`

Minsc source code: src/stdlib/elements.minsc:98

OP::LT64_VERIFY `Script` ¶

OP::LT64_VERIFY = `OP_LESSTHAN64 OP_VERIFY`

Minsc source code: src/stdlib/elements.minsc:99

OP::GTE64_VERIFY `Script` ¶

OP::GTE64_VERIFY = `OP_GREATERTHANOREQUAL64 OP_VERIFY`

Minsc source code: src/stdlib/elements.minsc:100

OP::LTE64_VERIFY `Script` ¶

OP::LTE64_VERIFY = `OP_LESSTHANOREQUAL64 OP_VERIFY`

Minsc source code: src/stdlib/elements.minsc:101

OP::MAX64 `Script` ¶

OP::MAX64 = `OP_2DUP OP_LESSTHAN64 OP_IF OP_SWAP OP_ENDIF OP_DROP`

Minsc source code: src/stdlib/elements.minsc:104

OP::MIN64 `Script` ¶

OP::MIN64 = `OP_2DUP OP_GREATERTHAN64 OP_IF OP_SWAP OP_ENDIF OP_DROP`

Minsc source code: src/stdlib/elements.minsc:105

OP::2SORT64 `Script` ¶

OP::2SORT64 = `OP_2DUP OP_GREATERTHAN64 OP_IF OP_SWAP OP_ENDIF`

Minsc source code: src/stdlib/elements.minsc:108

OP::ENCODE_COMPACT_SIZE `Script` ¶

OP::ENCODE_COMPACT_SIZE = `OP_SIZE OP_DUP <0xfd00> OP_GREATERTHANOREQUAL OP_IF <0xfd> OP_SWAP OP_CAT OP_ELSE OP_DUP <0x8000> OP_GREATERTHANOREQUAL OP_IF <1> OP_LEFT OP_ENDIF OP_ENDIF`

Minsc source code: src/stdlib/elements.minsc:118

OP::ENCODE_PUSH_OP `Script` ¶

OP::ENCODE_PUSH_OP = `OP_SIZE OP_DUP <0x4b> OP_GREATERTHAN OP_IF OP_DUP <0xff00> OP_GREATERTHAN OP_IF <0x4d> OP_ELSE OP_DUP <0x7f> OP_GREATERTHAN OP_IF <1> OP_LEFT OP_ENDIF <0x4c> OP_ENDIF OP_SWAP OP_CAT OP_ENDIF`

Minsc source code: src/stdlib/elements.minsc:138

OP::HASH_TAPLEAF `Script` ¶

OP::HASH_TAPLEAF = `<0x5461704c6561662f656c656d656e7473> OP_SHA256 OP_DUP OP_CAT <0xc4> OP_CAT OP_SWAP OP_SIZE OP_DUP <0xfd00> OP_GREATERTHANOREQUAL OP_IF <0xfd> OP_SWAP OP_CAT OP_ELSE OP_DUP <0x8000> OP_GREATERTHANOREQUAL OP_IF <1> OP_LEFT OP_ENDIF OP_ENDIF OP_SWAP OP_CAT OP_CAT OP_SHA256`

Minsc source code: src/stdlib/elements.minsc:168

OP::HASH_TAPTWEAK `Script` ¶

OP::HASH_TAPTWEAK = `<0x546170547765616b2f656c656d656e7473> OP_SHA256 OP_DUP OP_CAT OP_SWAP OP_CAT OP_SWAP OP_CAT OP_SHA256`

Minsc source code: src/stdlib/elements.minsc:189

Script Macros¶

checkOutput() ¶

checkOutput(output_index: Int, asset_id: Bytes, amount: Int, wit_prog: Int:Bytes) -> Script

Minsc source code: src/stdlib/elements.minsc:49

checkOutputSpk() ¶

checkOutputSpk(output_index, wit_prog: Int:Bytes) -> Script

Minsc source code: src/stdlib/elements.minsc:55

checkSameAsset() ¶

checkSameAsset(input_index: Int, output_index: Int) -> Script

Minsc source code: src/stdlib/elements.minsc:61

checkSameSpk() ¶

checkSameSpk(input_index: Int, output_index: Int) -> Script

Minsc source code: src/stdlib/elements.minsc:73

checkSameValue() ¶

checkSameValue(input_index: Int, output_index: Int) -> Script

Minsc source code: src/stdlib/elements.minsc:66

inspectInSpkVer() ¶

inspectInSpkVer(expected_version: Int) -> Script

stack in: <input index> stack out: <input scriptPubKey> (or fail if doesn't match the expected_version)

Minsc source code: src/stdlib/elements.minsc:29

inspectOutSpkVer() ¶

inspectOutSpkVer(expected_version: Int) -> Script

stack in: <output index> stack out: <output scriptPubKey> (or fail if doesn't match the expected_version)

Minsc source code: src/stdlib/elements.minsc:26

Elements/Liquid Opcodes & Macros¶

Composite Opcodes¶

Introspection¶

OP::INPUT_VALUE Script ¶

OP::OUTPUT_VALUE Script ¶

OP::INPUT_ASSET Script ¶

OP::OUTPUT_ASSET Script ¶

OP::OUTPUT_ASSET_EQ_VERIFY Script ¶

OP::INPUT_ASSET_EQ_VERIFY Script ¶

OP::OUTPUT_VALUE_EQ_VERIFY Script ¶

OP::INPUT_VALUE_EQ_VERIFY Script ¶

OP::OUTPUT_SPK_EQ_VERIFY Script ¶

OP::INPUT_SPK_EQ_VERIFY Script ¶

OP::OUTPUT_SPK_V1_EQ_VERIFY Script ¶

OP::INPUT_SPK_V1_EQ_VERIFY Script ¶

64-bit Arithmetic¶

OP::ADD64_VERIFY Script ¶

OP::SUB64_VERIFY Script ¶

OP::MUL64_VERIFY Script ¶

OP::DIV64_VERIFY Script ¶

OP::DIV64FLOOR_VERIFY Script ¶

OP::NEG64_VERIFY Script ¶

OP::GT64_VERIFY Script ¶

OP::LT64_VERIFY Script ¶

OP::GTE64_VERIFY Script ¶

OP::LTE64_VERIFY Script ¶

OP::MAX64 Script ¶

OP::MIN64 Script ¶

OP::2SORT64 Script ¶

OP::ENCODE_COMPACT_SIZE Script ¶

OP::ENCODE_PUSH_OP Script ¶

OP::HASH_TAPLEAF Script ¶

OP::HASH_TAPTWEAK Script ¶

Script Macros¶

checkOutput() ¶

checkOutputSpk() ¶

checkSameAsset() ¶

checkSameSpk() ¶

checkSameValue() ¶

inspectInSpkVer() ¶

inspectOutSpkVer() ¶

Native Opcodes¶

OP_TWEAKVERIFY Script ¶

OP_SHA256INITIALIZE Script ¶

OP_SHA256UPDATE Script ¶

OP_SHA256FINALIZE Script ¶

OP_SUBSTR_LAZY Script ¶

OP_DETERMINISTICRANDOM Script ¶

Introspection¶

OP_INSPECTVERSION Script ¶

OP_INSPECTLOCKTIME Script ¶

OP_INSPECTNUMINPUTS Script ¶

OP_INSPECTNUMOUTPUTS Script ¶

OP_TXWEIGHT Script ¶

OP_INSPECTINPUTASSET Script ¶

OP_INSPECTINPUTISSUANCE Script ¶

OP_INSPECTINPUTOUTPOINT Script ¶

OP_INSPECTINPUTSCRIPTPUBKEY Script ¶

OP_INSPECTINPUTSEQUENCE Script ¶

OP_INSPECTINPUTVALUE Script ¶

OP_PUSHCURRENTINPUTINDEX Script ¶

OP_INSPECTOUTPUTASSET Script ¶

OP_INSPECTOUTPUTNONCE Script ¶

OP_INSPECTOUTPUTSCRIPTPUBKEY Script ¶

OP_INSPECTOUTPUTVALUE Script ¶

64-bit Arithmetic¶

OP_SUB64 Script ¶

OP_MUL64 Script ¶

OP_NEG64 Script ¶

OP_DIV64 Script ¶

OP_ADD64 Script ¶

OP_GREATERTHANOREQUAL64 Script ¶

OP_LESSTHANOREQUAL64 Script ¶

OP_LESSTHAN64 Script ¶

OP_GREATERTHAN64 Script ¶

OP_SCRIPTNUMTOLE64 Script ¶

OP_LE64TOSCRIPTNUM Script ¶

OP_LE32TOLE64 Script ¶

OP::INPUT_VALUE `Script` ¶

OP::OUTPUT_VALUE `Script` ¶

OP::INPUT_ASSET `Script` ¶

OP::OUTPUT_ASSET `Script` ¶

OP::OUTPUT_ASSET_EQ_VERIFY `Script` ¶

OP::INPUT_ASSET_EQ_VERIFY `Script` ¶

OP::OUTPUT_VALUE_EQ_VERIFY `Script` ¶

OP::INPUT_VALUE_EQ_VERIFY `Script` ¶

OP::OUTPUT_SPK_EQ_VERIFY `Script` ¶

OP::INPUT_SPK_EQ_VERIFY `Script` ¶

OP::OUTPUT_SPK_V1_EQ_VERIFY `Script` ¶

OP::INPUT_SPK_V1_EQ_VERIFY `Script` ¶

OP::ADD64_VERIFY `Script` ¶

OP::SUB64_VERIFY `Script` ¶

OP::MUL64_VERIFY `Script` ¶

OP::DIV64_VERIFY `Script` ¶

OP::DIV64FLOOR_VERIFY `Script` ¶

OP::NEG64_VERIFY `Script` ¶

OP::GT64_VERIFY `Script` ¶

OP::LT64_VERIFY `Script` ¶

OP::GTE64_VERIFY `Script` ¶

OP::LTE64_VERIFY `Script` ¶

OP::MAX64 `Script` ¶

OP::MIN64 `Script` ¶

OP::2SORT64 `Script` ¶

OP::ENCODE_COMPACT_SIZE `Script` ¶

OP::ENCODE_PUSH_OP `Script` ¶

OP::HASH_TAPLEAF `Script` ¶

OP::HASH_TAPTWEAK `Script` ¶

OP_TWEAKVERIFY `Script` ¶

OP_SHA256INITIALIZE `Script` ¶

OP_SHA256UPDATE `Script` ¶

OP_SHA256FINALIZE `Script` ¶

OP_SUBSTR_LAZY `Script` ¶

OP_DETERMINISTICRANDOM `Script` ¶

OP_INSPECTVERSION `Script` ¶

OP_INSPECTLOCKTIME `Script` ¶

OP_INSPECTNUMINPUTS `Script` ¶

OP_INSPECTNUMOUTPUTS `Script` ¶

OP_TXWEIGHT `Script` ¶

OP_INSPECTINPUTASSET `Script` ¶

OP_INSPECTINPUTISSUANCE `Script` ¶

OP_INSPECTINPUTOUTPOINT `Script` ¶

OP_INSPECTINPUTSCRIPTPUBKEY `Script` ¶

OP_INSPECTINPUTSEQUENCE `Script` ¶

OP_INSPECTINPUTVALUE `Script` ¶

OP_PUSHCURRENTINPUTINDEX `Script` ¶

OP_INSPECTOUTPUTASSET `Script` ¶

OP_INSPECTOUTPUTNONCE `Script` ¶

OP_INSPECTOUTPUTSCRIPTPUBKEY `Script` ¶

OP_INSPECTOUTPUTVALUE `Script` ¶

OP_SUB64 `Script` ¶

OP_MUL64 `Script` ¶

OP_NEG64 `Script` ¶

OP_DIV64 `Script` ¶

OP_ADD64 `Script` ¶

OP_GREATERTHANOREQUAL64 `Script` ¶

OP_LESSTHANOREQUAL64 `Script` ¶

OP_LESSTHAN64 `Script` ¶

OP_GREATERTHAN64 `Script` ¶

OP_SCRIPTNUMTOLE64 `Script` ¶

OP_LE64TOSCRIPTNUM `Script` ¶

OP_LE32TOLE64 `Script` ¶