Представлений у новому звіті @DeutscheBank & @Clifford_Chance «Конвергенція штучного інтелекту та технології розподіленого реєстру», AuditAgent від Nethermind визнано частиною переходу до розробки та безпеки смарт-контрактів на основі штучного інтелекту. Це визнання відбувається на тлі зростаючого інтересу з боку великих банків і фінансових установ, деякі з яких вже протестували або вивчають AuditAgent в рамках свого дослідження в області безпеки та впевненості за допомогою штучного інтелекту.

Ми раді повідомити, що команда @NethermindSec Formal Verification, очолювана @PetarMax, в тандемі з @SuccinctLabs і за щедрої підтримки з боку @ethereumfndn, офіційно перевірила правильність всіх основних чіпів RV-64 з SP1 HyperCube RISC-V zkVM у @leanprover. 1/

Програма грантів на аудит 8 сезону від Optimism вже в прямому ефірі. 450 000+ OP все ще доступні для команд, що будують на Superchain. Зв'яжіться з нашою командою. Ми проведемо вас через процес отримання аудиторського гранту та допоможемо подати заявку до Ради грантів. 🧵