Yaklaşık 320 milyon dolarlık Liquid Network olayını inceleyen araştırmacılar, yazılımın işlem-doğrulama önbelleğinde bir hata olduğunu tespit etti ve desteksiz tokenların gerçek bitcoin olarak nasıl ödenebileceğine dair daha spesifik bir açıklama sundu.
Hesaplar aynı zamanda bir dağıtım sorunu da ortaya çıkarır. Mononaut, sızılan hata'nın önceki hafta Elements'in ana geliştirme dalına girdiğini ancak hiçbir etiketli sürümde görünmediğini söyledi. Liquid'in federasyon görevlilerinin bu kodu çalıştırdığını, diğer node'ların ise geçersiz işlemleri reddettiğini belirtti.
Bu dağıtım hesabı, mevcut açıklamalarda Blockstream tarafından onaylanmamıştır. Kurulursa, yazılımın yayımı, geçerli imzalama kimlik bilgilerinin iddia edilen bir hata nedeniyle oluşturulan L-BTC'ye karşı Bitcoin salıverilmesini onayladığı bir olayın merkezine yerleşecektir.
Liquid, federasyonu tarafından tutulan BTC'lerle bir-tek-bir desteklenmesi amaçlanan L-BTC tokenlerine sahip bir bitcoin yan zinciridir. CryptoSlate daha önce raporlamıştı, SideSwap, 6 Eylül'de peg-out hizmeti aracılığıyla bir müşterinin 4.000 L-BTC gönderdiğini bildirdi ve bu da yaklaşık 3.996 BTC'nin serbest bırakılmasına neden oldu.
Liquid dedi ki SideSwap’in sabitleme çıkışı yetkilendirme anahtarı ya da diğer federasyon anahtarları ihlal edilmemişti.
Kanıtların o çekim sürecine nasıl ulaştığına odaklanan ortaya çıkan teknik hesaplar.
Calle, düğümlerin bu miktarları açığa çıkarmadan gizli işlem miktarlarının izin verilen bir aralık içinde olduğunu doğrulamasına izin veren bir aralık kanıtları hatasını tanımladı.
Liquid'in gizli işlemlerinde, girdilerin ve çıktıların dengede olduğu kontrolünden daha fazlası gerekmektedir. Aksi takdirde, gizli bir negatif çıktı, daha büyük bir pozitif çıktı ile dengelenerek yeni oluşturulan token'ların matematiksel olarak dengede görünüp durmasını sağlayabilir.
Aralık kanıtları, bu sonucu önlemeyi amaçlar. Bunları doğrulamak hesaplama açısından maliyetli olduğu için, düğümler başarılı doğrulama sonuçlarını yeniden kullanmak üzere önbelleğe alır.
Calle'nin hesabına göre, saldırgan, daha önce geçerli bir kontrolle ilişkili önbellek anahtarıyla eşleşen geçersiz bir çıktı ve kanıt oluşturabilirdi. Bu önbelleklenmiş sonucu bulan bir node, enflasyonist çıktıyı reddetmesi gereken doğrulamayı atlayacaktı.
Charles Guillemet açıklamayı onayladı, geçersiz bir gizli işlemin bir aralık kontrolünü atlamasına izin veren bir önbellek anahtar çakışması tanımladı. Calle, hesabının mekanizmayı basitleştirdiğini ve hatalar içerebileceğini bildirdi.
Stu tarafından yapılan ayrı bir işlem yeniden yapılandırması, Liquid blok 4.050.336'da bir dizi kurulum işleminden sonra як як geçersiz bir işlem tespit etti. Stu, işlemin ardından SideSwap üzerinden çekim yapılana kadar yaklaşık 3.996,0183 L-BTC oluşturduğunu söyledi.
Mononaut hesabı, işlemi kabul eden node'lar ile kabul etmeyen node'lar arasında bir ayrım yapar.
Federasyon görevlilerinin istismar işlemlerini kabul ettiğini, çekimleri onayladığını ve blok oluşturmaya devam ettiğini söyledi. Mempool’un Liquid Explorer’ini çalıştıran dahil olmak üzere diğer node’lar etkilenen bloğu reddetti. Bu, reddeden node’ları takip eden bir Explorer’ın başka yerlerde görülebilen işlemleri atlamasının nedenini açıklayabilir.
Raporlanan sapma, etkilenen yazılım sürümlerinin hatanın anlaşılmasında önemli olduğunu gösterir. Bir事后 analiz, hangi kod fonksiyonlarının çalıştığını, neden dağıtıldığını ve bloğu reddeden node'ların davranışından nasıl farklı olduğunu belirlemelidir.
Aynı zamanda, çekilen bitcoin'i kontrol eden aktörler, kendilerini beyaz şapkalılar olarak tanımladı ve çoğu fonun geri verilmesini etkilenen node'larda hata düzeltildiği koşuluyla bağladı. Mevcut raporlamalar, tamamlanmış bir geri dönüş veya düzeltme dağıtımı kurmamaktadır.
Bitcoin'in kurtarılması rezerv eksikliğini giderirdi. Federasyon node'larının bu işlemlerini neden kabul ettiğini açıklamak ve düzeltilmiş yazılımın bunları reddettiğini göstermek, bu rezervlerin çıkmasına izin veren hatayı giderirdi.
İnandırıcı olmayan şekilde oluşturulan tokenlar, 320 milyon dolarlık bitcoin'in Liquid yan zincirinden nasıl ayrıldığını açıklayabilir yazısı önce CryptoSlate'de yayınlandı.