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 Takipçi

19 Takip Edilen

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

4 months ago

The Nethermind Security Formal Verification team, led by Petar Maksimović | Nethermind and in collaboration with Succinct, has completed a two-week engagement that demonstrated the feasibility of formal verification of SP1 zk-circuits using Lean, and has verified the correctness of the SP1

The <a href="/NethermindSec/">Nethermind Security</a> Formal Verification team, led by <a href="/PetarMax/">Petar Maksimović | Nethermind</a> and in collaboration with <a href="/SuccinctLabs/">Succinct</a>, has completed a two-week engagement that demonstrated the feasibility of formal verification of SP1 zk-circuits using <a href="/leanprover/">Lean</a>, and has verified the correctness of the SP1