Formal verification tools and smart contract audits that identify vulnerabilities with mathematical certainty.
Most companies are using AI. Few show what they're actually building with it. We started a series of interviews with Certora's security researchers on how AI is changing the way we work from the inside. First up: @p_tsanev, who built an autonomous smart contract auditor.
Looking forward to speaking at the first edition of @ETHConf in NYC this June. We've been cooking at Certora and will be sharing some exciting new things.
Excited to join @ETHConf and share what we've been working on at @Certora. Hope to see you there.
Across Web2 and Web3, a troubling trend is emerging: attackers are increasingly outpacing the teams building and securing these systems. With AI in the mix, that imbalance is only accelerating. @SagivMooly shares an early analysis of why hackers have the upper hand, and why the…
http://x.com/i/article/2054636681546915840
The Ethereum Security QF is one of the most important initiatives strengthening the ecosystem, and we're proud to be part of it as donors 🫡
