Contract tooling

Halo2

ZK circuits & privacy

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

privacy-scaling-explorations/halo2(250 ☆)

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.

Related resources

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.

Railgun

O Railgun é um protocolo de privacidade para o Ethereum e redes EVM que fornece transações blindadas e interações privadas de finanças descentralizadas (DeFi) com provas de conhecimento zero.

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.

Noir

A Noir é uma linguagem inspirada em Rust para escrever circuitos de conhecimento zero com uma sintaxe amigável para desenvolvedores e ferramentas mantidas pela Aztec.

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.

Aztec

O Aztec é um rollup do Ethereum focado em privacidade e uma plataforma de desenvolvedor para construir aplicativos com privacidade programável e provas de conhecimento zero.