Tagged in

Folding Schemes

Veridise

Our mission in to harden blockchain security with formal methods. We write about blockchain security, zero-knowledge proofs, and our bug discoveries.

Followers

Elsewhere

More, on Medium