StefanosChaliasos / Awesome-ZKP-SecurityView external linksLinks
A curated list of awesome security resources for ZK.
☆118Nov 3, 2025Updated 3 months ago
Alternatives and similar repositories for Awesome-ZKP-Security
Users that are interested in Awesome-ZKP-Security are comparing it to the libraries listed below
Sorting:
- Contains several examples and challenges to use Lambdaworks☆15Sep 7, 2023Updated 2 years ago
- A curated list of zkVM, zero-knowledge virtual machine☆302Sep 29, 2025Updated 4 months ago
- Reproduce ZKP vulnerabilities☆319Nov 25, 2025Updated 2 months ago
- Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆134Updated this week
- Automated verification of uniqueness property for ZKP circuits☆93Mar 13, 2024Updated last year
- Rust implementation of KZG point evaluation☆35Feb 5, 2026Updated last week
- This repository contains Zk learning resources☆159Aug 23, 2024Updated last year
- ZK Circuit Fuzzer (IEEE S&P'26)☆37Nov 19, 2025Updated 2 months ago
- zkBank is the most secure banking system in the world, powered by ZK, gnark, and GKR!☆208Jun 8, 2024Updated last year
- A verifiable supercomputer☆77Jun 26, 2025Updated 7 months ago
- A course on Halo2 in collaboration with Zircuit☆35Jan 14, 2025Updated last year
- Notes for auditing☆15Sep 18, 2024Updated last year
- A community-maintained collection of bugs, vulnerabilities, and exploits in apps using ZK crypto.☆713Dec 19, 2024Updated last year
- Collection of security reviews of ZK Protocols☆239Dec 1, 2024Updated last year
- ☆37Jun 24, 2024Updated last year
- Create printable flash cards from Secureum list based articles☆10Apr 12, 2023Updated 2 years ago
- ☆10Sep 22, 2022Updated 3 years ago
- A curated list of awesome things related to learning Circle STARK.☆33Aug 26, 2025Updated 5 months ago
- Lecture notes & exercises from Sparkling Water Bootcamp in Cryptography 0b10.☆29Oct 13, 2024Updated last year
- A collection of resources relevant to the PSE Security Team.☆12Apr 17, 2023Updated 2 years ago
- 翻譯區塊鏈相關專有名詞☆11Jun 12, 2025Updated 8 months ago
- A curated list of Zero Knowledge links, mostly focusing on blockchain.☆354Sep 2, 2025Updated 5 months ago
- A ZK-VM for the Brainfuck language, based on Stwo☆34Apr 3, 2025Updated 10 months ago
- ☆97Updated this week
- Monorepo of tools for using the halo2 proving system in-browser using WASM.☆56Jun 20, 2024Updated last year
- Fast paced learning group for ZK enthusiasts focused on circuit development & Security☆35Sep 14, 2023Updated 2 years ago
- SMT 2023 Submission; license pending☆57Jan 28, 2026Updated 2 weeks ago
- Experimental folding schemes library☆260Feb 6, 2026Updated last week
- A curated list of awesome resources for learning and programming with Circom☆23May 15, 2023Updated 2 years ago
- bottom text☆16Jan 26, 2024Updated 2 years ago
- ☆175Updated this week
- A library of blockchain security resources for various categories in blockchain.☆178Apr 16, 2025Updated 10 months ago
- ☆25Aug 14, 2024Updated last year
- My publicly available audit and bug reports☆18Nov 23, 2025Updated 2 months ago
- A curated list of resources for learning about Trusted Execution Environments (TEEs) in the context of blockchains.☆38Oct 2, 2025Updated 4 months ago
- A performant and modular zkVM framework built for customization and extensibility.☆309Updated this week
- Implementation of zero knowledge proof protocol - Groth16, Plonk. For education purposes. Not a production ready code.☆80Dec 23, 2023Updated 2 years ago
- Benchmark of ZKVMs and Proving Schemes☆32Dec 12, 2025Updated 2 months ago
- ☆37Dec 11, 2025Updated 2 months ago