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

• NilFoundation / crypto3-zk

  View on GitHub
  Zero-Knowledge Proof Systems for =nil; Crypto3 C++ Cryptography Suite.
  ☆33Jul 29, 2024Updated last year
• NilFoundation / evm-placeholder-verification

  View on GitHub
  Placeholder proof system verifier for EVM
  ☆10Jul 4, 2025Updated 8 months ago
• NilFoundation / proof-market-toolchain

  View on GitHub
  A toolchain for interaction with the Proof Market protocol.
  ☆23Jan 5, 2024Updated 2 years ago
• NilFoundation / zkllvm-blueprint

  View on GitHub
  Circuit components definition library for zkLLVM circuit compiler
  ☆42Sep 7, 2024Updated last year
• 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 / mina-state-proof

  View on GitHub
  In-EVM Mina State Verification
  ☆81Nov 10, 2023Updated 2 years ago
• geometryxyz / baloo

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

  View on GitHub
  ☆12Jun 29, 2022Updated 3 years ago
• eqlabs / zksync-state-reconstruct

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

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

  View on GitHub
  ☆15Jul 8, 2021Updated 4 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
• anoma / research

  View on GitHub
  Early-stage research related to the Anoma protocols.
  ☆36Oct 11, 2023Updated 2 years ago
• Sovereign-Labs / solana-proofs

  View on GitHub
  ☆29Dec 20, 2023Updated 2 years 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
• 0xyicheng / Awesome-Modular-Blockchain

  View on GitHub
  📃 List of articles and materials about Modular Blockchain
  ☆22May 24, 2022Updated 3 years ago
• yoavw / cross-rollup-bridge

  View on GitHub
  ☆52May 10, 2021Updated 4 years ago
• Trapdoor-Tech / halo2-book-chinese

  View on GitHub
  ☆10Jan 11, 2022Updated 4 years ago
• acheroncrypto / watchso

  View on GitHub
  Hot reload Solana programs
  ☆12Mar 12, 2023Updated 3 years ago
• kilic / cyclone-msm-expreriment

  View on GitHub
  ☆11Feb 6, 2024Updated 2 years ago
• 0xPolygonID / witnesscalc

  View on GitHub
  cpp witness calculator for mobile and desktop for iden3 circuits
  ☆17Aug 22, 2025Updated 7 months ago
• lopeetall / caulk

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

  View on GitHub
  ☆10Aug 21, 2022Updated 3 years ago
• powdr-labs / powdr-revme

  View on GitHub
  powdr application running Ethereum tests via revm
  ☆17Jun 24, 2024Updated last year
• CPerezz / caulk_plus

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

  View on GitHub
  An acceleration engine for proving SNARKS over the bn128 curve, targeted for AWS FPGAs
  ☆59May 21, 2020Updated 5 years ago
• CPerezz / Awesome-crypto-articles

  View on GitHub
  A list of worth-reading articles about Cryptohraphy
  ☆16Jul 24, 2024Updated last year
• fluidex / awesome-plonk

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

  View on GitHub
  ☆56Sep 16, 2025Updated 6 months ago
• NilFoundation / crypto3

  View on GitHub
  Modern Cryptography Suite in C++17
  ☆87Oct 14, 2024Updated last year
• yi-sun / zk-attestor

  View on GitHub
  ☆133Apr 23, 2022Updated 3 years ago
• lambdaclass / aleo_lambda_vm

  View on GitHub
  Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass
  ☆21May 9, 2023Updated 2 years ago
• gakonst / narwhal-abci-evm

  View on GitHub
  ☆138Jul 13, 2022Updated 3 years ago
• DrPeterVanNostrand / halo2-merkle

  View on GitHub
  Halo2 Merkle tree circuits
  ☆33May 28, 2021Updated 4 years ago
• anuraglol / use-supabase-hooks

  View on GitHub
  React hooks for supabase - type safe!
  ☆17Jan 10, 2023Updated 3 years ago
• WebAssembly / wasi-logging

  View on GitHub
  WASI logging API
  ☆24Oct 2, 2024Updated last year
• 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
• NilFoundation / zkllvm-rslang

  View on GitHub
  ☆15Dec 19, 2023Updated 2 years ago