updates

ingonyama-zk · Mar 28, 2024 · f37ac68 · f37ac68
1 parent cbd7959
commit f37ac68
Show file tree

Hide file tree

Showing 4 changed files with 7 additions and 2 deletions.
diff --git 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
@@ -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
@@ -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
@@ -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/)