Maddiaa0 / honk-verifierView external linksLinks
Honk Verifier in Solidity
☆50Oct 14, 2024Updated last year
Alternatives and similar repositories for honk-verifier
Users that are interested in honk-verifier are comparing it to the libraries listed below
Sorting:
- ☆12Oct 4, 2023Updated 2 years ago
- building blocks for accelerating ZK proofs over binary fields☆48Jun 19, 2025Updated 7 months ago
- ☆33Sep 22, 2023Updated 2 years ago
- Proof of concept implementation of sumcheck over fields of small characteristics.☆19May 16, 2025Updated 8 months ago
- An arkworks implementation of the superspartan PIOP☆13Sep 10, 2024Updated last year
- ☆11Sep 10, 2024Updated last year
- A Noir's backend implementation using Gnark☆35Mar 8, 2024Updated last year
- ☆39Nov 25, 2022Updated 3 years ago
- Using folding schemes for a provable bitcoin light client☆34May 22, 2024Updated last year
- A FRI verifier circuit for the Halo2 proof system☆77Feb 22, 2023Updated 2 years ago
- Experimental folding schemes library☆260Feb 6, 2026Updated last week
- zero knowledge proof aggregator for general circuit☆73May 20, 2024Updated last year
- Starky implementation of Bls12-381☆13May 16, 2024Updated last year
- Frobenius sumcheck for vectorized boolean ops☆56Apr 12, 2025Updated 10 months ago
- An observatory fork of SP1☆77Feb 11, 2025Updated last year
- ☆113Feb 6, 2024Updated 2 years ago
- Vectorized AVX-512 256-bit arithmetic library☆34Sep 28, 2024Updated last year
- Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf☆47Dec 18, 2025Updated last month
- ☆38Jul 30, 2025Updated 6 months ago
- Early prototype.☆23Mar 30, 2023Updated 2 years ago
- FRI low-degree-testing & polynomial commitment scheme☆24Mar 26, 2023Updated 2 years ago
- barretenburg in rust (here we go)☆99Jan 10, 2024Updated 2 years ago
- Fiat-Shamir for the masses.☆87Dec 27, 2025Updated last month
- ☆43Oct 26, 2024Updated last year
- ☆49Sep 20, 2023Updated 2 years ago
- ☆28Dec 8, 2021Updated 4 years ago
- ZK proofs for Brainfuck execution using powdr☆17Aug 28, 2024Updated last year
- ☆19Apr 1, 2024Updated last year
- ☆19Jan 20, 2023Updated 3 years ago
- Benchmark of multiple zk implementations.☆83Aug 3, 2023Updated 2 years ago
- A verifiable supercomputer☆77Jun 26, 2025Updated 7 months ago
- the EVM, simplified☆99Updated this week
- Benchmark for adding Lasso lookup argument to halo2 backend☆37Mar 3, 2024Updated last year
- A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program execution…☆39Nov 18, 2022Updated 3 years ago
- ☆82Jan 7, 2025Updated last year
- Testudo: Spartan + Groth16☆53Feb 21, 2024Updated last year
- Polyexen demo of Plonkish Arithmetiation Format (Plaf) on the zkevm-circuits☆31Feb 16, 2024Updated last year
- An advanced fork of Nova (contact:@huitseeker)☆88Mar 3, 2025Updated 11 months ago
- A pqSNARK with lightweight proofs, powered by the Whir PCS.☆45Sep 11, 2025Updated 5 months ago