• [^] # Re: ???

    Posté par . En réponse au journal Un horodateur cryptographique en bash. Évalué à 3.

    C'est bien de ça dont il s'agit, à la différence près que chaque timestamp ici inclut une preuve cryptographique. Ce qui permet de travailler avec des noeuds dans lesquels on n'a pas confiance.

    Oui enfin ça il faudrait encore le prouver, ce qui demande de commencer par être capable d'expliquer ton aglo et de définir ses propriétés.

    Autrement y'a deux ou trois trucs qui ont déjà été prouvés concernant les systèmes distribués asynchrones dans le domaine des horloges logiques, du (partial|total)-order et des pannes byzantines ces 40 dernières années.