Arbitrum Stack 将使用 Succinct 的新 SP1 Hypercube 🟪 恭喜团队正式验证 RISC-V 约束条件的正确性，适用于 SP1 Hypercube 👏 与 @Offchain 🤝 @SuccinctLabs 合作构建的 SP1 Hypercube 新功能包括 mprotect 和动态加载，以证明基于 WASM 的 Arbitrum Stylus 二进制文件，这些文件是用 Rust 和 C 编写的，此外还支持 EVM（Solidity）。 虽然之前的 SP1 版本，包括 SP1 Turbo，是基于使用 Plonky3 的 STARK 架构构建的，但 SP1 Hypercube 完全基于多线性多项式构建。多线性就像矩形，易于拼接，不留浪费空间。这种打包效率直接转化为更快的证明性能和更低的资源成本。 我们使用这种架构在消费级 GPU 上实现最先进的证明速度，并降低证明成本，对于计算密集型工作负载（如循环和斐波那契）可提高多达 5 倍，对于预编译密集型工作负载（如 @Arbitrum 证明与 SP1 Turbo（他们之前的最先进 zkVM）相比）可提高多达 2 倍。