@ShieldedLabs Crosslink マイルストーン 4a は次のように破綻しました。 - MS3の2つの主要なバグを修正しました - はるかに簡単な UX、BFT 名簿の ~x3 参加者 - 新しいカスタムフィットBFTは、以前のSDKよりも安定していることが証明されました - 既知の設計ギャップによる BFT 安全障害が発生しました (BFT バグではありません) シートベルトを締める: 🧵

@ShieldedLabs PoW 同期タイムアウトとマイナーの難易度が低い場合、コード アーキテクチャのインピーダンスが一致しなかったため、ネットワークでは PoW の分割が頻繁に長くなりました。ワークショップ前の修正を試みるのではなく、新しい BFT、UX、vizualizer の改善に倍増しました。 なぜでしょうか。 …

@ShieldedLabs 明らかな既知の問題を修正してみませんか? なぜなら、私たちはプロトコルの回復力、診断機能、UXのテストを優先しているからです。 これは実際には、BFTの回復力、ビジュアライザーの有用性、および診断技術を証明しながら保持するのに最適な欠陥です。

@ShieldedLabs コードアーキテクチャのインピーダンスの不一致は、基本的に、マイナーとBFTノード間のインターネット接続が頻繁に失敗し、時折修復されているかのように、「高度に分割された」ネットワークをシミュレートしました。 このデモでは、Crosslinkの回復力が示され、予想よりもはるかにうまくいきました。

@ShieldedLabs クロスリンク構造で非常に長いPoWフォークがどのように見えるかのスクリーンショットを撮りました。ここでは、非常に長い PoW フォークがありますが、クロスリンクの証明は一貫性があり、フォークを越えてジャンプしないことがわかります。つまり、ファイナリティの安全性が維持されます。

@ShieldedLabs 既知の実装ギャップによる安全性違反が 1 つありました: Zebra には ビットコイン スタイルの 100 ブロックの「YOLO ファイナリティ」があり、BFT ファイナリティが最高であることをまだ保証していません。 重いパーティション分割を追加すると、一部のノードが >100 PoW ブロックが同期していなかった後、安全違反に衝突しました。

@ShieldedLabs わかりました、それは既知の安全ギャップです、残念です、修正しましょうよね? はい、しかし、大きな希望の光がありました。「わかりました、バグが提出されました、次回また来てください」と言うこともできました。 その代わりに： …

私たちは即興でライブBFTストール回収を行いました! 同期していないBFTノードを再起動し、PoWを中断することなくBFT(名簿を変更せずに)再開することができ、これはCrosslinkの基礎のライブ検証でした。 セキュリティはどちらのサブプロトコルと同じくらい強力です:BFTの失敗はPoWを脱線させませんでした。

ただし、はっきり言っておきますが、これは現実的な BFT リブートではありませんでした。私たちは、BFT 状態の現在の一時的な性質に依存して、競合する署名を忘れました。 それでも、これはワークショップのまったく即興の予想外の展開でした。 その一般的な運用プロセスとクロスリンク検証のボーナスXP。

@ShieldedLabs その後 (MS5 の終了)、2026 年の大半を、このプロトタイプ フェーズでのすべての設計/実装学習を使用して、強化された本番環境対応のノードを *再実装* することに費やします。 2026年=精査ガントレット!さあ。 ロケットシールドが上がる!🚀🛡️