Privacy with auditability through formal verification
zkdragon is a zero-knowledge proof project focused on enabling privacy with auditability, leveraging formal verification to ensure circuit correctness. It aims to provide a secure and transparent alternative to centralized panopticon chains.
