SP1 Hypercube sécurise des milliards en TVL. La justesse de ses contraintes RISC-V ne devrait pas reposer uniquement sur des tests. En partenariat avec @SuccinctLabs et soutenu par @ethereumfndn, @NethermindSec a formellement vérifié tous les 62 opcodes principaux par rapport à la spécification officielle RISC-V Sail dans Lean. Des méthodes formelles rigoureuses, appliquées à l'infrastructure zk de production. Félicitations pour le mainnet.