Contract tooling

SP1 (Succinct)

ZK circuits & privacy

Verification · Scalability · Layer 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.

Related resources

ZK Email

ZK Email provides circuits and SDKs for proving facts about redacted email transcripts onchain. Useful when you want privacy-preserving identity or receipt checks without doxxing inboxes.

Self Protocol

Self Protocol provides open identity and proof primitives builders can embed when they need privacy-preserving verification flows tied to wallets or credentials.

zkTLS/ TLSNotary

zkTLS / TLSNotary is an open protocol for proving properties of TLS sessions with MPC so verifiers can trust transcripts without seeing full plaintext.

Circom

Circom is a domain-specific language and compiler for writing and compiling arithmetic circuits used in zero-knowledge proof systems.

snarkjs

snarkjs is a JavaScript and CLI toolkit for generating and verifying zkSNARK proofs, and for running common proving workflows in Node.js and the browser.

Semaphore

Semaphore is a zero-knowledge protocol for private group membership proofs, enabling anonymous signaling and authentication without revealing identity.