Ferramentas de contrato

arkworks algebra

Circuitos ZK e privacidade

Verificação

arkworks-rs/algebra https://crates.io/crates/ark-serialize

arkworks algebra is a set of Rust libraries for finite field, elliptic curve, and polynomial arithmetic, and it is the math layer under many SNARK and STARK toolchains. Rust builders add the ark crates when writing proving code from the ground up.

Recursos relacionados

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.

Self Protocol

O Self Protocol fornece primitivas abertas de identidade e prova que os construtores podem incorporar quando precisam de fluxos de verificação que preservam a privacidade vinculados a carteiras ou credenciais.

zkTLS/ TLSNotary

O zkTLS / TLSNotary é um protocolo aberto para provar propriedades de sessões TLS com MPC para que os verificadores possam confiar nas transcrições sem ver o texto simples completo.

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.

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.

Semaphore

O Semaphore é um protocolo de conhecimento zero para provas de associação a grupos privados, permitindo sinalização e autenticação anônimas sem revelar a identidade.