Drei EVMBench-Repos vor zwei Wochen. Jetzt 15, in der Reihenfolge ausführen, nicht handverlesen. EVMBench misst die Rückrufquote. Es misst nicht die Falsch-Positiv-Raten. Rückruf ohne Präzision ist eine Demo, kein Werkzeug. 𝗔𝘂𝗱𝗶𝘁𝗔𝗴𝗲𝗻𝘁 𝗶𝘀 𝗯𝘂𝗶𝗹𝘁 𝘁𝗼 𝗺𝗶𝗻𝗶𝗺𝗶𝘇𝗲 𝗻𝗼𝗶𝘀𝗲, 𝗻𝗼𝘁 𝗷𝘂𝘀𝘁 𝗺𝗮𝘅𝗶𝗺𝗶𝘇𝗲 𝗱𝗲𝘁𝗲𝗰𝘁𝗶𝗼𝗻. Vollständige Ergebnisse über alle 40 Repos sind in Arbeit.

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