Implementations of protocols from the book 'Proofs, Arguments and Zero Knowledge'
☆21Jan 15, 2026Updated last month
Alternatives and similar repositories for thaler-study
Users that are interested in thaler-study are comparing it to the libraries listed below
Sorting:
- ☆37Nov 7, 2025Updated 3 months ago
- Expander, an open-source GKR prover designed for scaling large-scale parallel computing.☆142Feb 22, 2026Updated last week
- ☆10Nov 20, 2024Updated last year
- ☆10Mar 25, 2022Updated 3 years ago
- ☆12Oct 4, 2023Updated 2 years ago
- Educational Version of Lookup Argument☆12Apr 10, 2025Updated 10 months ago
- Audit reports can be found at https://docs.lighter.xyz/security/security-audits☆60Feb 20, 2026Updated last week
- A TUI application used to create and modify assets for games written in Rust☆15Mar 23, 2025Updated 11 months ago
- A GKR-based zero-knowledge proof protocol for CNN model inference.☆89Feb 26, 2023Updated 3 years ago
- Yan (炎) is a high-performance CUDA operator library designed for learning purposes while emphasizing clean code and maximum performance.☆18Jul 21, 2025Updated 7 months ago
- Simple Mermaid diagrams RustDoc integration☆21Dec 4, 2024Updated last year
- Projects from the Succinct ZK Residency☆20Oct 23, 2024Updated last year
- ☆16Jan 5, 2024Updated 2 years ago
- A python notebook to explain how Plonky3 underlying works☆20Mar 2, 2025Updated last year
- Maliciously-Secure Multi-Party Computation (MPC) Engine using Authenticated Garbling☆33Updated this week
- Pure Rust implementation of of the post-quantum CRYSTALS-Dilithium algorithm☆27Feb 18, 2026Updated last week
- zkvot - World's first fully live anonymous voting application!☆23Mar 23, 2025Updated 11 months ago
- A parallel proving service for ZKM.☆22Dec 18, 2025Updated 2 months ago
- Cryptography In Rust For Hackers☆21Updated this week
- Make your zero-knowledge circuits safe with formal verification! 🍀☆32Nov 27, 2025Updated 3 months ago
- Groth16 verifier in EVM☆23Jul 8, 2023Updated 2 years ago
- ☆22Jan 16, 2024Updated 2 years ago
- Experimental implementation of Sumcheck protocol using CUDA☆23Nov 14, 2024Updated last year
- Proof-of-concept implementation of the papers on scalable collaborative zk-SNARKs (coZK) with applications to private proof delegation.☆58Aug 2, 2025Updated 7 months ago
- High performance EraVM for zkSync.☆23Updated this week
- MNIST image classification neural network implemented entirely on the EVM☆29Mar 8, 2025Updated 11 months ago
- ☆23Mar 8, 2024Updated last year
- A re-implemented ECC circuits with halo2.☆29Nov 23, 2024Updated last year
- gkr-mimc is a POC-grad gnark gadget to accelerate the proving time of Mimc computation☆25Jun 24, 2024Updated last year
- Sparse Merkle tree implementation in TypeScript.☆28Apr 8, 2021Updated 4 years ago
- Web Proofs using zk-SXG☆30Nov 16, 2024Updated last year
- A collection of the Notes on the Nova folding scheme explained from scratch☆29Jun 12, 2024Updated last year
- A monorepo of reusable Circom circuits.☆28Jun 30, 2025Updated 8 months ago
- ☆27May 20, 2022Updated 3 years ago
- Zero-Knowledge Proof of Exploit☆43Jan 6, 2026Updated last month
- linear-time sumcheck protocol for multilinear polynomials and related addends☆86Nov 21, 2025Updated 3 months ago
- zkSNARKs as a service using secure multi-party computation.☆30Jan 19, 2024Updated 2 years ago
- This repo compiles .zkasm to a json ready for the zkExecutor☆31Oct 18, 2024Updated last year
- zero knowledge proof aggregator for general circuit☆73May 20, 2024Updated last year