Cardano ZK Kurtarma Aracı Preview testnet üzerinde tam cüzdan talebini tamamladı

Bir Cardano sıfır bilgi kurtarma aracı, Preview testnet üzerinde tam bir talebi tamamladı ve talepte bulunan kişinin orijinal ana tohuma sahip olduğunu doğruladıktan sonra varlıkları bir emanet sözleşmesinden aktardı.

Açık kaynaklı sürüm, kriptografik devreyi, yerel ispatlayıcıyı, Plutus V3 doğrulayıcısını, biçimsel doğrulama çalışmalarını, test işlemlerini ve ReclaimGlobal adlı bir prototip arayüzü içeriyor. Bu paket, Charles Hoskinson tarafından açıklanan önceki bir deneyi, zincir üzerinde çalışan sonuçlarla herkese açık biçimde incelenebilir bir kurtarma akışına genişletiyor.

Geliştirici Phil, mimarisini, dokümantasyonunu ve ispatlama sistemini öne çıkardıktan sonra depo ek dikkat çekti. Hoskinson daha sonra bu değerlendirmeyi yeniden paylaştı.

ReclaimGlobal Cüzdan Sahipliğini Kurtarılan Varlıklara Bağlıyor

ReclaimGlobal, varlıkların ele geçirilmiş kimlik bilgilerinden zaten çıkarılıp bir kurtarma sözleşmesine yerleştirildiği olaylar için tasarlandı.

Etkilenen bir kullanıcı, ele geçirilmiş cüzdanı salt okunur modda bağlar, yerelde bir sahiplik kanıtı üretir ve varlıkları alacak yeni bir cüzdan seçer. Kurtarma ifadesi kullanıcının cihazında kalır ve sözleşmeye, kurtarma operatörüne ya da harici bir sunucuya gönderilmez.

Ayrı bir kilitleme akışı, bir operatörün, kurtarıcının ya da bağışçının varlıkları sahibe bağlı bir Cardano UTxO içine yatırmasına imkân tanır. Bu fonlar daha sonra yalnızca, etkilenen ödeme kimlik bilgisinin karşılık gelen ana tohumdan türetildiğini kanıtlayabilen bir kullanıcı tarafından talep edilebilir.

Bu araç, kurtarma ifadesini kaybetmiş kullanıcılar için tasarlanmamıştır. Talepte bulunan kişi hâlâ orijinal tohum üzerinde kontrole sahip olmalıdır ve varlıklar önce emanet yapısı içinde güvence altına alınmalıdır. Bu kurtarma sürecinin ötesine çoktan aktarılmış fonlar sözleşme tarafından geri alınamaz.

Depo, yaklaşık 8.823 etkilenen ödeme kimlik bilgisini içeren bir olayı anlatıyor. Teknik açıklaması, kurtarma ifadelerinin, ana tohumların ve zincir kodlarının açığa çıkmadığını belirtiyor. Bunun yerine, işlem imzalayıcısındaki belirleyici nonce kusuru yoluyla türetilmiş imzalama anahtarları ele geçirildi.

Bireysel cüzdan kimlik bilgileri, tek yönlü işlemlerle bir ana sırdan türetildiği için, çalınmış bir türetilmiş anahtar, orijinal tohumu açığa çıkarmadan yetkisiz işlem imzalamaya imkân tanıyabilir. Kurtarma sistemi, yalnızca ele geçirilmiş kimlik bilgisine sahip olan bir saldırganı meşru cüzdan sahibinden ayırmak için bu ayrımdan yararlanır.

Plutus V3 Tohumu Açığa Çıkarmadan Sahipliği Doğruluyor

Sahiplik kanıtı, BLS12-381 eğrisi üzerinde çalışan bir Groth16 ispatlama sistemiyle yerelde üretilir. Ortaya çıkan kanıt 336 bayttır, alttaki devre ise yaklaşık 3,45 milyon kısıt içerir.

Cardano'nun Plutus V3 ortamı, emanet sözleşmesi herhangi bir varlığı serbest bırakmadan önce kanıtı doğrular. Talepte bulunan kişinin kurtarma ifadesi, özel anahtarları ve tam türetim yolu zincir üzerinde yayımlanmaz.

