本文深入探讨了BitVM及其变体如何通过在比特币的UTXO模型上构建电路抽象，实现对比特币上任意计算的验证。通过模拟 covenant、利用一次性签名实现状态性，以及结合时间锁等技术，BitVM 在不修改比特币核心协议的前提下，扩展了其功能，并为高效验证复杂计算开辟了道路。
该 BIP 提议在 Merklized Script Version 0 中引入一个新的操作码 OP_PUSHTXDATA，允许智能合约访问交易的各种数据，如输入索引、交易费用、版本号、锁定时间以及输入输出的详细信息。这为实现更复杂的 covenant 和 vault 机制提供了基础。
OP_PUSHTXDATA
OP_CHECKSIGFROMSTACK（OP_CSFS）是基于 ELEmentsProject.org 的侧链上的一种操作码，有时候也被提议在比特币上实现。这种操作码可以检查对任意消息的签名。它会接收三个参数：一个签名、一条消息和一个公钥。
zksecurity
jl2012
BTCStudy