BitVM是由ZeroSync的核心贡献者Robin Linus在10月9日发布的白皮书中提出的。ZeroSync正在为开发人员构建在比特币上使用零知识证明的工具。BitVM的目标是实现图灵完备的比特币合约，而不会让其他用户的网络变得更加复杂。图灵完备性是一个计算术语，指的是可以计算任何可能的计算或程序的系统。
在BitVM下，计算将在链外执行，然后在链上验证，类似于以太坊上的乐观汇总机制。理论上，计算的复杂性应该没有限制，因为它们是在链外进行的，因此不存在以其他用户为代价而堵塞网络的风险。
Robin Linus在社交媒体平台上写道：“这使得比特币上的智能合约更具表现力。特别是，它实现了我们认为需要软分叉才能实现的功能。”
BitVM协议涉及两方：证明者和验证者。证明者声称特定函数在给定某些输入时会产生特定输出。他们预先签署一系列交易，从而在两人之间进行挑战-响应游戏。然后，他们将链上存款存入比特币地址，激活合约，并开始交换链下数据。如果提出任何不正确的主张，验证者可以获取证明者的存款。这意味着攻击者总是会失去他们的存款。
然而，有评论者很快指出了BitVM的局限性。匿名比特币作家Shinobi指出，链下数据管理的成本巨大，并补充说该协议仅涉及证明者和验证者两方，这也是一个很大的限制。
尽管BitVM提出了一种新颖且有潜力的方法来实现图灵完备的比特币合约，但仍然存在一些问题需要解决。链下数据管理成本和参与方数量限制可能会限制其在实际应用中的可行性。然而，这个想法为比特币上的智能合约开辟了新的可能性，并促使人们进一步探索如何在区块链上实现更复杂的计算和程序。
随着加密货币和区块链技术的不断发展，我们可以期待更多创新性的解决方案出现，以进一步推动比特币和其他加密货币的发展。BitVM作为其中之一，为我们提供了一个思考比特币智能合约未来发展方向的契机。我们期待着看到这个领域的更多进展和突破。
更多解读可关注Aibit媒体账户实时获取！本文仅作为参考，不代表任何立场，不作为任何投资建议。投资有风险，入市须谨慎。
Website: www.aibit.com
Facebook: https://www.facebook.com/aibitcom
X: https://twitter.com/aibitcom
Telegram (CN): https://t.me/aibitcom_cn
Telegram (EN): https://t.me/aibitcom
Telegram (Announcements): https://t.me/aibitcom_announcements
Discord: https://discord.com/invite/aibitcom
Medium: https://medium.com/@aibitcom
Youtube: https://www.youtube.com/@aibitcom