Pular para o conteúdo principal
Ferramentas de contrato
Arquivado

Halo2

Circuitos ZK e privacidade

Ver no GitHub (abre em uma nova aba)

Ver próximo

p0tion

Sobre Halo2

Bifurcação rearquitetada pela PSE do sistema de provas PLONK Halo2 da Zcash, apresentando um backend KZG com verificador em Solidity para verificação econômica na camada 1 (l1), suporte para múltiplas curvas elípticas e arquitetura de frontend/backend desacoplada.

Tags

  • Focado em privacidade
  • Escalabilidade
  • Experiência do desenvolvedor
  • Verificação

Repositórioprivacy-scaling-explorations

Informações

Tipo
Circuitos ZK e privacidade
Estrelas no GitHub
250
Listagem revisada
julho de 2026

Ferramentas semelhantes

ZK Email

ZK Email

O ZK Email fornece circuitos e SDKs para provar fatos sobre transcrições de e-mail redigidas onchain. Útil quando você deseja verificações de identidade ou recibo que preservem a privacidade sem expor caixas de entrada.

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

O Circom é uma linguagem de domínio específico e compilador para escrever e compilar circuitos aritméticos usados em sistemas de prova de conhecimento zero.