Ethereum işlem kontrolü önerisi: gevşek kurallar istenmeyen sonuçları engellemeyebilir

Ethereum’da (ETH) işlem sonuçlarını yürütme sonrasında kontrol etmeye yönelik bir öneri sunuldu. Ancak kontrol ölçütleri gevşek olursa istenmeyen sonuçlar da onaylanabilir. EIP-7906’nın etkili bir güvenlik önlemi olabilmesi için cüzdanların ve protokollerin kuralları zorunlu kılması, işlemi oluşturan tarafların da bu kuralları gevşetememesi gerekiyor.

Ethereum Vakfı, 5 Ekim’de işlem yürütüldükten sonra bakiye ve depolama alanındaki değişikliklerle olay kayıtlarını inceleyen “işlem doğrulaması” araştırmasını yayımladı. Önerilen uygulama taslağı EIP-7906, işlem tamamlandıktan sonra salt okunur çalışan POST_TX çerçevesini tanımlıyor. Taslak henüz erken aşamada; Hegotá yükseltmesine dahil edilip edilmeyeceği kesinleşmedi.

İşlem imzası, kullanıcının onayladığı isteği içeriyor ancak işlemin sonucunu sabitlemiyor. İşlem öncesinde kod veya blokzincir durumu değişirse gerçek sonuç beklenenden farklı olabilir. Ethereum Vakfı, işlem sırasına bağlı olarak takas fiyatının değiştiği sandviç saldırılarını bu uyumsuzluğa örnek gösterdi.

EIP-7906, TXTRACE ile bir işlemin net değişikliklerini ve olaylarını sıralamayı; TXDIFF ile belirli adreslerin ve depolama alanlarının başlangıç ve son değerlerini kontrol etmeyi amaçlıyor. Olay verileri EVENTDATACOPY aracılığıyla okunuyor. Depolama alanı birden fazla kez değişse bile yalnızca ilk ve son değerler tutuluyor; aradaki tüm değişiklikler kaydedilmiyor.

Kontrol özelliğinin bulunması her işlemin otomatik olarak korunduğu anlamına gelmiyor. Öneri, her işlemde doğrulama koşulu bulunmasını zorunlu kılmıyor; gerekli kontrollerin işlem talebine cüzdan tarafından eklenmesi gerekiyor. Protokol düzeyinde koruma için korunan işlevlerde belirli POST_TX kontrollerinin zorunlu tutulması ve kontrolü eksik ya da farklı kontrol içeren işlemlerin reddedilmesi gerekiyor.

Ethereum Vakfı, araştırma açıklamasında işlemleri oluşturan arayüzlerin ele geçirilmesi halinde saldırıya izin verecek kadar gevşek kurallar eklenebileceğini belirtti. Mevcut takas işlemlerindeki asgari alım miktarı ayarı da benzer bir sınıra işaret ediyor. Uniswap geliştirici belgeleri, asgari alım miktarını sıfır belirleyen örneğin gerçek kullanımda riskli olduğu uyarısında bulunuyor. Daha güvenli bir değer belirlemek için SDK veya fiyat oracle’ı gibi ayrı veri kaynaklarından yararlanılabileceğini de açıklıyor. Bir koşul tanımlansa bile eşik çok düşükse, bu eşiği kıl payı aşan bir sonuca izin verilebilir.

Kontrol başarısız olsa da işlem için harcanan ücret geri alınmıyor. EIP-7906 taslağına göre POST_TX kontrolü başarısız olduğunda yürütme gövdesi geri alınıyor; ancak işlem başarısız durumuyla blokta kalıyor ve kullanılan gas ücreti ödeniyor. Doğrulama aşamasında kesinleşen değişiklikler de korunuyor.

Ethereum Vakfı, korunması amaçlanan işlemlerin geri alınabilir yürütme gövdesine yerleştirilmesi ve doğrulama aşamasına güvenilmeyen yürütmelerin konulmaması gerektiğini açıkladı. Kontrol için yeterli gas bulunmaması da doğrulamanın başarısız sayılmasına yol açıyor. İşlem sonuçlarını korumak için kontrol mantığının yanı sıra, hata halinde hangi işlemlerin geri alınabileceğini de hesaba katmak gerekiyor.

Kontrollerin başvurduğu fiyat oracle’ı veya kayıt defteri durumunun işlem yürütülürken değişmesi de mümkün. Öneri belgesi, değerin imza anında sabitlenmesi ya da işlemin başlangıcındaki durumun kullanılması seçeneklerini sunuyor. Ancak işlem başlamadan önce aynı blok içinde fiyatın değişmesi riski sürüyor.

EIP-7906, çerçeve işlemlerini tanımlayan EIP-8141’i temel alıyor. Ethereum Vakfının paylaştığı duruma göre EIP-8141, Hegotá yükseltmesine dahil edilmesi planlanan teklifler arasında yer alırken EIP-7906 inceleme aşamasında bulunuyor. Cüzdan ve protokollerdeki uygulama kapsamı da henüz belirlenmedi.

Daha önce Ethereum Vakfının işlem yürütüldükten sonra durum değişikliklerini kontrol etme seçeneklerini araştırdığı bildirilmişti. Bu taslağın ayrıntıları, işlem sonucunu kontrol etmenin tek başına koruma sağlamadığını gösteriyor. Belirleyici nokta, kullanıcının onayladığı ölçütleri kimin belirleyeceği ve işlemi oluşturan tarafların bu ölçütleri zayıflatmasının nasıl önleneceği olacak.