Konten Editorial yang Terpercaya, ditinjau oleh para ahli industri terkemuka dan editor berpengalaman. Pengungkapan Iklan
Sonic Labs telah membuktikan namanya dan bekerja keras di laboratorium untuk sebuah makalah penelitian baru. Ini bukan sekadar dokumen teoretis: ini telah menghasilkan aplikasi nyata dalam bidang konsensus blockchain, dan perpustakaan verifikasi formal yang dikembangkan oleh Sonic Labs kini telah sumber terbuka dan tersedia di Github.
Tim Sonic Labs tentu saja dikenal luas karena merancang rantai Sonic Layer-1 yang bangkit dari abu Fantom. Sonic menggunakan DAG (Graf Terarah Acyclic ) untuk konsensusnya, dan inilah area di mana tim Labs dengan tepat memilih untuk memfokuskan upaya mereka. Sementara perpustakaan verifikasi yang mereka kembangkan selanjutnya memiliki implikasi untuk jaringan EVM Sonic, itu juga berlaku pada semua rantai berbasis DAG yang ada dan yang akan datang, di mana ia memiliki potensi untuk secara signifikan meningkatkan keamanan dengan mencegah bug muncul.
Sonic Labs Memberi DAGs Kesempatan Kedua
Desain konsensus blockchain adalah hal yang kompleks yang memerlukan keahlian para peneliti yang mencakup matematika, kriptografi, dan teori permainan. Meskipun tim Sonic Labs sangat terdidik di bidang ini, mereka memanggil beberapa ahli untuk membantu dalam penyelidikan mendalam mereka terhadap DAG dengan tujuan untuk membuatnya dapat diverifikasi aman.
Dikembangkan bekerja sama dengan para logician terkemuka dari Universitas Sydney dan INRIA, perpustakaan ini memanfaatkan asisten bukti TLA+ untuk menyediakan komponen modular yang dapat digunakan kembali. Ini menyederhanakan proses verifikasi bagi pengembang, memungkinkan mereka untuk memodelkan dan mengonfirmasi keamanan protokol berbasis DAG dengan mudah. Perpustakaan ini mencakup bukti yang telah diverifikasi untuk protokol utama seperti DAG-Rider, Cordial Miner, Bullshark, Hashgraph, dan Aleph, dengan protokol konsensus Sonic yang divalidasi sebagai turunan.
Mengingat nilai yang sekarang mengalir melalui ekosistem blockchain, adalah kepentingan semua orang untuk membuatnya lebih aman. Namun, ini lebih mudah diucapkan daripada dilakukan, karena prosedur audit standar sama sekali tidak kebal terhadap kesalahan dan tidak jarang ada kerentanan yang muncul dan kemudian dieksploitasi dengan konsekuensi yang menghancurkan.
Membuat Blockchain Lebih Aman untuk Semua
Pendekatan verifikasi formal Sonic Labs menggunakan bukti matematis yang ketat untuk menghilangkan kesalahan, memastikan bahwa protokol berfungsi dengan andal dalam setiap skenario yang bisa dibayangkan. Perpustakaan ini tidak hanya memverifikasi protokol yang ada tetapi juga memberdayakan pengembang untuk merancang sistem berbasis DAG baru atau menyempurnakan yang sudah ada. Sonic Labs telah menerapkan alat kepemilikannya untuk membuktikan bahwa perilaku tidak aman secara matematis tidak mungkin terjadi di blockchain Sonic.
Pertama kali ditampilkan di NASA Formal Methods 2025 di Williamsburg, Virginia pada pertengahan Juni, perpustakaan ini menambah alat defensif yang berharga untuk arsenal pengembang blockchain. Seiring desain modular menjadi cara default dalam membangun blockchain, risiko keamanan yang muncul semakin meningkat. Misalnya, banyak penyedia Blockchain-as-a-Service memungkinkan tim untuk membuat dan menerapkan jaringan kustom hanya dengan beberapa klik. Namun, jika mereka memilih untuk mengubah parameter mekanisme konsensus dalam prosesnya, ada kemungkinan secara tidak sengaja memperkenalkan celah keamanan.
Ini hanya salah satu bidang di mana pustaka verifikasi formal Sonic Labs memiliki aplikasi yang jelas. Namun, ini juga memiliki nilai tambah dalam menilai rantai berbasis DAG yang ada. Kerentanan sering kali dapat terpendam selama bertahun-tahun di alam liar sebelum, dalam skenario terbaik, seorang whitehat menemukannya dan diperbaiki. Dalam kasus terburuk, itu jatuh ke tangan blackhat yang dapat mengeksploitasinya.
Sebagai Kepala Penelitian Sonic Labs, Dr. Bernhard Scholz meringkas, “Dalam blockchain, kegagalan keamanan sering kali berasal dari asumsi yang tidak diuji hingga sudah terlambat. Dengan perpustakaan ini, kami beralih dari harapan ke bukti, menawarkan alat untuk memverifikasi, dengan kepastian matematis, bahwa protokol akan berperilaku dengan aman di semua kondisi.” Dengan perpustakaan sumber terbuka sekarang tersedia untuk pengembang web3, tanggung jawab ada pada mereka untuk mengambil alat ini dan memanfaatkannya sebaik mungkin.
Proses Editorial untuk bitcoinist berfokus pada penyampaian konten yang diteliti dengan cermat, akurat, dan tidak bias. Kami menjunjung tinggi standar pengambilan sumber yang ketat, dan setiap halaman menjalani tinjauan teliti oleh tim ahli teknologi terkemuka dan editor berpengalaman kami. Proses ini memastikan integritas, relevansi, dan nilai konten kami bagi pembaca kami.
Konten ini hanya untuk referensi, bukan ajakan atau tawaran. Tidak ada nasihat investasi, pajak, atau hukum yang diberikan. Lihat Penafian untuk pengungkapan risiko lebih lanjut.
Sonic Labs Memperkuat Keamanan Blockchain Dengan Perpustakaan Verifikasi Formal Baru | Bitcoinist.com
Tim Sonic Labs tentu saja dikenal luas karena merancang rantai Sonic Layer-1 yang bangkit dari abu Fantom. Sonic menggunakan DAG (Graf Terarah Acyclic ) untuk konsensusnya, dan inilah area di mana tim Labs dengan tepat memilih untuk memfokuskan upaya mereka. Sementara perpustakaan verifikasi yang mereka kembangkan selanjutnya memiliki implikasi untuk jaringan EVM Sonic, itu juga berlaku pada semua rantai berbasis DAG yang ada dan yang akan datang, di mana ia memiliki potensi untuk secara signifikan meningkatkan keamanan dengan mencegah bug muncul.
Sonic Labs Memberi DAGs Kesempatan Kedua
Desain konsensus blockchain adalah hal yang kompleks yang memerlukan keahlian para peneliti yang mencakup matematika, kriptografi, dan teori permainan. Meskipun tim Sonic Labs sangat terdidik di bidang ini, mereka memanggil beberapa ahli untuk membantu dalam penyelidikan mendalam mereka terhadap DAG dengan tujuan untuk membuatnya dapat diverifikasi aman.
Dikembangkan bekerja sama dengan para logician terkemuka dari Universitas Sydney dan INRIA, perpustakaan ini memanfaatkan asisten bukti TLA+ untuk menyediakan komponen modular yang dapat digunakan kembali. Ini menyederhanakan proses verifikasi bagi pengembang, memungkinkan mereka untuk memodelkan dan mengonfirmasi keamanan protokol berbasis DAG dengan mudah. Perpustakaan ini mencakup bukti yang telah diverifikasi untuk protokol utama seperti DAG-Rider, Cordial Miner, Bullshark, Hashgraph, dan Aleph, dengan protokol konsensus Sonic yang divalidasi sebagai turunan.
Mengingat nilai yang sekarang mengalir melalui ekosistem blockchain, adalah kepentingan semua orang untuk membuatnya lebih aman. Namun, ini lebih mudah diucapkan daripada dilakukan, karena prosedur audit standar sama sekali tidak kebal terhadap kesalahan dan tidak jarang ada kerentanan yang muncul dan kemudian dieksploitasi dengan konsekuensi yang menghancurkan.
Membuat Blockchain Lebih Aman untuk Semua
Pendekatan verifikasi formal Sonic Labs menggunakan bukti matematis yang ketat untuk menghilangkan kesalahan, memastikan bahwa protokol berfungsi dengan andal dalam setiap skenario yang bisa dibayangkan. Perpustakaan ini tidak hanya memverifikasi protokol yang ada tetapi juga memberdayakan pengembang untuk merancang sistem berbasis DAG baru atau menyempurnakan yang sudah ada. Sonic Labs telah menerapkan alat kepemilikannya untuk membuktikan bahwa perilaku tidak aman secara matematis tidak mungkin terjadi di blockchain Sonic.
Pertama kali ditampilkan di NASA Formal Methods 2025 di Williamsburg, Virginia pada pertengahan Juni, perpustakaan ini menambah alat defensif yang berharga untuk arsenal pengembang blockchain. Seiring desain modular menjadi cara default dalam membangun blockchain, risiko keamanan yang muncul semakin meningkat. Misalnya, banyak penyedia Blockchain-as-a-Service memungkinkan tim untuk membuat dan menerapkan jaringan kustom hanya dengan beberapa klik. Namun, jika mereka memilih untuk mengubah parameter mekanisme konsensus dalam prosesnya, ada kemungkinan secara tidak sengaja memperkenalkan celah keamanan.
Ini hanya salah satu bidang di mana pustaka verifikasi formal Sonic Labs memiliki aplikasi yang jelas. Namun, ini juga memiliki nilai tambah dalam menilai rantai berbasis DAG yang ada. Kerentanan sering kali dapat terpendam selama bertahun-tahun di alam liar sebelum, dalam skenario terbaik, seorang whitehat menemukannya dan diperbaiki. Dalam kasus terburuk, itu jatuh ke tangan blackhat yang dapat mengeksploitasinya.
Sebagai Kepala Penelitian Sonic Labs, Dr. Bernhard Scholz meringkas, “Dalam blockchain, kegagalan keamanan sering kali berasal dari asumsi yang tidak diuji hingga sudah terlambat. Dengan perpustakaan ini, kami beralih dari harapan ke bukti, menawarkan alat untuk memverifikasi, dengan kepastian matematis, bahwa protokol akan berperilaku dengan aman di semua kondisi.” Dengan perpustakaan sumber terbuka sekarang tersedia untuk pengembang web3, tanggung jawab ada pada mereka untuk mengambil alat ini dan memanfaatkannya sebaik mungkin.