Contract tooling

Halo2

ZK circuits & privacy

Axé sur la confidentialité · Scalabilité · Expérience développeur · Vérification

privacy-scaling-explorations/halo2(250 ☆)

Le fork réarchitecturé par PSE du système de preuve PLONK Halo2 de Zcash, comprenant un backend KZG avec un vérificateur Solidity pour une vérification économique sur la couche 1 (l1), la prise en charge de multiples courbes elliptiques et une architecture frontend/backend découplée.

Related resources

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.

Railgun

Railgun est un protocole de confidentialité pour Ethereum et les réseaux EVM qui fournit des transactions protégées et des interactions DeFi privées avec des 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.

Noir

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

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

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.