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. 引言 SP1为SuccictLab开源的，基于Plonky3构建的zkVM。 开源代码见： https://github.com/succinctlabs/sp1（Rust） 当前暂未实现onchain-verifier，但会采用标准的STARK->SNARK verifier。 SP1 zkVM基于的指令集为： riscv32im（与RISC Zero的指令集一样） 在SP1