SP1 Hypercube sichert Milliarden im TVL. Die Richtigkeit seiner RISC-V-Beschränkungen sollte nicht nur auf Tests beruhen. In Partnerschaft mit @SuccinctLabs und unterstützt von @ethereumfndn, hat @NethermindSec alle 62 Kern-Op-Codes formell gegen die offizielle RISC-V Sail-Spezifikation in Lean verifiziert. Harte formale Methoden, angewendet auf Produktions-zk-Infrastruktur. Herzlichen Glückwunsch zum Mainnet