Herramientas de contratos

SP1 (Succinct)

Circuitos ZK y privacidad

Ver en GitHub

Ver siguiente

Circom

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

Repositoriosuccinctlabs

sp11,8 mil (se abre en una pestaña nueva)

Paquetehttps:

/crates.io/crates/sp1-primitives (se abre en una pestaña nueva)

Información

Tipo: Circuitos ZK y privacidad
Estrellas en GitHub: 1,8 mil
Licencia: Apache-2.0
Listado revisado: septiembre de 2026

Herramientas similares

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.

arkworks algebra

arkworks algebra is a set of Rust libraries for finite field, elliptic curve, and polynomial arithmetic, and it is the math layer under many SNARK and STARK toolchains. Rust builders add the ark crates when writing proving code from the ground up.

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.