Arbitrum Stack zal gebruikmaken van Succinct's nieuwe SP1 Hypercube 🟪 Gefeliciteerd aan het team voor het formeel verifiëren van de correctheid van RISC-V beperkingen voor SP1 Hypercube 👏 Nieuwe functies ingebouwd in SP1 Hypercube in samenwerking met @Offchain 🤝 @SuccinctLabs omvatten mprotect en dynamisch laden om WASM-gebaseerde Arbitrum Stylus-binaries geschreven in Rust & C te bewijzen, naast EVM (Solidity). Terwijl eerdere versies van SP1, waaronder SP1 Turbo, waren gebouwd op een STARK-gebaseerde architectuur met Plonky3, is SP1 Hypercube volledig gebouwd op multilineaire polynomen. Multilineaire polynomen zijn als rechthoeken, gemakkelijk te betegelen, zonder verspilde ruimte. Deze verpakkings efficiëntie vertaalt zich direct in snellere prover-prestaties en lagere hulpbronnenkosten. We gebruiken deze architectuur om state-of-the-art bewijs snelheden te bereiken op consumenten GPU's en om de bewijs kosten te verlagen, met tot 5x verbetering voor rekenintensievere workloads zoals loop en fibonacci, en tot 2x voor precompile-intensievere workloads zoals @Arbitrum bewijs versus SP1 Turbo (hun vorige state of the art zkVM).