This verification is about the 3rd refinement step, which turns sending whole chains to a peer into sending blocks to a peer using the chain synchronization protocol.
List view
0 issues of 2 selected
- Status: Open.#97 In input-output-hk/ouroboros-high-assurance;
- Status: Open (in progress).input-output-hk/ouroboros-high-assurancenumber 98#98 In input-output-hk/ouroboros-high-assurance;