Implementation of polynomial KZG proofs and 257-ary verkle trie
☆24Sep 6, 2021Updated 4 years ago
Alternatives and similar repositories for verkle
Users that are interested in verkle are comparing it to the libraries listed below
Sorting:
- Multi-party computation utilities toolkit for rust☆16Dec 19, 2019Updated 6 years ago
- Sandbox for Hyperledger Projects Performance research usage☆12Nov 27, 2023Updated 2 years ago
- ☆17Dec 2, 2022Updated 3 years ago
- A Cairo VM prover implemented using Winterfell☆17May 4, 2023Updated 2 years ago
- Simple RSA VDF in Rust☆21Apr 13, 2021Updated 4 years ago
- Nova: Recursive SNARKs without trusted setup☆44Aug 21, 2023Updated 2 years ago
- plonky2 implementation of bn254 pairing☆19Feb 1, 2024Updated 2 years ago
- Rust Ethereum virtual machine (revm) Is EVM written in rust that is focused on speed and simplicity☆22Feb 26, 2026Updated last week
- Tendermint Verifiable Computations and Storage Demo☆24Jun 28, 2018Updated 7 years ago
- ☆45May 7, 2025Updated 10 months ago
- ☆31Oct 27, 2025Updated 4 months ago
- ☆33Mar 27, 2024Updated last year
- EigenTrust - A distributed reputation system☆118Nov 23, 2023Updated 2 years ago
- ☆25Feb 2, 2024Updated 2 years ago
- EIP-5164 implementation☆31Jan 25, 2024Updated 2 years ago
- A blazingly fast sdk for running proofs on the browser... and verifying them on-chain☆39Jul 27, 2023Updated 2 years ago
- An environment of open source services used for market analysis☆34Mar 23, 2023Updated 2 years ago
- Some tips for new learners of ZKP☆28Dec 31, 2020Updated 5 years ago
- Solidity Merkle Mountain Range Library☆29Dec 30, 2022Updated 3 years ago
- customizable halo2 circuits batcher☆32Oct 25, 2025Updated 4 months ago
- ☆39Oct 14, 2024Updated last year
- Ethereum EIP-4844 KZG Powers of Tau ceremony client☆75Jun 9, 2023Updated 2 years ago
- Reef: A zkSNARK system for proving that a committed document matches a regex☆77Nov 21, 2025Updated 3 months ago
- Halo2 Merkle tree circuits☆33May 28, 2021Updated 4 years ago
- ZKsync fork of the LLVM framework (EraVM).☆36Dec 18, 2025Updated 2 months ago
- Using folding schemes for a provable bitcoin light client☆34May 22, 2024Updated last year
- This repository contains the Parasol processor, which enables next-generation privacy preserving applications. Users can run arbitrary co…☆11Feb 25, 2026Updated last week
- Process hardening in rust☆13Dec 31, 2025Updated 2 months ago
- Simple MenuBarExtra wrapper over Dalle API☆12Jun 4, 2025Updated 9 months ago
- ☆12Apr 8, 2025Updated 11 months ago
- A go implementation of Verkle trees☆235Jan 2, 2026Updated 2 months ago
- A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team☆36Apr 6, 2023Updated 2 years ago
- Plonky2 implementation for intmax ZK rollup☆34May 12, 2023Updated 2 years ago
- A PoC repo for a HyperNova impl☆83Aug 23, 2023Updated 2 years ago
- Smart contracts for the yield farming for PaintSwap☆10Jul 16, 2021Updated 4 years ago
- Prototype of fraud proofs.☆12Feb 13, 2022Updated 4 years ago
- Benchmarks of all public available SNARK/STARK keccak circuits☆13Oct 1, 2023Updated 2 years ago
- Simple screenshot and file sharing utility☆15Mar 5, 2024Updated 2 years ago
- ☆12Dec 19, 2023Updated 2 years ago