RT: At the #SummerSchool #DeepDiveIntoBlockchain we had @JeremyFirsterCF from @CardanoStiftung
"So far, @Cardano offered 1750 days without interruptions nor restarts nor failures. This is thanks to the rigorous approach into research and the formal methods to prove its operation" https://t.co/8n2xZiVGnQ
RT:在#SummerSchool#DeepDiveIntoBlockchain,我们有@CardanoStiftung的@JeremyFirsterCF
“到目前为止,@Cardano提供了1750天的无中断、无重启、无故障的服务。这要归功于严谨的研究方法和证明其运行的正式方法。”https://t.co/8n2xZiVGnQ