Ferramentas de contrato

Lambdaworks

Circuitos ZK e privacidade

Ver no GitHub

Ver próximo

zkTLS/ TLSNotary

Sobre Lambdaworks

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.

Repositóriolambdaclass

lambdaworks738 (abre em uma nova aba)

Pacotehttps:

/crates.io/crates/lambdaworks-math (abre em uma nova aba)

Informações

Tipo: Circuitos ZK e privacidade
Estrelas no GitHub: 738
Licença: Apache-2.0
Listagem revisada: setembro de 2026

Ferramentas semelhantes

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

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.