Qedit

Qedit provides applied cryptography services including security audits, protocol design, and formal verification for systems involving digital assets. The company specializes in zero-knowledge proofs and machine-checked proofs in Lean to secure cryptographic protocols and blockchain architectures. Their work serves government entities, central banks, and decentralized finance protocols, with projects ranging from CBDC privacy design to confidential token extensions.