【論文解説】Keetaコンセンサスアルゴリズムのモデル化と検証

分散システムにおけるスケーラビリティと整合性を両立する次世代プロトコル「Keeta」のコンセンサスアルゴリズムについて、そのモデル化手法と数学的な検証プロセスを詳述したPDF資料です。分散合意アルゴリズムの研究者や、基盤システムの信頼性向上を目指すエンジニアにとって必読の内容となっています。

Keetaは新しい高スループットな決済用ブロックチェーンだね。その起源は手数料無料のDAG DLTであるNanoや、FacebookのFastPayに遡るけど、正式に検討する価値のある新しい貢献が盛りだくさんだよ。ここで私は、ビザンチン故障モデルのもとでモデルチェックを行った、そのコンセンサスプロトコルのQuint仕様を提示するよ。故障範囲内かつ定数重みモデルのもとでは安全性が保たれていることが確認できたし、FastPay形式のロックアウトが発生する可能性も予想通り再現できた。今後の研究の方向性はKeetaがどう進むかにかかっているね。Suiに似たチェックポイントやエポックといった機能に注目したいところ。前提となる論文はこちら：https://keeta.com/whitepaper.pdf Googleのマーケティング記事はこちら：https://cloud.google.com/blog/topics/financial-services/how-blockchain-network-keeta-processes-11-million-transactions-per-second-with-spanner