议程表

• 　　链下扩容问题

• 　　扩展性技术

• 　　链下移动计算

• 　　数据可用性问题

• 　　经典区块链设计

• 　　冗余的作用

• 　　编码欺诈性证明

• 　　欺诈性证明权衡

• 　　规避欺诈性证明

• 　　展望

　　问题所在

• 　　以太坊等公共区块链上的每笔交易都需要由网络中的每个节点处理

• 　　那么交易吞吐量不能高于单个节点可以处理的数量

• 　　如果我们增加每个单独节点的处理工作量——例如增加块大小，并容纳更多交易——那么功能较弱的计算机可能无法参与运行区块链，导致矿工集中化

• 　　更大的区块也意味着更高的传播延迟——导致中心化

• 　　这导致去中心化的缺失和潜在的区块链审查问题

　　扩展性技术-链上-链外

　　链上（Layer 1）

• 　　分片

• 　　区块链分为不同的部分

• 　　每个节点不必处理所有交易

　　链上计算（Layer 2）



　　链下移动计算

　　基于欺诈证明的安全性

• 　　执行交易并在链上提交断言 - 有挑战期

• 　　任何人都可以在挑战期内挑战断言

• 　　链上争议判决以确定正确的状态

• 　　恶意行为者不愿意提供错误的断言或挑战

　　基于有效性证明的安全性

• 　　生成关于执行正确性的有效性证明——链上提交

• 　　链上合约真实性证明

• 　　有效性证明的稳健性能够保证执行的正确性，如果证明已验证

　　数据可用性问题

　　链上解决方案的两种范式都需要提供交易数据。

　　如果数据不可用怎么办？

• 　　基于欺诈证明的解决方案：如果数据丢失，任何参与者都无法计算状态——因此无法生成欺诈证明——这意味着他们无法质疑错误的断言。如果数据不可用，安全就会受到损害。

• 　　基于有效性证明的解决方案：如果数据丢失，参与者可以冻结余额，因为缺少见证人来访问该余额。仅仅知晓哪些被正确计算的余额是不够的。

　　提交所有交易数据作为以太坊上的调用数据。

　　可扩展性的上限——因为多个Rollups解决方案会出现争夺相同的块空间的情况。此外，提交 calldata 将变得昂贵。

　　经典区块链设计

　　区块链具有三种类型的节点： (责任编辑：admin)