IOHK lançou uma comparação detalhada entre Casper e Ouroboros, dois protocolos de prova de participa

IOHK é lançado Começando com os fundamentos, a IOHK observou que a Ouroboros é devidamente analisada e contém uma suposição formalmente especificada para garantir a garantia de segurança. As provas, modelos de modelos e descrições de mecanismos são todos tornados públicos, tornando propriedades de protocolo, provas de correção e premissas subjacentes abertas para análise.