以太坊（ETH）測試網難攔截所有應用程式錯誤，Markou回顧2021年案例

Greg Markou（Sprinter共同創辦人兼執行長）稱以太坊是「巨大的單體」，並表示：「僅靠測試網檢查，難以找出實際應用程式可能發生的所有錯誤。」這番話點出網路升級對應用程式測試帶來的限制。

Crypto Briefing於12日上午7時43分（韓國時間）報導，這番發言出自一場開發者公開討論。與會者談到將以太坊協議變更套用至實際服務時面臨的挑戰。

測試網是開發者預先檢查網路變更的練習環境。它能在不投入真實資產的情況下測試應用程式與協議運作，常用於準備升級。

Markou肯定測試網的用途，但指出它無法重現主網運作時的所有情況。實際應用程式會讓錢包、程式庫與其他合約以不同方式相互作用。

硬分叉是改變網路核心規則的升級。以舊規則為前提設計的軟體，在新規則生效後可能無法如預期運作。

Markou曾在2021年8月的倫敦升級期間維護web3.js。這是網頁應用程式與以太坊區塊鏈通訊時使用的JavaScript程式庫。倫敦升級包含EIP-1559，該提案改變了交易手續費機制。

Markou回憶，當時與升級相關的更新中，事前檢查並未揭露MetaMask相關的不變條件。他表示，幾乎所有依賴web3.js的應用程式都受到影響。

不變條件是開發者假設程式運作期間會持續成立的特性。若這項假設遭到破壞，依賴它運作的應用程式也可能受到影響。

Markou以「巨大的單體」形容以太坊，意指網路規模龐大且多個組成部分相互連結，因此難以預測某一部分的變更會如何影響其他應用程式。

Markou曾共同創辦ChainSafe Systems，並負責維護web3.js。Sprinter由ChainSafe孵化成立，Markou目前擔任執行長。

以太坊基金會（Ethereum Foundation）與Verity曾對EIP-8282中建構者存入與退出合約的執行程式碼進行形式化驗證，確認三項行為保證，並找出研究人員仍須釐清的不一致之處。形式化驗證是以數學方式檢查程式碼是否符合既定條件；當時驗證的對象是特定合約的執行程式碼與行為，而非整份提案。

以太坊基金會也曾在Glamsterdam升級前提醒，gas計費方式變更可能打破部分合約所依賴的前提。基金會表示，雖然正與多家稽核業者進行檢查，也在執行內部稽核，但無法直接檢查所有專案的鏈上與鏈下程式碼。

基金會曾請受影響的專案提供案例與重現方式。相關報導發布時，基金會表示，將在下一次核心開發者會議討論是否調整EIP-8037與EIP-8038時，參考開發者意見。

這場公開討論沒有公布新的升級或協議變更。Markou的發言是根據過往升級經驗，指出測試網檢查的限制。