Homepage
Open in app
Sign in
Get started
Tagged in
Zk Security
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
Zk Security
Veridise
in
Veridise
Oct 19, 2023
Veridise and Secureum to Team Up for a ZK Security Workshop
Read more…
5
Veridise
in
Veridise
Jul 21, 2023
Using Formal Verification on ZK Systems: Our CTO Jon Stephens in Conversation with Anna Rose
Read more…
2