This is really good — I’ve thought about & discussed this generally idea, but didn’t realize anyone was actually building it; surprised I hadn’t heard of it. Have lots of questions, but want to read up on it more first (when time permits).
Thanks for writing this, very helpful.
R.e. Quadratic growth of disk space, isn’t it safe to say that with eltoo-style, latest-state-only mechanisms, the disk space required would at most grow linearly with respect to chain size?
“Therefore, if users are willing to verify Henry’s checkpoints and are willing to challenge if they detect any inconsistencies, they are safe from Henry cheating.”
For this verification process, would a user need to validate every transaction that the hub processes?