Charles Hoskinson, Midnight ZK Kanıtlarını Kullanarak Cardano Köprüsü Güvenlik Modelinin Ana Hatlarını Çizdi

Charles Hoskinson, Cardano ve BNB Chain’i içeren Wanchain istismarı sonrasında Cardano köprüleri için yeni bir güvenlik modeli önerdi. Beyaz tahta videosunda, “Getting Bridges back on Track,” Midnight ZK kanıtlarının, katmanlı yetkilendirmenin ve otomatik devre kesicilerin gelecekteki köprü saldırılarının riskini nasıl azaltabileceğini anlattı.

Wanchain İstismarı Dört Köprü Saldırı Yüzeyini Ortaya Çıkardı

Daha önce bildirilen Wanchain köprü olayı, likiditenin büyük kısmı Cardano merkeziyetsiz borsalarına ulaşmadan önce, yaklaşık 515 milyon $NIGHT tokenının köprünün Cardano tarafındaki hazineden çıkmasını içeriyordu. Midnight’ın protokolü, doğrulayıcı ağı ve Cardano yerel varlığı ele geçirilmedi.

Hoskinson ayrıca cNIGHT arzının önceki durumuna geri getirilmesine yönelik çağrılara değindi. Tokenların halihazırda Cardano yerel varlıkları olarak dağıtıldığını, bu nedenle Midnight ve Input Output’un kullanıcı cüzdanlarında tutulan tokenların sahipliğini geri çevirme konusunda merkezi bir mekanizmaya sahip olmadığını söyledi.

Videoda anlatılan model kapsamında, kullanıcılar BNB Chain üzerinde karşılık gelen sarılmış varlığı almadan önce $NIGHT’ın Cardano temsilini kilitler. Varlığın geri döndürülmesi, orijinal tokenların Cardano üzerinde kilidinin açılabilmesi için sarılmış tokenların yakılmasını gerektirir.

Hoskinson, bu süreçte dört ayrı saldırı yüzeyi belirledi: Cardano üzerindeki Plutus sözleşmesi, BNB Chain üzerindeki Solidity sözleşmesi, zincir dışı Cardano altyapısı ve zincir dışı BNB Chain altyapısı. Herhangi bir bileşendeki bir arıza, hatalı onaylara, geçersiz yetkilendirmeye veya izinsiz token serbest bırakmalarına yol açabilir.

Ayrıca köprülerin yalnızca varlık transferlerini doğrulamakla kalmayabileceğini ekledi. İşlem durumunu, UTxO üyeliğini, basım ve yakım olaylarını, delege etmeyi, ödülleri, betik sonuçlarını ve yönetişim eylemlerini de kanıtlayabilirler. Sunumunda, olası Cardano durum iddiaları için 42 ve Midnight için 52 kategori listeledi.

Midnight ZK Modeli Köprü Operatörünü Ortadan Kaldıracak

Hoskinson’un önerdiği model, geleneksel köprü operatörünün yerine kullanıcı tarafından üretilen ve başka bir blok zincirindeki bir hedef adrese bağlanan bir sıfır bilgi kanıtı koyuyor. Kanıt, kaynak zincirde gerekli olayın gerçekleşip gerçekleşmediğini kontrol eden bir doğrulayıcı sözleşmeye gönderilecektir.

Herhangi bir taraf kanıtı iletebilir, çünkü yetkilendirme haberci kimliğine değil, kriptografik geçerliliğine bağlı olacaktır. Doğrulandıktan sonra, hedef sözleşme karşılık gelen varlığı, her iki blok zincirini yorumlamak için bir köprü operatörüne güvenmeden basabilir veya serbest bırakabilir.

Midnight, kamuya açık ve özel durumu, sıfır bilgi kanıtlarını ve seçmeli açıklamayı birleştiren uygulamaları destekleyen, gizlilik odaklı bir Cardano partner zinciridir. Compact dili, TypeScript geliştiricilerinin, altta yatan kriptografiyi doğrudan uygulamadan ZK özellikli uygulamalar inşa etmesine olanak sağlamak üzere tasarlanmıştır.

Hoskinson, ZK doğrulamayı bir eşik imza sistemiyle birleştirmeyi önerdi. Bir işlem yalnızca her iki mekanizma da onayladığında ilerleyecektir. Katmanlardan herhangi birindeki bir arıza köprünün çalışmasını durdurabilir, ikinci katman ise kilitli varlıkları izinsiz serbest bırakmaya karşı korumaya devam eder.

Teknik temel, çeşitli köprü mimarileri arasında güvenlik özelliklerini tanımlayan ve test eden “Crossing with Confidence: Formal Analysis and Model Checking of Blockchain Bridges” araştırma makalesini içerir. Hoskinson bir geliştirme ekibi, çıkış tarihi veya tamamlanmış Cardano ve Midnight ZK köprüsü duyurmadı.

Cardano Pub/Sub ve Midnight Passport Güvenlik Modelini Genişletiyor

Hoskinson ayrıca, saldırılar tespit edildikten sonra onları sınırlamaya yönelik Cardano çapında bir uyarı sistemini anlattı. Merkeziyetsiz borsalar, kredi protokolleri, cüzdanlar, merkezi borsalar ve köprü operatörleri, bir yayımla abone ol ağı üzerinden doğrulanmış güvenlik kanallarına abone olabilir.

Ele geçirilmiş bir köprüden gelen bir uyarı, bağlı uygulamaların alım satımı askıya almasına, likiditeyi çekmesine, kredi piyasalarını devre dışı bırakmasına veya transferleri durdurmasına olanak tanıyan otomatik devre kesicileri tetikleyebilir. Amaç, bir saldırganın çalınan varlıkları stabilcoinlere çevirmesini veya onları aklama hizmetleri üzerinden hareket ettirmesini kısıtlamaktır.

Hoskinson, Pub/Sub altyapısını Ouroboros Leios’ta daha fazla ilerlemenin ardından, 2027 için Cardano’nun öncelikleri arasına yerleştirdi. Input Output daha önce deneysel bir Cardano Pub/Sub prototipi yayımlamıştı, bu prototip 17 Temmuz’da, geliştirmenin yeni bir depoya taşındığına ilişkin bir notla arşivlendi.

Önerinin son bölümü, isteğe bağlı beyaz şapkalı cüzdan korumasını kapsıyor. Kullanıcılar, saklama hizmeti olmayan bir cüzdan oluştururken önceden tanımlanmış bir müdahaleye yetki verebilir. Etkin bir saldırı sırasında, onaylanmış bir beyaz şapkalı taraf maruz kalan varlıkları hareket ettirebilir, ardından sahip, onları geri alma hakkını özel olarak kanıtlar.

Hoskinson bu süreci Midnight Passport ve seçmeli açıklamayla ilişkilendirdi. Midnight dokümantasyonu, Passport’u, donanımda bulunan anahtarlar ve güvenilir yardımcı kurtarma ile duyurulmuş, tohum gerektirmeyen bir tüketici cüzdanı olarak tanımlıyor. Önerilen modelde, bir cüzdanı sahibine, bir beyaz şapkalı yetkilendirmeye ve bir sigorta politikasına özel olarak bağlayabilir.

Resmi köprü araştırması ve deneysel Pub/Sub çalışması zaten kamuya açık. ZK köprüsü, üretim devre kesicileri, beyaz şapkalı lisanslama sistemi ve Passport tabanlı sigorta modeli, yayımlanmış uygulama takvimleri olmadan önerilen bileşenler olarak kalıyor.