Ethereum test ağı tüm uygulama hatalarını yakalayamıyor: Markou 2021 deneyimini anlattı

Sprinter'ın kurucu ortağı ve CEO'su Greg Markou, Ethereum'u (ETH) “devasa bir monolit” diye niteleyerek test ağındaki kontrollerin gerçek uygulamalarda ortaya çıkabilecek bütün hataları yakalamaya yetmediğini söyledi.

Crypto Briefing, geliştiricilerin katıldığı açık tartışmada dile getirilen sözleri 12'sinde saat 07.43'te (Kore saatiyle) yayımladığı haberde aktardı. Tartışmada, Ethereum protokolündeki değişiklikleri canlı hizmetlere uygularken karşılaşılan zorluklar ele alındı.

Test ağı, geliştiricilerin ağ değişikliklerini önceden denediği bir ortam. Gerçek varlıkları riske atmadan uygulama ve protokol davranışlarını sınamaya olanak tanıyor ve yükseltme hazırlıklarında kullanılıyor.

Markou, test ağlarının yararlı olduğunu ancak çalışan ana ağdaki tüm koşulları yeniden oluşturamayacağını belirtti. Gerçek uygulamalar cüzdanlar, kütüphaneler ve diğer akıllı sözleşmelerle farklı biçimlerde etkileşiyor.

Hard fork, ağın uyması gereken temel kuralları değiştiren bir yükseltme. Eski kuralları temel alan yazılımlar, yeni kurallar devreye girdikten sonra beklenmedik biçimde çalışabilir.

Markou, Ağustos 2021'deki London yükseltmesi sırasında web3.js'in bakımını üstleniyordu. Bu JavaScript kütüphanesi, web uygulamalarının Ethereum blokzinciriyle iletişim kurmasını sağlıyor. London yükseltmesi, işlem ücretlendirme sistemini değiştiren EIP-1559'u da içeriyordu.

Markou, yükseltmeyle ilgili o dönemde yayımlanan bir güncellemede MetaMask'le bağlantılı bir değişmezin ön kontrollerde ortaya çıkmadığını hatırlattı. Markou'nun açıklamasına göre web3.js'e bağlı uygulamaların neredeyse tamamı bundan etkilendi.

Değişmez, geliştiricilerin program çalışırken sürekli korunacağını varsaydığı bir özelliktir. Bu varsayım bozulduğunda, ona bağlı çalışan uygulamalar da etkilenebilir.

Markou'nun Ethereum'u “devasa bir monolit” diye tanımlaması, ağın büyüklüğü ve bileşenlerinin birbirine bağlı olması nedeniyle tek bir değişikliğin diğer uygulamalara etkisini öngörmenin zor olduğuna işaret ediyor.

Markou, daha önce web3.js'in bakımını üstlendi ve ChainSafe Systems'in kurucu ortakları arasında yer aldı. Sprinter, ChainSafe bünyesinde kuruldu; Markou bugün şirketin CEO'su olarak görev yapıyor.

Ethereum Foundation ile Verity'nin EIP-8282 kapsamında bir builder para yatırma ve çıkış sözleşmesinin yürütme kodunu biçimsel doğrulamadan geçirdiği bir örnek de var. Çalışmada üç davranış garantisi ve araştırmacıların çözmesi gereken uyumsuzluklar belirlendi. Biçimsel doğrulama, kodun belirlenmiş koşullara uyup uymadığını matematiksel yöntemlerle kontrol ediyor. Bu inceleme teklifin tamamını değil, belirli bir sözleşmenin yürütme kodunu ve davranışını kapsıyordu.

Ethereum Foundation, Glamsterdam yükseltmesi öncesinde gaz ücretlendirme yöntemindeki değişikliğin bazı sözleşmelerin dayandığı varsayımları bozabileceği konusunda uyarıda bulunmuştu. Vakıf, birden fazla denetim şirketiyle kontroller yürüttüğünü ve kendi denetimini de sürdürdüğünü, ancak her projenin zincir üstü ve zincir dışı kodunu doğrudan inceleyemeyeceğini açıkladı.

Vakıf, etkilenen projelerden örnekleri ve hataların yeniden oluşturulma yöntemlerini göndermelerini istedi. Dönemin haberinde vakıf, geliştirici görüşlerini bir sonraki temel geliştirici toplantısında EIP-8037 ve EIP-8038'de değişiklik yapılıp yapılmayacağı görüşülürken değerlendireceğini bildirmişti.

Açık tartışmada yeni bir yükseltme ya da protokol değişikliği duyurulmadı. Markou'nun sözleri, geçmiş yükseltme deneyiminden hareketle test ağı kontrollerinin sınırlarına dikkat çekti.