Charles Hoskinson, the founder of Cardano, has revealed substantial progress in the development and research of new protocols. Via X, Hoskinson stated: “Ouroboros Peras is one of the best prototyped protocols we have—a literate Agda specification, a CIP, simulations, and a working prototype prior to the final paper being published. Already negotiating implementation SoW.” Moreover,