Passer au contenu principal
Outils de contrat
Archivé

Halo2

Circuits ZK et confidentialité

Voir sur GitHub (s'ouvre dans un nouvel onglet)

Voir le suivant

p0tion

À propos de Halo2

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.

Tags

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

Dépôtprivacy-scaling-explorations

Informations

Type
Circuits ZK et confidentialité
Étoiles GitHub
250
Fiche révisée
juillet 2026

Outils similaires

ZK Email

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.

SP1 (Succinct)

SP1 (Succinct)

SP1 from Succinct is a zero-knowledge virtual machine that proves correct execution of RISC-V programs, and it is used to generate proofs for rollups and bridges. Teams compile a Rust program with it when a proof must stand in for re-executing that program onchain.

Circom

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.