gkr-mimc is a POC-grad gnark gadget to accelerate the proving time of Mimc computation
☆25Jun 24, 2024Updated 2 years ago
Alternatives and similar repositories for gkr-mimc
Users that are interested in gkr-mimc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- WIP: code generation package in Go -- used by gnark, goff and gurvy☆14Oct 2, 2026Updated last month
- goff (go finite field) is a unix-like tool that generates fast field arithmetic in Go.☆77Jul 1, 2022Updated 4 years ago
- Implementing Bendersnatch curve using Arkwork's framework in Rust.☆14Oct 28, 2021Updated 5 years ago
- ☆10Mar 25, 2022Updated 4 years ago
- A golang demo for zk-SNARK aggregation☆41Jun 23, 2019Updated 7 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆20Sep 30, 2022Updated 4 years ago
- Eth2.0 spec in Dafny☆80Jun 24, 2024Updated 2 years ago
- High performance EraVM for zkSync.☆23Aug 25, 2026Updated 2 months ago
- Pure Rust implementation of the PLONK ZKProof System done by the Dusk-Network team.☆15Aug 10, 2020Updated 6 years ago
- Simplified educational python plonk implementation☆47Mar 28, 2026Updated 7 months ago
- STARK book☆21Sep 25, 2024Updated 2 years ago
- A privacy-preserving digital version of punch cards used in store loyalty programs☆11Apr 19, 2021Updated 5 years ago
- zero knowledge proof aggregator for general circuit☆73May 20, 2024Updated 2 years ago
- Pairing-friendly elliptic curve library☆24Aug 15, 2024Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Batch verification proposal for the zkSNARK verification with the same(!) circuit☆23Jun 24, 2019Updated 7 years ago
- GooSig: short signatures from RSA that hide the signer's RSA public key☆12Jan 8, 2020Updated 6 years ago
- RLN circuits in Circom☆33Jul 13, 2024Updated 2 years ago
- ☆34Jul 14, 2026Updated 3 months ago
- plonky2 implementation of bn254 pairing☆19Feb 1, 2024Updated 2 years ago
- Draft documents for standardization of Plonkish arithmetization☆23Mar 15, 2024Updated 2 years ago
- ☆34Jan 4, 2024Updated 2 years ago
- Multilayered Linkable Spontaneous Anonymous Group - Implemented as is from paper. Not Monero specific☆24May 10, 2020Updated 6 years ago
- gnark is a fast, open-source library for zero-knowledge proof protocols written in Go.☆12Updated this week
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A collection of the Notes on the Nova folding scheme explained from scratch☆29Jun 12, 2024Updated 2 years ago
- PVSS & Scrape in rust☆12Oct 9, 2026Updated 3 weeks ago
- FRI low-degree-testing & polynomial commitment scheme☆24Mar 26, 2023Updated 3 years ago
- BLS typescript wrapper to interact with the contract☆16Mar 11, 2022Updated 4 years ago
- A unified scheduling framework for ZKM verifiable AI☆22Updated this week
- ☆18Jul 11, 2025Updated last year
- A design for doing more private Signal groups using anonymous credentials based on algebraic MACs.☆14Dec 20, 2019Updated 6 years ago
- A GKR-based zero-knowledge proof protocol for CNN model inference.☆88Feb 26, 2023Updated 3 years ago
- evm playground - optimizations, patterns and bytecode decoding☆15Dec 29, 2022Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- An elastic proof system based on arkworks☆85Dec 21, 2023Updated 2 years ago
- Danksharding Builder with GPU acceleration☆50Sep 10, 2023Updated 3 years ago
- A library for fast NTTs over the Goldilocks prime field☆80Sep 25, 2024Updated 2 years ago
- ☆60Dec 27, 2021Updated 4 years ago
- A pure rust implementation of the gimli cipher☆13Jan 26, 2022Updated 4 years ago
- ☆14Jul 14, 2023Updated 3 years ago
- linear-time sumcheck protocol for multilinear polynomials and related addends☆93Nov 21, 2025Updated 11 months ago