Homepage
Open in app
Sign in
Get started
Top Stories published by Veridise in January of 2023
All
2023
January
Sort by most read
Veridise
in
Veridise
Jan 2, 2023
Circom-Pairing: A Million-Dollar ZK Bug Caught Early
This blog post is also available in the following languages:
简体中文.
Read more…
29
1 response
Veridise
in
Veridise
Jan 27, 2023
Breaking the Tree: Violating Invariants in Semaphore
Read more…
13
February 2023
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
Tags
Zero Knowledge Proofs
Solidity
Defi
Security
Blockchain
Cryptography
Circom
Security
Blockchain
Zero Knowledge Proofs
Editors
Veridise