Ferramentas de contrato

SP1 (Succinct)

Circuitos ZK e privacidade

Ver no GitHub

Ver próximo

Circom

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

Repositóriosuccinctlabs

sp11,8 mil (abre em uma nova aba)

Pacotehttps:

/crates.io/crates/sp1-primitives (abre em uma nova aba)

Informações

Tipo: Circuitos ZK e privacidade
Estrelas no GitHub: 1,8 mil
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.

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

O snarkjs é um kit de ferramentas JavaScript e CLI para gerar e verificar provas ZK-SNARK, e para executar fluxos de trabalho de prova comuns no Node.js e no navegador.