NebraZKP/upa 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

NebraZKP/upa

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/NebraZKP/upa)

Close

NebraZKP / upaView on GitHubMore

• External links
• Readme badge

UPA is the proof aggregation engine built by NEBRA team.

☆38Nov 19, 2025Updated 3 months ago

Alternatives and similar repositories for upa

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

• kilic / halo2msm

  View on GitHub
  ☆13Aug 23, 2023Updated 2 years ago
• dmpierre / plonky3-ccs

  View on GitHub
  ☆11Sep 10, 2024Updated last year
• bcc-research / Ligerito.jl

  View on GitHub
  implentation of Ligerito
  ☆19Nov 9, 2025Updated 3 months ago
• GaloisInc / zkLean

  View on GitHub
  zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements
  ☆21Feb 18, 2026Updated last week
• morgana-proofs / GKR-MSM

  View on GitHub
  ☆14Dec 26, 2024Updated last year
• essential-contributions / pint

  View on GitHub
  Pint, the constraint-based programming language for declarative blockchains
  ☆21Updated this week
• HerodotusDev / hdp-sp1

  View on GitHub
  Herodotus Data Processor using SP1 as backend
  ☆17Jan 27, 2026Updated last month
• ICME-Lab / msm-webgpu

  View on GitHub
  WebGPU MSM implementation
  ☆17Oct 28, 2025Updated 4 months ago
• worldfnd / provekit

  View on GitHub
  Client side zero-knowledge proving.
  ☆101Feb 24, 2026Updated last week
• arnaucube / protogalaxy-poc

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

  View on GitHub
  An API compatible port of the Stone prover.
  ☆19Nov 4, 2024Updated last year
• NethermindEth / stwo-gpu

  View on GitHub
  ☆20Jun 20, 2025Updated 8 months ago
• han0110 / gkr

  View on GitHub
  ☆20May 31, 2024Updated last year
• spire-labs / based-stack

  View on GitHub
  The Spire Based Stack
  ☆23Nov 21, 2025Updated 3 months ago
• noir-lang / acvm-backend-barretenberg

  View on GitHub
  ☆41Aug 31, 2023Updated 2 years ago
• op-rs / hilo

  View on GitHub
  A suite of portable, extensible `std` components for the superchain.
  ☆21Jan 20, 2025Updated last year
• Lagrange-Labs / mapreduce-plonky2

  View on GitHub
  ☆23Jun 12, 2025Updated 8 months ago
• worldcoin / hyrax-pcs-commit

  View on GitHub
  hyrax-pcs-commit repository
  ☆14Dec 16, 2025Updated 2 months ago
• thor314 / ccs-hack

  View on GitHub
  a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness
  ☆50Jul 5, 2023Updated 2 years ago
• arnaucube / fri-commitment

  View on GitHub
  FRI low-degree-testing & polynomial commitment scheme
  ☆24Mar 26, 2023Updated 2 years ago
• privacy-ethereum / Trinity

  View on GitHub
  Trinity is a two-party computation (2PC) protocol designed to minimize interaction rounds, enable input verifiability, and facilitate reu…
  ☆27Aug 8, 2025Updated 6 months ago
• polybase / payy

  View on GitHub
  Payy
  ☆69Nov 27, 2025Updated 3 months ago
• distributed-lab / noir-semaphore

  View on GitHub
  Semaphore Protocol with Noir.
  ☆11Mar 14, 2025Updated 11 months ago
• vacekj / air-fried-gyatt

  View on GitHub
  Breathe air
  ☆25May 19, 2024Updated last year
• WizardOfMenlo / whir

  View on GitHub
  WHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification
  ☆189Updated this week
• privacy-ethereum / nova-by-hand

  View on GitHub
  A collection of the Notes on the Nova folding scheme explained from scratch
  ☆29Jun 12, 2024Updated last year
• Railgun-Privacy / circuits-v2

  View on GitHub
  RAILGUN Circuits V2
  ☆24Sep 26, 2025Updated 5 months ago
• NP-Eng / gkr_tutorial

  View on GitHub
  ☆12Oct 4, 2023Updated 2 years ago
• sragss / gpu-sumcheck

  View on GitHub
  ☆12Sep 11, 2024Updated last year
• clabby / op-reth

  View on GitHub
  ☆18Mar 8, 2023Updated 2 years ago
• pluto / aes-circuits

  View on GitHub
  Circom AES-GCM circuits
  ☆35Feb 12, 2026Updated 2 weeks ago
• init4tech / zenith-rs

  View on GitHub
  rust types and services for Zenith 🎀
  ☆29Mar 26, 2025Updated 11 months ago
• openvm-org / openvm

  View on GitHub
  A performant and modular zkVM framework built for customization and extensibility.
  ☆312Updated this week
• phantomzone-org / poulpy

  View on GitHub
  A backend agnostic modular FHE library over the Torus using bivariate polynomial representation
  ☆51Feb 24, 2026Updated last week
• ingonyama-zk / icicle-snark

  View on GitHub
  Groth16 over ICICLE
  ☆44Jul 16, 2025Updated 7 months ago
• yetanotherco / zkvm_benchmarks

  View on GitHub
  ☆26Apr 15, 2025Updated 10 months ago
• axiom-crypto / halo2

  View on GitHub
  ☆15Jul 11, 2025Updated 7 months ago
• refcell / varro

  View on GitHub
  A persistent, robust, and composable proposal service for rollup stacks written in pure rust.
  ☆17Mar 23, 2023Updated 2 years ago
• lita-xyz / reth-valida

  View on GitHub
  revm/reth block proving on Valida
  ☆15Feb 11, 2025Updated last year