深潮 TechFlow 消息，ZK 证明生成层 Cysic 在 X 平台发文称，Cysic 团队与以太坊基金会的 zhangzhenfei 合作完成了 Jolt-b 论文，改进了 @a16z 开发的 zkVM 方案 Jolt 的递归友好性，使其更加高效。现在 zkVM 可以执行任意大小的程序，并生成证明执行的 ZK 证明。实现这一点的关键在于将程序拆分为子程序，为每个子程序生成证明，然后使用递归证明确认所有子程序证明的正确性。
Jolt-b 通过采用一种称为 Basefold 的替代承诺方案，提高了递归友好性，并使 IOP（交互式证明）更加高效。这种方法类似于 Plonky2 对 Plonk 方案的增强。此外，Cysic 团队指出，Irreducible 开发的证明后端 Binius 虽然不适合构建 zkVM，但在预编译方面表现良好。Binius 通过使用最小的二次幂域来优化证明复杂度，但在处理 u16 或 u32 结构时增加了递归证明的复杂性。
