新聞 
幣種資訊 
關於我們 
以太坊(ETH)是否該全面走向以STARK證明為核心的技術路線，近來在社群圈掀起一波論戰。StarkWare共同創辦人暨執行長Eli Ben-Sasson跳出來表態，他認同這個大方向沒有問題，但認為外界對相關技術演進的說明有所遺漏，甚至容易讓人誤解。
根據Foresight News報導，Ben-Sasson於14日晚間10時17分（南韓時間）在X上發文，公開表達上述看法。他指出，STARK與SNARK之間的路線爭論其實由來已久，相關研究絕大部分由StarkWare主導，資金則來自以太坊基金會(Ethereum Foundation)的支持。
Ben-Sasson特別澄清，小型二進位體域（binary field）並非由Binius與Flonk率先引進零知識證明領域。他表示，這個概念早在2018年的ZK-STARK論文中就已經被提出並討論過。這番說法也牽動一個更大的問題：以太坊在推進STARK證明與後量子安全相關的長期路線圖時，該如何把技術脈絡與各種實作選擇說清楚。
STARK是一種以雜湊函數為基礎的零知識證明方式，與依賴橢圓曲線的部分證明技術不同，因此常被視為後量子安全討論中的重要替代選項。本站先前也曾報導，隨著以太坊在多層架構中導入更多STARK證明與遞迴證明，驗證機制的重要性也隨之提升。
這場爭論也延伸到另一個焦點：究竟哪一種體域對實際證明效能更有利。Ben-Sasson強調，採用質數體域（prime field）的STARK並不代表一定要使用很大的質數。他以StarkWare新一代證明器Stwo所採用的31位元質數體域M31為例，主張這種做法反而效率更高。
StarkWare營運的StarkNet(STRK)，是專為提升以太坊擴容能力而設計的零知識匯總（zk-rollup）第二層網路。
Ben-Sasson也指出，二進位體域的乘法運算在GPU上執行效率不佳；相反地，像M31這類小型質數的乘法運算則明顯更有效率。他認為，這項差異可能讓依賴二進位體域結構的GPU證明方式，面臨難以克服的技術瓶頸。
值得留意的是，這次發言並非針對任何代幣價格或網路收益，而是圍繞以太坊長期技術選擇的公開技術評論。以太坊官方路線圖也說明，升級規劃可能隨著新資訊與技術變化而調整。
留言 0