Updated references and fixed broken links

ingonyama-zk · Dec 13, 2024 · ae63b6c · ae63b6c
1 parent da56004
commit ae63b6c
Show file tree

Hide file tree

Showing 9 changed files with 33 additions and 15 deletions.
diff --git a/src/applicationszk.md b/src/applicationszk.md
@@ -8,6 +8,8 @@ A compilation of materials that showcase various applications of zk technology.
 
 ## General
 
+- [A map of ZK applications](https://zkv.xyz/the-map-of-zk/)
+- [Open engineering problems in ZK](https://equilibrium.co/writing/open-problems-in-privacy)
 - [A cambrian explosion of crypto proofs - Ben Sasson](https://nakamoto.com/cambrian-explosion-of-crypto-proofs/)
 - [Using ZKP to fight disinformation - Boneh, Datta](https://medium.com/@boneh/using-zk-proofs-to-fight-disinformation-17e7d57fe52f)
   - [talk](https://iacr.org/submit/files/slides/2023/rwc/rwc2023/13/slides.pdf)
@@ -57,6 +59,11 @@ A compilation of materials that showcase various applications of zk technology.
   - [RISC0 ZK VM](https://www.risczero.com)
     - [RISC0 proof system](https://www.risczero.com/proof-system-in-detail.pdf)
     - [RISC0 Code](https://github.com/risc0/risc0)
+  - [Jolt VM](https://github.com/a16z/jolt)
+    - [Jolt book](https://jolt.a16zcrypto.com/intro.html)
+    - [Jolt a technical deep dive](https://www.zksecurity.xyz/blog/posts/how-jolt-works/)
+    - [FAQs on implementation](https://a16zcrypto.com/posts/article/faqs-on-jolts-initial-implementation/)
+    - [Jolt from theory to code](https://a16zcrypto.com/posts/article/building-on-lasso-and-jolt/)
   - [OlaVM](https://sin7y.org/)
   - [zkWasm](http://www.delphinuslab.com/)
   - [Loopring](https://loopring.org/#/about)

diff --git a/src/curatedzk.md b/src/curatedzk.md
@@ -75,6 +75,7 @@ A collection of libraries where you can create a ZKP.
   - [Zero cost commitments in Halo2](https://blog.ezkl.xyz/post/commits/)
   - [Splitting and parallelizing proofs in ezkl](https://blog.ezkl.xyz/post/splitting/)
   - [origami folding scheme for halo2 lookup](https://hackmd.io/@aardvark/rkHqa3NZ2)
+  - [Halo2: Zk security book](https://halo2.zksecurity.xyz/intro/)
 - [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)
@@ -84,12 +85,15 @@ A collection of libraries where you can create a ZKP.
 - [Cairo](https://github.com/starkware-libs/cairo)
   - [Cairo resource](https://www.cairo-lang.org/resources/)
 
-## Math/Crypto libraries
+## Math/Crypto/Lattice libraries
 
 - [FLINT - number theory](https://flintlib.org/doc/index.html)
 - [CryptoPP](https://github.com/weidai11/cryptopp)
 - [nalgebra - linear algebra for rust](https://github.com/dimforge/nalgebra)
 - [NTL lattice lib](https://github.com/libntl/ntl)
+- [Lazarus rust](https://github.com/lattice-complete/Lazarus)
+- [Lazer c++](https://github.com/lazer-crypto/lazer)
+- [Lattice based snarks over libsnark - c++](https://github.com/lattice-based-zkSNARKs/lattice-zksnark)
 
 ## HW libraries
 

diff --git a/src/handsonzk.md b/src/handsonzk.md
@@ -30,13 +30,13 @@ Our hands-on approach to learning ZK proofs provides interactive and practical t
 - [Proofs args and zk study group implementations](https://github.com/thor314/pazk)
 - [Cryptopals challenges](https://cryptopals.com)
 - [Starkware101](https://github.com/starkware-industries/stark101/tree/master)
-- [Verifiable AES](https://www.notamonadtutorial.com/verifiable-encryption-using-zero-knowledge-proofs/)
+- [Verifiable AES](https://blog.lambdaclass.com/verifiable-encryption-using-zero-knowledge-proofs/)
   - [code: lambdaclass](https://github.com/lambdaclass/AES_zero_knowledge_proof_circuit)
 - [Merkle patricia tree: lambdaclass](https://github.com/lambdaclass/merkle_patricia_tree)
 - [Haskell: Introduction](https://simonjohnthompson.github.io/craft3e/craft3e.pdf)
 - [Practical Cryptography for Devs: Nakov](https://cryptobook.nakov.com)
-- [Transforming code into arithmetic circuits](https://www.notamonadtutorial.com/how-to-transform-code-into-arithmetic-circuits/)
-- [Differential fuzzing](https://www.notamonadtutorial.com/do-you-want-quality-code-learn-how-to-use-differential-fuzzers/)
+- [Transforming code into arithmetic circuits](https://blog.lambdaclass.com/how-to-transform-code-into-arithmetic-circuits/)
+- [Differential fuzzing](https://blog.lambdaclass.com/do-you-want-quality-code-learn-how-to-use-differential-fuzzers/)
 - [Zkvm step by step](https://eprint.iacr.org/2023/1032)
 - [Zk smart contract tutorial](https://medium.com/cyfrin/how-to-create-a-zk-smart-contract-cd948a673749)
 - [optimizing pairing based cryptography, montgomery arithmetic in rust](https://research.nccgroup.com/2021/06/09/optimizing-pairing-based-cryptography-montgomery-arithmetic-in-rust/)
@@ -54,7 +54,6 @@ Our hands-on approach to learning ZK proofs provides interactive and practical t
 - [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)
 
-
 ## Rust learning resources for ZK/cryptography
 
 - [The Rust book](https://doc.rust-lang.org/book/title-page.html)
@@ -80,16 +79,14 @@ Our hands-on approach to learning ZK proofs provides interactive and practical t
 
 - [GPU-Puzzles](https://github.com/srush/GPU-Puzzles)
 
-
 ## Benchmarking tools
 
 - [code](https://github.com/delendum-xyz/zk-benchmarking)
-- [Benchmarking with Rust](https://www.notamonadtutorial.com/benchmarking-and-analyzing-rust-performance-with-criterion-and-iai/)
+- [Benchmarking with Rust](https://blog.lambdaclass.com/benchmarking-and-analyzing-rust-performance-with-criterion-and-iai/)
 - [Flamegraphs](https://www.brendangregg.com/flamegraphs.html)
   - [code](https://github.com/brendangregg/FlameGraph)
   - [code:flamegraphs from hierarchical data](https://github.com/spiermar/d3-flame-graph)
 - [Criterion](https://bheisler.github.io/criterion.rs/book/criterion_rs.html)
-  - [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)

diff --git a/src/protocolsFoldingSchemes.md b/src/protocolsFoldingSchemes.md
@@ -2,8 +2,8 @@
 
 |Protocols|Paper|Implementation |Resources |Universal|Transparent|
 |:---:|---|:---:|:---:|:---:|:---:|
-Nova - 2021|[→📝](https://eprint.iacr.org/2021/370.pdf)|[microsoft](https://github.com/microsoft/Nova)|</li><li>Srinath Setty - Talk[[1]](https://drive.google.com/file/d/1aLQeB_ca9k7NrWRHY00QauZIe7hmt6_u/view?pli=1)</li><li>Srinath Setty - Video[[2]](https://www.youtube.com/watch?v=mY-LWXKsBLc)</li><li>IACR talk slides[[3]](https://iacr.org/submit/files/slides/2022/crypto/crypto2022/334/slides.pdf)</li><li>IVC:Nova lambdaclass[[4]](https://www.notamonadtutorial.com/incrementally-verifiable-computation-nova/)</li><li>Nova - zkstudy club talk[[5]](https://drive.google.com/file/d/1pIPoRUcMvhsoSWLami5T1KHc5oqkUAZH/view)</li><li>zkstudy club video[[6]](https://www.youtube.com/watch?v=ilrvqajkrYY)
-Supernova - 2022|[→📝](https://eprint.iacr.org/2022/1758)|[jules](https://github.com/jules/supernova)|[Champagne supernova: lambdaclass](https://www.notamonadtutorial.com/periodic-constraints-and-recursion-in-zk-starks/)
+Nova - 2021|[→📝](https://eprint.iacr.org/2021/370.pdf)|[microsoft](https://github.com/microsoft/Nova)|</li><li>Srinath Setty - Talk[[1]](https://drive.google.com/file/d/1aLQeB_ca9k7NrWRHY00QauZIe7hmt6_u/view?pli=1)</li><li>Srinath Setty - Video[[2]](https://www.youtube.com/watch?v=mY-LWXKsBLc)</li><li>IACR talk slides[[3]](https://iacr.org/submit/files/slides/2022/crypto/crypto2022/334/slides.pdf)</li><li>IVC:Nova lambdaclass[[4]](https://blog.lambdaclass.com/incrementally-verifiable-computation-nova/)</li><li>Nova - zkstudy club talk[[5]](https://drive.google.com/file/d/1pIPoRUcMvhsoSWLami5T1KHc5oqkUAZH/view)</li><li>zkstudy club video[[6]](https://www.youtube.com/watch?v=ilrvqajkrYY)
+Supernova - 2022|[→📝](https://eprint.iacr.org/2022/1758)|[jules](https://github.com/jules/supernova)|[Champagne supernova: lambdaclass](https://blog.lambdaclass.com/champagne-supernova-incrementally-verifiable-computation-2/)
 Hypernova - 2023|[→📝](https://eprint.iacr.org/2023/573)| |[CCS: Customizable constraint systems for succinct arguments](https://eprint.iacr.org/2023/552)
 Sangria - 2023|[→📝](https://github.com/geometryresearch/technical_notes/blob/main/sangria_folding_plonk.pdf)| |[Blog](https://geometryresearch.xyz/notebook/sangria-a-folding-scheme-for-plonk)
 Protostar - 2023|[→📝](https://eprint.iacr.org/2023/620)||[Deep dive into Protostar paper & protocol - Binyi Chen](https://www.youtube.com/watch?v=tt00TLFJPpc&list=PLV91V4b0yVqS1d_Vpoh40hodcQd8kMQD4&index=3)

diff --git a/src/protocolsSNARK.md b/src/protocolsSNARK.md
@@ -13,7 +13,7 @@
 |xjSNARK - 2018|[ →📝](https://akosba.github.io/papers/xjsnark.pdf)|  | |❌|❌|
 |Hyrax - 2018|[ →📝](https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8418646)| | | | | | 
 |Sonic - 2019|[ →📝](https://eprint.iacr.org/2019/099.pdf)| |[Benthams Gaze](https://www.benthamsgaze.org/2019/02/07/introducing-sonic-a-practical-zk-snark-with-a-nearly-trustless-setup/)|✅|❌|
-|Plonk - 2019|[ →📝](https://eprint.iacr.org/2019/953.pdf)|<ul><li>heliaxdev[[1]](https://github.com/heliaxdev/plonk)</li><li>kobigurk[[2]](https://github.com/kobigurk/plonk/tree/kobigurk/port_to_zexe)</li><li>ZK-Garage[[3]](https://github.com/ZK-Garage/plonk)</li><li>dusk-network[[4]](https://github.com/dusk-network/plonk)</li><li>Jellyfish (Includes Plookup)[[5]](https://github.com/EspressoSystems/jellyfish)|<ul><li>Plonk high level summary[[1]](https://www.smartcontractresearch.org/t/research-summary-plonk-permutations-over-lagrange-bases-for-oecumenical-noninteractive-arguments-of-knowledge/382)</li><li>Talk: Ariel Gabizon[[2]](https://www.youtube.com/watch?v=dHo56MhQlHk)</li><li>Talk: Zac Williamson[[3]](https://www.youtube.com/watch?v=ty-LZf0YCK0) </li><li>Understanding Plonk - Vitalik[[4]](https://vitalik.eth.limo/general/2019/09/22/plonk.html)</li><li>From AIRs to RAPs - how PLONK-style arithmetization works[[5]](https://hackmd.io/@aztec-network/plonk-arithmetiization-air#How-does-all-this-relate-to-R1CS)</li><li>Custom gates on plonk -Do whatever[[7]](https://kobi.one/2021/05/20/plonk-custom-gates.html)</li><li>Plonk Cafe[[8]](https://www.plonk.cafe/top)</li><li>Plonk: Anatomy of a proof generation: Scroll[[9]](https://scroll.io/blog/proofGeneration#heading-22)</li><li>Resource: Plonk by hand -1 Metastate[[10.1]](https://research.metastate.dev/plonk-by-hand-part-1/)</li><li>Resource: Plonk by hand -2 Metastate[[10.2]](https://research.metastate.dev/plonk-by-hand-part-2-the-proof/)</li><li>Resource: Plonk by hand -3 Metastate[[10.3]](https://research.metastate.dev/plonk-by-hand-part-3-verification/) </li><li>Resource: Plonk and Plookup Metastate[[10.4]](https://research.metastate.dev/on-plonk-and-plookup/)</li><li>Turboplonk[[11]](https://docs.zkproof.org/pages/standards/accepted-workshop3/proposal-turbo_plonk.pdf)</li><li>Custom gates in plonk[[12]](https://www.plonk.cafe/t/details-of-custom-gate/122)</li><li>Plonk: Thomas Piellard[[13]](https://hackmd.io/@gnark/plonk)</li><li>ZKP intro to Plonk - Star Li[[14]](https://trapdoortech.medium.com/zkp-plonk-algorithm-introduction-834556a32a)</li><li>Multi set checks in Plonk and Plookup: Gabizon[[15]](https://hackmd.io/@arielg/ByFgSDA7D)</li><li>Plonk - Kimchi: Mina Protocol[[16.1]](https://eng-blog.o1labs.org/posts/plonk/)</li><li>Kimchi[[16.2]](https://minaprotocol.com/blog/kimchi-the-latest-update-to-minas-proof-system)</li><li>Plonk not a monad tutorial[[17]](https://blog.lambdaclass.com/all-you-wanted-to-know-about-plonk/?utm_source=substack&utm_medium=email)|✅|❌|
+|Plonk - 2019|[ →📝](https://eprint.iacr.org/2019/953.pdf)|<ul><li>heliaxdev[[1]](https://github.com/heliaxdev/plonk)</li><li>kobigurk[[2]](https://github.com/kobigurk/plonk/tree/kobigurk/port_to_zexe)</li><li>ZK-Garage[[3]](https://github.com/ZK-Garage/plonk)</li><li>dusk-network[[4]](https://github.com/dusk-network/plonk)</li><li>Jellyfish (Includes Plookup)[[5]](https://github.com/EspressoSystems/jellyfish)|<ul><li>Plonk high level summary[[1]](https://www.smartcontractresearch.org/t/research-summary-plonk-permutations-over-lagrange-bases-for-oecumenical-noninteractive-arguments-of-knowledge/382)</li><li>Talk: Ariel Gabizon[[2]](https://www.youtube.com/watch?v=dHo56MhQlHk)</li><li>Talk: Zac Williamson[[3]](https://www.youtube.com/watch?v=ty-LZf0YCK0) </li><li>Understanding Plonk - Vitalik[[4]](https://vitalik.eth.limo/general/2019/09/22/plonk.html)</li><li>From AIRs to RAPs - how PLONK-style arithmetization works[[5]](https://hackmd.io/@aztec-network/plonk-arithmetiization-air#How-does-all-this-relate-to-R1CS)</li><li>Custom gates on plonk -Do whatever[[7]](https://kobi.one/2021/05/20/plonk-custom-gates.html)</li><li>Plonk Cafe[[8]](https://www.plonk.cafe/top)</li><li>Plonk: Anatomy of a proof generation: Scroll[[9]](https://scroll.io/blog/proofGeneration#heading-22)</li><li>Resource: Plonk by hand -1 Metastate[[10.1]](https://research.metastate.dev/plonk-by-hand-part-1/)</li><li>Resource: Plonk by hand -2 Metastate[[10.2]](https://research.metastate.dev/plonk-by-hand-part-2-the-proof/)</li><li>Resource: Plonk by hand -3 Metastate[[10.3]](https://research.metastate.dev/plonk-by-hand-part-3-verification/) </li><li>Resource: Plonk and Plookup Metastate[[10.4]](https://research.metastate.dev/on-plonk-and-plookup/)</li><li>Turboplonk[[11]](https://docs.zkproof.org/pages/standards/accepted-workshop3/proposal-turbo_plonk.pdf)</li><li>Custom gates in plonk[[12]](https://www.plonk.cafe/t/details-of-custom-gate/122)</li><li>Plonk: Thomas Piellard[[13]](https://hackmd.io/@gnark/plonk)</li><li>ZKP intro to Plonk - Star Li[[14]](https://trapdoortech.medium.com/zkp-plonk-algorithm-introduction-834556a32a)</li><li>Multi set checks in Plonk and Plookup: Gabizon[[15]](https://hackmd.io/@arielg/ByFgSDA7D)</li><li>Plonk - Kimchi: Mina Protocol[[16.1]](https://eng-blog.o1labs.org/posts/plonk/)</li><li>Kimchi[[16.2]](https://minaprotocol.com/blog/kimchi-the-latest-update-to-minas-proof-system)</li><li>All you wanted to know about Plonk[[17]](https://blog.lambdaclass.com/all-you-wanted-to-know-about-plonk/)|✅|❌|
 |Redshift - 2019|[ →📝](https://eprint.iacr.org/2019/1400)|[Redhsift Summary](https://www.smartcontractresearch.org/t/research-summary-redshift-transparent-snarks-from-list-polynominal-commitment-iops/344)| | | | | |
 |Spartan - 2019|[ →📝](https://eprint.iacr.org/2019/550.pdf)|[Microsoft](https://github.com/microsoft/Spartan) | | | | |
 |Halo - 2019|[ →📝](https://eprint.iacr.org/2019/1021.pdf)| |  |✅|✅|
@@ -30,4 +30,5 @@
 |Gemini - 2022|[ →📝](https://eprint.iacr.org/2022/420)|[Elastic SNARKs for diverse environments](https://www.youtube.com/watch?v=Suv7MN131f8)
 |Hyperplonk - 2022|[ →📝](https://eprint.iacr.org/2022/1355)|[EspressoSystems](https://github.com/EspressoSystems/hyperplonk)|</li><li>Hyperplonk - benedikt Bunz[[1]](https://www.youtube.com/watch?v=mZEXgoQL6xk)</li><li>Delendum[[2]](https://medium.com/@espressosys/hyperplonk-a-zk-proof-system-for-zkevms-d6359cc0cdb6)</li><li>Hardware friendliness of MLE-Sumcheck[[3]](https://hackmd.io/@omershlo/rJhgKJPtj)</li><li>Hardware-optimizations for SumCheck-Binyi Chen[[4]](https://hackmd.io/PBauexuMQse__I_F27J_kA?view=)
 |Testudo: Groth+Spartan - 2023|[ →📝](https://cryptonet.org/blog/testudo-efficient-snarks-with-smaller-setups)|[cryptonetlab](https://github.com/cryptonetlab/Testudo)
-|Jolt - 2023|[ →📝](https://eprint.kobi.one/2023/1217)||</li><li>Introducing Lasso and Jolt[[1]](https://a16zcrypto.com/posts/article/introducing-lasso-and-jolt/)</li><li>Boosting Lasso-Jolt[[2]](https://a16zcrypto.com/posts/article/boosting-lassojolt)</li><li>A Technical FAQ[[3]](https://a16zcrypto.com/posts/article/a-technical-faq-on-lasso-jolt-and-recent-advancements-in-snark-design)
+|Jolt - 2023|[ →📝](https://eprint.kobi.one/2023/1217)|[Jolt VM](https://github.com/a16z/jolt)|</li><li>Introducing Lasso and Jolt[[1]](https://a16zcrypto.com/posts/article/introducing-lasso-and-jolt/)</li><li>Boosting Lasso-Jolt[[2]](https://a16zcrypto.com/posts/article/boosting-lassojolt)</li><li>A Technical FAQ[[3]](https://a16zcrypto.com/posts/article/a-technical-faq-on-lasso-jolt-and-recent-advancements-in-snark-design)
+| Basefold - 2023|[ →📝](https://eprint.iacr.org/2023/1705)| [Plonkish basefold](https://github.com/hadasz/plonkish_basefold) | </li><li> Blog Lambdaclass [[1]](https://blog.lambdaclass.com/how-does-basefold-polynomial-commitment-scheme-generalize-fri/)
diff --git a/src/protocolsSTARK.md b/src/protocolsSTARK.md
@@ -7,4 +7,6 @@
 |Zilch - 2021|[ →📝 ](https://eprint.iacr.org/2020/1155.pdf)|[TrustworthyComputing](https://github.com/TrustworthyComputing/Zilch)||✅|✅|
 |Plonky - 2021|[ →📝 ](https://github.com/mir-protocol/plonky)|[mir-protocol](https://github.com/mir-protocol/plonky)|</li><li>Plonky: Fast recursive arguments based on Plonk and Halo[[1]](https://mirprotocol.org/blog/Fast-recursive-arguments-based-on-Plonk-and-Halo)</li><li>Plonky: Adding zero Knowledge to Plonk and Halo[[2]](https://mirprotocol.org/blog/Adding-zero-knowledge-to-Plonk-Halo)
 |Plonky2 - 2021|[ →📝 ](https://github.com/mir-protocol/plonky2/blob/main/plonky2/plonky2.pdf)|[mir-protocol](https://github.com/mir-protocol/plonky2)
-|Orion -2022|[ →📝 ](https://eprint.iacr.org/2022/1010)|[sunblaze-ucb](https://github.com/sunblaze-ucb/Orion)|[IACR -talk](https://www.youtube.com/watch?v=LZb_wqCzwr8)
+|Orion -2022|[ →📝 ](https://eprint.iacr.org/2022/1010)|[sunblaze-ucb](https://github.com/sunblaze-ucb/Orion)|[IACR -talk](https://www.youtube.com/watch?v=LZb_wqCzwr8)
+|STIR -2024|[ →📝 ](https://eprint.iacr.org/2024/390)| [WizardofMenlo/stir](https://github.com/WizardOfMenlo/stir)| </li><li>[blog - Giacomo Fenzi](https://gfenzi.io/papers/stir/) </li><li> [ZK11 talk](https://youtu.be/OLklJjp8KB4?si=-Brr6YLj6YCoQvh9)
+|WHIR -2024|[ →📝 ](https://eprint.iacr.org/2024/1586) | [Wizardofmenlo/whir](https://github.com/WizardOfMenlo/whir)| </li><li> [blog - Giacomo Fenzi](https://gfenzi.io/papers/whir/) </li><li> [ZK12 talk](https://www.youtube.com/watch?v=iPKzmxLDdII) 
diff --git a/src/provingzk.md b/src/provingzk.md
@@ -2,6 +2,8 @@
 
 (**To add papers: Work in progress**)
 
+- [10 papers to read: Papers that shaped modern ZKPs](https://www.zksecurity.xyz/blog/posts/ten-zk-papers/)
+
 ## Sumcheck Protocol
 
 - [Unreasonable power of Sumcheck - Thaler](https://people.cs.georgetown.edu/jthaler/blogpost.pdf)

diff --git a/src/vulnerabilities.md b/src/vulnerabilities.md
@@ -32,4 +32,9 @@ Potential vulnerabilities and security in ZK systems
 - [The State of Security Tools for ZKPs](https://www.zksecurity.xyz/blog/posts/zksecurity-tools/)
   - [paper](https://arxiv.org/abs/2402.15293)
 - [Disarming Fiat Shamir footguns](https://blog.trailofbits.com/2024/06/24/disarming-fiat-shamir-footguns/)
-  - [Decree FS library](https://github.com/trailofbits/decree)
+  - [Decree FS library](https://github.com/trailofbits/decree)
+
+## Hardware vulnerabilities
+
+- [Hardware backdoors in x86 CPUs](https://i.blackhat.com/us-18/Thu-August-9/us-18-Domas-God-Mode-Unlocked-Hardware-Backdoors-In-x86-CPUs-wp.pdf)
+- [Breaching Processor Security via Rogue Memory Modules](https://badram.eu)
diff --git a/src/zkbeginner.md b/src/zkbeginner.md
@@ -20,7 +20,7 @@ Understanding ZK from beginner to advanced on a surface level.
 
 - [An introduction to how zk snarks are possible - Vitalik](https://vitalik.eth.limo/general/2021/01/26/snarks.html)
 - [Zk blog](http://www.zeroknowledgeblog.com/index.php)
-- [Math survival kit for zk developers - lambdaclass](https://www.notamonadtutorial.com/math-survival-kit-for-developers/)
+- [Math survival kit for zk developers - lambdaclass](https://blog.lambdaclass.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/)