付费视频，请购买课程( ￥499.00 )后再观看
BitVM：在比特币上实现任意计算验证
8次播放
2025-08-21
视频 AI 总结： 该视频主要讲解了bitvm的设计目标，即在比特币上进行任何计算，并深入探讨了其实现的关键概念，包括电路承诺、位承诺和与非门承诺。通过将程序编译为二进制电路，并利用比特币脚本进行验证，bitvm试图在比特币区块链上实现复杂的计算。视频还通过代码示例展示了如何在比特币区块链上验证计算的正确性，以及如何通过挑战-响应机制来防止证明者的作弊行为。最后，视频还讨论了bitvm在实际用例中的应用，例如比特币桥，并分析了其交易过程和潜在的挑战。
视频中提出的关键信息：
- bitvm的设计目标是使任何计算都可以在比特币上进行。
- 电路承诺是将程序编译为二进制电路，并将每个语飞门作为Type Root的叶子节点写入比特币脚本。
- 位承诺使用比特币脚本表示位值（0或1），并通过密钥的哈希值进行承诺，揭示位值时需要提供密钥。
- 语飞门承诺使用NPU签名，每个密钥只用一次，通过组合位承诺脚本来构建语飞门脚本。
- 验证者可以通过提交挑战，要求证明者在链上展示计算过程的每一步，从而验证计算的正确性。
- 如果证明者提交不正确的信息，验证者可以提出惩罚，拿走证明者存在Type Root地址中的比特币。
- bitvm在实际用例中，例如比特币桥，涉及复杂的交易过程，包括Kickoff交易、挑战交易和承诺交易。
- 由于比特币交易的大小限制，bitvm可能需要使用NST交易来处理大量数据。