BitVM架构基于欺诈证明和挑战响应模型,证明者可提出主张,验证者可执行欺诈证明,以惩罚虚假主张的证明者。Linus表示,比特币目前仅限于基本操作,如签名、时间锁和哈希锁,但借助BitVM可实现更多有趣的应用程序。