Arbitrum Stack utilizzerà il nuovo SP1 Hypercube di Succinct 🟪 Congratulazioni al team per aver verificato formalmente la correttezza dei vincoli RISC-V per SP1 Hypercube 👏 Le nuove funzionalità integrate in SP1 Hypercube in collaborazione con @Offchain 🤝 @SuccinctLabs includono mprotect e caricamento dinamico per dimostrare i binari Arbitrum Stylus basati su WASM scritti in Rust e C, oltre a EVM (Solidity). Mentre le versioni precedenti di SP1, incluso SP1 Turbo, erano costruite su un'architettura basata su STARK utilizzando Plonky3, SP1 Hypercube è costruito interamente su polinomi multilineari. I multilineari sono come rettangoli, facili da posizionare, senza spazi sprecati. Questa efficienza di imballaggio si traduce direttamente in prestazioni di provatore più veloci e costi di risorse inferiori. Utilizziamo questa architettura per raggiungere velocità di prova all'avanguardia su GPU consumer e per ridurre i costi di prova, con un miglioramento fino a 5 volte per carichi di lavoro pesanti in termini di calcolo come loop e fibonacci, e fino a 2 volte per carichi di lavoro pesanti in precompilazione come la prova di @Arbitrum rispetto a SP1 Turbo (il loro precedente stato dell'arte zkVM).