Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
awesome-zero-knowledge-proofs-security
https://github.com/Xor0v0/awesome-zero-knowledge-proofs-security
Last synced: 3 days ago
JSON representation
-
4. Learning Resources
-
Blogs
- Zellic Blog
- zkSecurity Blog
- David Wong Blog
- LambdaClass Blog
- Nethermind Blog
- Ingonyama Blog
- Open Zeppelin Blog
- samczsum Blog
- 0xPARC Blog
- zkHACK Blog
- Zellic Blog
- zkSecurity Blog
- David Wong Blog
- LambdaClass Blog
- Nethermind Blog
- Ingonyama Blog
- Open Zeppelin Blog
- samczsun' Blog
- Consensys: Endeavors into the zero-knowledge Halo2 proving system
- Frozen Heart
- Two Vulnerabilities in gnark's Groth16 Proofs
- Rot256 Blog
- Xor0v0 Blog
-
Videos & Podcast
- Introduction to ZK Security Research - circuits is widely accepted.
- zBlock1
- Zero-knowledge proof composition and incursion
- Zero Knowledge Podcast
- ZK Whiteboard Sessions
- ZK Submit
- ZK Study Club
- ZKP Mooc
- Thaler Book Study Club
- A16Z Summer Research Seminars
- Foundations of Probabilistic Proofs
- zBlock1
- Moon Math Club
- Probabilistically Checkable Proofs and Interactive Proofs
- An introduction to the Arithmetic of Elliptic Curve - Robledo.
- The PLONK zero knoledge proof system
-
Audit Reports
- ZK Related Security Reviews
- code4rena Report
- solodit - the-shelf audit reports.
- ZK Related Security Reviews
- code4rena Report
- solodit - the-shelf audit reports.
- Solidity Security Blog
- Solidity Security Blog
- not-so-smart-contract
- List of Security Vunerabilities
- Opus-2024_01-c4
- not-so-smart-contract
- List of Security Vunerabilities
- Opus-2024_01-c4
- Argent-Account-2023_6-consensys
-
Books & Docs
- Proofs, Arguments, and Zero-Knowledge (PAZK)
- Hash-based SNARGs-Book
- ZKDocs
- The RareSkills Book of Zero Knowledge
- Pairings for beginners
- ZKPunk - Knowledge Proof (ZKP) technology, dedicated to promoting its adoption and development
-
Papers
- CirC: Compiler infrastructure for proof systems, software verification, and more
- Weak Fiat-Shamir Attacks on Modern Proof Systems
- On the practical CPAD security of “exact” and threshold FHE schemes and libraries
- Attacks Against the INDCPA-D Security of Exact FHE Schemes
- Automated Analysis of Halo2 Circuits
- CirC: Compiler infrastructure for proof systems, software verification, and more
- SoK: What Don’t We Know? Understanding Security Vulnerabilities in SNARKs
-
Videos
- Introduction to ZK Security Research - circuits is widely accepted.
-
zkHACK/CTF/Puzzles
- zkHACKs
- Paradigm CTF Infrastructure
- Open Zeppelin CTF
- Ingonyama CTF
- RareSkill ZK Puzzles
- cairo-damn-vulnerable
- starknet-security-challenges.app
- StarknetCC-CTF
- 2023 Ingonyama CTF WP by shuklaayush
- 2023 Ingonyama CTF Official WP
- zkHACKs
- Paradigm CTF
- Paradigm CTF Infrastructure
- Open Zeppelin CTF
- Ingonyama CTF
- RareSkill ZK Puzzles
- cairo-damn-vulnerable
- starknet-security-challenges.app
- StarknetCC-CTF
- 2023 Ingonyama CTF WP by shuklaayush
- 2023 Ingonyama CTF Official WP
-
Miscellaneous
-
Lectures
-
-
1. Introduction
-
2. Vulnerability Classification
-
3. Security Consideration
-
Acknowledgements
Programming Languages
Categories
Sub Categories