Security audit of Ragu (PCD scheme)
- ORGANIZATION
- QEDIT
- YEAR
- 2026
- DOMAIN
- AUDITPCDZCASH
Ragu is the proof-carrying-data (PCD) scheme that underpins Tachyon in the Zcash ecosystem. I carried out an independent security review of the protocol and its construction.
The work involved reading the design end to end, refining the documentation of the protocol, auditing the Rust implementation of the crate and its PCD scheme, and turning the results into actionable tickets the team could work through.
Details are shared at the level the engagement allows.