Ethereum'un leanVM'i uçtan uca biçimsel doğrulamayı tamamladı.
Ethereum Vakfı (Ethereum Foundation) araştırmacısı Justin Drake, doğrulamanın 3 Kasım'da tamamlandığını duyurdu. leanVM, hash tabanlı post-kuantum imzaları bir araya getirerek çoklu imzaları kompakt bir kanıtta birleştiren minimalist bir zkVM. Sistem saniyede 1.000'den fazla leanXMSS toplaması işleyebiliyor.
Drake, Devcon 8'de ağ çatallanması için zaman ayırmak amacıyla kapsamlı post-kuantum güvenlik geçişi hedefini Aralık 2028'e çekti. Plan, leanVM, leanXMSS ve leanSpec adlı üç açık kaynak projeye dayanıyor. Biçimsel doğrulama, kodun spesifikasyona uygun olduğunu kanıtlama aşaması; Aralık 2028 ise bir taahhüt değil, hedef tarih.
Yorum 0