Skip to main content
rsp (Succinct)
Contract tooling

rsp (Succinct)

ZK circuits & privacy

Verification · Layer 2 · CLI

succinctlabs/rsp (opens in a new tab)

rsp from Succinct generates zero-knowledge proofs of Ethereum and OP Stack block execution, built on Reth. Its authors describe it as a minimal work in progress that is not meant for production, so it mainly serves teams already building on SP1.

Related resources

ZK Email

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

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

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

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

snarkjs

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

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