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

☆70Nov 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. We may earn a commission when you buy through links labeled 'Ad' on this page.

• morgana-proofs / GKR-MSM

  View on GitHub
  ☆14Dec 26, 2024Updated last year
• deltadevsde / shard-sdk

  View on GitHub
  uwu stack
  ☆11Jan 8, 2025Updated last year
• celestiaorg / celestia-node-client-rs

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

  View on GitHub
  Modular, fully open hardware wallet
  ☆64Updated this week
• TaceoLabs / noir-poseidon

  View on GitHub
  ☆18Feb 16, 2026Updated last month
• reilabs / lampe

  View on GitHub
  Extracting the semantics of Noir to Lean for formal verification
  ☆36Updated this week
• NP-Eng / gkr_tutorial

  View on GitHub
  ☆12Oct 4, 2023Updated 2 years ago
• swing-xyz / examples

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

  View on GitHub
  zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements
  ☆24Feb 18, 2026Updated last month
• NebraZKP / upa

  View on GitHub
  UPA is the proof aggregation engine built by NEBRA team.
  ☆38Mar 13, 2026Updated last 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
• TalDerei / ZKDrop

  View on GitHub
  zkDrop: A private lottery airdrop system using zero-knowledge proofs to preserve privacy and anonymity
  ☆13May 28, 2022Updated 3 years ago
• 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 4 months ago
• PetraProver / PetraVM

  View on GitHub
  A verifiable supercomputer
  ☆78Jun 26, 2025Updated 8 months ago
• ICME-Lab / msm-webgpu

  View on GitHub
  WebGPU MSM implementation
  ☆17Oct 28, 2025Updated 4 months ago
• adizere / rem-poc

  View on GitHub
  {{{ rem = reth + malachite }}} {{{ proof of concept }}}
  ☆20Jan 5, 2025Updated last year
• chris-chris / mina-zkml

  View on GitHub
  ☆21Mar 6, 2025Updated last year
• DoHoonKim8 / stark-verifier

  View on GitHub
  ☆51Mar 7, 2024Updated 2 years ago
• eth-act / zkevm-book

  View on GitHub
  Ethereum zkEVM book
  ☆82Sep 30, 2025Updated 5 months ago
• ligeroinc / ligero-prover

  View on GitHub
  Post-Quantum zkVM
  ☆62Mar 5, 2026Updated 2 weeks ago
• privacy-ethereum / nova-ml

  View on GitHub
  ☆24Feb 20, 2026Updated last month
• corddry / zk-nintendo

  View on GitHub
  ☆11Mar 2, 2024Updated 2 years ago
• polybase / polylang

  View on GitHub
  ☆37Nov 7, 2023Updated 2 years ago
• celestiaorg / celestia-zkevm-ibc-demo

  View on GitHub
  ☆24Jul 30, 2025Updated 7 months ago
• zkmopro / mopro

  View on GitHub
  Making client-side ZK proving on mobile simple.
  ☆224Mar 16, 2026Updated last week
• noir-lang / noir_json_parser

  View on GitHub
  ☆16Feb 19, 2026Updated last month
• protocol / vdf

  View on GitHub
  A Sloth-based Verifiable Delay Function (VDF) evaluator and SNARK prover.
  ☆18Sep 1, 2022Updated 3 years ago
• openvm-org / openvm

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

  View on GitHub
  Groth16 over ICICLE
  ☆44Jul 16, 2025Updated 8 months ago
• topos-protocol / ice-frost

  View on GitHub
  A modular Rust implementation of the static version of the ICE-FROST signature scheme.
  ☆18Apr 19, 2024Updated last year
• bcc-research / Ligerito.jl

  View on GitHub
  implentation of Ligerito
  ☆19Nov 9, 2025Updated 4 months ago
• lyronctk / proactive-refresh

  View on GitHub
  Proactive refresh for accountable threshold signatures
  ☆36Mar 21, 2023Updated 3 years ago
• sampritipanda / msm-webgpu

  View on GitHub
  ☆19Dec 19, 2023Updated 2 years ago
• trailofbits / ml-dsa

  View on GitHub
  FIPS-204 (ML-DSA) implementation in Go
  ☆19Feb 13, 2026Updated last month
• argumentcomputer / zk-light-clients

  View on GitHub
  A collection of ZK light client libraries for various blockchains
  ☆68Dec 4, 2024Updated last year
• ZippelLabs / ZP1

  View on GitHub
  RISC-V prover system
  ☆51Mar 11, 2026Updated last week
• spire-labs / litepaper

  View on GitHub
  Spire Labs' litepaper (it's pretty based bro)
  ☆16Oct 31, 2024Updated last year
• pluto / edge

  View on GitHub
  client side proving
  ☆39Mar 12, 2025Updated last year
• Modulus-Labs / halo2_ml

  View on GitHub
  Foundation for speedy Machine Learning operations in Halo2 Prover
  ☆20Oct 3, 2024Updated last year