Arbitrum Stack will be using Succinct's new SP1 Hypercube 🟪 Congrats to the team for formally verifying the correctness of RISC-V constraints for SP1 Hypercube 👏 New features built into SP1 Hypercube in collaboration with @Offchain 🤝 @SuccinctLabs include mprotect and dynamic loading to prove WASM-based Arbitrum Stylus binaries written in Rust & C, in addition to EVM (Solidity). While previous versions of SP1, including SP1 Turbo, were built on a STARK-based architecture using Plonky3, SP1 Hypercube is built entirely on multilinear polynomials. Multilinears are like rectangles, easy to tile, leaving no wasted space. This packing efficiency translates directly into faster prover performance and lower resource costs. We use this architecture to reach state-of-the-art proving speeds on consumer GPUs and to lower proving costs, with up to a 5x improvement for compute heavy workloads like loop and fibonacci, and up to 2x for precompile-heavy workloads like @Arbitrum proving vs. SP1 Turbo (their previous state of the art zkVM).