Herramientas de contratos

SP1 (Succinct)

Circuitos ZK y privacidad

Verificación · Escalabilidad · Capa 2

succinctlabs/sp1 https://crates.io/crates/sp1-primitives

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.

Recursos relacionados

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.

Self Protocol

Self Protocol proporciona primitivas abiertas de identidad y prueba que los constructores pueden integrar cuando necesitan flujos de verificación que preserven la privacidad vinculados a billeteras o credenciales.

zkTLS/ TLSNotary

zkTLS / TLSNotary es un protocolo abierto para probar las propiedades de las sesiones TLS con MPC para que los verificadores puedan confiar en las transcripciones sin ver el texto sin formato completo.

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.

snarkjs

snarkjs es un conjunto de herramientas de JavaScript y CLI para generar y verificar pruebas ZK-SNARK, y para ejecutar flujos de trabajo de prueba comunes en Node.js y el navegador.

Semaphore

Semaphore es un protocolo de conocimiento cero para pruebas de membresía de grupos privados, que permite la señalización y autenticación anónimas sin revelar la identidad.