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).
Succinct always puts security first. In collaboration with @NethermindSec and @EthereumFndn, we’ve formally verified the correctness of RISC-V constraints for SP1 Hypercube.
3,32 k
16
Le contenu de cette page est fourni par des tiers. Sauf indication contraire, OKX n’est pas l’auteur du ou des articles citĂ©s et ne revendique aucun droit d’auteur sur le contenu. Le contenu est fourni Ă  titre d’information uniquement et ne reprĂ©sente pas les opinions d’OKX. Il ne s’agit pas d’une approbation de quelque nature que ce soit et ne doit pas ĂȘtre considĂ©rĂ© comme un conseil en investissement ou une sollicitation d’achat ou de vente d’actifs numĂ©riques. Dans la mesure oĂč l’IA gĂ©nĂ©rative est utilisĂ©e pour fournir des rĂ©sumĂ©s ou d’autres informations, ce contenu gĂ©nĂ©rĂ© par IA peut ĂȘtre inexact ou incohĂ©rent. Veuillez lire l’article associĂ© pour obtenir davantage de dĂ©tails et d’informations. OKX n’est pas responsable du contenu hĂ©bergĂ© sur des sites tiers. La dĂ©tention d’actifs numĂ©riques, y compris les stablecoins et les NFT, implique un niveau de risque Ă©levĂ© et leur valeur peut considĂ©rablement fluctuer. Examinez soigneusement votre situation financiĂšre pour dĂ©terminer si le trading ou la dĂ©tention d’actifs numĂ©riques vous convient.