QEDIT

QEDIT is an applied cryptography firm founded in 2016 that designs cryptographic protocols, audits systems that implement them, and formally verifies their correctness using machine-checked proofs. The team consists of cryptographers, protocol engineers, and formal-methods specialists working across zero-knowledge proofs (ZKPs), privacy-preserving protocol design, and formal verification. The company works on privacy-enhancing technology (PET) including zero-knowledge proof cryptography, secure multiparty computation (SMC), fully homomorphic encryption (FHE), and differential privacy (DP). These techniques are applied to systems that move real value, including blockchain and financial infrastructure, where correctness of cryptographic implementations is critical. QEDIT co-founded ZKProof, an industry-and-academia initiative focused on standardizing zero-knowledge proofs, and continues to participate in shaping specification and verification standards in this field. Their work involves designing cryptographic protocols, auditing existing implementations for security flaws, and producing formal proofs of correctness rather than relying solely on testing. The company's client base and use cases have historically included financial services, blockchain platforms, and enterprises seeking to leverage sensitive data for cross-organizational collaboration while maintaining regulatory compliance with frameworks such as GDPR and CCPA. Partners and collaborators mentioned include the Solana Foundation, Ethereum Foundation, Zcash, and Bits of Gold. QEDIT operates primarily as a specialized applied cryptography and security auditing firm rather than a traditional software vendor, providing protocol design, security auditing, and formal verification services to organizations building systems that require provable cryptographic security.