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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Simple RSA VDF in Rust☆21Apr 13, 2021Updated 5 years ago
- ☆17Dec 2, 2022Updated 3 years ago
- Nova: Recursive SNARKs without trusted setup☆44Aug 21, 2023Updated 2 years ago
- Sandbox for Hyperledger Projects Performance research usage☆12Nov 27, 2023Updated 2 years ago
- Proof of concept trade simulation using state overrides☆22Sep 8, 2022Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A Cairo VM prover implemented using Winterfell☆17May 4, 2023Updated 3 years ago
- plonky2 implementation of bn254 pairing☆19Feb 1, 2024Updated 2 years ago
- Research repository for distributed GPU based zkSNARKs prover☆23Oct 11, 2018Updated 7 years ago
- A database being built for the Amoveo blockchain.☆18Updated this week
- An environment of open source services used for market analysis☆37Mar 23, 2023Updated 3 years ago
- Rust Ethereum virtual machine (revm) Is EVM written in rust that is focused on speed and simplicity☆22Feb 26, 2026Updated 4 months ago
- Solidity Merkle Mountain Range Library☆29Dec 30, 2022Updated 3 years ago
- Halo2 Merkle tree circuits☆33May 28, 2021Updated 5 years ago
- Multi-party computation utilities toolkit for rust☆16Dec 19, 2019Updated 6 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆32Oct 27, 2025Updated 8 months ago
- 10,000 Cities with Latitude, Longitude, and Elevation in Rust☆13Nov 3, 2020Updated 5 years ago
- EIP-5164 implementation☆31Jan 25, 2024Updated 2 years ago
- An implementation of a merkle patricia trie in C#.☆15Apr 24, 2020Updated 6 years ago
- Process hardening in rust☆16Dec 31, 2025Updated 5 months ago
- Benchmarks of all public available SNARK/STARK keccak circuits☆13Oct 1, 2023Updated 2 years ago
- ☆33Mar 27, 2024Updated 2 years ago
- Merkle Tree implementation in Python☆29May 14, 2020Updated 6 years ago
- Ethereum EIP-4844 KZG Powers of Tau ceremony client☆76Jun 9, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- FFT, data-recovery and KZG commitments, a.k.a. Kate commitments, in Go - *super experimental*☆95Nov 29, 2023Updated 2 years ago
- A .NET library with LLVM bindings and wrappers.☆16Apr 30, 2014Updated 12 years ago
- ☆45May 7, 2025Updated last year
- Pure Rust implementation of of the post-quantum CRYSTALS-Dilithium algorithm☆28Mar 3, 2026Updated 3 months ago
- Module for visualizing Verkle tree proofs☆13Dec 16, 2022Updated 3 years ago
- Template node for a frontier (EVM) based parachain.☆15Apr 25, 2024Updated 2 years ago
- Fuzz Testing for the github.com/hashicorp/raft library☆30May 11, 2026Updated last month
- Tendermint Verifiable Computations and Storage Demo☆25Jun 28, 2018Updated 8 years ago
- EigenTrust - A distributed reputation system☆118Nov 23, 2023Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A blazingly fast sdk for running proofs on the browser... and verifying them on-chain☆39Jul 27, 2023Updated 2 years ago
- A PoC repo for a HyperNova impl☆83Aug 23, 2023Updated 2 years ago
- customizable halo2 circuits batcher☆32Oct 25, 2025Updated 8 months ago
- Low-cost and fast L2 to L1 token withdrawal☆10Feb 9, 2022Updated 4 years ago
- 这个项目存放了我编写的所有关于监控设备的脚本，并使用flask搭建WEB展示扫描的结果☆10Feb 21, 2017Updated 9 years ago
- Using folding schemes for a provable bitcoin light client☆34May 22, 2024Updated 2 years ago
- Common protocol for generating ZK proofs for blocks on different blockchains.☆10Feb 9, 2024Updated 2 years ago