Alternatives and similar repositories for plonkish-solidity

Users that are interested in plonkish-solidity are comparing it to the libraries listed below

• shuklaayush / halo2-lib-eddsa

  View on GitHub
  halo2-lib-eddsa
  ☆11Feb 2, 2024Updated 2 years ago
• odyssey2077 / halo2-cairo

  View on GitHub
  verify cairo execution in Halo2
  ☆15Sep 12, 2023Updated 2 years ago
• kohiart / kohi-composer

  View on GitHub
  The low-level Solidity graphics library that powers Kohi artworks.
  ☆17Feb 24, 2023Updated 2 years ago
• qope / plonky2-bn254-pairing

  View on GitHub
  plonky2 implementation of bn254 pairing
  ☆19Feb 1, 2024Updated 2 years ago
• ZKNoxHQ / ETHFALCON

  View on GitHub
  Implementation of FALCON and its variants for Ethereum
  ☆39Feb 7, 2026Updated last week
• Janmajayamall / bfv

  View on GitHub
  ☆26Feb 25, 2024Updated last year
• dmpierre / plonky3-ccs

  View on GitHub
  ☆11Sep 10, 2024Updated last year
• AmadiMichael / MiMCSponge-Huffidity

  View on GitHub
  Using Dynamic Huffidity to embed MiMCSponge Hash bytecode by tornado cash to a solidity contract.
  ☆10Sep 8, 2023Updated 2 years ago
• eco-incorp / Cross-L2-Actions

  View on GitHub
  Proof of concept for using state proofs and L1 block data to verify cross-chain actions
  ☆12Aug 29, 2024Updated last year
• aagbotemi / zk-cryptography

  View on GitHub
  A collection of cryptographic and zero-knowledge algorithms implemented from scratch in Rust
  ☆23Nov 21, 2024Updated last year
• sragss / gpu-sumcheck

  View on GitHub
  ☆12Sep 11, 2024Updated last year
• chancehudson / ashlang

  View on GitHub
  ☆12Dec 12, 2025Updated 2 months ago
• AIGC-NFT / implementation

  View on GitHub
  ☆13Aug 10, 2024Updated last year
• TomWambsgans / Whirlaway

  View on GitHub
  A pqSNARK with lightweight proofs, powered by the Whir PCS.
  ☆45Sep 11, 2025Updated 5 months ago
• AmadiMichael / OptimizedMiMCSponge

  View on GitHub
  ☆12Sep 19, 2023Updated 2 years ago
• FranklinZty / KiloNova-poc

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

  View on GitHub
  ☆14Oct 27, 2023Updated 2 years ago
• kurtpan666 / Baby-Binius

  View on GitHub
  Binius implementation in a series of Python Jupyter Notebooks, for pedagogic purposes​.
  ☆12May 27, 2024Updated last year
• argumentcomputer / zk-light-clients

  View on GitHub
  A collection of ZK light client libraries for various blockchains
  ☆67Dec 4, 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 last month
• bcc-research / CryptoUtilitiesNotebooks

  View on GitHub
  Notebooks showing how to use CryptoUtilities
  ☆14Apr 17, 2025Updated 9 months ago
• danilowhk / swiftness-sp1

  View on GitHub
  Verifying Cairo Programs in SP1
  ☆14Oct 16, 2024Updated last year
• 0x3327 / SKProof

  View on GitHub
  Scikit-learn compatible Python library for generating ZK proofs of execution
  ☆19Feb 19, 2025Updated 11 months ago
• levs57 / protostar-works

  View on GitHub
  bottom text
  ☆16Jan 26, 2024Updated 2 years ago
• HerodotusDev / hdp-sp1

  View on GitHub
  Herodotus Data Processor using SP1 as backend
  ☆17Jan 27, 2026Updated 2 weeks ago
• spire-labs / litepaper

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

  View on GitHub
  ☆38Jul 30, 2025Updated 6 months ago
• dmpierre / sonobe-btc

  View on GitHub
  Using folding schemes for a provable bitcoin light client
  ☆34May 22, 2024Updated last year
• dmpierre / ark-superspartan

  View on GitHub
  An arkworks implementation of the superspartan PIOP
  ☆13Sep 10, 2024Updated last year
• Raiden1411 / LibStringUtils

  View on GitHub
  Solidity string utilities written in yul
  ☆20Sep 21, 2022Updated 3 years ago
• lattice-complete / Lazarus

  View on GitHub
  A Framework of Lattice-based Zero-knowledge Arguments in Rust
  ☆71Jan 6, 2025Updated last year
• adhusson / shim-transient-storage

  View on GitHub
  Use the EVM cache state to shim transient storage
  ☆20Feb 9, 2023Updated 3 years ago
• kaizokulabs / yet-another-bridge

  View on GitHub
  Yet Another Bridge with Grind Labs and Herodotus
  ☆20Jan 5, 2024Updated 2 years ago
• clabby / keccak256-aarch64

  View on GitHub
  A SIMD implementation of Keccak256 for aarch64, forked from Remco Bloeman's Goldilocks K12 implementation.
  ☆20Nov 6, 2023Updated 2 years ago
• han0110 / gkr

  View on GitHub
  ☆20May 31, 2024Updated last year
• thor314 / pebble-stark

  View on GitHub
  A community-developed re-implementation of the Starkware Stone Prover
  ☆69Oct 29, 2024Updated last year
• vaibhavchellani / RollupNC_tutorial

  View on GitHub
  circom and snarkjs / websnark tutorial, using RollupNC as an example
  ☆17Oct 3, 2019Updated 6 years ago
• DelphinusLab / zkWasm-prover

  View on GitHub
  ☆20Jul 10, 2025Updated 7 months ago
• lambdaclass / era_vm

  View on GitHub
  EraVM implementation
  ☆19Sep 5, 2024Updated last year