DAC更decentralized的数据层

mechanism of modular blockchain

• 执行层：执行交易，状态更改，计算状态根

• 结算层/共识层：验证zk/Optimistic rollup

• 历史状态层：Portal Network存储数据的三方

• 数据可用层：

  1. 节点：

  • 全节点：安全，但需要存储、算力、带宽

  • 轻客户端：不能自己下载区块头，依靠临近全节点发送请求

  • 欺诈证明的漏洞：

    • 即只需要1个诚实的全节点监测区块的有效性，并在发现无效区块后构造一个欺诈证明、将其发送给轻客户端来提醒它们。

    • 但attacker可以通过隐藏部分区块数据来使欺诈证明无法生成，light client进而无法收到警告，或者恶意全节点发出假警告

  • Reed-Solomon纠删码

    • KZG多项式承诺（KZG Polynomial Commitments），用于证明多项式在特定位置的值与指定的数值一致，而无需包含该多项式的所有数据。Danksharding中通过采用KZG承诺来实现对纠删码的验证。单个区块的数据需要多个KZG承诺来保证。

    • 二维KZG承诺：降低节点负担从而避免中心化

    • 采用STARK和FRI的方案可用于证明纠删码的正确性

  • Polygon Avail和Danksharding中采用了KZG承诺，而Celestia中采用了欺诈证明。两者各有优缺，KZG承诺无法抗量子，而欺诈证明依赖一定的诚实假设和同步假设

• Rollup

• zk rollup

  • DA: 任何人可以重建L2以抗审查

• optimistic rollup

  • DA: L2所有数据被发布

• L2 cost = fixed + variable（gas + call data）数据可用支出占80-95%

• 解决da cost 问题：

  • 降低链上存储cost——eth搞proto-danksharding提供大区快

  • 链下存储——通用: Celestia, Polyon Avail; Rolllup: StarkEx, zkPorter, Arbitum Nova; Validium: zk+off-chain

    • StarkEx: 数据可用性委员会DAC维护的Validium方案

    • Arbitrum: AnyTrust DAC, Arbitrum Nova

    • zkPorter: toker holder(Guardians)质押维护，故障会罚没资金

    • 都有Volition选项可以选链上或链下，安全性和成本的tradeoff

      • DAC不太安全因为有勒索攻击，可以窃取委员会成员私钥威胁，Ronin Bridge和Harmony Horizon Bridge被盗