Verify that keep all blocks at highest level and that higher level blocks are in lower levels.
Verify that can actually also do the interlink set, maybe cf https://eprint.iacr.org/2020/1122.pdf.
It seems that my understanding was wrong, as:
we could however generate it from the information already present in Bitcoin
hasn't a sublinear complexity.
Verify that keep all blocks at highest level and that higher level blocks are in lower levels.
Verify that can actually also do the interlink set, maybe cf https://eprint.iacr.org/2020/1122.pdf.
It seems that my understanding was wrong, as:
hasn't a sublinear complexity.