Cryptography for Ethereum Verkle Trees
☆42Jun 14, 2024Updated last year
Alternatives and similar repositories for verkle-crypto
Users that are interested in verkle-crypto are comparing it to the libraries listed below
Sorting:
- Poseidon Rust library☆39Mar 13, 2023Updated 2 years ago
- An implementation of Sangria☆17Jun 1, 2023Updated 2 years ago
- Batching zero over k checks☆11Feb 11, 2023Updated 3 years ago
- Proof of concept implementation of Sigmabus https://eprint.iacr.org/2023/1406☆10Dec 20, 2023Updated 2 years ago
- relays blocks from the shared sequencer to the DA layer☆27May 25, 2023Updated 2 years ago
- ⚡ Cairo VM in Zig ⚡☆85Aug 20, 2024Updated last year
- ☆51Mar 7, 2024Updated last year
- Benchmarking Polynomial Commitments☆51Jul 3, 2023Updated 2 years ago
- RPC request router and proxy for Starknet, forked from Optimism proxyd.☆12Feb 26, 2024Updated 2 years ago
- The Noir library for the Fraction data type, maintained by Resurgence Labs.☆11Jul 30, 2024Updated last year
- 👓☆15Jan 20, 2023Updated 3 years ago
- Rust implementation of the Modified Patricia Tree (aka Trie).☆20Oct 30, 2024Updated last year
- RISC Zero Nova is inherit from Risc Zero but aim to replace STARK with Nova folding scheme☆28Jun 27, 2023Updated 2 years ago
- Draft documents for standardization of Plonkish arithmetization☆23Mar 15, 2024Updated last year
- Automated verification of uniqueness property for ZKP circuits☆45Jun 6, 2024Updated last year
- STARK 101 Workshop in Rust 🐺🦀☆140Apr 28, 2023Updated 2 years ago
- Implementation of Nova using arkworks for learning purposes. https://eprint.iacr.org/2021/370.pdf☆45May 31, 2023Updated 2 years ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆61Aug 5, 2024Updated last year
- Cashu Mint, written in Elixir.☆17Nov 12, 2024Updated last year
- An arkworks implementation of the superspartan PIOP☆13Sep 10, 2024Updated last year
- SIPP(Statistically sound Inner Pairing Product) verification in SNARK☆17Oct 8, 2023Updated 2 years ago
- Verify JWTs using SNARK circuits☆29Jul 15, 2024Updated last year
- ☆41Jan 7, 2024Updated 2 years ago
- A collection of comparison-benchmarks for Nova & related Proving systems☆44Apr 6, 2023Updated 2 years ago
- ☆134Oct 25, 2024Updated last year
- Ethereum stateless tools☆45Apr 17, 2025Updated 10 months ago
- ☆19May 5, 2020Updated 5 years ago
- Polynomial Expression Engine☆35Feb 13, 2024Updated 2 years ago
- polynomial commitments from linear codes☆50Dec 13, 2024Updated last year
- Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758☆122Feb 25, 2023Updated 3 years ago
- Prompt for GPT-4 to migrate Cairo 0 to Cairo 1☆23May 4, 2023Updated 2 years ago
- Performance and security acceleration for zkVMs.☆483Updated this week
- A Plonkish folding framework for Incrementally Verifiable Computation (IVC).☆177Mar 24, 2025Updated 11 months ago
- WadRay library for Cairo and Starknet☆21Apr 24, 2025Updated 10 months ago
- ☆18Nov 1, 2023Updated 2 years ago
- ☆52Oct 10, 2023Updated 2 years ago
- Zig implementation of the Ethereum Virtual Machine☆88Nov 25, 2023Updated 2 years ago
- Falcon (https://falcon-sign.info/) signature aggregation with LaBRADOR in Rust☆22Sep 9, 2025Updated 5 months ago
- Cryptographic primitives used in Polygon Miden rollup☆132Feb 25, 2026Updated last week