WizardOfMenlo / stirLinks
STIR π₯£: ReedβSolomon Proximity Testing with Fewer Queries
β63Updated 10 months ago
Alternatives and similar repositories for stir
Users that are interested in stir are comparing it to the libraries listed below
Sorting:
- β42Updated last week
- β51Updated last year
- In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPUβ39Updated 7 months ago
- Frobenius sumcheck for vectorized boolean opsβ56Updated 5 months ago
- β59Updated 4 months ago
- A Framework of Lattice-based Zero-knowledge Arguments in Rustβ68Updated 8 months ago
- A lattice-based non-interactive folding scheme written in Rustβ105Updated this week
- β69Updated 10 months ago
- β108Updated last year
- β45Updated last week
- β79Updated 8 months ago
- a lattice lib for building snarksβ21Updated last year
- A SNARK using towers of binary fields, implemented in Rust .β124Updated 3 weeks ago
- Proof-of-concept implementation of the papers on scalable collaborative zk-SNARKs (coZK) with applications to private proof delegation.β53Updated 2 months ago
- β63Updated this week
- ProtoGalaxy folding scheme PoC implementation https://eprint.iacr.org/2023/1106.pdfβ41Updated 2 years ago
- β41Updated last year
- Proof system backends for OpenVM.β32Updated last week
- Rust Code for CELPCβ20Updated 6 months ago
- Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocolβ123Updated this week
- Verifiable FHE with GKRβ26Updated 11 months ago
- β20Updated last year
- Benchmark of multiple zk implementations.β83Updated 2 years ago
- Extensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryptionβ44Updated 4 months ago
- β61Updated last month
- Expander, an open-source GKR prover designed for scaling large-scale parallel computing.β64Updated 7 months ago
- A pqSNARK with lightweight proofs, powered by the Whir PCS.β38Updated 3 weeks ago
- Client side zero-knowledge proving.β86Updated this week
- Spartan on Arkworksβ42Updated last month
- zero knowledge proof aggregator for general circuitβ72Updated last year