updated links

Author: krakhit

src/applicationszk.md

@@ -37,6 +37,9 @@ A compilation of materials that showcase various applications of zk technology.
   - [Zk evm comparison guide](https://blog.jarrodwatts.com/the-ultimate-zk-evm-comparison-guide)
   - [BrainSTARK](https://aszepieniec.github.io/stark-brainfuck/)
   - [Enhancing VM efficiency in parallel envs](https://blog.lambdaclass.com/beyond-single-core-enhancing-vm-efficiency-in-parallel-environments/)
+  - [Projects that shaped modern ZKVMS -1](https://blog.zksecurity.xyz/posts/zkvm-projects-1/)
+  - [Glue and Coprocessor Architectures](https://vitalik.eth.limo/general/2024/09/02/gluecp.html)
+  - [Demystifying Executable Linkable Format (ELF)](https://medium.com/@razika28/demystifying-the-elf-format-unveiling-the-secrets-of-binary-executables-2835387cc6d4)
 
 - **EVM/VMs**
   - [Aztec protocol](https://aztec.network)
@@ -56,6 +59,15 @@ A compilation of materials that showcase various applications of zk technology.
     - [Miden VM program decoder](https://hackmd.io/_aaDBzbWRz6EwQQRtK1pzw)
     - [Memory in MidenVM](https://hackmd.io/@bobbinth/HJr56BKKt)
     - [u32 in MidenVM](https://hackmd.io/NC-yRmmtRQSvToTHb96e8Q#u32-operations-in-Miden-VM)
+  - [TinyvnRAM](https://www.scipr-lab.org/doc/TinyRAM-spec-2.000.pdf)
+    - [Succinct NIZK for VN architecture](https://eprint.iacr.org/2013/879.pdf)
+    - [Snarks for C](https://eprint.iacr.org/2013/507.pdf)
+      - [talk](https://www.youtube.com/watch?v=nS3smRAfUd8)
+    - [blog](https://hackernoon.com/tiny-ram-review-architecture-design-and-assembly-instructions)
+    - [blog](https://hackmd.io/@sin7y/rkz28TKY5)
+    - [blog](https://blog.plan99.net/vntinyram-7b9d5b299097)
+    - [libnsark: code](https://github.com/scipr-lab/libsnark)
+    - [pepper project: code](https://github.com/pepper-project/tinyram)
   - [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)
@@ -69,11 +81,13 @@ A compilation of materials that showcase various applications of zk technology.
   - [zkWasm](http://www.delphinuslab.com/)
   - [Loopring](https://loopring.org/#/about)
   - [NexusVM](https://github.com/nexus-xyz/nexus-zkvm)
+    - [whitepaper](https://nexus-xyz.github.io/assets/nexus_whitepaper.pdf)
   - [SP1](https://github.com/succinctlabs/sp1)
     - [book](https://succinctlabs.github.io/sp1/)
     - [intro to SP1 source code](https://trapdoortech.medium.com/zero-knowledge-proof-introduction-to-sp1-zkvm-source-code-d26f88f90ce4)
     - [Sp1 audit](https://hackmd.io/wztOd455QKWf-K8LXh_Fqw)
     - [whitepaper](https://drive.google.com/file/d/1aTCELr2b2Kc1NS-wZ0YYLKdw1Y2HcLTr/view)
+  - [Ceno](https://eprint.iacr.org/2024/387.pdf)
 
 ## ZK bridges
 

src/hwzk.md

@@ -48,5 +48,7 @@
 
 - [basic computer architecture](https://www.geeksforgeeks.org/computer-organization-and-architecture-tutorials/?ref=lbp)
 - [RISCV manual](https://riscv.org/wp-content/uploads/2019/12/riscv-spec-20191213.pdf)
+  - [rv8 for x86-64](https://michaeljclark.github.io)
+  - [embedded riscv resources](https://five-embeddev.com/riscv-isa-manual/)
 - [VLIW introduction](https://web.archive.org/web/20110929113559/http://www.nxp.com/acrobat_download2/other/vliw-wp.pdf)
 - [Web Assembly](https://webassembly.github.io/spec/core/_download/WebAssembly.pdf)

src/lattice.md

@@ -6,6 +6,7 @@
 - [Lattice based cryptography - Micciancio and Regev](https://cims.nyu.edu/~regev/papers/pqc.pdf)
 - [A decade of Lattice cryptography - Peikert](https://eprint.iacr.org/2015/939.pdf)
 - [Survey of polynomial multiplications for lattice based cryptosystems](https://eprint.iacr.org/2023/1962.pdf)
+- [Lattice based proof systems](https://mirror.xyz/privacy-scaling-explorations.eth/4OyAht_dHsVT1MgcZTwrK2qJ-bwxpINcpBmLNfF4I2E)
 
 ### Lecture series/Conferences
 

src/msm.md

@@ -14,6 +14,7 @@
 - [Ryah Henry - Thesis](https://cacr.uwaterloo.ca/techreports/2010/cacr2010-26.pdf)
 - [Efficient Multi exponentiation: Bucket method - Bootle](https://jbootle.github.io/Misc/pippenger.pdf)
 - [MSM tricks](https://gist.github.com/mratsim/27c78c71fd423f731615a91d237162c3#file-multi-scalar-mul-md)
+- [Verifiable MSM](https://decentralizedthoughts.github.io/2025-02-14-verifiable-MSM/)
 
 ## Implementations
 <!-- markdown-link-check-disable -->

src/vulnerabilities.md

@@ -33,6 +33,7 @@ Potential vulnerabilities and security in ZK systems
   - [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)
+- [VZKVM bugs](https://bugs.zksecurity.xyz)
 
 ## Hardware vulnerabilities
 

src/zkbeginner.md

@@ -28,6 +28,7 @@ Understanding ZK from beginner to advanced on a surface level.
 ## Advanced
 
 - [An incomplete guide to zk: why zk matters](https://mirror.xyz/fundamentalabs.eth/24i98adRylhjdcqV1TnsT8ZbkIXCulCrDTIrsrziQmY)
+- [Understanding the math behind ZKPs](https://zkintro.com/articles/understanding-math-behind-zkps)
 - [Why and how Zero knowledge works](https://arxiv.org/pdf/1906.07221.pdf)
 - [zk Snarks a gentle introduction](https://www.di.ens.fr/~nitulesc/files/Survey-SNARKs.pdf)
 - [The math behind ZkSNARK - video](https://www.youtube.com/watch?v=iRQw2RpQAVc)
@@ -46,3 +47,4 @@ Understanding ZK from beginner to advanced on a surface level.
 - [Misconceptions in ZK-Snarks - Thaler](https://a16zcrypto.com/posts/article/17-misconceptions-about-snarks/)
 - [Introduction to range proofs](https://tech.mystenlabs.com/zero-knowledge-range-proofs/)
 - [Whats next in programmable cryptography](https://mirror.xyz/privacy-scaling-explorations.eth)
+- [SOK: Understanding zk-SNARKS: gap between research and practice](https://eprint.iacr.org/2025/172)