David Schwartz, directeur technique honoraire de Ripple, affirme avoir decouvert une preuve formelle de la validite mathematique de l’algorithme de consensus du XRP Ledger. Cette annonce fait suite aux travaux de l’ingenieure RippleX Mayukha Vadari qui colaborait avec CommonPrefix pour verifier mathematiquement les parties critiques du registre. Schwartz, architecte original du XRP Ledger, a specifie que la preuve etait trop longue pour tenir dans un seul post sur X. Il reste engage dans l’ecosysteme XRP en gerant son propre noeud et en contribuant a ameliorer le protocole.
Source: Lire l’article original
