a16z crypto, London School of Economics, Stanford ve Columbia Üniversitesi'nin ortak araştırma çabası, blok zincirleri için "hesap verebilir canlılık" kavramını tanıtarak, düşmanca düğümleri cezalandırmayı ve kripto-ekonomik güvenliği artırmayı, piyasa güvenini teşvik etmeyi hedefliyor.

Yönetici Özeti

a16z crypto, London Ekonomi Okulu, Stanford ve Columbia Üniversitesi'nin yeni araştırması, blok zinciri ağlarındaki işlem onayını kasıtlı olarak geciktiren düşmanca düğümleri tanımlama ve cezalandırma mekanizması olan "hesap verebilir canlılığı" tanıtıyor. Bu çalışma, canlılık ihlallerini ele almak için "hesap verebilir güvenlik" kavramını genişletiyor ve daha sağlam kripto-ekonomik güvenlik için teorik bir temel sağlıyor. Makale, belirli konsensüs protokollerinin canlılık saldırılarına karşı daha güçlü güvenceler sunmak için nasıl geliştirilebileceğini ve Ethereum gibi büyük platformlar için pratik çıkarımları ana hatlarıyla belirtiyor.

Ayrıntılı Olay

Araştırma, canlılık hesap verebilirliğini, işlem onayı durduğunda protokolü kanıtlanabilir şekilde ihlal eden düğümlerin önemli bir kısmını tanımlama yeteneği olarak tanımlar. Mesajların beklenmedik varlığını içeren güvenlik ihlallerinin aksine, canlılık ihlalleri mesajların beklenmedik yokluğundan kaynaklanır ve bu da hesap verebilirliği doğası gereği daha zor hale getirir. Makale, Tendermint gibi PBFT tarzı konsensüs protokollerinin belirli koşullar altında canlılık hesap verebilirliğini dahil edebileceğini gösteriyor: düğümlerin çoğunluğunun dürüst olması ve ağın "asenkron olmaktan daha sık senkron" olması. Bu mekanizma, doğrulayıcıların ilerleme için gerekli protokol yükümlülüklerini yerine getiremediğini gösteren kompakt kanıtlar olan "suçluluk sertifikaları" oluşturmaya dayanır. Ancak, araştırma ayrıca kanıtlanabilir sınırlamalar da ortaya koyuyor ve ağın ağırlıklı olarak asenkron olması veya düşmanların düğümlerin çoğunluğunu kontrol etmesi durumunda canlılık hesap verebilirliğinin imkansız olduğunu belirtiyor.

Piyasa Etkileri

Bu gelişme, canlılık saldırısı riskini azaltarak blok zinciri ağlarının stabilitesini ve güvenliğini önemli ölçüde artırma potansiyeline sahiptir. Konsensüs canlılığını resmi olarak doğrulayarak ve kusurlu doğrulayıcıları tanımlayarak, araştırma mevcut sezgisel mekanizmalara kıyasla daha genel ve kesin bir yaklaşım sunuyor. "Etkinlik sızıntıları" gibi canlılık sorunlarını çözmek için zaten kullanılan Ethereum gibi protokoller için, bulgular daha güçlü, kanıta dayalı hesap verebilirlik güvenceleri sunuyor. Geliştirilmiş kripto-ekonomik güvenlik için bu teorik temel, uzun vadede daha fazla kurumsal benimsemeyi ve kullanıcı güvenini teşvik edebilir, blok zinciri güvenliğini "ağın kurtulmasını ummanın ötesine" taşıyarak kanıtlanabilir, uygulanabilir bir sorumluluğa dönüştürebilir.

Uzman Yorumu

Andrew Lewis-Pye, Joachim Neu, Tim Roughgarden ve Luca Zanolini dahil olmak üzere araştırmacılar, canlılık hesap verebilirliğinin amacının durgunluktan sorumlu düşmanca düğümleri tanımlamak, suçluluklarını kanıtlamak ve hisse kesme ve müsadere gibi cezalar aracılığıyla kripto-ekonomik güvenliği uygulamak olduğunu vurguluyor. Bu sistem, dürüst katılımı ödüllendirirken kötü niyetli aktörleri cezalandırarak teşvikleri hizalamak için tasarlanmıştır. Bir araştırmacının belirttiği gibi:

Canlılık hesap verebilirliği, blok zincirlerini “ağın kurtulmasını ummanın ötesine” taşıyarak kanıtlanabilir, uygulanabilir bir sorumluluğa dönüştürüyor.

Daha Geniş Bağlam

Kripto-ekonomik güvenlik arayışı, dürüst davranışı teşvik etmeyi ve protokol ihlallerinden kaynaklanan zararları azaltmayı amaçlamaktadır. Bu yeni araştırma, mevcut çözümleri tamamlayan ve blok zinciri konsensüsünde gelecekteki gelişmeler için bir yol haritası sunan kritik bir adım atmaktadır. Ethereum'un Gasper protokolü gibi mevcut sistemler, etkinlik sızıntıları gibi sezgisel yaklaşımlar kullanırken, önerilen resmi tanımlama yöntemleri, ekosistem tek slot kesinliği gibi yükseltmeleri araştırırken daha güçlü güvencelere giden bir yol açmaktadır. Tendermint tarzı sistemler için araştırma, uygulayıcıların hesap verebilirliği bugün katmanlaması için bir çerçeve sağlıyor. Ancak, arXiv makalesi gibi son analizler, koordineli Bizans doğrulayıcılarının varlığında, etkinlik sızıntıları aracılığıyla pasif düğümleri cezalandırmanın güvenliği istenmeden tehlikeye atabileceği senaryoları da araştırmış ve bu güvenlik mekanizmalarının karmaşık etkileşimini vurgulamıştır.