Are these multi-megabyte Tapscripts BitVM2 disprove / fraud-proof scripts? (945 KB and 3.9 MB, no CHECKSIG)

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)?