updates

ingonyama-zk · Oct 4, 2023 · 83d61ee · 83d61ee
1 parent 75c09de
commit 83d61ee
Show file tree

Hide file tree

Showing 11 changed files with 29 additions and 4 deletions.
diff --git a/src/applicationszk.md b/src/applicationszk.md
@@ -98,3 +98,7 @@ A compilation of materials that showcase various applications of zk technology.
     - [task definitions](https://medium.com/@z1286679231/definition-and-characteristics-of-p1-p2-c1-c2-in-ipfs-filecoin-49daa3b735e3)
     - [PoRep circuit blog](https://trapdoortech.medium.com/filecoin-porep-circuit-introduction-43415d97730c)
     - [Precommit 2](https://trapdoortech.medium.com/filecoin-deep-into-precommit2-logic-710392c6b00c)
+
+## other applications
+
+- [Private search engine](https://educatedguesswork.org/posts/tiptoe/)
diff --git a/src/commitmentzk.md b/src/commitmentzk.md
@@ -25,4 +25,8 @@
 - **Inner product Arguments (IPA)** 
   - [Inner product arguments - Dankrad Feist](https://dankradfeist.de/ethereum/2021/07/27/inner-product-arguments.html)
   - [IPA by hand - arnacube](https://arnaucube.com/blog/ipa.html)
-  - [IPA commitment scheme Lambdaclass](https://blog.lambdaclass.com/ipa-and-a-polynomial-commitment-scheme/)
+  - [IPA commitment scheme Lambdaclass](https://blog.lambdaclass.com/ipa-and-a-polynomial-commitment-scheme/)
+- **Lattice based commitment Schemes**
+  - [Vortex](https://eprint.iacr.org/2022/1633)
+  - [SLAP](https://eprint.iacr.org/2023/1469)
+    - [Blog](https://gfenzi.io/lattices/slap/)
diff --git a/src/curatedzk.md b/src/curatedzk.md
@@ -44,6 +44,7 @@ A collection of libraries where you can create a ZKP.
   - [Circom tutorials by 0xparc](http://learn.0xparc.org/materials/circom/prereq-materials/intro/)
 - [Halo 2 - library](https://zcash.github.io/halo2/index.html)
   - [Awesome: Halo2](https://github.com/adria0/awesome-halo2)
+  - [Halo2 club](https://halo2.club)
   - [Latest development in Halo2](https://www.youtube.com/watch?v=V1RgGn1GtqM)
   - [Guide to Halo2 source code](https://starli.medium.com/zero-knowledge-proof-a-guide-to-halo2-source-code-9be0cf792f18)
   - [ZK MOOC halo2 circuit building](https://github.com/scroll-tech/zk-mooc-halo2)
@@ -60,6 +61,7 @@ A collection of libraries where you can create a ZKP.
   - [Halo2 app and wasm 2](https://medium.com/@yujiangtham/building-a-zero-knowledge-web-app-with-halo-2-and-wasm-part-2-379477444dc3)
   - [Halo2 review](https://drive.google.com/file/d/12-e1g8Ad7q0avIOge-NELNBaDlpmk0TV/view?usp=sharing)
   - [Automated analysis of halo2 circuits](https://eprint.iacr.org/2023/1051)
+  - [halo2 circuitry tutorial](https://jtriley.substack.com/p/constructing-zk-snark-circuits?r=1qyfrf)
 - [Zokrates](https://github.com/Zokrates/ZoKrates)
 - [Crrl: Cryptography research library - Thomas Pornin](https://github.com/pornin/crrl)
 - [Bellman (not updated)](https://github.com/zkcrypto/bellman)

diff --git a/src/handsonzk.md b/src/handsonzk.md
@@ -44,6 +44,7 @@ Our hands-on approach to learning ZK proofs provides interactive and practical t
   - [Part 1 : Fields](https://research.nccgroup.com/2020/07/06/pairing-over-bls12-381-part-1-fields/)
   - [Part 2 : Curves](https://research.nccgroup.com/2020/07/13/pairing-over-bls12-381-part-2-curves/)
   - [Part 3 : Pairing](https://research.nccgroup.com/2020/08/13/pairing-over-bls12-381-part-3-pairing/)
+- [An overview of ZKtooling and proof systems right now: Sep 2023](https://blog.aayushg.com/posts/zk)
 
 ## Challenges and hackathons
 
@@ -57,6 +58,7 @@ Our hands-on approach to learning ZK proofs provides interactive and practical t
 - [The Rust book](https://doc.rust-lang.org/book/title-page.html)
   - [rust book with interactive quizzes](https://rust-book.cs.brown.edu)
   - [The Rust book course](https://www.youtube.com/playlist?list=PLai5B987bZ9CoVR-QEIN9foz4QCJ0H2Y8)
+  - [Rust guide books](https://securrtech.medium.com/complete-guide-to-rust-zero-to-one-to-hacking-e1f4380ae95c)
 - [Comprehensive rust by google](https://google.github.io/comprehensive-rust/)
 - [Print and keep nearby - cheats.rs](https://cheats.rs)
 - [Tutorials](https://fasterthanli.me)
@@ -82,3 +84,5 @@ Our hands-on approach to learning ZK proofs provides interactive and practical t
   - [Criterion introduction](https://www.notamonadtutorial.com/benchmarking-and-analyzing-rust-performance-with-criterion-and-iai/)
 - [The benchmark game](https://benchmarksgame-team.pages.debian.net/benchmarksgame/why-measure-toy-benchmark-programs.html)
 - [Zkalc](https://zka.lc/charts)
+- [zkBench](https://eprint.iacr.org/2023/1503)
+  - [Benchmarks](https://zkbench.dev)
diff --git a/src/hwzk.md b/src/hwzk.md
@@ -28,4 +28,5 @@
 
 ## TEE and confidential computing
 
-- [TEE for CPU and GPU Nvidia](https://github.com/NVIDIA/nvtrust)
+- [TEE for CPU and GPU Nvidia](https://github.com/NVIDIA/nvtrust)
+- [TEE for blockchain applications](https://www.youtube.com/watch?v=Xq7oWtiwWII)
diff --git a/src/introfhe.md b/src/introfhe.md
@@ -17,6 +17,8 @@
 - [ML and FHE](https://medium.com/zama-ai/the-r-evolution-of-fhe-485b54a6e69c)
 - [Solving LLM Privacy with FHE](https://medium.com/@ingonyama/solving-llm-privacy-with-fhe-3486de6ee228)
 - [How Snarks fall short for FHE](https://blog.sunscreen.tech/snarks-shortcomings/)
+- [fhevm](https://github.com/zama-ai/fhevm)
+  - [fhEVM - Morten Dahl](https://www.youtube.com/watch?v=vreZoESyBCs)
 
 
 ## Implementations

diff --git a/src/mathzkp.md b/src/mathzkp.md
@@ -14,4 +14,4 @@ The resources on the mathematics behind ZK proofs delve into the complex theorie
 
 ## [FFT](./fft.md)
 
-## [MSM](./msm.md)
+## [MSM](./msm.md)
diff --git a/src/provingzk.md b/src/provingzk.md
@@ -38,3 +38,7 @@
 - [Resource: Awesome Folding](https://github.com/lurk-lab/awesome-folding)
 - [How to build a snark that is out of this world - Nat Bunner](https://hackmd.io/@ndbunner/B1hmeoGEn)
 - [An incomplete guide to FOlding schemes - Lisa](https://taiko.mirror.xyz/tk8LoE-rC2w0MJ4wCWwaJwbq8-Ih8DXnLUf7aJX1FbU)
+
+## General
+
+- [Succinct Proofs and Linear Algebra](https://angeris.github.io/papers/zk-linalg.pdf)
diff --git a/src/starks.md b/src/starks.md
@@ -42,3 +42,5 @@ A collection of resources explaining Starks.
   - [EthSTARK](https://www.youtube.com/watch?v=rReCK7TWCJI)
     - [code](https://github.com/starkware-libs/ethSTARK)
     - [documentation](https://eprint.iacr.org/2021/582.pdf)
+- [Stone Prover](https://github.com/starkware-libs/stone-prover)
+  - [An overview](https://blog.lambdaclass.com/overview-of-the-stone-prover/)
diff --git a/src/vulnerabilities.md b/src/vulnerabilities.md
@@ -22,4 +22,5 @@ Potential vulnerabilities and security in ZK systems
 - [Feldman Secret sharing attacks](https://www.zkdocs.com/docs/zkdocs/protocol-primitives/verifiable-secret-sharing/)
 - [Threshold signature pitfalls](https://www.jcraige.com/dangers-of-determinism-in-threshold-signatures)
 - [VSS forgery](https://www.jcraige.com/vss-forgery)
-- [Boomerang values in ZK](https://www.zksecurity.xyz/blog/posts/boomerang/)
+- [Boomerang values in ZK](https://www.zksecurity.xyz/blog/posts/boomerang/)
+- [GPUz.zip Sidechannel attacks on GPUs](https://www.hertzbleed.com/gpu.zip/)
diff --git a/src/zkbeginner.md b/src/zkbeginner.md
@@ -22,6 +22,7 @@ Understanding ZK from beginner to advanced on a surface level.
 - [Math survival kit for zk developers - lambdaclass](https://www.notamonadtutorial.com/math-survival-kit-for-developers/)
 - [Understanding polynomials](https://www.zkcamp.xyz/blog/you-cant-understand-zkps-without-understanding-polynomials)
 - [Intro to ZK in block chain and economics](https://files.stlouisfed.org/files/htdocs/publications/review/2023/05/12/an-introduction-to-zero-knowledge-proofs-in-blockchains-and-economics.pdf)
+- [A journey into ZKP - David Wong](https://www.cryptologie.net/article/600/a-journey-into-zero-knowledge-proofs/)
 
 ## Advanced
Original file line number	Diff line number	Diff line change
Expand Up		@@ -14,4 +14,4 @@ The resources on the mathematics behind ZK proofs delve into the complex theorie

		## [FFT](./fft.md)

		## [MSM](./msm.md)
		## [MSM](./msm.md)