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