Homepage
Open in app
Sign in
Get started
Hardening blockchain security with formal methods
We write about blockchain security, zero-knowledge proofs, and our bug discoveries
Follow
Latest
Trending
Veridise
in
Veridise
Aug 27
Academic research: Findings from our smart contract security research
Read more…
Veridise
in
Veridise
Aug 6
Lessons from the Auditing Trenches: “What do ZK Developers get Wrong?”
Read more…
1
Veridise
in
Veridise
Jul 22
Breakdown of 100 security audits: Key insights from 1605 vulnerability findings
Read more…
Veridise
in
Veridise
Jul 10
Meet Our Team: 10 questions for Ben Sepanski
“Meet Our Team” is a blog series where we introduce you to the people behind…
Read more…
Veridise
in
Veridise
Jun 25
Developing securely on Aleo blockchain: Common Vulnerability Patterns
Read more…
Veridise
in
Veridise
Jun 12
Veridise enhances Soroban security: Breaking our Teeth on Stale Dependencies
Read more…
Veridise
in
Veridise
May 13
Meet Our Team: 10 questions for Jon Stephens
“Meet Our Team” is a blog series where we introduce you to the people behind…
Read more…
1
Veridise
in
Veridise
Apr 17
Prep guide: 7 essential tips to prepare for a blockchain audit
Read more…
6
Veridise
in
Veridise
Mar 25
ZK Security Workshop recap: Winners and presentations
Read more…
3
Veridise
in
Veridise
Mar 15
How to develop securely on Soroban? Storage types with unbounded data
Introducing Soroban
Read more…
9
About
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
47
Elsewhere