Перехід консенсусу на Malachite завершено

Ми завершили перехід консенсусу NeuroChain на Tendermint BFT, використовуючи Malachite від Informal Systems як вбудовану Rust-бібліотеку, а не окремий процес.

Чому ми замінили власний BFT

Самописний рушій проходив усі наші тести, але ці тести запускали по одному валідатору на шард — кворум з одного учасника, що зовсім не є візантійською стійкістю до збоїв. Перший справжній запуск із кількома валідаторами зайшов у глухий кут: зміни раундів були локальними, валідатори розходилися по різних раундах і так і не погоджувалися щодо лідера.

Замість того щоб латати далі, ми взяли реалізацію з доведеними властивостями безпеки та живучості.

Що це нам дає

• Кворум — дві третини сили голосу за стейком, і доказ безпеки зберігається.
• Підписи ML-DSA-65 підключаються як схема підпису — Malachite узагальнений щодо неї, тож наші квантово-стійкі ключі підходять без припущення про BLS, яке несуть інші дизайни.
• ШІ торкається консенсусу лише в безпечних точках: вибір пропозера та виключення валідаторів. Він ніколи не може впливати на кворум фіксації, бо це зруйнувало б візантійський аргумент.

Наша машина станів, мемпул і міжшардовий релей лишилися точно такими, як були. Змінився лише рушій консенсусу.