Sonic, asenkron konsensüsün, geleneksel "BFT" protokollerinin tüm güvenlik garantilerini koruyarak doğrusal ölçeklenebilirlik elde edebileceğini matematiksel olarak kanıtladıkları için en hızlı EVM'dir, basit değil mi?! 🥲
🔶 Uzun cevap: BFT nedir (Byzantine Fault Tolerance)? BFT, bir blok zincirinin, doğrulayıcıların 1/3'ü kötü niyetli veya çevrimdışı olduğunda bile doğru bir şekilde çalışmasını sağlar.
🔸 BFT Güvenlik Matematiği: "2f+1" Bunu, bazı seçmenlerin yozlaşmış olabileceği bir oylama gibi düşünün.
f = sistemin başa çıkabileceği en kötü aktörlerin maksimum sayısı 2f+1 = güvenli kararlar için gereken minimum oy sayısı Garanti: Tüm kötü aktörler oy verse bile, iyi aktörler yine kazanır
🔸300 doğrulayıcı ile örnek: BFT en fazla 99 kötü aktörü idare edebilir ( geri kalan 201 dürüst ) Konsensusa ulaşmak için en az 199 oya ihtiyaç var, bunun altında kalan her şey BFT'de yeterli değil.
Basit kural: eğer kötü niyetli olanların oranı 1/3'ten az ise = ağ güvenli kalır
🔷 Geleneksel PBFT (Pratik BFT) ile ilgili sorun: 🔹Sıralı blok üretimi = temel darboğaz. 🔹Validatorler global olarak senkronize olmalıdır. 🔹 her blok, bir sonraki üretilemeden önce 2f+1 onayı bekler. Bu serileştirme, verimliliği öldürüyor.
🔷 Sonic'in ABFT atılımı, Lachesis protokolü: 🔹 DAG tabanlı mimari: Doğrulayıcılar paralel olarak olay blokları oluşturur ( sırada bekleme yok, bunu başka bir yazıda zaten açıkladım) 🔹 Asenkron dedikodu: Olay blokları, küresel senkronizasyon olmadan dedikodu yoluyla yayılır 🔹 Carmen motoru: Canlı veritabanı budama ile optimize edilmiş depolama (BÜYÜK ANLAŞMA) 🔹 Gelişmiş VM: Standart EVM'nin yerini alan dinamik bytecode çevirisi
🔷 Performans analizi: 🔹 Olay blok oluşturma: ~100ms 🔹 Dedikodu yayılımı: ~300ms 🔹 Kök blok konsensüsü: ~500ms 🔹 Ana zincir kesinleştirme: Alt-kısım 🔹 Sonuç: 400K TPS ( ağ I/O ile sınırlıdır, uzlaşma değil )
🔷 Güvenlik sağlandı: 🔹 Aynı f < n/3 Bizans toleransı (2f+1 dürüst çoğunluk) 🔹 Anlık kesinlik ( olasılıksal onay yok ) 🔹 Ekonomik kesinlik uzun menzilli saldırıları engeller
ABFT'deki atılım: Senkranizasyon gereksinimlerinin kaldırılması, aynı güvenlik matematiğini korurken darboğazı ortadan kaldırır (2f+1)
Bu arada, eğer bu kadar okumaktan kafan karıştıysa ve "neee" diye düşünüyorsan, o zaman bu teknoloji ile "Anlık Kesinlik"e ulaşmak için harcanan emek ve yeniliği bir düşün.
Bir sonraki sefer bir tx imzaladığınızda ve bu bir anda gerçekleştiğinde, Sonic'in o alt saniyede bu⬆️tüm süreci gerçekleştirdiğini ve o tam saniyede 399999 daha fazla kez bunu yapabileceğini bilin.
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.
🔶 Kısa cevap:
Sonic, asenkron konsensüsün, geleneksel "BFT" protokollerinin tüm güvenlik garantilerini koruyarak doğrusal ölçeklenebilirlik elde edebileceğini matematiksel olarak kanıtladıkları için en hızlı EVM'dir, basit değil mi?! 🥲
🔶 Uzun cevap:
BFT nedir (Byzantine Fault Tolerance)?
BFT, bir blok zincirinin, doğrulayıcıların 1/3'ü kötü niyetli veya çevrimdışı olduğunda bile doğru bir şekilde çalışmasını sağlar.
🔸 BFT Güvenlik Matematiği: "2f+1"
Bunu, bazı seçmenlerin yozlaşmış olabileceği bir oylama gibi düşünün.
f = sistemin başa çıkabileceği en kötü aktörlerin maksimum sayısı
2f+1 = güvenli kararlar için gereken minimum oy sayısı
Garanti: Tüm kötü aktörler oy verse bile, iyi aktörler yine kazanır
🔸300 doğrulayıcı ile örnek:
BFT en fazla 99 kötü aktörü idare edebilir ( geri kalan 201 dürüst )
Konsensusa ulaşmak için en az 199 oya ihtiyaç var, bunun altında kalan her şey BFT'de yeterli değil.
Basit kural: eğer kötü niyetli olanların oranı 1/3'ten az ise = ağ güvenli kalır
🔷 Geleneksel PBFT (Pratik BFT) ile ilgili sorun:
🔹Sıralı blok üretimi = temel darboğaz.
🔹Validatorler global olarak senkronize olmalıdır.
🔹 her blok, bir sonraki üretilemeden önce 2f+1 onayı bekler. Bu serileştirme, verimliliği öldürüyor.
🔷 Sonic'in ABFT atılımı, Lachesis protokolü:
🔹 DAG tabanlı mimari: Doğrulayıcılar paralel olarak olay blokları oluşturur ( sırada bekleme yok, bunu başka bir yazıda zaten açıkladım)
🔹 Asenkron dedikodu: Olay blokları, küresel senkronizasyon olmadan dedikodu yoluyla yayılır
🔹 Carmen motoru: Canlı veritabanı budama ile optimize edilmiş depolama (BÜYÜK ANLAŞMA)
🔹 Gelişmiş VM: Standart EVM'nin yerini alan dinamik bytecode çevirisi
🔷 Performans analizi:
🔹 Olay blok oluşturma: ~100ms
🔹 Dedikodu yayılımı: ~300ms
🔹 Kök blok konsensüsü: ~500ms
🔹 Ana zincir kesinleştirme: Alt-kısım
🔹 Sonuç: 400K TPS ( ağ I/O ile sınırlıdır, uzlaşma değil )
🔷 Güvenlik sağlandı:
🔹 Aynı f < n/3 Bizans toleransı (2f+1 dürüst çoğunluk)
🔹 Anlık kesinlik ( olasılıksal onay yok ) 🔹 Ekonomik kesinlik uzun menzilli saldırıları engeller
ABFT'deki atılım:
Senkranizasyon gereksinimlerinin kaldırılması, aynı güvenlik matematiğini korurken darboğazı ortadan kaldırır (2f+1)
Bu arada, eğer bu kadar okumaktan kafan karıştıysa ve "neee" diye düşünüyorsan, o zaman bu teknoloji ile "Anlık Kesinlik"e ulaşmak için harcanan emek ve yeniliği bir düşün.
Bir sonraki sefer bir tx imzaladığınızda ve bu bir anda gerçekleştiğinde, Sonic'in o alt saniyede bu⬆️tüm süreci gerçekleştirdiğini ve o tam saniyede 399999 daha fazla kez bunu yapabileceğini bilin.
🙂