Tools are meant for a particular function and by themselves are incomplete. Tools are agnostic of how or where they are used.
Name Summary Limitations Notes Link
Zeko Collect commitments from web2 platforms for private airdrop ZKEmail Prove receipt of an email Link TLSNotary Generate attestations over arbitrary data obtained over a TLS connection (e.g. API responses) Requires a trusted verifier (the “notary”) Link
Name Summary Limitations Notes Link
EZKL Prove the inference of a ML model Practical limit <1B parameters Link
Name Summary Limitations Notes Link
zuAuth A simple package designed to streamline the development of a zero-knowledge authentication system with Zupass tickets. Link Semaphore prove their group membership and send signals such as votes or endorsements without revealing their original identity. Link
Name Summary Limitations Notes Link
Noir Noir is an open-source Domain-Specific Language for safe and seamless construction of privacy-preserving Zero-Knowledge programs, requiring no previous knowledge on the underlying mathematics or cryptography. Link Circom Circom is a novel domain-specific language for defining arithmetic circuits that can be used to generate zero-knowledge proofs. Link o1js o1js helps developers build apps powered by zero knowledge (zk) cryptography. Link
