Aztec'in Tierra V6 Sürümü Kullanıcıların Fonlarını Lazarus Saldırılarıyla Bağlantısız Olduğunu Kanıtlamasına Olanak Tanıyor

Seri Numaraları Lazarus Yatırımlarını Eleyiyor

Aztec ortak kurucusu Zac Williamson, cumartesi günü Aztec Network kullanıcılarının fonlarını, Kuzey Kore'nin Lazarus Group'a atfedilen yatırmalarla hiçbir bağı olmadığını nasıl gösterebileceklerini açıkladı. Kanıt, kullanıcının diğer tüm işlem geçmişini ifşa etmeden çalışıyor. 14 Kasım'da yayımlanan bir söyleşide anlatılan mekanizma, protokolde değeri tutan özel birimler olan notlara bağlı seri numaralarına dayanıyor. Williamson, Pyongyang bağlantılı operasyonlardan çalınan fonların piyasada nasıl dolaştığını ve aklanmayı anlatan süregelen endişe zemininde bu tasarımı sunuyor.

Aztec'te değer, tek bir hesap bakiyesi yerine ayrı ayrı notlara bölünmüş durumda. Williamson bu yapıyı, her harcamanın kendi başına harcanabilir bir birim olarak takip edildiği Bitcoin'in harcanmamış işlem çıktısı (UTXO) modeline benzetiyor. Kontroller not düzeyinde yapıldığı için, bir toz gönderme (dusting) girişimiyle ulaştırılan kirli bir not, hesabın geri kalanını şüphe altına sokamıyor; o notun dışındaki fonlar temiz kökenini koruyor. Söyleşinin aktardığı çerçeveye göre bu özellik, bir toz gönderme saldırısının kullanıcının protokoldeki tüm varlığını bulaştırmasını engelleyen bir koruma.

Kanıdın kendisi, gizlilik havuzları (privacy pools) tarzı bir kurguya uygun: kullanıcı, notlarının Lazarus gibi gruplara bağlı işaretlenmiş yatırma listesinde yer almadığına dair kanıt sunuyor. Williamson kapsam konusunda temkinli. Gösteri yalnızca belirli fonların işaretli listede örtüşüp örtüşmediğini kapsıyor; kimlik doğrulaması ya da işlemlerin otomatik engellenmesi anlamına gelmiyor.

İfşa ise ayrı ve seçici bir mesele. Kullanıcı, hesap başına görüntüleme anahtarı aracılığıyla tüm işlem kaydını, örneğin ABD İç Gelir İdaresi gibi kendisinin belirlediği bir tarafla paylaşabiliyor. Williamson, bu düzeni her kullanıcının faaliyetini tek bir gözlemciye açan ortak bir denetim anahtarından ayırıyor; tasarım, kimsenin özel anahtarını küresel bir denetçiye teslim etmesini gerektirmiyor. Kimin neyi göreceği seçimi hesap sahibinde kalıyor.

Tierra V6 Kanıt Hızını İkiye Katlıyor

Söyleşinin odağı, Ethereum'un katman 1 ağında settlement yapan, özel ve tamamen merkeziyetsiz Aztec katman 2'sinin V6 sürümü Tierra'ydı. Performans ölçülebilir iki alanda ilerledi. 3 Kasım Salı günü yayımlanan resmi tanıtıma göre, Ethereum'dan Aztec'e mesaj taşıyan köprü protokolü teslim süresini ortalama iki dakikadan 12 saniyeye kadar indirdi, özel işlem kanıtlarının üretilmesi ise önceki sürümün iki katı hızda çalışıyor. Bu rakamlar sürümün performans dosyasını oluşturuyor; güvenlik anlatısının yerine geçmiyor.

Güvenlik çalışması sürümden önce gelmişti. Aztec, 7/24 çalışan bir yapay zeka denetim düzeneği işletiyor; Williamson'a göre bu düzenek, projenin kriptografik kütüphanelerinde, yani sistemin bilgi korumasını hayata geçiren bileşenlerinde, kritik güvenlik açıkları ortaya çıkardı. Ardından bir sistemin tanımlı matematiksel koşulları sağlayıp sağlamadığını kontrol eden biçimsel doğrulama prosedürü aynı bileşenlere uygulandı ve Williamson bu çalışmanın V6'ya duyduğu güveni artırdığını söyledi. Resmî sürüm notlarına göre Tierra ayrıca önceki sürümün kanıt sistemindeki bir kritik açığı da kapattı.

Yönetişim, Stage 2 rollup tasarımını izliyor: sıralayıcılar teminat koyuyor, kuralları bozarsa teminatı kaybediyor ve güncellemeler konusunda oy kullanıyor; sürecin içinde bir güvenlik konseyi yok. Zor tespit edilen bir çifte harcama (double-spend) hatasının etki alanını sınırlamak için Aztec, Zcash tarzı turnstile yaklaşımını benimsiyor. Ağ üzerindeki lansman hedefleri arasında zk.money, gizli bir yapay zeka çıkarım pazarı ve Ethereum tahvilleriyle desteklenen anonim bir sosyal ağ yer alıyor. Williamson, gizlilik özelliklerinin, ürün onsuz var olamadığında başarılı olduğunu savunuyor: kullanıcılar işlev süs değil zorunluluk olduğu için gönüllü olarak katılıyor.

Seri numaralı kanıt, düzenleyicilerin ve borsaların önce deneyeceği parça. Bir hesabın kendisini, yaptırım bağlantılı bir yatırma listesine karşı temize çıkarmasına izin veren ve tasarımdan küresel denetçi anahtarını dışlayan bir protokol, tam şeffaflık ile liste dışı bırakma baskısı arasında bir yol sunuyor. Kabul edilmişlik kanıtlanmamış: bu hikâyede hiçbir kaynak, not düzeyi kanıtları benimseyen bir borsa ya da düzenleyici aktarmıyor; söyleşide anlatılan bir yetenek, benimsenme değil. İkinci sınav Stage 2 sıralayıcı kümesi. Güvenlik konseyi olmadan teminat yatırma, cezalandırma ve güncelleme oyları, uygulamayı protokol kurallarına devrediyor ve 12 saniyelik mesaj teslimi bu tasarıma bir performans argümanı veriyor. Her ikisinin gerçek yaptırım taraması karşısında ayakta kalıp kalmayacağı, Aztec'in 2027'ye giderken açık sorusu.