Saltar al contenido principal
Herramientas de contratos

Lambdaworks

Circuitos ZK y privacidad

Ver en GitHub (se abre en una pestaña nueva)

Ver siguiente

zkTLS/ TLSNotary

Acerca de 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.

Etiquetas

  • Verificación

Repositoriolambdaclass

Paquetehttps:

Información

Tipo
Circuitos ZK y privacidad
Estrellas en GitHub
738
Licencia
Apache-2.0
Listado revisado
septiembre de 2026

Herramientas similares

ZK Email

ZK Email

ZK Email proporciona circuitos y SDK para probar hechos sobre transcripciones de correo electrónico redactadas en cadena. Útil cuando desea comprobaciones de identidad o recibos que preserven la privacidad sin revelar (doxxing) las bandejas 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.

Circom

Circom

Circom es un lenguaje de dominio específico y un compilador para escribir y compilar circuitos aritméticos utilizados en sistemas de pruebas de conocimiento cero.