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
Sorting:
- ☆10Oct 24, 2022Updated 3 years ago
- a sketch of what a zkvm could look like☆26Apr 19, 2021Updated 4 years ago
- Zero-Knowledge Proof Systems for =nil; Crypto3 C++ Cryptography Suite.☆33Jul 29, 2024Updated last year
- Tool to reconstruct zkSync state from commit blocks published on L1☆16Aug 22, 2024Updated last year
- Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks☆16Jan 1, 2023Updated 3 years ago
- Placeholder proof system verifier for EVM☆10Jul 4, 2025Updated 7 months ago
- Proof of concept implementation of Sigmabus https://eprint.iacr.org/2023/1406☆10Dec 20, 2023Updated 2 years ago
- Vector Commitments with Constant-Sized, Updatable Proofs and Linear-Sized Public Parameters☆11Jun 3, 2021Updated 4 years ago
- ☆10Aug 21, 2022Updated 3 years ago
- Rust implementation of POST proving☆13Dec 15, 2025Updated 2 months ago
- ☆12Jun 29, 2022Updated 3 years ago
- ☆29Dec 20, 2023Updated 2 years ago
- Early-stage research related to the Anoma protocols.☆36Oct 11, 2023Updated 2 years ago
- In-EVM Mina State Verification☆81Nov 10, 2023Updated 2 years ago
- Some very rough benchmarks between sha256 circuits in different proving systems☆53Aug 6, 2022Updated 3 years ago
- ☆15Jul 8, 2021Updated 4 years ago
- Implementation of the Caulk protocol: https://eprint.iacr.org/2022/621.pdf☆12Jun 29, 2022Updated 3 years ago
- cpp witness calculator for mobile and desktop for iden3 circuits☆17Aug 22, 2025Updated 6 months ago
- ☆11Feb 6, 2024Updated 2 years ago
- Hot reload Solana programs☆12Mar 12, 2023Updated 2 years ago
- 📃 List of articles and materials about Modular Blockchain☆22May 24, 2022Updated 3 years ago
- libsnark: a C++ library for zkSNARK proofs [+ interface for jsnark/Pinocchio ]☆11Dec 17, 2022Updated 3 years ago
- ☆10Jan 11, 2022Updated 4 years ago
- A maker of merkle-proofs for transaction receipts in ethereum using rust.☆15Sep 10, 2021Updated 4 years ago
- A rusty implementation of the Caulk+ lookup algorithm.☆12Dec 18, 2022Updated 3 years ago
- A curated list of awesome things related to plonk proof system☆240Aug 17, 2024Updated last year
- Halo2 Merkle tree circuits☆33May 28, 2021Updated 4 years ago
- Anemoi: a Family of ZK-friendly Arithmetization Oriented Hash Functions☆14Jul 9, 2023Updated 2 years ago
- Verkle trees with inner product argument (IPA) based polynomial commitment [Prototype]☆15Mar 26, 2022Updated 3 years ago
- snarkpack for arkwork☆22Jun 11, 2023Updated 2 years ago
- ☆15Sep 20, 2025Updated 5 months ago
- powdr application running Ethereum tests via revm☆17Jun 24, 2024Updated last year
- ☆15Dec 19, 2023Updated 2 years ago
- A list of worth-reading articles about Cryptohraphy☆16Jul 24, 2024Updated last year
- Circuit components definition library for zkLLVM circuit compiler☆42Sep 7, 2024Updated last year
- An api for constructing sparse Merkle tree accumulators with random sampling capabilities.☆25Oct 19, 2021Updated 4 years ago
- ⛳ Interactive node based Solana learning playground☆18Jul 8, 2023Updated 2 years ago
- ☆15Jun 10, 2024Updated last year
- ☆52May 10, 2021Updated 4 years ago