poseidon2

ChainCatcher 消息，Vitalik Buterin 最新撰文，详解 GKR（Goldreich–Kahan–Rothblum）协议被用于加速 ZK 证明，适配“批量 × 多层”计算结构，显著减少中间层承诺，仅对输入与输出做承诺。文章以 Poseidon2 哈希为例，详解以 sumcheck 为核心的递归证明流程，并给出优化（Gruen’s trick、线性批处理、部分轮仅立方首元素），在多项式承诺场景下可结合 BaseFold 或 FRI。作者称实际开销低于传统 STARK 约 100 倍理论值，单数字级开销可期，并提醒 Fiat–Shamir 挑战需防电路内可预测性风险。

ChainCatcher 消息，据官方推特，Ola 于近日在其证明系统中支持了 Poseidon2 hash。相比原始的 Poseidon hash，得到了40%+ 的 prover 性能提升。 据悉，Poseidon2 是一个和 Poseidon hash 保持同级别安全，同时又具备更好的 zk-friendly 特性的新 hash 算法。由于 zk 友好的 hash 算法广泛应用于Ola的证明系统中，包括 private state tree, public state tree， 验签过程，plonky2 递归过程等，在对Horizen Labs论文中Poseidon2 hash的算法和实现进行深入研究后，Ola 将其正式集成到了证明系统中。 据官方透露，Ola ZKVM 内测网将于今年 Q4 初上线，将于近期公布更多开发细节。