InternetMaximalism / verkle-tree
Rust implementation for Verkle tree.
☆16Updated 2 years ago
Alternatives and similar repositories for verkle-tree:
Users that are interested in verkle-tree are comparing it to the libraries listed below
- Plonky2 Semaphore example for ZKHack☆26Updated 3 years ago
- ☆39Updated last year
- FHE in the Risc0 zkVM☆25Updated last year
- An instantiation of the Poseidon hash for use with decaf377☆29Updated 3 weeks ago
- ☆17Updated 2 years ago
- Fawkes-Crypto - zkSNARKs framework☆22Updated last year
- ☆28Updated 2 years ago
- ECDSA gadgets for plonky2☆18Updated last year
- Version 2 of ZKaggle, 🏆 Finalist of ETHGlobal FVM Space Warp Hack☆15Updated last year
- Plonky2 gadgets for EcGFp5 curve and base field arithmetic☆20Updated 2 years ago
- ☆16Updated 3 years ago
- A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program execution…☆37Updated 2 years ago
- Ethereum's RLP encoding implemented as a Serde data format☆13Updated 2 years ago
- Client library for generating and using RLN ZK proofs☆30Updated last year
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆39Updated last year
- ☆24Updated last year
- Installation tooling for Noir☆25Updated last month
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- zkSNARK circuits for the Telepathy protocol☆53Updated last year
- Early prototype.☆23Updated 2 years ago
- An api for constructing sparse Merkle tree accumulators with random sampling capabilities.☆24Updated 3 years ago
- An experimental rust zksnarks compiler with embeeded bellman-bn128 prover☆42Updated 3 years ago
- ☆33Updated last year
- A Cairo VM prover implemented using Winterfell☆16Updated last year
- RLN circuits in Circom☆29Updated 8 months ago
- A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team☆37Updated last year
- ☆17Updated 2 years ago
- Solidity verifier for Plonk☆41Updated 7 months ago
- ZK Fixed Point Arithmetic with its Application in Machine Learning based on Halo2☆20Updated last year
- A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.☆34Updated last week