NilFoundation/solana-consensus-proof 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

NilFoundation/solana-consensus-proof

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/NilFoundation/solana-consensus-proof)

Close

NilFoundation / solana-consensus-proofView on GitHubMore

• External links
• Readme badge

In-EVM Solana Light Client State Verification

☆36May 10, 2024Updated last year

Alternatives and similar repositories for solana-consensus-proof

Users that are interested in solana-consensus-proof are comparing it to the libraries listed below

• privacy-ethereum / researches

  View on GitHub
  ☆10Oct 24, 2022Updated 3 years ago
• barryWhiteHat / zkvm

  View on GitHub
  a sketch of what a zkvm could look like
  ☆26Apr 19, 2021Updated 4 years ago
• NilFoundation / crypto3-zk

  View on GitHub
  Zero-Knowledge Proof Systems for =nil; Crypto3 C++ Cryptography Suite.
  ☆33Jul 29, 2024Updated last year
• eqlabs / zksync-state-reconstruct

  View on GitHub
  Tool to reconstruct zkSync state from commit blocks published on L1
  ☆16Aug 22, 2024Updated last year
• geometryxyz / baloo

  View on GitHub
  Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks
  ☆16Jan 1, 2023Updated 3 years ago
• NilFoundation / evm-placeholder-verification

  View on GitHub
  Placeholder proof system verifier for EVM
  ☆10Jul 4, 2025Updated 7 months ago
• arnaucube / sigmabus-poc

  View on GitHub
  Proof of concept implementation of Sigmabus https://eprint.iacr.org/2023/1406
  ☆10Dec 20, 2023Updated 2 years ago
• alinush / asvc-paper

  View on GitHub
  Vector Commitments with Constant-Sized, Updatable Proofs and Linear-Sized Public Parameters
  ☆11Jun 3, 2021Updated 4 years ago
• therealyingtong / ultraplonk-workshop

  View on GitHub
  ☆10Aug 21, 2022Updated 3 years ago
• spacemeshos / post-rs

  View on GitHub
  Rust implementation of POST proving
  ☆13Dec 15, 2025Updated 2 months ago
• jackryanservia / mastermind

  View on GitHub
  ☆12Jun 29, 2022Updated 3 years ago
• Sovereign-Labs / solana-proofs

  View on GitHub
  ☆29Dec 20, 2023Updated 2 years ago
• anoma / research

  View on GitHub
  Early-stage research related to the Anoma protocols.
  ☆36Oct 11, 2023Updated 2 years ago
• NilFoundation / mina-state-proof

  View on GitHub
  In-EVM Mina State Verification
  ☆81Nov 10, 2023Updated 2 years ago
• Sladuca / sha256-prover-comparison

  View on GitHub
  Some very rough benchmarks between sha256 circuits in different proving systems
  ☆53Aug 6, 2022Updated 3 years ago
• rust-blockchain / verkle

  View on GitHub
  ☆15Jul 8, 2021Updated 4 years ago
• lopeetall / caulk

  View on GitHub
  Implementation of the Caulk protocol: https://eprint.iacr.org/2022/621.pdf
  ☆12Jun 29, 2022Updated 3 years ago
• 0xPolygonID / witnesscalc

  View on GitHub
  cpp witness calculator for mobile and desktop for iden3 circuits
  ☆17Aug 22, 2025Updated 6 months ago
• kilic / cyclone-msm-expreriment

  View on GitHub
  ☆11Feb 6, 2024Updated 2 years ago
• acheroncrypto / watchso

  View on GitHub
  Hot reload Solana programs
  ☆12Mar 12, 2023Updated 2 years ago
• 0xyicheng / Awesome-Modular-Blockchain

  View on GitHub
  📃 List of articles and materials about Modular Blockchain
  ☆22May 24, 2022Updated 3 years ago
• akosba / libsnark

  View on GitHub
  libsnark: a C++ library for zkSNARK proofs [+ interface for jsnark/Pinocchio ]
  ☆11Dec 17, 2022Updated 3 years ago
• Trapdoor-Tech / halo2-book-chinese

  View on GitHub
  ☆10Jan 11, 2022Updated 4 years ago
• gskapka / ethereum-receipt-proof-maker

  View on GitHub
  A maker of merkle-proofs for transaction receipts in ethereum using rust.
  ☆15Sep 10, 2021Updated 4 years ago
• CPerezz / caulk_plus

  View on GitHub
  A rusty implementation of the Caulk+ lookup algorithm.
  ☆12Dec 18, 2022Updated 3 years ago
• fluidex / awesome-plonk

  View on GitHub
  A curated list of awesome things related to plonk proof system
  ☆240Aug 17, 2024Updated last year
• DrPeterVanNostrand / halo2-merkle

  View on GitHub
  Halo2 Merkle tree circuits
  ☆33May 28, 2021Updated 4 years ago
• anemoi-hash / anemoi-hash

  View on GitHub
  Anemoi: a Family of ZK-friendly Arithmetization Oriented Hash Functions
  ☆14Jul 9, 2023Updated 2 years ago
• coinstudent2048 / verklebp

  View on GitHub
  Verkle trees with inner product argument (IPA) based polynomial commitment [Prototype]
  ☆15Mar 26, 2022Updated 3 years ago
• nikkolasg / snarkpack

  View on GitHub
  snarkpack for arkwork
  ☆22Jun 11, 2023Updated 2 years ago
• zkpstandard / wg-sigma-protocols

  View on GitHub
  ☆15Sep 20, 2025Updated 5 months ago
• powdr-labs / powdr-revme

  View on GitHub
  powdr application running Ethereum tests via revm
  ☆17Jun 24, 2024Updated last year
• NilFoundation / zkllvm-rslang

  View on GitHub
  ☆15Dec 19, 2023Updated 2 years ago
• CPerezz / Awesome-crypto-articles

  View on GitHub
  A list of worth-reading articles about Cryptohraphy
  ☆16Jul 24, 2024Updated last year
• NilFoundation / zkllvm-blueprint

  View on GitHub
  Circuit components definition library for zkLLVM circuit compiler
  ☆42Sep 7, 2024Updated last year
• novifinancial / smtree

  View on GitHub
  An api for constructing sparse Merkle tree accumulators with random sampling capabilities.
  ☆25Oct 19, 2021Updated 4 years ago
• GitBolt / soltrek

  View on GitHub
  ⛳ Interactive node based Solana learning playground
  ☆18Jul 8, 2023Updated 2 years ago
• open-clockwork / clockwork

  View on GitHub
  ☆15Jun 10, 2024Updated last year
• yoavw / cross-rollup-bridge

  View on GitHub
  ☆52May 10, 2021Updated 4 years ago