alxkzmn / zk-atlasView external linksLinks
A(n almost) complete atlas of contemporary Zero-Knowledge Proof technologies
☆15Oct 14, 2022Updated 3 years ago
Alternatives and similar repositories for zk-atlas
Users that are interested in zk-atlas are comparing it to the libraries listed below
Sorting:
- A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)☆18Mar 3, 2025Updated 11 months ago
- ☆11Sep 10, 2024Updated last year
- r1cs file format parser☆23May 6, 2024Updated last year
- Monorepo for collection of Axiom V2 Typescript SDKs.☆14Oct 21, 2024Updated last year
- ☆13Jun 21, 2019Updated 6 years ago
- ☆16Feb 27, 2022Updated 3 years ago
- A private and non-repudiable reputation system☆16Oct 20, 2022Updated 3 years ago
- Distributions is a Nim library for distributions and their functions.☆18Jul 16, 2022Updated 3 years ago
- A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.☆40Oct 28, 2025Updated 3 months ago
- ☆20Nov 3, 2025Updated 3 months ago
- a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness☆50Jul 5, 2023Updated 2 years ago
- Circuits for Pluto's `web-prover`☆25Apr 25, 2025Updated 9 months ago
- BN254 Pairing Implementation in Noir☆23Aug 23, 2023Updated 2 years ago
- Honk Verifier in Solidity☆50Oct 14, 2024Updated last year
- BLAS for Nim☆44May 23, 2024Updated last year
- ☆24Mar 2, 2025Updated 11 months ago
- ☆52Oct 10, 2023Updated 2 years ago
- Monorepo of tools for using the halo2 proving system in-browser using WASM.☆56Jun 20, 2024Updated last year
- Theo is an optimized bigint and number theory library for Nim☆27Mar 2, 2022Updated 3 years ago
- RISCU emulator and zk circuit simulator as a reference for a Jolt implementation☆23Dec 11, 2023Updated 2 years ago
- A working-in-porgress compiler guide for the Nim language.☆28Dec 15, 2025Updated 2 months ago
- Greenlet - Coroutines library for nim similar to python's greenlet.☆34Jan 1, 2020Updated 6 years ago
- Specs for Ethereum's KZG Powers of Tau Ceremony☆111Feb 3, 2023Updated 3 years ago
- ☆33Sep 22, 2023Updated 2 years ago
- Solidity implementation of Nova proving system verifier☆66Mar 17, 2024Updated last year
- Formally Verified Arguments of Knowledge in Lean☆158Updated this week
- Multi proof Aggregation for Zk SNARK on Ethereum☆61May 2, 2023Updated 2 years ago
- Decently portable C11 coroutine library☆31Nov 7, 2024Updated last year
- Polynomial Expression Engine☆35Feb 13, 2024Updated 2 years ago
- Oblivious key-value store based on Circuit ORAM☆36Mar 22, 2025Updated 10 months ago
- ☆42Jul 25, 2024Updated last year
- Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf☆47Dec 18, 2025Updated 2 months ago
- Nim utilities for advanced CPU operations: CPU identification, ISA extension detection, bindings to assorted intrinsics☆27May 1, 2021Updated 4 years ago
- zkInterface is a protocol for the interoperability of zero-knowledge frameworks.☆128Jun 13, 2023Updated 2 years ago
- Fiat-Shamir for the masses.☆87Dec 27, 2025Updated last month
- ☆28Dec 8, 2021Updated 4 years ago
- Generator and supporting evidence for security of the Pluto/Eris half-pairing cycle of elliptic curves☆31Apr 18, 2021Updated 4 years ago
- ☆39Nov 25, 2022Updated 3 years ago
- Using folding schemes for a provable bitcoin light client☆34May 22, 2024Updated last year