argumentcomputer / zk-light-clients
A collection of ZK light client libraries for various blockchains. (contact: @tchataigner)
☆23Updated this week
Related projects: ⓘ
- ☆23Updated 5 months ago
- Pessimistic proof for the AggLayer.☆25Updated 2 months ago
- An observatory fork of SP1 (contact: @huitseeker)☆35Updated this week
- ☆34Updated this week
- Benchmark for adding Lasso lookup argument to halo2 backend☆29Updated 6 months ago
- ☆31Updated 5 months ago
- A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)☆17Updated last month
- ☆22Updated 2 weeks ago
- Cairo-VM STARK Verifier Rust implementation☆22Updated this week
- customizable halo2 circuits batcher☆27Updated last week
- In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU☆34Updated 5 months ago
- An API compatible port of the Stone prover.☆13Updated last week
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆24Updated last month
- An example of how to build an end-to-end dApp with plonky2x☆22Updated last year
- Solidity implementation of Nova proving system verifier☆56Updated 6 months ago
- Verify a chain of x509 certificates in halo2☆32Updated 9 months ago
- Axiom smart contracts☆27Updated last year
- Some very rough benchmarks between sha256 circuits in different proving systems☆49Updated 2 years ago
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆38Updated 9 months ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆40Updated this week
- Benchmarking Polynomial Commitments☆47Updated last year
- ☆31Updated 6 months ago
- ☆32Updated 8 months ago
- ☆12Updated 11 months ago
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆32Updated last week
- a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness☆46Updated last year
- Starknet sequencer built with Tendermint Core☆53Updated last year
- The repository for high quality Trusted setups for groth16 based SNARKS☆21Updated 2 weeks ago
- Noir implementation of RSA-verify☆41Updated 9 months ago