![Formal Land 🌲 Profile](https://pbs.twimg.com/profile_images/1388118584812048386/UH6au83X_x96.jpg)
Formal Land 🌲
@FormalLand
Followers
1K
Following
2K
Statuses
425
Security research by formal verification. Ethereum, Sui, AlephZero, Tezos Solidity, Rust, OCaml, zero-knowledge
Paris, France
Joined April 2021
@cantinaxyz @ethereumfndn Huge competition! We are curious to see what part of Ethereum's code will be in scope.
0
0
0
RT @guillaumeclaret: AI for formal verification is still a rather new area. Even if there are already many papers/projects on the mater, we…
0
1
0
@MinaProtocol The link to the repository: If you are interested, we are happy to hear from you!
0
0
1
@EF_ESP We are glad to appear on this list to verify Revm and to see so many formal verification projects! Thanks.
0
0
3
@dhsorens Hopefully, there will be more automation as we see examples of what is often repeated.
1
0
0
@DCbuild3r @Ingo_zk @reilabs_io If you are interested, we also have our "rocq-of-noir" for the formal verification of Noir programs!
0
0
1
@dwillems42 @cryptoacademy42 We are happy to build these class sessions with you to document the maths behind zero knowledge and formal methods! 🎉🎉🎊
0
0
2