Homepage
Open in app
Sign in
Get started
Tagged in
Specifications
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
42
Elsewhere
More, on Medium
Specifications
Veridise
in
Veridise
Oct 20, 2022
Introducing the [V] Specification Language
In a previous blog post, we looked at how formal verification can be used to prove…
Read more…
1