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

☆51Mar 11, 2026Updated last week

Alternatives and similar repositories for ZP1

Users that are interested in ZP1 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• leanEthereum / leanMultisig

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

  View on GitHub
  A verifiable supercomputer
  ☆78Jun 26, 2025Updated 8 months ago
• ethereum / soundcalc

  View on GitHub
  A universal soundness calculator across hash-based zkEVMs and security regimes
  ☆48Mar 16, 2026Updated last week
• lita-xyz / valida-vm

  View on GitHub
  The Valida execution engine, prover, and verifier
  ☆28Oct 6, 2025Updated 5 months ago
• chainwayxyz / risc0-to-bitvm2

  View on GitHub
  ☆20Nov 3, 2025Updated 4 months ago
• 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
• formal-land / garden

  View on GitHub
  Make your zero-knowledge circuits safe with formal verification! 🍀
  ☆33Nov 27, 2025Updated 3 months ago
• yetanotherco / zkvm_benchmarks

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

  View on GitHub
  Proof system backends for OpenVM.
  ☆34Updated this week
• tcoratger / whir-p3

  View on GitHub
  ☆62Updated this week
• reilabs / mavros

  View on GitHub
  ☆20Mar 12, 2026Updated last week
• senzenn / rust-order-book

  View on GitHub
  ☆24Aug 22, 2025Updated 7 months ago
• matter-labs / zksync-airbender

  View on GitHub
  RISC-V prover system for ZKsync OS
  ☆121Updated this week
• A2-Security / GitBook-Scraper

  View on GitHub
  ☆50Sep 9, 2024Updated last year
• Lagrange-Labs / mapreduce-plonky2

  View on GitHub
  ☆24Jun 12, 2025Updated 9 months ago
• IrreducibleOSS / binius

  View on GitHub
  A SNARK using towers of binary fields, implemented in Rust .
  ☆132Sep 9, 2025Updated 6 months ago
• bcc-research / Ligerito.jl

  View on GitHub
  implentation of Ligerito
  ☆19Nov 9, 2025Updated 4 months ago
• succinctlabs / kzg-rs

  View on GitHub
  Rust implementation of KZG point evaluation
  ☆35Feb 16, 2026Updated last month
• zk-bankai / soulforge

  View on GitHub
  ☆18Jul 16, 2025Updated 8 months ago
• proxima-one / keccak-circuit-benchmarks

  View on GitHub
  Benchmarks of all public available SNARK/STARK keccak circuits
  ☆13Oct 1, 2023Updated 2 years ago
• b-wagn / hash-sig

  View on GitHub
  Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf
  ☆48Dec 18, 2025Updated 3 months ago
• CPerezz / Awesome-crypto-articles

  View on GitHub
  A list of worth-reading articles about Cryptohraphy
  ☆16Jul 24, 2024Updated last year
• RareSkills / invariant-testing-foundry-tutorial

  View on GitHub
  This code accompanies the invariant testing tutorial on our website.
  ☆22Jul 27, 2023Updated 2 years ago
• zksecurity / zprize-ecdsa-varuna

  View on GitHub
  specs & benchmarks for the ZPrize 3 - High Throughput Signature Verification
  ☆10Oct 9, 2023Updated 2 years ago
• argumentcomputer / ix

  View on GitHub
  a zero-knowledge proof-carrying code platform for Lean 4
  ☆69Updated this week
• Perfect-Abstractions / Compose

  View on GitHub
  A smart contract library that emphasizes readability and onchain composability using EIP-2535 Diamonds.
  ☆110Updated this week
• WizardOfMenlo / whir

  View on GitHub
  WHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification
  ☆193Updated this week
• ExtropyIO / AwesomeZK

  View on GitHub
  A curated list of ZK and Maths resources
  ☆50Dec 23, 2023Updated 2 years ago
• morgana-proofs / GKR-MSM

  View on GitHub
  ☆14Dec 26, 2024Updated last year
• PB3002 / ViMedical_Disease

  View on GitHub
  A Vietnamese dataset of over 12 thousands questions about common disease symptoms. Perfect for researchers and developers building Vietna…
  ☆15May 27, 2024Updated last year
• levs57 / protostar-works

  View on GitHub
  bottom text
  ☆16Jan 26, 2024Updated 2 years ago
• Near-One / btc-light-client-contract

  View on GitHub
  Bitcoin light client implementation for Near Protocol
  ☆14Updated this week
• zksecurity / pumice

  View on GitHub
  An API compatible port of the Stone prover.
  ☆19Nov 4, 2024Updated last year
• timewave-computer / valence-zk-demo

  View on GitHub
  (Deprecated) Demo for Valence ZK programs.
  ☆14May 30, 2025Updated 9 months ago
• 0xjuaan / audits

  View on GitHub
  ☆15Aug 9, 2025Updated 7 months ago
• argumentcomputer / sphinx

  View on GitHub
  An observatory fork of SP1
  ☆77Feb 11, 2025Updated last year
• arnaucube / protogalaxy-poc

  View on GitHub
  ProtoGalaxy folding scheme PoC implementation https://eprint.iacr.org/2023/1106.pdf
  ☆41Sep 14, 2023Updated 2 years ago
• crate-crypto / rust-eth-kzg

  View on GitHub
  ☆31Oct 27, 2025Updated 4 months ago