Lagrange-Labs / reckle-trees
☆23Updated 7 months ago
Related projects ⓘ
Alternatives and complementary repositories for reckle-trees
- RISC Zero Nova is inherit from Risc Zero but aim to replace STARK with Nova folding scheme☆29Updated last year
- ☆24Updated last year
- Implementations of proof-carrying data☆30Updated 2 years ago
- ☆28Updated last year
- Polymath: Groth16 Is Not The Limit☆28Updated last month
- plonky2 recursion framework handling different circuits in unified way.☆12Updated 7 months ago
- plonky2 implementation of bn254 pairing☆18Updated 9 months ago
- Vectorized AVX-512 256-bit arithmetic library☆30Updated last month
- Implementation of the Grumpkin curve in Rust.☆29Updated last year
- ☆23Updated last year
- WebGPU MSM Implementation (BLS12-377 Curve) for ZPrize 2023☆12Updated last month
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- Benchmarking Polynomial Commitments☆47Updated last year
- Extractable Witness Encryption for KZG Commitments☆26Updated 3 weeks ago
- ☆31Updated last year
- Polyexen demo of Plonkish Arithmetiation Format (Plaf) on the zkevm-circuits☆31Updated 8 months ago
- Delve into low-level RISC Zero machine☆27Updated 10 months ago
- 🪩 verify plonky3 proofs in plonky2☆19Updated 7 months ago
- ☆32Updated 10 months ago
- polynomial commitments from linear codes☆37Updated last year
- Some very rough benchmarks between sha256 circuits in different proving systems☆49Updated 2 years ago
- ☆12Updated last year
- A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program execution…☆37Updated last year
- ☆17Updated last year
- An implementation of Sangria☆18Updated last year
- Starknet sequencer built with Tendermint Core☆53Updated last year
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆38Updated 11 months ago
- a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness☆47Updated last year
- An instantiation of the Poseidon hash for use with decaf377☆29Updated last week
- verify cairo execution in Halo2☆17Updated last year