I have seen several blog articles (e.g here and here) mention about the BFT consensus integration effort to Tezos. They gave me an impression that the current consensus protocol in Proto003 has no BFT property.
What type of consensus algorithm is used now, and what kind of safety property of it is formally/informally proven or expected?
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.
いくつかのブログ記事を見ました(例:こちらとこちら)BFTコンセンサス統合の取り組みについてテゾス.彼らは、Proto003の現在のコンセンサスプロトコルにはBFTプロパティがないという印象を与えました.
現在使用されているコンセンサスアルゴリズムの種類と、その安全性の種類は、公式/非公式に証明または期待されていますか?