Protocol Design
We design cryptographic protocols from specification to implementation.
We created Zcash Shielded Assets and the ZSA swap protocol. We take protocols from first principles through specification, security analysis, and working implementation.
Discuss an engagement
Zcash Shielded Assets (ZSAs)
Design and Implementation of Zcash ZSAs
Read more →Bank of IsraelDigital Shekel
Selected by the Bank of Israel as one of 14 teams to develop use-cases for a potential digital shekel in its CBDC sandbox.
Read more →DeloitteZero-Knowledge Taxation with Deloitte
An end-to-end zero-knowledge system, built with Deloitte on the QED-it SDK, that computes life-insurance tax owed under France's 2018 rules without exposing a person's other contracts.
Read more →Zero-Knowledge StandardszkInterface
An open standard, designed and built by QEDIT, for interoperability between zero-knowledge proof systems — letting circuits written in one framework be proved by another.
Read more →Have an engagement in mind?
Talk to the team about a security audit, a protocol design, or a formal-verification engagement.
Get in touch