Vitalik：Binius——对二进制字段的高效证明

本文介绍了2019年时代密码学中的SNARK和STARK技术，特别感谢Justin Drake, Jim Posen, Benjamin Diamond和Radi Cojbasic的反馈。STARK和SNARK是一种证明计算机程序正确性的方法，通过将程序转换成包含多项式的数学方程来实现。STARK使用更大的数字，但不需要可信的设置，并且抗量子。SNARK使用更小的数字，但有限制。Binius是一种新的多项式承诺方案，它使用超立方体来表示计算轨迹，并通过Reed-Solomon编码来防止作弊。Binius是一种基于二进制场的零知识证明系统，可以有效地检查多项式的计算过程。它可以与查找协议结合使用，提高证明系统的效率。未来可能会有更多基于二进制字段的改进。