WizardOfMenlo / stirLinks
STIR π₯£: ReedβSolomon Proximity Testing with Fewer Queries
β65Updated 11 months ago
Alternatives and similar repositories for stir
Users that are interested in stir are comparing it to the libraries listed below
Sorting:
- In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPUβ39Updated 8 months ago
- β108Updated this week
- Frobenius sumcheck for vectorized boolean opsβ56Updated 6 months ago
- β69Updated 11 months ago
- β51Updated 2 years ago
- β80Updated 9 months ago
- β61Updated 5 months ago
- β46Updated last week
- β41Updated last year
- A Framework of Lattice-based Zero-knowledge Arguments in Rustβ68Updated 9 months ago
- β47Updated last month
- Proof-of-concept implementation of the papers on scalable collaborative zk-SNARKs (coZK) with applications to private proof delegation.β56Updated 2 months ago
- ProtoGalaxy folding scheme PoC implementation https://eprint.iacr.org/2023/1106.pdfβ41Updated 2 years ago
- Rust Code for CELPCβ20Updated 6 months ago
- A lattice-based non-interactive folding scheme written in Rustβ106Updated last week
- β37Updated 2 months ago
- Verifiable FHE with GKRβ26Updated last year
- a lattice lib for building snarksβ21Updated last year
- Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocolβ124Updated this week
- β20Updated last year
- β63Updated 3 weeks ago
- A SNARK using towers of binary fields, implemented in Rust .β126Updated last month
- zero knowledge proof aggregator for general circuitβ72Updated last year
- Proof system backends for OpenVM.β32Updated last week
- β26Updated last year
- β77Updated last week
- A PoC repo for a HyperNova implβ83Updated 2 years ago
- Let's go https://eprint.iacr.org/2022/1763.pdfβ61Updated 2 years ago
- Testudo: Spartan + Groth16β52Updated last year
- β104Updated last year