Legacy code connected to the high-assurance implementation of the Ouroboros protocol family - View it on GitHub