Skip to main content
Contract tooling

op-succinct

ZK circuits & privacy

View on GitHub (opens in a new tab)

See next

MACI

About op-succinct

op-succinct is a proving engine that generates SP1 validity proofs for OP Stack rollups. Rollup teams deploy it to turn an OP Stack chain into a validity proof rollup, running it as a separate service.

Tags

  • Layer 2
  • Verification
  • Scalability

Repositorysuccinctlabs

Info

Type
ZK circuits & privacy
GitHub stars
216
License
Apache-2.0
Listing reviewed
September 2026

Similar tools

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.

SP1 (Succinct)

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.

Circom

Circom

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