Sonic Labs, Sonic blockchain'ın arkasındaki ekip, DAG tabanlı konsensüs protokolleri için yeni resmi doğrulama kütüphanesini başlattı. Amaç, blok zincirlerinin güvenliği için kanıt araçları sağlamaktır.
Sonic Labs ve blok zincirinin güvenliği: yeni resmi doğrulama kütüphanesinin lansmanı
Sonic Labs, Sonic blockchain'ın arkasındaki ekip, DAG tabanlı konsensüs protokollerine adanmış yeni resmi doğrulama kütüphanesinin lansmanını duyurdu.
Pratikte, yönlendirilmiş asiklik grafik blok zincirlerinin güvenliğini matematiksel olarak kanıtlamak için resmi doğrulama kullanan açık kaynaklı bir kütüphanedir; Sonic EVM blok zinciri de dahil olmak üzere.
TLA+ deneme asistanının kullanılması sayesinde, DAG tabanlı konsensüs protokollerinin doğrulama sürecini basitleştirmek mümkün hale geliyor; bu da geliştiricilerin protokolleri minimum çaba ile modellemelerine ve doğrulamalarına olanak tanıyor.
Bu, blok zincirlerinin güvenliğini doğrulamak için bir test aracıdır. Kütüphane, Sonic konsensüs protokolünün türetilmiş olarak doğrulandığı DAG-Rider, Cordial Miner, Bullshark, Hashgraph ve Aleph gibi önemli DAG tabanlı protokoller için testler içermektedir.
Resmi doğrulama kütüphanesi, 11-13 Haziran tarihleri arasında Virginia, Williamsburg'da düzenlenen NASA Formal Methods 2025 (NFM 2025)'de ilk kez sunuldu.
Sonic Labs ve bir protokolün güvenliğini kanıtlamak için titiz matematiksel yaklaşım
Blockchain güvenliğinin mevcut durumu, aynı zamanda felaket bir istismara yol açabilecek konsensüs protokollerinin zayıflığı ile sıkça karşılaşmaktadır. Çift harcama veya defter tutma tutarsızlıkları bir örnektir.
Genel olarak, aslında, blok zincirlerinin güvenliğini sağlamak için geleneksel testler ve doğrulamalar yetersiz hale gelmiştir.
Burada, bu anlamda, Sonic Labs anın zorluğunu tamamen matematiksel bir yaklaşım benimseyerek üstlenmeye karar verdi; bu, bir protokolün tüm olası senaryolarda güvenli olduğunu gösteriyor ve hatalara yer bırakmıyor.
Bu bağlamda, Dr. Bernhard Scholz, Sonic Labs'ın Baş Araştırma Sorumlusu, şunları belirtti:
"Blok zincirinde, güvenlik hataları genellikle çok geç olmadan doğrulanmamış varsayımlardan kaynaklanır. Bu kütüphane ile umuttan kanıta geçiyoruz ve bir protokolün her koşul altında güvenli bir şekilde davranacağını matematiksel kesinlikle doğrulamak için araçlar sağlıyoruz. Amacımız, resmi doğrulamayı tüm protokol geliştiricilerine erişilebilir hale getirmektir."
Sonic Labs, Sonic blok zincirinde güvensiz davranışın matematiksel olarak imkansız olduğunu kanıtlamak için resmi doğrulama uygulamaya başlamıştır.
Token S'nin Coinbase'e girişi
Son birkaç saatte, tanınmış kripto borsa Coinbase'de Sonic (S) tokenının girişi hakkında da konuşuluyor.
$S artık @Coinbase'de mevcut. pic.twitter.com/E6AIy6yusF
— Sonic Labs (@SonicLabs) 24 Haziran 2025
Pratikte, Coinbase müşterileri S tokenini satın almak, satmak, dönüştürmek, göndermek, almak veya depolamak için Coinbase iOS ve Android uygulamasına da erişebilirler.
Şu anda, Sonic (S) genel kripto sıralamasında 73. sırada, piyasa değeri 932 milyon dolar. Yazı yazıldığı sırada, S'nin değeri 0,32 $.
2025 yılının ortalarında, Fantom DeFi'yi devrim niteliğinde güncellemek için en son Sonic güncellemesini başlattı. 10,000'den fazla işlem kapasitesine sahip (TPS) ve 2 saniyeden daha kısa finalizasyon süreleri ile Sonic, kripto alanında en hızlı ve en ölçeklenebilir Layer 1 ağlarından biri olarak hemen kendini konumlandırdı. Sonic ile birlikte, Fantom'un FTM'ine başlangıçta bağlanan S token'ı da piyasaya sürüldü.
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
Sonic Labs: DAG tabanlı protokoller için yeni resmi doğrulama kütüphanesi
Sonic Labs, Sonic blockchain'ın arkasındaki ekip, DAG tabanlı konsensüs protokolleri için yeni resmi doğrulama kütüphanesini başlattı. Amaç, blok zincirlerinin güvenliği için kanıt araçları sağlamaktır.
Sonic Labs ve blok zincirinin güvenliği: yeni resmi doğrulama kütüphanesinin lansmanı
Sonic Labs, Sonic blockchain'ın arkasındaki ekip, DAG tabanlı konsensüs protokollerine adanmış yeni resmi doğrulama kütüphanesinin lansmanını duyurdu.
Pratikte, yönlendirilmiş asiklik grafik blok zincirlerinin güvenliğini matematiksel olarak kanıtlamak için resmi doğrulama kullanan açık kaynaklı bir kütüphanedir; Sonic EVM blok zinciri de dahil olmak üzere.
TLA+ deneme asistanının kullanılması sayesinde, DAG tabanlı konsensüs protokollerinin doğrulama sürecini basitleştirmek mümkün hale geliyor; bu da geliştiricilerin protokolleri minimum çaba ile modellemelerine ve doğrulamalarına olanak tanıyor.
Bu, blok zincirlerinin güvenliğini doğrulamak için bir test aracıdır. Kütüphane, Sonic konsensüs protokolünün türetilmiş olarak doğrulandığı DAG-Rider, Cordial Miner, Bullshark, Hashgraph ve Aleph gibi önemli DAG tabanlı protokoller için testler içermektedir.
Resmi doğrulama kütüphanesi, 11-13 Haziran tarihleri arasında Virginia, Williamsburg'da düzenlenen NASA Formal Methods 2025 (NFM 2025)'de ilk kez sunuldu.
Sonic Labs ve bir protokolün güvenliğini kanıtlamak için titiz matematiksel yaklaşım
Blockchain güvenliğinin mevcut durumu, aynı zamanda felaket bir istismara yol açabilecek konsensüs protokollerinin zayıflığı ile sıkça karşılaşmaktadır. Çift harcama veya defter tutma tutarsızlıkları bir örnektir.
Genel olarak, aslında, blok zincirlerinin güvenliğini sağlamak için geleneksel testler ve doğrulamalar yetersiz hale gelmiştir.
Burada, bu anlamda, Sonic Labs anın zorluğunu tamamen matematiksel bir yaklaşım benimseyerek üstlenmeye karar verdi; bu, bir protokolün tüm olası senaryolarda güvenli olduğunu gösteriyor ve hatalara yer bırakmıyor.
Bu bağlamda, Dr. Bernhard Scholz, Sonic Labs'ın Baş Araştırma Sorumlusu, şunları belirtti:
"Blok zincirinde, güvenlik hataları genellikle çok geç olmadan doğrulanmamış varsayımlardan kaynaklanır. Bu kütüphane ile umuttan kanıta geçiyoruz ve bir protokolün her koşul altında güvenli bir şekilde davranacağını matematiksel kesinlikle doğrulamak için araçlar sağlıyoruz. Amacımız, resmi doğrulamayı tüm protokol geliştiricilerine erişilebilir hale getirmektir."
Sonic Labs, Sonic blok zincirinde güvensiz davranışın matematiksel olarak imkansız olduğunu kanıtlamak için resmi doğrulama uygulamaya başlamıştır.
Token S'nin Coinbase'e girişi
Son birkaç saatte, tanınmış kripto borsa Coinbase'de Sonic (S) tokenının girişi hakkında da konuşuluyor.
$S artık @Coinbase'de mevcut. pic.twitter.com/E6AIy6yusF
— Sonic Labs (@SonicLabs) 24 Haziran 2025
Pratikte, Coinbase müşterileri S tokenini satın almak, satmak, dönüştürmek, göndermek, almak veya depolamak için Coinbase iOS ve Android uygulamasına da erişebilirler.
Şu anda, Sonic (S) genel kripto sıralamasında 73. sırada, piyasa değeri 932 milyon dolar. Yazı yazıldığı sırada, S'nin değeri 0,32 $.
2025 yılının ortalarında, Fantom DeFi'yi devrim niteliğinde güncellemek için en son Sonic güncellemesini başlattı. 10,000'den fazla işlem kapasitesine sahip (TPS) ve 2 saniyeden daha kısa finalizasyon süreleri ile Sonic, kripto alanında en hızlı ve en ölçeklenebilir Layer 1 ağlarından biri olarak hemen kendini konumlandırdı. Sonic ile birlikte, Fantom'un FTM'ine başlangıçta bağlanan S token'ı da piyasaya sürüldü.