awesome-zero-knowledge-proofs-security

https://github.com/Xor0v0/awesome-zero-knowledge-proofs-security

Last synced: 2 days ago
JSON representation

4. Learning Resources
- Blogs
- Videos & Podcast
- 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
- Videos
  - Introduction to ZK Security Research - circuits is widely accepted.
- zkHACK/CTF/Puzzles
- Miscellaneous
- Lectures
  - Algebraic Error Correcting Codes
1. Introduction
- Zero Knowledge Proof (ZKP)
2. Vulnerability Classification
- pedersen
- cairo VM - labs/zksync-era), etc.) and general programs ([RISC Zero](https://dev.risczero.com/api/zkvm/), [SP1](https://github.com/succinctlabs/sp1), etc.) .
- puzzle
- Solidity - lang.org/)) and other traditional programs, which security will not be discussed here for now.
3. Security Consideration
- circom
  - blockdev's slides
  - Best Practices for Large Circom Circuits
- cairo
  - starknet book
  - cairo-the-starknet-way-to-writing-safe-code by Nethermind Security
Acknowledgements
- Miscellaneous
  - Nullity
  - Nullity

Programming Languages

Cairo 4 Solidity 4 Rust 3

Categories

4. Learning Resources 100 3. Security Consideration 4 2. Vulnerability Classification 4 Acknowledgements 2 1. Introduction 1

Sub Categories

Blogs 24 zkHACK/CTF/Puzzles 22 Videos & Podcast 16 Audit Reports 15 Miscellaneous 10 Papers 7 Books & Docs 6 circom 2 cairo 2 Videos 1 Lectures 1

Keywords

starknet 2 cairo-lan 2 cairo 2 vulnerabilities 2 solidity 2 ethereum 2 zkp 1 stark 1 rust 1 programming-language 1 cryptography 1 compiler 1 blockchain 1 zk-snarks 1 team-crypto 1 snark 1 knowledge-proofs 1 explaining-snarks 1