Update memory-checking.md

a16z · Mar 22, 2024 · 9f9e9c3 · 9f9e9c3
1 parent 7569faa
commit 9f9e9c3
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/book/src/how/memory-checking.md b/book/src/how/memory-checking.md
@@ -47,8 +47,8 @@ $$
 This multiset hashing process is represented by a binary tree of multiplication gates and is computed using an [optimized GKR protocol](https://eprint.iacr.org/2013/351.pdf).
 
 ## References
-- [Original Paper on Memory Correctness](https://www.researchgate.net/publication/226386605_Checking_the_correctness_of_memories/link/0c960526fe9ab32634000000/download?_tp=eyJjb250ZXh0Ijp7ImZpcnN0UGFnZSI6InB1YmxpY2F0aW9uIiwicGFnZSI6InB1YmxpY2F0aW9uIn19)
-- [Spice Protocol](https://eprint.iacr.org/2018/907.pdf)
+- [Original Paper on Memory Checking, forming the technical underpinnings of Lasso](https://www.researchgate.net/publication/226386605_Checking_the_correctness_of_memories/link/0c960526fe9ab32634000000/download?_tp=eyJjb250ZXh0Ijp7ImZpcnN0UGFnZSI6InB1YmxpY2F0aW9uIiwicGFnZSI6InB1YmxpY2F0aW9uIn19)
+- [Spice Protocol for read-write memories](https://eprint.iacr.org/2018/907.pdf)
 - [Spartan Protocol](https://eprint.iacr.org/2019/550.pdf)
-- [Lasso Protocol](https://people.cs.georgetown.edu/jthaler/Lasso-paper.pdf)
-- [Thaler13 Protocol](https://eprint.iacr.org/2013/351.pdf)
+- [Lasso Protocol for read-only memories a.k.a. lookups](https://people.cs.georgetown.edu/jthaler/Lasso-paper.pdf)
+- [Thaler13 Grand Product Protocol (see Prop. 2)](https://eprint.iacr.org/2013/351.pdf)