Reed-Solomon

本文探讨了在以太坊Fusaka分叉后，如何通过改进列的传播来提高blob吞吐量。文章提出了几种基于纠删码（如RS和RLNC）和cell为中心的gossip协议，以优化列的传播效率。不同的方案在编码方式和gossip验证机制上有所差异，旨在实现更高效的网络传输和数据重建，同时考虑了计算成本、带宽效率和安全性。

该文章深入探讨了Solana区块链的高吞吐量和即时最终性，重点介绍了冗余编码（特别是Reed-Solomon编码）在应对数据丢失和网络延迟方面的重要性。文章详细阐述了Solana的账本架构、块传播协议Turbine的工作原理，以及冗余编码的机械原理、代码实现和性能优化策略。

本文介绍了由Irreducible提出的Binius方法，该方法在二进制域（GF(2)）中构建SNARK，以减少空间浪费并提高计算效率。文章涉及了多项式承诺、Reed-Solomon纠错码、Kronecker积等相关数学工具，并展示了如何通过具体示例说明Binius流程及其优势。

本文深入探讨了FRI（快速Reed-Solomon交互式Oracle证明）协议，该协议用于证明某个函数接近于低阶多项式，这在构建STARKs等证明系统中非常有用。文章详细解释了FRI协议的原理、实现过程，包括多项式的随机折叠、使用Merkle树进行承诺，以及验证过程，并讨论了该协议的安全性依赖于有限域的大小、哈希函数的安全性以及查询的数量。