[论文] BitVM：在比特币上计算任何东西

BitVM 是一种计算范式，用于表达图灵完备的比特币合约。这不需要对比特币网络的共识规则进行任何更改。与在比特币上执行计算不同，它们仅仅是被验证，类似于乐观 Rollups。证明者声明某个给定的函数对某些特定的输入求值得到了特定的输出。 使用这种机制，任何可计算的函数都可以在比特币上进行验证。

• 3
• 翻译小组 发布于 2023-10-10 21:22

真正理解 Layer2

本文我们介绍主要介绍了rollups这种主流[layer2技术](https://learnblockchain.cn/article/2737)，rollups中根据何时去验证L2提交的状态是正确的时机分为了欺诈证明和zk rollups 。

• 3
• web3探索者 发布于 2022-02-19 17:40