From f37ac689cb7c6e3849a93b4f055115724c1c7eec Mon Sep 17 00:00:00 2001 From: krakhit <61501745+krakhit@users.noreply.github.com> Date: Thu, 28 Mar 2024 18:57:48 +0200 Subject: [PATCH] updates --- src/applicationszk.md | 1 + src/handsonzk.md | 2 +- src/provingzk.md | 5 ++++- src/vulnerabilities.md | 1 + 4 files changed, 7 insertions(+), 2 deletions(-) diff --git a/src/applicationszk.md b/src/applicationszk.md index 651dab9..db98272 100644 --- a/src/applicationszk.md +++ b/src/applicationszk.md @@ -89,6 +89,7 @@ A compilation of materials that showcase various applications of zk technology. - [Cost of intelligence - proving ML inference with ZK](https://github.com/Modulus-Labs/Papers/blob/master/Cost_Of_Intelligence.pdf) - [Scaling Intelligence - Verifiable decision forest inference with remainder](https://github.com/Modulus-Labs/Papers/blob/master/remainder-paper.pdf) - [Verifiable evaluations of ML models using ZKSnarks](https://arxiv.org/abs/2402.02675) +- [An overview of Decentralized inference](https://medium.com/dragonfly-research/dont-trust-verify-an-overview-of-decentralized-inference-c471a9f7a586) ## ZK Gaming diff --git a/src/handsonzk.md b/src/handsonzk.md index 23c397d..cd49fe4 100644 --- a/src/handsonzk.md +++ b/src/handsonzk.md @@ -49,7 +49,7 @@ Our hands-on approach to learning ZK proofs provides interactive and practical t ## Challenges and hackathons - [Berkeley RDI ZKP-Web3 hackathon](https://zk-hacking.org/#) -- [Zk hack puzzles](https://www.zkhack.dev/mini.html) +- [Zk hack puzzles](https://zkhack.dev/puzzles/) - [Ingonyama ZK CTF-May 2023](https://github.com/ingonyama-zk/zkctf-2023-writeups) - [List of open problems in Crypto II](https://crypto.mirror.xyz/hl284jc3A2MI_QeTE39nRsTPihOigNuLKIWjiU2pFzw) diff --git a/src/provingzk.md b/src/provingzk.md index 7a14862..1d9c1b4 100644 --- a/src/provingzk.md +++ b/src/provingzk.md @@ -27,8 +27,9 @@ - [Part 1 - Lambdaclass](https://blog.lambdaclass.com/snarks-on-binary-fields-binius/) - [Part 2 - Lambdaclass](https://blog.lambdaclass.com/binius-part-2/) - [Explaining the GKR method - Gabizon](https://www.youtube.com/watch?v=REVXWyQjmPQ) +- [GKR based ZKP - Kalai](https://www.youtube.com/watch?v=x8pUxFptfb0) -## Low degree Testing/FRI +## Low degree Testing/Reed-Solomon Proximity testing - [STARK paper](https://eprint.iacr.org/2018/046.pdf) - [DEEP - FRI](https://eprint.iacr.org/2019/336.pdf) @@ -39,6 +40,8 @@ - [Barycentric low deg check - Dankrad Feist](https://notes.ethereum.org/@dankrad/barycentric_low_degree_check) - [Low Degree Testing](https://medium.com/starkware/low-degree-testing-f7614f5172db) - [Data Availability sampling from FRI](https://eprint.iacr.org/2024/248) +- [Circle STARKS](https://eprint.iacr.org/2024/278) +- [STIR: Reed–Solomon Proximity Testing with Fewer Queries](https://eprint.kobi.one/2024/390) ## Lookup arguments diff --git a/src/vulnerabilities.md b/src/vulnerabilities.md index 5bd4dd8..8c11730 100644 --- a/src/vulnerabilities.md +++ b/src/vulnerabilities.md @@ -4,6 +4,7 @@ Potential vulnerabilities and security in ZK systems --- +- [SoK: What don't we know? Understanding Security Vulnerabilities in SNARKs](https://arxiv.org/abs/2402.15293) - [ZK bug tracker by0xparc](https://github.com/0xPARC/zk-bug-tracker) - [bug tracker intro](https://www.youtube.com/watch?v=1RQSwj8h8rM) - [Vulnerabilities in zk systems](https://blog.trailofbits.com/2022/04/13/part-1-coordinated-disclosure-of-vulnerabilities-affecting-girault-bulletproofs-and-plonk/)