Le protocole de consensus actuel (proto003) a-t-il la propriété BFT?

Tezos va dans la direction de BFTpour deux raisons:

• Vous avez une confirmationimmédiate destransactions,unefois qu'ils sontinclus dans unbloc
• Ilestplusfacile d'avoir la correction despreuves d'exactitude

Aujourd'hui,Proto_003 utilisetoujours l'algorithme de consensusinitial,quin'apasencore étéprouvé correct (et lestravaux sur BFTfont detelseffortsinutiles à courtterme,carelles seront remplacéesbientôt).Letravail officiellement avéré leplusproche de l'algorithme de consensus actuelestprobablement Ouroboros,maispasencoremisen œuvre dans Cardano.

Tezos is going in the direction of BFT for two reasons:

• You have immediate confirmation of transactions, once they are included in a block
• It easier to have correctness proofs

Today, Proto_003 is still using the initial consensus algorithm, which has not yet been proven correct (and the work on BFT makes such effort useless in the short term as it will be replaced soon). The closest formally proven work to the current consensus algorithm is probably Ouroboros, but not yet implemented in Cardano.