Homepage
Open in app
Sign in
Get started
Tagged in
Cairo Lang
Veridise
Our mission in to harden blockchain security with formal methods. We write about blockchain security, zero-knowledge proofs, and our bug discoveries.
More information
Followers
48
Elsewhere
More, on Medium
Cairo Lang
Veridise
in
Veridise
Jul 21, 2022
Medjai: Protecting Cairo code from Bugs
In this blog post, we will take you on a tour of how we developed Medjai, a new symbolic…
Read more…
10