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

6 months ago

Nethermind Security has developed the most complete formal model of the EVM execution layer. 🚀❤️‍🔥 This work strengthens the security of Ethereum, providing a foundation for formal verification of execution clients and #zkVMs. 1/

Nethermind Security has developed the most complete formal model of the EVM execution layer. 🚀❤️‍🔥 This work strengthens the security of Ethereum, providing a foundation for formal verification of execution clients and #zkVMs. 1/