Arbitrum Stack utilisera le nouveau SP1 Hypercube de Succinct 🟪 Félicitations à l'équipe pour avoir formellement vérifié la justesse des contraintes RISC-V pour SP1 Hypercube 👏 Les nouvelles fonctionnalités intégrées dans SP1 Hypercube en collaboration avec @Offchain 🤝 @SuccinctLabs incluent mprotect et le chargement dynamique pour prouver les binaires Arbitrum Stylus basés sur WASM écrits en Rust et C, en plus de l'EVM (Solidity). Alors que les versions précédentes de SP1, y compris SP1 Turbo, étaient construites sur une architecture basée sur STARK utilisant Plonky3, SP1 Hypercube est entièrement construit sur des polynômes multilinéaires. Les multilinéaires sont comme des rectangles, faciles à assembler, ne laissant aucun espace perdu. Cette efficacité de conditionnement se traduit directement par des performances de prouveur plus rapides et des coûts de ressources plus bas. Nous utilisons cette architecture pour atteindre des vitesses de preuve à la pointe de la technologie sur des GPU grand public et pour réduire les coûts de preuve, avec jusqu'à 5x d'amélioration pour des charges de travail lourdes en calcul comme les boucles et les fibonacci, et jusqu'à 2x pour des charges de travail lourdes en précompilation comme la preuve @Arbitrum par rapport à SP1 Turbo (leur précédent état de l'art zkVM).