BitVM

BitVM 是一种无需软分叉即可在比特币上验证任意计算的设计，采用乐观模型：除非有人在链上证明其错误，否则主张即被接受。它的主要应用是桥，其安全性只要求可发起挑战的参与者中有一个是诚实的，而不需要签名者中的诚实多数。