zksecurity / zprize-ecdsa-varuna
specs & benchmarks for the ZPrize 3 - High Throughput Signature Verification
☆10Updated last year
Alternatives and similar repositories for zprize-ecdsa-varuna:
Users that are interested in zprize-ecdsa-varuna are comparing it to the libraries listed below
- Frobenius sumcheck for vectorized boolean ops☆45Updated this week
- In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU☆34Updated 2 months ago
- ☆19Updated 10 months ago
- Experimental implementation of Sumcheck protocol using CUDA☆20Updated 2 months ago
- ☆9Updated last year
- Benchmark for adding Lasso lookup argument to halo2 backend☆31Updated 10 months ago
- Source code for all entries from the 2023 ZPrize competition☆22Updated 2 months ago
- Solidity libraries and contracts for verifying WHIR proofs on the EVM.☆24Updated last month
- a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness☆46Updated last year
- ☆11Updated 4 months ago
- Proof system backends for OpenVM.☆19Updated this week
- Nova-based SHA256 benchmarks☆31Updated 10 months ago
- a lattice lib for building snarks☆20Updated 8 months ago
- ☆16Updated 10 months ago
- ☆31Updated last week
- ☆20Updated 8 months ago
- A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)☆17Updated this week
- ☆26Updated 11 months ago
- Rust Code for CELPC☆15Updated 7 months ago
- STIR 🥣: Reed–Solomon Proximity Testing with Fewer Queries☆56Updated 2 months ago
- An arkworks implementation of the superspartan PIOP☆13Updated 4 months ago
- Polyhedra ZK knowledge base☆20Updated 3 months ago
- Polyexen demo of Plonkish Arithmetiation Format (Plaf) on the zkevm-circuits☆30Updated 11 months ago
- Solidity implementation of Nova proving system verifier☆61Updated 10 months ago
- ☆48Updated 10 months ago
- ☆61Updated 10 months ago
- ☆33Updated last year
- ☆16Updated last month
- MiMC implementation in Halo2☆9Updated 2 years ago
- ☆38Updated last year