QED-it

QED-it, operating as QEDIT, is a cryptography engineering company that designs, audits, and formally verifies the cryptographic systems behind critical infrastructure that moves real value. The company specializes in zero-knowledge proofs, formal verification, protocol design, and security audits for blockchain and financial systems. QEDIT services include security audits of ZK circuits, proof systems, and cryptographic protocols; protocol design from specification to production-ready implementation; and formal verification using machine-checked proofs in Lean to ensure no critical edge cases are missed. Notable work includes auditing the Sapling shielded-transaction protocol and next-generation PCD scheme for Zcash, designing Zcash Shielded Assets for private asset transfers, auditing Solana confidential token extensions, and being selected by the Bank of Israel to design privacy for its CBDC challenge. The company also conducted US government-funded research advancing zero-knowledge proofs under DARPA SIEVE program and co-founded the ZKProof standardization effort. Founded in 2016 and headquartered in Tel Aviv, Israel, QEDIT has raised $10 million in Series A funding from investors including MizMaa, Target Global, Ant Group, and Meron Capital. The company is ISO 27001 certified.