Vai al contenuto principale
Strumenti per contratti
Archiviato

Halo2

Circuiti ZK e privacy

Visualizza su GitHub (si apre in una nuova scheda)

Vedi il prossimo

p0tion

Informazioni su Halo2

Il fork riprogettato da PSE del sistema di prova PLONK Halo2 di Zcash, che presenta un backend KZG con verificatore Solidity per una verifica economica su layer 1 (l1), supporto per curve ellittiche multiple e un'architettura frontend/backend disaccoppiata.

Tag

  • Incentrato sulla privacy
  • Scalabilità
  • Esperienza dello sviluppatore
  • Verifica

Repositoryprivacy-scaling-explorations

Info

Tipo
Circuiti ZK e privacy
Stelle su GitHub
250
Scheda revisionata
luglio 2026

Strumenti simili

ZK Email

ZK Email

ZK Email fornisce circuiti e SDK per provare fatti su trascrizioni di e-mail oscurate onchain. Utile quando desideri controlli dell'identità o delle ricevute che preservino la privacy senza rivelare le caselle di posta.

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 è un linguaggio specifico del dominio e un compilatore per scrivere e compilare circuiti aritmetici utilizzati nei sistemi di prova a conoscenza zero.