Ferramentas de contrato

Lambdaworks

Circuitos ZK e privacidade

Verificação

lambdaclass/lambdaworks https://crates.io/crates/lambdaworks-math

Lambdaworks is a Rust library of SNARK and STARK prover components that can be used piecemeal or assembled into a custom proving system. Teams pull its crates when building their own prover rather than adopting a finished one.

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.