VitalikButerin撰文介绍二进制字段的高效证明「Binius」,并预计未来几个月基于二进制字段的证明技术会有更多改进。Binius使用了许多数学技巧,使其与三年前的SNARK和STARK截然不同。VitalikButerin还介绍了小字段使证明生成更高效的原因、二进制字段具有独特强大功能的原因,以及Binius用于使二进制字段的证明能够有效地工作的技巧。
VitalikButerin撰文介绍二进制字段的高效证明「Binius」,并预计未来几个月基于二进制字段的证明技术会有更多改进。Binius使用了许多数学技巧,使其与三年前的SNARK和STARK截然不同。VitalikButerin还介绍了小字段使证明生成更高效的原因、二进制字段具有独特强大功能的原因,以及Binius用于使二进制字段的证明能够有效地工作的技巧。