diariobitcoin.com
Cardano: Especificaciones formales de Shelley han sido publicadas - DiarioBitcoin
Como parte del proceso de lanzamiento de Shelley se han creado especificaciones formales que permiten verificar que el código final se alinea con la visión inicial de los investigadores. Las especificaciones principales han sido completadas y los enlaces a continuación.