Outils de contrat

ZK-Kit

Circuits ZK et confidentialité

Axé sur la confidentialité · SDK · Arbres de Merkle · Chiffrement

Site web privacy-scaling-explorations/zk-kit

Un monorepo de bibliothèques à divulgation nulle de connaissance réutilisables dans plusieurs langages (JavaScript, Solidity, Rust, Noir), offrant des implémentations bien testées de primitives cryptographiques telles que les arbres de Merkle, le hash Poseidon, et plus encore.

Ressources associées

ZK Email

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.

zkTLS/ TLSNotary

zkTLS / TLSNotary est un protocole ouvert pour prouver les propriétés des sessions TLS avec MPC afin que les vérificateurs puissent faire confiance aux transcriptions sans voir le texte en clair complet.

ZKPassport

Vérification d'identité privée à l'aide de preuves à divulgation nulle de connaissance. Vérifiez l'âge, le pays ou la preuve de personnalité sans révéler aucune information personnelle. Conception axée sur le mobile avec SDK pour l'intégration et contrats de registre onchain.

Self Protocol

Self Protocol fournit des primitives d'identité et de preuve ouvertes que les constructeurs peuvent intégrer lorsqu'ils ont besoin de flux de vérification préservant la confidentialité liés à des portefeuilles ou à des identifiants.

Circom

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.

snarkjs

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.