# DA Layer Research

By [sallygu.eth](https://paragraph.com/@sallygu) · 2023-10-12

---

*   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被盗

---

*Originally published on [sallygu.eth](https://paragraph.com/@sallygu/da-layer-research)*