@IOGroupが発表したところによれば、BlockPQRが本日稼働を開始しました。同プロジェクトはCardanoのLedger、NodeCLI、形式手法に対応しています。@IOGroupによると、チームはすでにDijkstra ハードフォークとLeiosの実装および校正に向けた作業を進めており、同じエンジニアと同じコードを使用してオープンに構築されているとのことです。
BlockPQR is live today, taking on Cardano's Ledger, NodeCLI, and Formal Methods! The team is already working toward the Dijkstra hard fork and Leios' implementation and calibration. Same engineers, same code, built in the open. Learn more about @blockpqr's launch: https://t.co/DZ7dTkXJRA
@IOGroup
一次ソース: https://x.com/IOGroup/status/2099840318128406947
本記事は一次情報にもとづく初期報です。詳細な解説は続報で扱います。