High-assurance implementation of (a variant of) the Ouroboros protocol
Switch branches/tags
Clone or download