Update state manager documentation #707
Conversation
|
The latest updates on your projects. Learn more about Vercel for Git ↗︎
|
| capabilities. | ||
|
|
||
| Linea's state manager uses an extended version of a sparse Merkle tree that enables it to prove all | ||
| CRUD (create, read, update, delete) operations for a key-addressed database. As an outline, the |
There was a problem hiding this comment.
Did this go through SME review? I am still confused by the CRUD statement here. Thought I added comment on this before.
My (probably naive) takeaway from A's doc is that the ability to overwrite the 0 is a feature required by the proof generator --> I don't think this update extends to storing state. I would recommend having SME review this as any mention of UD (especially the delete) must be made clear --> the immutable nature of blockchain (as in the typical use of PMT) allows for old data to be ignored thanks to availability of more recent data/updated state, this is NOT the same as a typical database's CRUD behaviour. FAO @jlwllmr
There was a problem hiding this comment.
@m4sterbunny thank you — as discussed, following up with SME on this issue 🫡
Overhauls state management page in the architecture section, adding considerably more detail about Linea's use of sparse Merkle trees and the accumulator structure.