ソニックラボ: DAGベースのプロトコルのための新しい形式確認ライブラリ

ソニックブロックチェーンの背後にあるチーム、ソニックラボは、DAGベースのコンセンサスプロトコルのための新しい形式確認ライブラリを発表しました。目標は、ブロックチェーンのセキュリティのための証明ツールを提供することです。

ソニックラボとブロックチェーンのセキュリティ：新しい形式確認ライブラリのローンチ

Sonic Labs、Sonicブロックチェーンの背後にあるチームは、新しい形式的確認ライブラリの立ち上げを発表しました。これはDAGベースのコンセンサスプロトコルに特化しています。

実際には、Sonic EVMブロックチェーンを含む、有向非循環グラフブロックチェーンのセキュリティを数学的に証明するために形式確認を使用するオープンソースライブラリです。

TLA+トライアルアシスタントの利用のおかげで、DAGベースのコンセンサスプロトコルの確認プロセスを簡素化することが可能になり、開発者は最小限の労力でプロトコルをモデル化し確認することができます。

これはブロックチェーンのセキュリティを確認するためのテストツールです。このライブラリには、DAG-Rider、Cordial Miner、Bullshark、Hashgraph、Alephなどの重要なDAGベースのプロトコルのテストが含まれており、Sonicコンセンサスプロトコルは派生として確認されています。

形式確認ライブラリは、2025年6月11日から13日まで、バージニア州ウィリアムズバーグで開催されるNASA形式手法2025 (NFM 2025)で初めて発表されました。

ソニックラボとプロトコルのセキュリティを実証するための厳密な数学的アプローチ

ブロックチェーンセキュリティの現状は、壊滅的な悪用につながる可能性のある合意プロトコルの脆弱性をしばしば目にします。ダブルスペンドや台帳の不一致はその一例です。

一般的に言えば、実際には、ブロックチェーンのセキュリティを確保するための従来のテストと確認は不十分になってきています。

ここで、Sonic Labsは、厳密な数学的アプローチで、あらゆる可能なシナリオにおいてプロトコルが安全であることを示すという、瞬間の挑戦を引き受けることを決定しました。エラーの余地はありません。

この点に関して、ソニックラボの最高研究責任者であるベルンハルト・ショルツ博士は次のようにコメントしました:

「ブロックチェーンでは、セキュリティの失敗は、手遅れになるまで検証されない仮定から生じることがよくあります。このライブラリにより、私たちは希望から証明へと移行し、プロトコルがあらゆる条件下で安全に動作することを数学的な確実性で検証するためのツールを提供しています。私たちの目標は、すべてのプロトコル開発者が正式な検証にアクセスできるようにすることです。」

ソニックラボは、ソニックブロックチェーン上での安全でない動作が数学的に不可能であることを証明するために、形式確認を実施し始めました。

コインベースへのトークンSの上場

ここ数時間、著名な暗号取引所CoinbaseにSonic (S)トークンが上場するという話もあります。

$S è ora disponibile su @Coinbase.pic.twitter.com/E6AIy6yusF

— Sonic Labs (@SonicLabs) 24 giugno 2025

実際には、Coinbaseの顧客は、CoinbaseのiOSおよびAndroidアプリにアクセスして、トークンSを購入、販売、変換、送信、受信、または保管することもできます。

現在、Sonic (S)は全体の暗号ランキングで73位にあり、市場価値は9億3200万ドルです。執筆時点で、Sの価値は$0.32です。

2025年4月中旬、FantomはDeFiを革新する最新のSonicアップデートを発表しました。1秒あたり10,000件以上の取引能力(TPS)と2秒未満の最終確定時間を持つSonicは、すぐに暗号の世界で最も速く、最もスケーラブルなLayer 1ネットワークの一つとして位置づけられました。Sonicと共に、トークンSも登場し、最初はFantomのFTMにペッグされていました。