lunfardo314 / verkle
Implementation of polynomial KZG proofs and 257-ary verkle trie
☆23Updated 3 years ago
Related projects: ⓘ
- ☆18Updated this week
- Solidity verifier for Plonk☆41Updated last month
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- A Solidity implementation of Halo2's Pasta curves☆48Updated last year
- Some very rough benchmarks between sha256 circuits in different proving systems☆49Updated 2 years ago
- A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program execution…☆37Updated last year
- A Cairo VM prover implemented using Winterfell☆17Updated last year
- Polymath: Groth16 Is Not The Limit☆26Updated this week
- RISC Zero Nova is inherit from Risc Zero but aim to replace STARK with Nova folding scheme☆29Updated last year
- Spartan on Arkworks☆38Updated 2 months ago
- ☆27Updated 5 months ago
- Implementation of Nova using arkworks for learning purposes. https://eprint.iacr.org/2021/370.pdf☆43Updated last year
- ☆32Updated 8 months ago
- A toolkit to compile and debug circom circuit.☆23Updated 11 months ago
- ☆42Updated 2 years ago
- polynomial commitments from linear codes☆35Updated 11 months ago
- zkSNARK circuits for the Telepathy protocol☆49Updated last year
- Benchmarking Polynomial Commitments☆47Updated last year
- ☆17Updated last year
- Prove multi-opens of EIP-4844 KZG blobs☆14Updated last year
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆38Updated 9 months ago
- ☆28Updated 9 months ago
- A Rust library for proof-carrying disclosures☆17Updated 5 months ago
- High-performance Multi-scalar Multiplication for Pasta curves☆20Updated 9 months ago
- Curdleproofs is a zero-knowledge shuffle argument☆68Updated 11 months ago
- Starknet sequencer built with Tendermint Core☆53Updated last year
- Plonky2 Semaphore example for ZKHack☆25Updated 2 years ago
- Cryptographic protocols☆36Updated last year
- ☆29Updated last year
- Draft documents for standardization of Plonkish arithmetization☆23Updated 6 months ago