Nethermind Security (@nethermindsec) 's Twitter Profile
Nethermind Security

@nethermindsec

All of @NethermindEth's expertise, zeroed in on security solutions for Ethereum and Starknet builders. Get an audit now @ nethermind.io/nethermind-sec…

ID: 1833105566924976128

linkhttps://www.nethermind.io/nethermind-security calendar_today09-09-2024 11:30:19

225 Tweet

583 Followers

19 Following

Nethermind Security (@nethermindsec) 's Twitter Profile Photo
Nethermind Security
@nethermindsec

2 months ago

The Nethermind Security Formal Verification team, with support from the Ethereum Foundation through the 2024 ZK Grants Round, has developed Halva: an infrastructure for formal verification of Halo2 zk circuits in Lean. We used Halva to uncover a critical bug in a real-world Scroll

The <a href="/NethermindSec/">Nethermind Security</a> Formal Verification team, with support from the <a href="/ethereumfndn/">Ethereum Foundation</a> through the 2024 ZK Grants Round, has developed Halva: an infrastructure for formal verification of Halo2 zk circuits in <a href="/leanprover/">Lean</a>. We used Halva to uncover a critical bug in a real-world Scroll