Malachite로의 합의 마이그레이션 완료

NeuroChain의 합의를 Tendermint BFT 로 이전하는 작업을 완료했습니다. Informal Systems의 Malachite를 별도 프로세스가 아닌 임베디드 Rust 라이브러리로 사용합니다.

자체 BFT를 교체한 이유

직접 만든 엔진은 저희가 가진 모든 테스트를 통과했지만, 그 테스트들은 샤드당 검증자 하나로 실행되었습니다. 쿼럼이 하나라는 것은 비잔틴 장애 허용이 전혀 아닙니다. 첫 번째 실제 다중 검증자 실행은 교착 상태에 빠졌습니다. 라운드 변경이 로컬에서만 일어나 검증자들이 서로 다른 라운드로 흘러갔고, 결코 하나의 리더에 합의하지 못했습니다.

계속 땜질하는 대신, 안전성과 활성(liveness)이 증명된 구현을 채택했습니다.

얻게 된 것

• 쿼럼은 스테이크 기준 투표권의 3분의 2이며, 안전성 증명이 그대로 유지됩니다.
• ML-DSA-65 서명 이 서명 방식으로 연결됩니다 — Malachite는 서명 방식에 대해 제네릭하므로, 다른 설계가 전제하는 BLS 가정 없이 저희의 양자 내성 키가 들어맞습니다.
• AI는 안전한 접점에서만 합의에 관여합니다: 제안자 선정과 검증자 배제입니다. 커밋 쿼럼에는 결코 영향을 줄 수 없는데, 그렇게 되면 비잔틴 논증이 깨지기 때문입니다.

상태 머신, 멤풀, 크로스샤드 릴레이는 그대로 유지되었습니다. 바뀐 것은 합의 엔진뿐입니다.