ZippelLabs/ZP1 external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

ZippelLabs/ZP1

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/ZippelLabs/ZP1)

Close

ZippelLabs / ZP1View on GitHubMore

• External links
• Readme badge

RISC-V prover system

☆49Feb 10, 2026Updated 3 weeks ago

Alternatives and similar repositories for ZP1

Users that are interested in ZP1 are comparing it to the libraries listed below

• leanEthereum / leanMultisig

  View on GitHub
  Minimal zkVM, targeting aggregation of hash-based signatures.
  ☆73Updated this week
• PetraProver / PetraVM

  View on GitHub
  A verifiable supercomputer
  ☆77Jun 26, 2025Updated 8 months ago
• lita-xyz / valida-vm

  View on GitHub
  The Valida execution engine, prover, and verifier
  ☆29Oct 6, 2025Updated 4 months ago
• yetanotherco / zkvm_benchmarks

  View on GitHub
  ☆26Apr 15, 2025Updated 10 months ago
• openvm-org / stark-backend

  View on GitHub
  Proof system backends for OpenVM.
  ☆34Updated this week
• chainwayxyz / risc0-to-bitvm2

  View on GitHub
  ☆20Nov 3, 2025Updated 4 months ago
• formal-land / garden

  View on GitHub
  Make your zero-knowledge circuits safe with formal verification! 🍀
  ☆32Nov 27, 2025Updated 3 months ago
• Lagrange-Labs / mapreduce-plonky2

  View on GitHub
  ☆23Jun 12, 2025Updated 8 months ago
• matter-labs / zksync-airbender

  View on GitHub
  RISC-V prover system for ZKsync OS
  ☆118Updated this week
• ethereum / soundcalc

  View on GitHub
  A universal soundness calculator across hash-based zkEVMs and security regimes
  ☆44Updated this week
• dmpierre / plonky3-ccs

  View on GitHub
  ☆11Sep 10, 2024Updated last year
• eth-act / zkevm-book

  View on GitHub
  Ethereum zkEVM book
  ☆82Sep 30, 2025Updated 5 months ago
• Near-One / btc-light-client-contract

  View on GitHub
  Bitcoin light client implementation for Near Protocol
  ☆14Feb 12, 2026Updated 2 weeks ago
• privacy-ethereum / security

  View on GitHub
  A collection of resources relevant to the PSE Security Team.
  ☆12Apr 17, 2023Updated 2 years ago
• bcc-research / Ligerito.jl

  View on GitHub
  implentation of Ligerito
  ☆19Nov 9, 2025Updated 3 months ago
• morgana-proofs / GKR-MSM

  View on GitHub
  ☆14Dec 26, 2024Updated last year
• b-wagn / hash-sig

  View on GitHub
  Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf
  ☆47Dec 18, 2025Updated 2 months ago
• succinctlabs / kzg-rs

  View on GitHub
  Rust implementation of KZG point evaluation
  ☆35Feb 16, 2026Updated 2 weeks ago
• levs57 / protostar-works

  View on GitHub
  bottom text
  ☆16Jan 26, 2024Updated 2 years ago
• zk-bankai / soulforge

  View on GitHub
  ☆18Jul 16, 2025Updated 7 months ago
• PolyhedraZK / ExpanderCompilerCollection

  View on GitHub
  Expander Compiler
  ☆42Feb 22, 2026Updated last week
• NethermindEth / stwo-gpu

  View on GitHub
  ☆20Jun 20, 2025Updated 8 months ago
• CPerezz / Awesome-crypto-articles

  View on GitHub
  A list of worth-reading articles about Cryptohraphy
  ☆16Jul 24, 2024Updated last year
• zksecurity / pumice

  View on GitHub
  An API compatible port of the Stone prover.
  ☆19Nov 4, 2024Updated last year
• argumentcomputer / ix

  View on GitHub
  a zero-knowledge proof-carrying code platform for Lean 4
  ☆64Updated this week
• brevis-network / pico

  View on GitHub
  ☆97Updated this week
• argumentcomputer / sphinx

  View on GitHub
  An observatory fork of SP1
  ☆77Feb 11, 2025Updated last year
• tcoratger / whir-p3

  View on GitHub
  ☆59Updated this week
• han0110 / gkr

  View on GitHub
  ☆20May 31, 2024Updated last year
• compsec-epfl / efficient-sumcheck

  View on GitHub
  ☆49Feb 12, 2026Updated 2 weeks ago
• arnaucube / nova-study

  View on GitHub
  Implementation of Nova using arkworks for learning purposes. https://eprint.iacr.org/2021/370.pdf
  ☆45May 31, 2023Updated 2 years ago
• IrreducibleOSS / binius

  View on GitHub
  A SNARK using towers of binary fields, implemented in Rust .
  ☆128Sep 9, 2025Updated 5 months ago
• pluto / web-prover-circuits

  View on GitHub
  Circuits for Pluto's `web-prover`
  ☆25Apr 25, 2025Updated 10 months ago
• arnaucube / math

  View on GitHub
  Notes, code and documents done while reading books and papers.
  ☆21Updated this week
• gizatechxyz / LuminAIR

  View on GitHub
  A zkML framework for ensuring the integrity of computational graphs using Circle STARK proofs
  ☆54Sep 3, 2025Updated 6 months ago
• polybase / payy

  View on GitHub
  Payy
  ☆69Nov 27, 2025Updated 3 months ago
• arnaucube / protogalaxy-poc

  View on GitHub
  ProtoGalaxy folding scheme PoC implementation https://eprint.iacr.org/2023/1106.pdf
  ☆41Sep 14, 2023Updated 2 years ago
• ProjectZKM / zkm-prover

  View on GitHub
  A parallel proving service for ZKM.
  ☆22Dec 18, 2025Updated 2 months ago
• zksecurity / stark-book

  View on GitHub
  STARK book
  ☆20Sep 25, 2024Updated last year