Sonic Labs: pustaka verifikasi formal baru untuk protokol berbasis DAG

Sonic Labs, tim di balik blockchain Sonic, telah meluncurkan perpustakaan verifikasi formal baru untuk protokol konsensus berbasis DAG. Tujuannya adalah untuk menyediakan alat bukti untuk keamanan blockchain.

Sonic Labs dan keamanan blockchain: peluncuran pustaka verifikasi formal baru

Sonic Labs, tim di balik blockchain Sonic, telah mengumumkan peluncuran pustaka verifikasi formal baru, yang didedikasikan untuk protokol konsensus berbasis DAG.

Dalam praktiknya, ini adalah perpustakaan sumber terbuka yang menggunakan verifikasi formal untuk membuktikan secara matematis keamanan blokchain graf terarah yang tidak siklis, termasuk blokchain Sonic EVM.

Berkat penggunaan asisten percobaan TLA+, adalah mungkin untuk menyederhanakan proses verifikasi protokol konsensus berbasis DAG, memungkinkan pengembang untuk memodelkan dan memverifikasi protokol dengan upaya minimal.

Ini adalah alat pengujian untuk memverifikasi keamanan blockchain. Perpustakaan ini mencakup pengujian untuk protokol berbasis DAG yang penting seperti DAG-Rider, Cordial Miner, Bullshark, Hashgraph, dan Aleph, dengan protokol konsensus Sonic yang diverifikasi sebagai turunan.

Perpustakaan verifikasi formal diperkenalkan untuk pertama kalinya di NASA Formal Methods 2025 (NFM 2025) di Williamsburg, Virginia, dari 11 hingga 13 Juni

Sonic Labs dan pendekatan matematis yang ketat untuk menunjukkan keamanan sebuah protokol

Situasi saat ini dari keamanan blockchain seringkali melihat kerentanan protokol konsensus yang juga dapat menyebabkan eksploitasi yang katastrofik. Pengeluaran ganda atau inkonsistensi buku besar adalah sebuah contoh.

Secara umum, sebenarnya, pengujian dan verifikasi tradisional untuk memastikan keamanan blockchain telah menjadi tidak memadai

Di sini, dalam arti ini, Sonic Labs telah memutuskan untuk mengambil tantangan saat ini dengan pendekatan yang sepenuhnya matematis, yang menunjukkan bahwa sebuah protokol aman dalam semua skenario yang mungkin, tanpa menyisakan ruang untuk kesalahan.

Dalam hal ini, Dr. Bernhard Scholz, Kepala Petugas Penelitian, Sonic Labs, mengomentari:

“Dalam blockchain, kegagalan keamanan sering kali berasal dari asumsi yang tidak diverifikasi sampai terlambat. Dengan pustaka ini, kami bergerak dari harapan ke bukti, menyediakan alat untuk memverifikasi, dengan kepastian matematis, bahwa protokol akan berperilaku aman di bawah semua kondisi. Tujuan kami adalah untuk membuat verifikasi formal dapat diakses oleh semua pengembang protokol.”

Sonic Labs telah mulai menerapkan verifikasi formal untuk membuktikan bahwa perilaku yang tidak aman secara matematis tidak mungkin terjadi di blockchain Sonic.

Masuknya token S di Coinbase

Dalam beberapa jam terakhir, juga ada pembicaraan tentang masuknya token Sonic (S) ke bursa kripto terkenal Coinbase.

$S sekarang tersedia di @Coinbase. pic.twitter.com/E6AIy6yusF

— Sonic Labs (@SonicLabs) 24 Juni 2025

Dalam praktiknya, pelanggan Coinbase juga dapat mengakses aplikasi Coinbase untuk iOS dan Android untuk membeli, menjual, mengonversi, mengirim, menerima, atau menyimpan token S.

Saat ini, Sonic (S) berada di posisi ke-73 dalam peringkat crypto secara keseluruhan, dengan kapitalisasi pasar sebesar 932 juta dolar. Pada saat penulisan, S bernilai $0,32

Pada pertengahan April 2025, Fantom meluncurkan pembaruan Sonic terbaru untuk merevolusi DeFi. Dengan kapasitas lebih dari 10.000 transaksi per detik (TPS) dan waktu finalisasi kurang dari 2 detik, Sonic segera memposisikan dirinya sebagai salah satu jaringan Layer 1 tercepat dan paling skalabel di lanskap kripto. Dengan Sonic, token S juga diluncurkan, awalnya dipatok pada FTM milik Fantom.