Homepage
Open in app
Sign in
Get started
Top Stories published by Veridise in February of 2024
All
2024
February
Sort by most read
Veridise
in
Veridise
Feb 21
ZK Fundamentals: Proof Systems
We cover Interactive Proofs (IP), Probabilistically Checkable Proofs…
Read more…
5
2 responses
Veridise
in
Veridise
Feb 2
ZK Fundamentals: Intermediate Representations
We cover e.g. NP characterization, Boolean Satisfiability, R1CS, Plonkish arithmatization, and Customizable Constraint System (CCS)
Read more…
3
January 2024
March 2024
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
Editors
Veridise