FormalLand Profile Banner
Formal Land 🌲 Profile
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
Don't wanna be here? Send us removal request.
@FormalLand
Formal Land 🌲
8 months
1/ What is formal verification? Formal verification is a rigorous method to prove that software code strictly adheres to specifications.  This ensures maximum reliability and security, which is crucial for critical applications like blockchains and financial systems.
1
6
28
@FormalLand
Formal Land 🌲
1 day
@cantinaxyz @ethereumfndn Huge competition! We are curious to see what part of Ethereum's code will be in scope.
0
0
0
@FormalLand
Formal Land 🌲
1 day
a) A purely functional execution amounting to basically desugar loops and constants b) A deterministic semantics representing the execution on the prover side c) A non-deterministic one representing the verifier. b) and c) should give the same result.
0
0
3
@FormalLand
Formal Land 🌲
1 day
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
@FormalLand
Formal Land 🌲
3 days
@MinaProtocol The link to the repository: If you are interested, we are happy to hear from you!
0
0
1
@FormalLand
Formal Land 🌲
7 days
Formal verification is a way to verify your LLM does not hallucinate
1
3
20
@FormalLand
Formal Land 🌲
7 days
@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
@FormalLand
Formal Land 🌲
8 days
@dhsorens Hopefully, there will be more automation as we see examples of what is often repeated.
1
0
0
@FormalLand
Formal Land 🌲
8 days
On our side, we currently focus on verifying existing code, but there are other projects exploring all the directions.
0
0
0
@FormalLand
Formal Land 🌲
10 days
The link to the post:
0
0
3
@FormalLand
Formal Land 🌲
10 days
@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
@FormalLand
Formal Land 🌲
10 days
@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