Are these multi-megabyte Tapscripts BitVM2 disprove / fraud-proof scripts? (945 KB and 3.9 MB, no CHECKSIG)
Are these multi-megabyte Tapscripts BitVM2 disprove / fraud-proof scripts? (945 KB and 3.9 MB, no CHECKSIG)
Loading saved threads...
Aaron Zhang · External communityPost link
External question — Bitcoin Stack Exchange
Author: Aaron Zhang
Original post: https://bitcoin.stackexchange.com/questions/130831
License: CC BY-SA 4.0 — https://creativecommons.org/licenses/by-sa/4.0/
Adaptation: HTML converted to plain text; contact email addresses removed.
4d7d18183be26673221121fe21a989215f8a76600e5db0a1311aad64a0afcdaa
— block 898457, tapscript
945,706 B
, 497 witness items.（
link
)
8ecfefd438a229c7cea10f6973f49d8bbe3a620fd557f7f2cb3658ac59510249
— block 899747, tapscript
3,941,840 B
, 859 witness items.(
link
)
~9 days apart (2025-05); fee ≈ $785 and $11580; flagged Non-Standard.
Opcode profile (push-aware): hundreds of thousands of
OP_ADD
/
OP_PICK
/
OP_ROLL
/
OP_SUB
,
OP_TOALTSTACK
/
OP_FROMALTSTACK
(alt-stack as memory),
OP_IF
/
OP_ENDIF
~150k each,
OP_HASH160
ladders;
no signature opcode
.
Questions: (1) Are these BitVM2 mainnet disprove scripts? (2) What computation do they encode (and which step/gate)? (3) Is the deployment publicly documented (operator / repo)?
Quote
Report
Post Reply
Quoted from Forex.com.bd-Editorial External question — Bitcoin Stack Exchange Author: Aaron Zhang Source score (net votes, not local likes): 3 Original post: https://bitcoin.stackexchange.com/questions/130831 License: CC BY-SA 4.0 — https://creativecommons.org/licenses/by-sa/4.0/ Adaptation: HTML converted to plain text; contact email addresses removed. 4d7d18183be26673221121fe21a989215f8a76600e5db0a1311aad64a0afcdaa — block 898457, tapscript 945,706 B , 497 witness items.（ link ) 8ecfefd438a229c7cea10f6973f49d8bbe3a620fd557f7f2cb3658ac59510249 — block 899747, tapscript 3,941,840 B , 859 witness items.( link ) ~9 days apart (2025-05); fee ≈ $785 and $11580; flagged Non-Standard. Opcode profile (push-aware): hundreds of thousands of OP_ADD / OP_PICK / OP_ROLL / OP_SUB , OP_TOALTSTACK / OP_FROMALTSTACK (alt-stack as memory), OP_IF / OP_ENDIF ~150k each, OP_HASH160 ladders; no signature opcode . Questions: (1) Are these BitVM2 mainnet disprove scripts? (2) What computation do they encode (and which step/gate)? (3) Is the deployment publicly documented (operator / repo)?
Checking account access…