为什么在比特币上构建一个真正的 zkRollup 是目前这个领域中最困难的工程问题之一？ 在以太坊上，zkRollups 可以发布一个证明，并让链上验证合约检查其有效性。与以太坊 Rollups 一样，大多数情况下，比特币 zkRollup 在链下快速运行。这是顺利的路径。 但比特币没有那种链上证明验证的机制，因此你不能仅仅发布一个证明并让比特币以相同的方式验证。这就是为什么比特币 zkRollup 还需要一种“法庭案件”模式来应对最坏情况。这是困难的路径。 如果有人作弊或下线，系统会切换到乐观挑战过程：比特币通过预签名交易和时间限制强制执行预定义的争议游戏，直到无效的索赔被驳斥或作弊者超时。 这就是为什么构建这个是困难的：你不仅仅是在构建 Rollup - 你还在设计比特币实际上可以运行的完整最坏情况强制机制。 这就是 GOAT BitVM2 主网所提供的：一个可由比特币强制执行的争议路径，使安全扩展变得实际，同时保持退出在比特币本身上可强制执行。 了解我们如何为困难路径进行工程设计，敬请关注我们关于理解 BitVM2 架构的新系列 👇