polybase/payy 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

polybase/payy

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/polybase/payy)

Close

polybase / payyView on GitHubMore

• External links
• Readme badge

Payy

☆69Nov 27, 2025Updated 3 months ago

Alternatives and similar repositories for payy

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

• deltadevsde / shard-sdk

  View on GitHub
  uwu stack
  ☆11Jan 8, 2025Updated last year
• morgana-proofs / GKR-MSM

  View on GitHub
  ☆14Dec 26, 2024Updated last year
• celestiaorg / celestia-node-client-rs

  View on GitHub
  🦀 celestia-node REST client in Rust.
  ☆18Jul 4, 2022Updated 3 years ago
• TaceoLabs / noir-poseidon

  View on GitHub
  ☆18Feb 16, 2026Updated 2 weeks ago
• NebraZKP / upa

  View on GitHub
  UPA is the proof aggregation engine built by NEBRA team.
  ☆38Nov 19, 2025Updated 3 months ago
• reilabs / lampe

  View on GitHub
  Extracting the semantics of Noir to Lean for formal verification
  ☆36Updated this week
• celestiaorg / celestia-openrpc

  View on GitHub
  OpenRPC client of celestia-node, without dependencies on celestia-node/celestia-app/cosmos-sdk.
  ☆22Nov 15, 2024Updated last year
• deltadevsde / prism

  View on GitHub
  prism is the first trust-minimized key-transparency solution, allowing for automatic verification of service providers via light clients.…
  ☆134Nov 24, 2025Updated 3 months ago
• celestiaorg / celestia-zkevm-ibc-demo

  View on GitHub
  ☆23Jul 30, 2025Updated 7 months ago
• Lagrange-Labs / mapreduce-plonky2

  View on GitHub
  ☆23Jun 12, 2025Updated 8 months ago
• celestiaorg / go-header

  View on GitHub
  Go library with all the services needed to request, sync and store blockchain headers.
  ☆22Feb 24, 2026Updated last week
• ZippelLabs / ZP1

  View on GitHub
  RISC-V prover system
  ☆49Feb 10, 2026Updated 3 weeks ago
• PetraProver / PetraVM

  View on GitHub
  A verifiable supercomputer
  ☆77Jun 26, 2025Updated 8 months ago
• reclaimprotocol / zk-symmetric-crypto

  View on GitHub
  A circom library for zero-knowledge proofs of symmetric encryption key ownership without key revelation.
  ☆28Updated this week
• corddry / zk-nintendo

  View on GitHub
  ☆11Mar 2, 2024Updated 2 years ago
• distributed-lab / noir-semaphore

  View on GitHub
  Semaphore Protocol with Noir.
  ☆11Mar 14, 2025Updated 11 months ago
• brech1 / eas-rs

  View on GitHub
  Rust utilities for the ethereum attestation service.
  ☆14Apr 6, 2024Updated last year
• eth-act / zkevm-book

  View on GitHub
  Ethereum zkEVM book
  ☆82Sep 30, 2025Updated 5 months ago
• DoHoonKim8 / stark-verifier

  View on GitHub
  ☆51Mar 7, 2024Updated last year
• faest-sign / faest-rs

  View on GitHub
  Initial Rust implementation of FAEST
  ☆14Jul 6, 2023Updated 2 years ago
• tokamak-network / DEPRECATED-Tokamak-ZkEVM

  View on GitHub
  A new type of zk-EVM for L2 rollup
  ☆10Feb 1, 2025Updated last year
• moven0831 / fraud-proof-groth16

  View on GitHub
  Groth16 fraud proof generation PoC using leaked toxic waste. Forked and modified from Arkworks' Rust implementation of the Groth16 zkSNAR…
  ☆11Oct 10, 2023Updated 2 years 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
• NP-Eng / gkr_tutorial

  View on GitHub
  ☆12Oct 4, 2023Updated 2 years ago
• bcc-research / Ligerito.jl

  View on GitHub
  implentation of Ligerito
  ☆19Nov 9, 2025Updated 3 months ago
• swing-xyz / examples

  View on GitHub
  Example templates using the Swing API, SDK, and Widget
  ☆14Sep 2, 2025Updated 6 months ago
• zkmopro / mopro

  View on GitHub
  Making client-side ZK proving on mobile simple.
  ☆222Updated this week
• openvm-org / openvm

  View on GitHub
  A performant and modular zkVM framework built for customization and extensibility.
  ☆312Updated this week
• ingonyama-zk / icicle-snark

  View on GitHub
  Groth16 over ICICLE
  ☆44Jul 16, 2025Updated 7 months ago
• celenium-io / celestia-indexer

  View on GitHub
  🌐 Indexer for modular data availability network Celestia
  ☆33Updated this week
• openvm-org / stark-backend

  View on GitHub
  Proof system backends for OpenVM.
  ☆34Updated this week
• noir-lang / noir_json_parser

  View on GitHub
  ☆16Feb 19, 2026Updated last week
• brech1 / keaki

  View on GitHub
  Extractable Witness Encryption for KZG Commitments
  ☆32Nov 29, 2024Updated last year
• artela-network / artela-rollkit

  View on GitHub
  ☆13Dec 10, 2024Updated last year
• morgana-proofs / hashcaster

  View on GitHub
  Frobenius sumcheck for vectorized boolean ops
  ☆56Apr 12, 2025Updated 10 months ago
• essential-contributions / pint

  View on GitHub
  Pint, the constraint-based programming language for declarative blockchains
  ☆21Updated this week
• trailofbits / ml-dsa

  View on GitHub
  FIPS-204 (ML-DSA) implementation in Go
  ☆18Feb 13, 2026Updated 2 weeks ago
• FranklinZty / KiloNova-poc

  View on GitHub
  A proof-of-concept implementation of KiloNova
  ☆12Oct 15, 2024Updated last year
• worldfnd / provekit

  View on GitHub
  Client side zero-knowledge proving.
  ☆101Feb 24, 2026Updated last week