From 970c222d92325c6fd0494d06f6e99782b4aa4eaa Mon Sep 17 00:00:00 2001
From: flyingnobita <46126470+flyingnobita@users.noreply.github.com>
Date: Tue, 7 Jan 2025 18:35:02 -0800
Subject: [PATCH] docs: Add memory argument to Proof System

---
 book/docs/what-is-a-zkvm.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/book/docs/what-is-a-zkvm.md b/book/docs/what-is-a-zkvm.md
index 4f91fa3213..74eaad38a8 100644
--- a/book/docs/what-is-a-zkvm.md
+++ b/book/docs/what-is-a-zkvm.md
@@ -30,6 +30,7 @@ For more technical details, check out the SP1 technical note that explains our p
 
 * STARKs + FRI over the Baby Bear field
 * We use performant STARK recursion that allows us to prove the execution of arbitrarily long programs
+* Our Lookup-based memory consistency argument uses multiset hashing that allows us to perform memory consistency checks in a fast and efficient manner
 * We have a system of performant precompiles that accelerate hash functions and cryptographic signature verification that allow us to get substantial performance gains on blockchain workloads