a16z crypto'nun yeni araştırması, blok zinciri güvenliği ve canlılık direncini hassas bir şekilde karakterize ediyor ve düşmanların yüksek oranda doğrulayıcıyı kontrol etmesi durumunda bile sistemlerin güvende kalabileceğini gösteren modeller sunuyor, özellikle de güvenilir istemci iletişimiyle.

Yönetici Özeti

a16z crypto, Common Prefix ve Stanford Üniversitesi ile işbirliği içinde, blok zinciri ağlarındaki Bizans Hata Toleranslı (BFT) Durum Makinesi Çoğaltma (SMR) konsensüsü için modelleri sistemleştiren temel bir araştırma yayınladı. Makale, 16 farklı modelde elde edilebilir güvenlik ve canlılık dayanıklılıklarını ayrıntılı olarak karakterize ederek, doğrulayıcıların önemli bir kısmı düşmanlar tarafından kontrol edildiğinde bile blok zincirlerinin güvenliği nasıl sağlayabileceğini anlamak için bir çerçeve sunuyor. Anahtar bir bulgu, istemciler güvenilir bir şekilde iletişim kurabildiğinde sistemlerin güvende kalabileceğini vurguluyor ve bu durum, %51 saldırısı gibi geleneksel güvenlik açığı eşiği kavramlarına meydan okuyabilir.

Ayrıntılı Etkinlik

Araştırma, blok zinciri güvenliğinde merkezi bir soruyu ele alıyor: "blok zinciri güvenli ve canlı kalırken düşmanlar doğrulayıcıların yüzde kaçını kontrol edebilir?" Bu soru, %33'ten (kesinliği önleme) %51'e (işlemleri sansürleme) ve hatta Vitalik Buterin'in speküle ettiği %99'a kadar değişen eşikleri ele alıyor. Makale, mutabakat modellerini dört kritik boyut boyunca sistemleştiriyor: istemci davranışı (uyuyan veya her zaman açık), istemci iletişimi (sessiz veya iletişim kuran), doğrulayıcı durumu (uyuyan veya her zaman açık) ve ağ koşulları (eşzamanlılık veya kısmi eşzamanlılık).

Önemli bir içgörü, istemcilerin genellikle gossip tarzı eşler arası ağ aracılığıyla birbirleriyle güvenilir bir şekilde iletişim kurabildiğinde sistemlerin yüksek dayanıklılık elde edebilmesidir. Filecoin ve Ethereum 2.0'da kullanılan GossipSub gibi protokoller bu yeteneği örneklemektedir ve düşmanlar bir blok zincirinin güvenlikle ilgili neredeyse tüm kaynaklarını kontrol etse bile sistemlerin güvende kalmasını sağlar. Çalışma, bir protokolün bu özellikleri garanti ederken tolerans gösterebileceği düşman doğrulayıcıların maksimum oranını tanımlayan güvenlik dayanıklılığı ve canlılık dayanıklılığının sıkı bir karakterizasyonunu sunar. Bu, mevcut bilgiyi ve önceki sonuçları birleştirmeyi ve yeni protokoller ve imkansızlık teoremleriyle literatürdeki boşlukları doldurmayı içerir. Pass ve Shi tarafından tanıtılan ve Daian ve ark.'nın Pamuk Prenses protokolü tarafından genişletilen uyuyan model kavramı, doğrulayıcıların aktif ve pasif durumlar arasında dinamik olarak geçiş yaptığı senaryoları daha fazla keşfeder ve katılımdaki dalgalanmalara rağmen mutabakatı sürdürür.

Piyasa Etkileri

Bu araştırma, blok zinciri protokollerinin tasarımı ve güvenlik değerlendirmesi için önemli uzun vadeli etkileri beraberinde getiriyor. Dayanıklılığı anlamak için hassas ve kapsamlı bir çerçeve sağlayarak, daha sağlam ve güvenli blok zinciri mimarilerinin geliştirilmesine yol açabilir. Çeşitli düşman koşullar altında güvenlik ve canlılığı matematiksel olarak karakterize etme yeteneği, geliştiricilerin ve denetçilerin mevcut ve gelecekteki blok zincirlerinin güvenlik garantilerini daha doğru bir şekilde değerlendirmesini sağlayacak, potansiyel olarak algılanan güvenilirliklerini etkileyecek ve daha fazla benimsenmeyi teşvik edecektir. Bulgular, düşman kontrolünün basitleştirilmiş yorumlarına meydan okuyor, istemci iletişimi ve ağ özelliklerini kritik faktörler olarak değerlendiren güvenlik tasarımına incelikli bir yaklaşımı teşvik ediyor.

Uzman Yorumu

Joachim Neu, Srivatsan Sridhar, Ertem Nusret Tas, Dionysis Zindros ve David Tse'nin bulguları, bir blok zincirinin ulaşabileceği dayanıklılık seviyesinin, istemcilerinin nasıl modellendiğine büyük ölçüde bağlı olduğunu vurguluyor. Araştırma açıkça şunu gösteriyor ki, "bir blok zinciri sistemindeki istemciler güvenilir bir şekilde iletişim kurabildiğinde... sistem, düşman blok zincirinin güvenlikle ilgili neredeyse tüm kaynaklarını kontrol etse bile güvende kalabilir." Bu içgörü, blok zinciri güvenliğinin teorik anlayışını ve pratik uygulamasını ilerletmek için çok önemlidir.

Daha Geniş Kapsam

Bu araştırma, blok zinciri güvenlik protokollerini geliştirmeye ve dağıtık ağların çifte harcama ve Sybil saldırıları dahil olmak üzere çeşitli tehditlere karşı dayanıklılığını artırmaya yönelik daha geniş çabalara katkıda bulunmaktadır. Ölçeklenebilirlik ve dayanıklılık arasında denge kurmanın hala bir zorluk olduğu Web3 bağlamında, bu tür temel ilerlemeler kritik öneme sahiptir. Doğrudan dönüştürülebilir tahviller gibi finansal enstrümanlarla ilgili olmasa da, aşırı koşullar altında güvenliğin sağlam karakterizasyonu, bu ağlar üzerine inşa edilen tüm finansal işlemlerin ve uygulamaların güvenilirliğini desteklemektedir. Bu akademik titizlik, Symbiotic'in yeniden stake etme (restaking) ve Kasalar (Vaults) yaklaşımı gibi, yüksek güvenliği korurken sermaye verimliliğini optimize etmeyi amaçlayan modüler güvenlik mimarilerindeki diğer gelişmeleri tamamlamaktadır. Nihayetinde, ağ dayanıklılığına ilişkin daha derin bir anlayış, yatırımcı güvenini teşvik etmek ve merkezi olmayan finans ekosistemlerinin uzun vadeli istikrarını ve benimsenmesini sağlamak için hayati önem taşımaktadır; sağlam risk yönetimi ve etkili yönetim çerçeveleri ile birlikte.