Railgun

ZK Email fournit des circuits et des SDK pour prouver des faits sur des transcriptions d'e-mails expurgées onchain. Utile lorsque vous souhaitez des vérifications d'identité ou de reçus préservant la confidentialité sans divulguer le contenu des boîtes de réception.

snarkjs est une boîte à outils JavaScript et CLI pour générer et vérifier des preuves zk-SNARK, et pour exécuter des flux de travail de preuve courants dans Node.js et le navigateur.

Noir est un langage inspiré de Rust pour l'écriture de circuits à divulgation nulle de connaissance avec une syntaxe conviviale pour les développeurs et des outils maintenus par Aztec.

Circom est un langage spécifique à un domaine et un compilateur pour écrire et compiler des circuits arithmétiques utilisés dans les systèmes de preuves à divulgation nulle de connaissance.

Aztec est un rollup Ethereum axé sur la confidentialité et une plateforme de développement pour créer des applications avec une confidentialité programmable et des preuves à divulgation nulle de connaissance.

Semaphore est un protocole à divulgation nulle de connaissance pour les preuves d'appartenance à un groupe privé, permettant une signalisation et une authentification anonymes sans révéler l'identité.