Module randao_mixes 

Delta encoding for Ethereum RANDAO mix buffers.

Ethereum consensus stores historical RANDAO mixes in a fixed-capacity circular buffer indexed by epoch.

Rather than storing the entire buffer, this module records only the sequence of mixes written while advancing from one epoch to another. Applying the delta replays those writes into another buffer using the same circular indexing logic.

The encoding is independent of the buffer capacity and relies only on the starting slot and the destination buffer.

Functions

apply_randao

Applies a RANDAO delta to a circular mix buffer.

diff_randao

Computes the sequence of RANDAO mixes written between two slots.