#curve25519
A set of research notes and deep dives focused on correctness, security, and operational evidence.
Best starting points
CPZKp - Building Practical Zero-Knowledge Proofs in Rust from Scratch
A deep technical dive into the motivations, design, and implementation of CPZKp, a Chaum-Pedersen based ZK authentication library in Rust.
Roadmap
- Start with assumptions and invariants
- Enumerate failure modes and attack surfaces
- Define what to monitor and how to roll back