The security problems worth talking about: does AI catch real vulnerabilities, what happens to the auditor role when agents write the code, and is math the only answer DeFi hasn't tried yet. Three Nethermind Security sessions at @RektHQ Security Summit. March 27, Cannes.

The first known exploits against live ZK circuits happened last month. Combined loss: ~$2.3M. The root cause wasn't a subtle under-constrained bug. It was an incomplete Groth16 trusted setup ceremony.

The Formal Verification team is collaborating with Aptos to develop a formally verified version of the Aptos Keyless Login circuit. Keyless Login allows users to create and authenticate Aptos accounts using OIDC identities such as Google or Apple ID.