Pular para o conteúdo principal
Ferramentas de contrato

Circom

Circuitos ZK e privacidade

Visitar site (abre em uma nova aba)Circom em GitHub (abre em uma nova aba)

Ver próximo

arkworks algebra

Sobre 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.

Tags

  • Compilador
  • CLI
  • Focado em privacidade

Repositórioiden3

Informações

Tipo
Circuitos ZK e privacidade
Estrelas no GitHub
1,7 mil
Licença
GPL-3.0
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.

snarkjs

snarkjs

O snarkjs é um kit de ferramentas JavaScript e CLI para gerar e verificar provas ZK-SNARK, e para executar fluxos de trabalho de prova comuns no Node.js e no navegador.