Qedit

Security audits, protocol design, and formal verification for zero-knowledge proofs and cryptographic systems. The team behind Zcash Shielded Assets and the ZKProof standards effort.