Extend succinctness theorem to any chain
dionyziz opened this issue · comments
Currently, the succinctness theorem talks about chains of honestly-generated blocks. However, this limitation is quite artificial. The succinctness argument will also hold for any blockchain of an honest party (which can contain adversarially-generated blocks). To achieve a proof for this stronger notion, the Chain Quality theorem must be invoked.