Проблеми безпеки, про які варто говорити: чи виявляє ШІ реальні вразливості, що відбувається з роллю аудитора, коли агенти пишуть код, і чи є математика єдиним рішенням, яке DeFi ще не пробував. Три сесії Nethermind Security на @RektHQ Security Summit. 27 березня, Канни.

Перші відомі експлойти проти живих трас ZK сталися минулого місяця. Загальна втрата: ~$2.3M. Корінь не був у тонкому недостатньо обмеженому багу. Це була незавершена церемонія Groth16 Trusted Set.

Команда Formal Verification співпрацює з Aptos для розробки формально верифікованої версії схеми безключового входу Aptos. Keyless Login дозволяє користувачам створювати та автентифікувати акаунти Aptos, використовуючи ідентифікації OIDC, такі як Google або Apple ID.