Has there been any work on (SPV-style) light client verification?
I suppose this will become feasible e.g. with Tenderbake (to adapt this process), but just wondering whether this has been explored with Emmy+.
1 Like
There are two hurdles:
-
the set of endorsers changes at each block. Solution: have every block commit to an accumulator with the endorsers for the next block. Also, require safety deposits to be made at least one block prior.
-
The current context uses trees with a large arity, so merkle proofs are large.
Solution: use Plebeia.
What’s the current status of the work on Plebeia?
The latest blog update was in May
but there’s acting development in the repo