Yeni hedef kimlik bilgisi kriptografik olarak kanıta bağlanır. Bir gözlemci işlemi kopyalayıp alıcı adresini değiştiremez çünkü hedefin değiştirilmesi talebi geçersiz kılar.

Doğrulayıcı ayrıca talep edilen ödemenin emanet verisinde saklanan hak edişle eşleştiğini teyit eder. Ek koşullar sözleşmenin kendisine ödeme yapmasını ya da varlıkları ele geçirilmiş kimlik bilgisine geri göndermesini engeller.

Preview testnet üzerinde iki ilk kilometre taşı tamamlandı. İlkinde, beş test ADA bir doğrulama kapısının arkasına kilitlendi ve düğüm geçerli bir kanıtı kabul ettikten sonra serbest bırakıldı. Aynı kanıtın bir baytı değiştirilmiş hâlini kullanan ikinci bir işlem reddedildi.

Tam kurtarma akışı daha sonra tam emanet doğrulayıcısı üzerinden test edildi. Beş test ADA yatırıldı, yeni oluşturulan hedef cüzdan için bir kanıt üretildi ve sözleşme varlıkları serbest bırakmadan önce sahipliği, hak edişi ve hedef bağını doğruladı.

Daha sonraki bir talep, etkilenen kimlik bilgisine geri ödemeyi engelleyen bir kural ve harcanmış talepleri izlemek için bilet esaslı bir mekanizma dâhil olmak üzere ek korumalar ekledi. İşlem, Cardano'nun yürütme sınırları içinde sonuçlandı.

Depo ayrıca doğrulayıcının karar mantığını kapsayan Lean 4 ispatlarını, teknik özellikleri, devre kodunu ve birkaç inceleme turunu içeriyor. SHA-512 ve Ed25519 bileşenleri dâhil olmak üzere, tam R1CS kısıt sistem ile kanonik tanık ilişkisi arasında bir biçimsel bağlantı hâlen açık durumda.

Mainnet Kullanımı Ek Güvenlik ve Yönetişim Kontrolleri Gerektiriyor

ReclaimGlobal hâlihazırda bir Preview testnet prototipi olarak çalışıyor ve üretim için gereken birkaç güvenlik önlemi hâlâ geliştiriliyor.

Mevcut dağıtımdaki doğrulama anahtarı, tek operatörlü güvenilir bir kurulumla üretildi. Depoya göre bu model testnet geliştirmesi için uygun ancak gerçek kullanıcı varlıklarından sorumlu bir sistem için uygun değil.

Groth16, ispatlama ve doğrulama anahtarlarını oluşturmak için yapılandırılmış bir kurulum süreci gerektirir. Tüm gizli kurulum materyalini elinde tutan bir katılımcı, teoride doğrulamadan geçebilen geçersiz kanıtlar üretebilir.

Bu nedenle önerilen üretim modeli, bağımsız katılımcıların kendi rastgeleliklerini eklediği ve bireysel sırlarını yok ettiği çok taraflı bir tören kullanır. Depo, kamusal rastgelelik, yayımlanmış bir katkı dökümü ve tamamlanan törenin bağımsız doğrulanmasını içeren bir süreci ana hatlarıyla açıklar.

Operasyonel kontroller de hâlâ netleşmedi. Dokümantasyon, uygunluk listesini kimin oluşturacağını, tahsis edilen tutarların nasıl bağımsız biçimde doğrulanabileceğini ve talepler işlenirken emanet varlıkların nasıl korunacağını tanımlama ihtiyacını ortaya koyuyor.

İlave çalışmalar arasında zincir üzerindeki harcanmış durum ve nullifier sisteminin tamamlanması, kodlama korumalarının güçlendirilmesi, prototipin üretim amaçlı bir CIP-30 uygulamasına dönüştürülmesi ve devre, sözleşme ile kurulum törenine yönelik tam kapsamlı harici bir denetimin görevlendirilmesi yer alıyor.

Preview işlemleri, Cardano'nun milyonlarca kısıt içeren bir sahiplik kanıtını doğrulayabildiğini ve kurtarma ödemesini tek bir işlem içinde tamamlayabildiğini gösterdi. Sistemi üretime taşımak artık tek operatör güvenine olan ihtiyacın ortadan kaldırılmasına ve emanet, uygunluk ile talep yetkilendirmesi için şeffaf kuralların tesis edilmesine bağlı.