Philogy/mini-zkvm 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

Philogy/mini-zkvm

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/Philogy/mini-zkvm)

Close

Philogy / mini-zkvmView on GitHubMore

• External links
• Readme badge

☆12Mar 30, 2023Updated 2 years ago

Alternatives and similar repositories for mini-zkvm

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

• noir-lang / acvm-backend-barretenberg

  View on GitHub
  ☆41Aug 31, 2023Updated 2 years ago
• vezenovm / basic_mul_noir_example

  View on GitHub
  ☆18Nov 9, 2022Updated 3 years ago
• SporkDAOOfficial / ETHDenver-2023

  View on GitHub
  ETHDenver 2023 Buidl-a-thon
  ☆15May 27, 2023Updated 2 years ago
• distributedstatemachine / eigenlayer-rs

  View on GitHub
  ☆19Apr 1, 2024Updated last year
• chyanju / __archived__Medjai

  View on GitHub
  A Symbolic Execution Tool for Cairo
  ☆15Jul 25, 2022Updated 3 years ago
• rodrigoherrerai / huff-safe

  View on GitHub
  Safe multi-sig rewritten in Huff
  ☆13Mar 16, 2023Updated 3 years ago
• libevm / multicall2-example

  View on GitHub
  Reduce the number of queries to Ethereum
  ☆10Dec 23, 2022Updated 3 years ago
• noir-lang / book

  View on GitHub
  ☆17Mar 25, 2023Updated 3 years ago
• michaelneuder / crypto-primitives

  View on GitHub
  ☆15Dec 15, 2022Updated 3 years ago
• vesta-finance / vesta-protocol-v1

  View on GitHub
  ☆13Oct 16, 2023Updated 2 years ago
• privacy-ethereum / nova-ml

  View on GitHub
  ☆24Feb 20, 2026Updated last month
• saucepoint / foundry-arbitrum

  View on GitHub
  Cross-chain message testing for Arbitrum with Foundry
  ☆67Mar 22, 2023Updated 3 years ago
• zk-pin / pin

  View on GitHub
  Trust-minimized commitment pools with zkSNARKs
  ☆38Apr 10, 2023Updated 2 years ago
• whitenois3 / ctf

  View on GitHub
  Whitenoise CTF I: Doves in the Wind
  ☆20Oct 11, 2022Updated 3 years ago
• Nemusonaneko / projects-with-restrictions

  View on GitHub
  ☆18Aug 24, 2022Updated 3 years ago
• lambdaclass / metal_playground

  View on GitHub
  A repo for learning how to parallelize computations in the GPU using Apple's Metal, in Rust.
  ☆10Mar 17, 2023Updated 3 years ago
• powdr-labs / powdr-revme

  View on GitHub
  powdr application running Ethereum tests via revm
  ☆17Jun 24, 2024Updated last year
• nomad-xyz / safe-sdk

  View on GitHub
  Gnosis Safe Tx Service API client & associated tooling
  ☆21Apr 7, 2023Updated 2 years ago
• waterfall-mkt / curta-golf

  View on GitHub
  A king-of-the-hill style competition, where players optimize gas challenges.
  ☆21Mar 8, 2024Updated 2 years ago
• Rjected / gather-blocks

  View on GitHub
  Gather blocks and headers from an ethers provider
  ☆17Oct 6, 2022Updated 3 years ago
• kadenzipfel / function-selector-miner

  View on GitHub
  Blazingly fast function selector miner written in Rust.
  ☆78Apr 7, 2023Updated 2 years ago
• oana-barbu / mev-bootee

  View on GitHub
  Partial Block Building with TEEs
  ☆19Mar 27, 2024Updated last year
• Philogy / safeconsole

  View on GitHub
  ☆51May 12, 2023Updated 2 years ago
• iota-community / X-Team_IOTA_Identity

  View on GitHub
  IOTA community initiative to solve issues and implement suggestions prioritized by the community.
  ☆11Sep 3, 2021Updated 4 years ago
• emo-eth / forge-gas-metering

  View on GitHub
  utilities for more granular and realistic gas measuring in forge tests
  ☆29Feb 9, 2024Updated 2 years ago
• yonadaa / battle-rollup

  View on GitHub
  ☆19Dec 9, 2022Updated 3 years ago
• whitenois3 / huff-snark-verifier

  View on GitHub
  Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.
  ☆127Sep 4, 2022Updated 3 years ago
• yuetyam / jyutping-android

  View on GitHub
  Cantonese Keyboard for Android. 粵語拼音輸入法鍵盤
  ☆25Updated this week
• delendum-xyz / zk-knowledge

  View on GitHub
  knowledge base of ZKP including applications, hardware, technical discussions and more.
  ☆130Jan 4, 2023Updated 3 years ago
• ncitron / optimizer-block-builder

  View on GitHub
  ☆18Oct 13, 2022Updated 3 years ago
• demox-labs / webgpu-crypto

  View on GitHub
  ☆41Apr 23, 2025Updated 11 months ago
• rkrasiuk / reth-light

  View on GitHub
  ☆23Mar 6, 2023Updated 3 years ago
• pluto / web-prover

  View on GitHub
  Pluto Web Prover 🦀
  ☆39Mar 18, 2025Updated last year
• exp-table / nplate

  View on GitHub
  A template for noir.
  ☆143Nov 24, 2023Updated 2 years 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
• jsign / zig-stealth-addresses

  View on GitHub
  A Zig implementation of Ethereum stealth addresses (ERC-5564)
  ☆34May 4, 2024Updated last year
• speakspeak / cuZK

  View on GitHub
  cuZK: An Efficient GPU Implemetation of zkSNARK
  ☆39Sep 19, 2023Updated 2 years ago
• nullity00 / zk-blockchain-ideas

  View on GitHub
  A collection of all the project ideas involving zk, blockchains & what not
  ☆23Aug 30, 2023Updated 2 years ago
• DelphinusLab / halo2-gpu-specific

  View on GitHub
  ☆39Oct 25, 2025Updated 5 months ago