Binius：二进制域上的高效证明系统

Binius 是一种新的零知识证明系统，它直接在二进制域上运行，从而实现比现有系统更高的效率。文章解释了小字段如何提高证明生成效率，以及二进制域的独特优势。Binius 使用多项式承诺方案，将计算轨迹表示为多维超立方体，并通过巧妙的编码和扩展技术将其转换为二维网格，以实现高效的证明生成和验证。