Top stories published by Veridise in 2022

Top Stories published by Veridise in 2022

In the previous blog posts, we introduced static program analysis and discussed…

In this blog post, we will take you on a tour of how we developed Medjai, a new symbolic…

If you are interested in blockchain technology, you’ve likely heard of many incidents in which large amounts of…

In the previous blog post, we talked about what the basic idea behind static analysis is and how it can…

In a previous blog post, we looked at how formal verification can be used to prove…

About

Veridise

Our mission in to harden blockchain security with formal methods. We write about blockchain security, zero-knowledge proofs, and our bug discoveries.