Light client verification

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:

  1. 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.

  2. 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