gy001 / finitefields-by-examplesLinks
about finite fields
☆9Updated last year
Alternatives and similar repositories for finitefields-by-examples
Users that are interested in finitefields-by-examples are comparing it to the libraries listed below
Sorting:
- ☆41Updated last year
- ☆33Updated 3 weeks ago
- A proof-of-concept implementation of KiloNova☆11Updated 7 months ago
- Binius implementation in a series of Python Jupyter Notebooks, for pedagogic purposes.☆12Updated last year
- A rusty implementation of the Caulk+ lookup algorithm.☆12Updated 2 years ago
- polynomial commitments from linear codes☆44Updated 5 months ago
- Source code for "Building Cryptographic Proofs from Hash Functions"☆9Updated 7 months ago
- A Framework of Lattice-based Zero-knowledge Arguments in Rust☆49Updated 5 months ago
- ☆34Updated last week
- STARK book☆20Updated 8 months ago
- Polymath: Groth16 Is Not The Limit☆29Updated 3 months ago
- Benchmarks of all public available SNARK/STARK keccak circuits☆13Updated last year
- ☆20Updated last year
- a lattice lib for building snarks☆21Updated last year
- Verifiable FHE with GKR☆26Updated 8 months ago
- A research-driven project focused on the Comparison of Multilinear Polynomial Commitment Schemes☆24Updated this week
- RISC Zero Nova is inherit from Risc Zero but aim to replace STARK with Nova folding scheme☆28Updated last year
- ☆23Updated last year
- Frobenius sumcheck for vectorized boolean ops☆53Updated last month
- ☆40Updated 2 years ago
- ☆11Updated last year
- ☆9Updated last year
- ☆20Updated last year
- An arkworks implementation of the superspartan PIOP☆13Updated 8 months ago
- Testudo: Spartan + Groth16☆52Updated last year
- Polyexen demo of Plonkish Arithmetiation Format (Plaf) on the zkevm-circuits☆31Updated last year
- ☆23Updated 2 months ago
- ☆26Updated last year
- Draft documents for standardization of Plonkish arithmetization☆23Updated last year
- Witness encryption for KZG openings☆26Updated 7 months ago