Receiver Ack Vector Implementation Notes

Implementation details are presented in the following sections.

Circular Buffer
Illustrates graphically how the circular buffer is implemented and how overflow is treated.

Basic Implementation Details
Presents the elementary implementation details (assumptions, updating state, handling overflow, ECN Nonce).

Making it robust
Discusses problems which arise when taking the implementation idea of a circular buffer too literally.