Une approche formelle pour vérifier la justesse des protocoles de consensus basés sur des DAG.
― 13 min lire
La science de pointe expliquée simplement
Une approche formelle pour vérifier la justesse des protocoles de consensus basés sur des DAG.
― 13 min lire