3. Breakdown Commitment 3.1 Linear Codes Polynomial Commitments Breakown的基础就是使用线性码构建多项式承诺，优点在于证明大小和验证时间复杂度都是长度的平方根。 下面给出一个简单的线性码多项式承诺过程。假设多项式 g g g的系数向量的长度为 n n n，并且可以使用填充0的方式扩充到 d = k 2 d=k^2 d=k2

1. 引言 前序博客： Binius：基于binary fields的SNARKs（Part 1） Zero-knowledge and validity proofs，通常简称为ZK，代表了密码学、数学和计算机科学领域的一个迷人领域。ZK允许一方，即Prover，以一种时间和空间有效的方式说服其他方，即Verifier，特定的陈述（如某计算机程序的执行）是正确的。这意味着，与Verifie

1. 引言 前序博客有： Binius：基于binary fields的SNARKs（Part 1）Binius：助力ZK行业发展 本文重点关注： 1）concatenated codes：可扩展对small fields的多项式承诺方案2）用于，check 基于多变量多项式的statements，的不同协议 2. Concatenated Codes 之前的 Binius：基于bin