From 253db1540606b7a90519198edf0bed1ce3818730 Mon Sep 17 00:00:00 2001 From: Kyle Charbonnet Date: Wed, 21 Dec 2022 15:51:22 -0500 Subject: [PATCH] Fixed zk security resources link --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index c652c9d..e05394e 100644 --- a/README.md +++ b/README.md @@ -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) # Bugs in the Wild @@ -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) -# Zk Security Resources +# Zk Security Resources 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.