lunfardo314 / verkle
Implementation of polynomial KZG proofs and 257-ary verkle trie
☆23Updated 3 years ago
Alternatives and similar repositories for verkle:
Users that are interested in verkle are comparing it to the libraries listed below
- Solidity verifier for Plonk☆41Updated 7 months ago
- A Sloth-based Verifiable Delay Function (VDF) evaluator and SNARK prover.☆16Updated 2 years ago
- ☆33Updated last year
- Polymath: Groth16 Is Not The Limit☆29Updated last month
- A Rust library for proof-carrying disclosures☆20Updated 11 months ago
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- A port of TinySMPC into Rust.☆22Updated last year
- Spartan on Arkworks☆40Updated 3 months ago
- FHE in the Risc0 zkVM☆25Updated last year
- Rust-libp2p transport for {t,n}-threshold signature schemes☆33Updated 2 years ago
- RISC Zero Nova is inherit from Risc Zero but aim to replace STARK with Nova folding scheme☆28Updated last year
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆39Updated last year
- On-chain Ethereum light client built with SP1☆42Updated 2 weeks ago
- ☆23Updated last year
- Prove multi-opens of EIP-4844 KZG blobs☆14Updated last year
- Delve into low-level RISC Zero machine☆27Updated last year
- STARK book☆20Updated 6 months ago
- An implementation of a namespaced merkle tree in Rust.☆30Updated 6 months ago
- Mozak RISC-V Virtual Machine☆24Updated last week
- zkSNARKs as a service using secure multi-party computation.☆29Updated last year
- 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
- Shared peer-to-peer network of zero-knowledge provers☆16Updated 3 months ago
- Pessimistic proof for the AggLayer.☆26Updated 9 months ago
- ☆42Updated 3 years ago
- Batch ECDSA in circom☆33Updated 2 years ago
- A Cairo VM prover implemented using Winterfell☆16Updated last year
- Simple RSA VDF in Rust☆19Updated 3 years ago
- Halo2 Merkle tree circuits☆32Updated 3 years ago
- ☆17Updated 2 years ago
- ☆41Updated 8 months ago