github/zk-bug-tracker
1
1
Fork 0
mirror of https://github.com/0xPARC/zk-bug-tracker.git synced 2026-01-08 21:38:06 -05:00
Code Issues Packages Projects Releases Wiki Activity

Fixed zk security resources link

Browse Source
This commit is contained in:
Kyle Charbonnet
2022-12-21 15:51:22 -05:00
committed by GitHub
parent d1c0f13b44
commit 253db15406
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
README.md
View File

@@ -33,7 +33,7 @@ If you would like to add a "bug in the wild" or a "common vulnerability", there
6. [Frozen Heart: Forging of Zero Knowledge Proofs](#frozen-heart)
7. [Trusted Setup Leak](#trusted-setup-leak)
#### [Zk Security Resources](#zk-security-resources)
#### [Zk Security Resources](#zk-security-resources-header)
# <a name="bugs-in-the-wild-header">Bugs in the Wild</a>
@@ -774,7 +774,7 @@ This repo was inspired by a few other github repos that also document common vul
- [Solidity Security Blog](https://github.com/sigp/solidity-security-blog)
- [List of Security Vulnerabilities](https://github.com/runtimeverification/verified-smart-contracts/wiki/List-of-Security-Vulnerabilities)
# <a name="zk-security-resources">Zk Security Resources</a>
# <a name="zk-security-resources-header">Zk Security Resources</a>
1. ["Security of ZKP projects: same but different"](https://www.aumasson.jp/data/talks/zksec_zk7.pdf) by JP Aumasson @ [Taurus](https://www.taurushq.com/). Great slides outlining the different types of zk security vulnerabilities along with examples.
2. [Circomspect](https://github.com/trailofbits/circomspect) by [TrailOfBits](https://www.trailofbits.com/). A static analyzer for circom code to help detect vulnerabilities. The TrailOfBits [introduction post](https://blog.trailofbits.com/2022/09/15/it-pays-to-be-circomspect/) for this tool is a great read.