本文详细介绍了 Binius 方法在 binary field 中构建 SNARK 的过程,包括其背后的数学理论如 Polynomial Commitment Scheme、Reed-Solomon 纠错码和 Kronecker 乘积等。通过对这些理论的解释,展示了如何通过 Binius 方法高效进行多变量多项式的运算,以及其在具体案例中的应用,有助于理解其在减少计算资源和提高效率方面的贡献。