Sonic Labs, DAG Konsensüs Protokolleri için Açık Kaynaklı Formal Doğrulama Kütüphanesini Duyurdu

Sonic Labs, yüksek performanslı katman-1 blok zinciri Sonic'in araştırma kolu olarak, Yönlendirilmiş Döngüsel Olmayan Grafik (DAG) konsensüs protokolleri için tasarlanmış açık kaynaklı bir formal doğrulama kütüphanesi tanıttı. Dr. Bernhard Scholz liderliğindeki bu yeni araç, yıllardır geliştiriliyor ve yüksek işlem hacmiyle bilinen ancak güvenli garantileri doğrulanmamış blok zinciri tasarımlarına matematiksel kesinlik getirmeyi vaat ediyor.

Kütüphane, kritik havacılık ve dağıtık sistem algoritmalarını doğrulamak için kullanılan TLA+ kanıtlama yardımcısını kullanıyor. Bu sayede, protokol tasarımcılarına, tüm olası ağ koşullarında DAG tabanlı konsensüsü oluşturmak ve kontrol etmek için yeniden kullanılabilir, modüler bileşenler sunuyor. Sonic Labs, kütüphaneyi Sydney Üniversitesi ve Fransa'daki INRIA araştırma enstitüsündeki mantıkçılarla yakın işbirliği içinde geliştirdi. Ekip, DAG-Rider, Cordial Miner, Bullshark, Hashgraph ve Aleph gibi beş önemli DAG protokolünün temel güvenlik özelliklerini kodladı ve Sonic'in kendi konsensüs kurallarının nasıl doğal olarak türetilmiş bir model olarak uyduğunu gösterdi.

Geliştiriciler artık, her bir kanıtı sıfırdan oluşturmak yerine, doğrulanmış modülleri (örneğin, bir lider seçim bileşeni veya kesinlik aracı) karıştırıp eşleştirebiliyor. Bu sayede, eskiden aylarca süren titiz teorem kanıtlama işlemleri artık günler içinde tamamlanabiliyor, böylece formal olarak doğrulanmış blok zinciri araştırmalarına erişim kolaylaşıyor. Blok zincirleri bugün trilyonlarca dolarlık dijital varlığı güvence altına alıyor. Ancak, denetimler ve test ağları, bir saldırganın fonları iki kez harcamasına veya defteri çatallamasına izin verebilecek ince konsensüs hatalarının yokluğunu garanti edemiyor. Formal doğrulama, protokolün spesifikasyonunu matematiksel bir teorem olarak ele alır: Kanıt geçerliyse, güvenlik garantisi de geçerlidir.

Sonic Labs, kütüphaneyi GitHub'da açık kaynaklı olarak yayınlayarak, dünya çapındaki blok zinciri ekipleri arasında bir işbirliği dalgası başlatmayı umuyor. Ayrıca, saniyede 400.000'e kadar işlem hacmi ve saniyenin altında kesinliğe sahip olan Sonic, pazarın en hızlı EVM blok zinciri olma iddiasını ortaya koydu. Sonic Labs, formal doğrulamayı araç setinin bir parçası haline getirerek, hem öncü bir araştırma platformu hem de sağlam bir üretim zinciri olarak Sonic'in itibarını daha da pekiştirmeyi hedefliyor. Sonuç olarak, bu yeni kütüphane, protokol tasarımcıları ve blok zinciri mimarları için, güvenliğin geleceğin merkezi olmayan sistemlerine nasıl entegre edileceğine dair bir ölçüt oluşturabilir.