本文详细探讨了区块链中的数据可用性采样技术（DAS），介绍了该技术的必要性、理论基础和实际挑战。通过将模型比喻为一个黑暗房间里的公告板，文章分析了如何用冗余和纠错编码（如Reed-Solomon编码）来验证数据可用性。同时，本文指出了当前技术面临的多个挑战，包括样本随机性、安全性、网络协议效率等，并提出未来的研究方向。
本文详细介绍了 Binius 方法在 binary field 中构建 SNARK 的过程，包括其背后的数学理论如 Polynomial Commitment Scheme、Reed-Solomon 纠错码和 Kronecker 乘积等。通过对这些理论的解释，展示了如何通过 Binius 方法高效进行多变量多项式的运算，以及其在具体案例中的应用，有助于理解其在减少计算资源和提高效率方面的贡献。
这篇文章深入探讨了RISC Zero zk-STARK的构建过程，分为12个课程，详尽地解释了执行跟踪、规则检查、数据填充、构造多项式和约束多项式等关键技术环节，结合了零知识证明的应用以及使用Reed-Solomon编码和FRI协议来验证多项式的低度特性
Paradigm
chen-yanlong
RISC ZERO