AuditAgent unterstützt jetzt Solana. KI-unterstützte Schwachstellenerkennung, die auf realen Audit-Ergebnissen trainiert wurde. Jetzt für Solidity, Cairo und @Solana. Die Sicherheitsbasis früh in der Entwicklung anheben, bevor die manuelle Überprüfung beginnt.

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

Unser Team für formale Verifikation beginnt mit der Arbeit an dem @brevis_zk Pico RISC-V zkVM, basierend auf unserer Arbeit an SP1 und OpenVM. Wir sind dankbar für die Unterstützung dieser Initiative durch die @EthereumFndn.