多项式承诺

区块链网络中的数据可用性（DA）问题关乎节点如何确保新提议区块的所有数据真实可用，这对防止恶意交易和维护系统安全至关重要。文章探讨了DA问题对以太坊扩展的影响，并分析了轻客户端和全节点在验证交易时的不同角色。为解决DA问题，提出了纠删码和KZG承诺等技术方案，这些方法通过引入冗余数据和多项式承诺来确保数据可用性。Avail项目正致力于利用KZG承诺开发高效DA解决方案，未来将分享更多实现细节和应用场景。

摘要 STARKs作为基于哈希的SNARKs，其效率受限于Reed-Solomon编码导致的冗余值问题。Binius通过二进制域技术实现第4代STARKs，采用多变量多项式、超立方体评估和块级Reed-Solomon编码优化计算效率。结合HyperPlonk PIOP与Brakedown PCS，Binius引入五项关键技术：二进制域塔算术、改进的乘积置换检查、多线性移位论证、Lasso查找优化及小域PCS方案。通过GKR乘法、ZeroCheck权衡、小域Sumcheck优化及FRI-Binius压缩证明，Binius显著降低承诺开销，提升硬件友好性，成为Polygon zkVM等项目的底层方案，推动二进制域证明系统发展。