Informally prove correctness property of the chain sync mini-protocol with fixed chain #99
Description
We shall informally prove the correctness property of the chain synchronization mini-protocol specified in #97.
{{ message }}
We shall informally prove the correctness property of the chain synchronization mini-protocol specified in #97.