BitVM

BitVM是一种基于比特币网络的虚拟机概念，旨在无需更改比特币共识规则的前提下，通过链下计算和链上挑战（争议仲裁）机制实现图灵完备的智能合约。其核心思路是利用哈希锁、时间锁和默克尔树等原语，将程序执行拆分为可验证的承诺与反例证明过程，使复杂的计算可以在比特币上以乐观Rollup式的方式安全运行。