Saltar al contenido principal
Herramientas de contratos

ZK-Kit

Circuitos ZK y privacidad

Visitar sitio web (se abre en una pestaña nueva)ZK-Kit en GitHub (se abre en una pestaña nueva)

Ver siguiente

snark-verifier (Axiom)

Acerca de ZK-Kit

Un monorepositorio de bibliotecas de conocimiento cero reutilizables en múltiples lenguajes (JavaScript, Solidity, Rust, Noir), que ofrece implementaciones bien probadas de primitivas criptográficas como árboles de Merkle, hash de Poseidon y más.

Etiquetas

  • Enfocado en la privacidad
  • SDK
  • Árboles de Merkle
  • Cifrado

Repositorioprivacy-scaling-explorations

Información

Tipo
Circuitos ZK y privacidad
Estrellas en GitHub
385
Licencia
MIT
Listado revisado
julio 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.