ingonyama-zk / ingo-gpu-challengeLinks
☆10Updated 6 months ago
Alternatives and similar repositories for ingo-gpu-challenge
Users that are interested in ingo-gpu-challenge are comparing it to the libraries listed below
Sorting:
- A FRI verifier circuit for the Halo2 proof system☆77Updated 2 years ago
- Basic scaffolding for setting up and writing a Halo2 ZK circuit☆112Updated 2 years ago
- Verifiable and confidential computation based on ZKP and FHE, powered by risc0 zkVM.☆86Updated 2 years ago
- Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf☆47Updated 3 weeks ago
- building blocks for accelerating ZK proofs over binary fields☆48Updated 6 months ago
- Write-ups submitted by CTF participants☆35Updated 2 years ago
- Verify a chain of x509 certificates in halo2☆31Updated 2 years ago
- Ethereum zkEVM book☆80Updated 3 months ago
- A Brainfuck zkVM with Circom.☆61Updated 2 years ago
- A collection of technical notes from the Geometry research team.☆47Updated 2 years ago
- Implementation of Plonk by Hand in rust☆62Updated last year
- Evaluating & benchmarking ZKP compilation strategies.☆121Updated 2 years ago
- ☆22Updated last year
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆55Updated 9 months ago
- https://geometryresearch.xyz/notebook/zkhack-groth-challenge☆48Updated 3 years ago
- barretenburg in rust (here we go)☆99Updated 2 years ago
- ☆26Updated 8 months ago
- Ecne: An engine for verifying the soundness of R1CS constraints☆113Updated 3 years ago
- Solidity implementation of Nova proving system verifier☆66Updated last year
- Benchmarks of popular zkVMs including Jolt☆63Updated last year
- Reef: A zkSNARK system for proving that a committed document matches a regex☆76Updated last month
- Honk Verifier in Solidity☆50Updated last year
- A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.☆43Updated 2 months ago
- A curated list of awesome resources for learning and programming with Circom☆23Updated 2 years ago
- a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness☆50Updated 2 years ago
- PoC of Revm execution in SGX☆79Updated 2 years ago
- ProtoGalaxy folding scheme PoC implementation https://eprint.iacr.org/2023/1106.pdf☆41Updated 2 years ago
- keccak256 hash implementation in Circom☆83Updated 3 years ago
- ☆94Updated last year
- UPA is the proof aggregation engine built by NEBRA team.☆38Updated last month