hecmas / pairing-playground
☆11Updated last year
Alternatives and similar repositories for pairing-playground:
Users that are interested in pairing-playground are comparing it to the libraries listed below
- plonky2 implementation of bn254 pairing☆18Updated 11 months ago
- ☆31Updated last month
- ☆14Updated last year
- Extractable Witness Encryption for KZG Commitments☆28Updated last month
- Polyexen demo of Plonkish Arithmetiation Format (Plaf) on the zkevm-circuits☆30Updated 11 months ago
- Proof system backends for OpenVM.☆18Updated this week
- An implementation of Sangria☆17Updated last year
- MiMC implementation in Halo2☆9Updated 2 years ago
- STARK book☆20Updated 3 months ago
- ☆9Updated last year
- In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU☆34Updated 2 months ago
- ☆48Updated 10 months ago
- polynomial commitments from linear codes☆36Updated last month
- ☆19Updated 10 months ago
- ☆12Updated last year
- ☆26Updated 10 months ago
- ProtoGalaxy folding scheme PoC implementation https://eprint.iacr.org/2023/1106.pdf☆39Updated last year
- An example of how to build an end-to-end dApp with plonky2x☆22Updated last year
- Verifiable FHE with GKR☆25Updated 3 months ago
- Implementation of the Grumpkin curve in Rust.☆29Updated last year
- An arkworks implementation of the superspartan PIOP☆13Updated 4 months ago
- RISC Zero Nova is inherit from Risc Zero but aim to replace STARK with Nova folding scheme☆28Updated last year
- Arkworks made simple for us: the non cryptographer software plumbers☆21Updated last year
- ☆12Updated last year
- RLN on KZG☆17Updated last year
- Solidity implementation of Nova proving system verifier☆59Updated 10 months ago
- Polymath: Groth16 Is Not The Limit☆29Updated 4 months ago
- Frobenius sumcheck for vectorized boolean ops☆45Updated 4 months ago
- A collection of the Notes on the Nova folding scheme explained from scratch☆26Updated 7 months ago
- Starky implementation of Bls12-381☆12Updated 8 months ago