以太坊社群近期傳出大量「PoS轉回 PoW」言論，引起全網炸鍋，其中大量網友與 KOL 都在分析，這跟以太坊 ETF 無法通過有很大的關係，在推特上更是大量留言分析，當前建置的 L2 、 Restaking 賽道都會紛紛消失。
面對這些紛亂的資訊，來源以及社群的討論到底是是真是假？本文試著講解出事情的全部脈絡，以及對以太坊生態的後續影響：
消息來源
俗話說無風不起浪，以太坊謠傳要轉回 PoW 的風聲並非空穴來風，實際上該消息是由聯合創辦人 V 神所發起，但實際上言論並非為篤定的說要放棄 PoS 轉為 PoW，而是當前的 Layer2 有些缺陷，需要透過而外的方式來輔助。
在 4/9 香港 Web3 嘉年華中，Vitalik Buterin 在 DRK Lab 主辦的「Web3 學者峰會 2024」發表演講，他認為當前的作為 L2 驗證的關鍵點，零知識證明，ZK-SNARK 的產生時間太費時，當前以太坊出塊時間（slot）為 12~13 秒，而 ZK-SNARK 證明在當前 PoS 共識層/執行層生成的時間約需為 20 分鐘，這大大的減少了以太坊的實時證明以及全域 ZK-EVM 等效性。
Vitalik 提出了「並行化與聚合樹」（Parallelization + aggregation trees）的方式，透過額外硬體加速產生 ZK 證明，也不排除使用 SNARK algos （SNARK算法）與哈希提升效率、使用 ASIC 進行 ZK 硬體加速。
以太坊礦機回歸？
與以太坊過去 PoW 不同的是，Vitalik 所提的硬體加速並非是礦機提供「雜湊運算」來搶取記帳權賺取以太坊，而僅僅是加速零知識證明的生成，而也沒有提及零知識證明的獎勵機制為何，因此就完全不能以「PoW 回歸」來這樣命名，差別如下：
- 以太坊 PoW 計算出來的雜湊值實際上無任何意義，僅是為了搶奪以太坊記帳權
- 零知識證明生成是對交易以及智能合約執行的交易打包進行「有效運算」，算出來的證明可以讓每單位字元大小容納更多交易、同時實現隱私與擴容性
但事實上 Vitalik 所提出來的方案以及邏輯並不是第一次被業界所提出，另一區塊鏈 Aleo 所構建的解決方案也是使用類似的邏輯，但在 Aleo 對產生零知識證明一詞用的是「挖礦」一詞，這使得部分社群對此理解為 V神將把以太坊回歸 PoW 機制。
Aleo 區塊鏈機制是將零知識證明生成丟給 PoW 顯卡與礦機執行有效打包交易，生成字元短，但可驗證交易的零知識證明，而 PoS 層可以快速使用字元節小的證明，快速執行與打包大量交易，簡單來說就是透過硬體來暴力壓縮交易內容，並丟給 PoS 節點完成交易與智能合約的執行。
但以太坊會不會使用類似 Aleo 的機制發放以太坊獎勵給零知識證明產生的礦工，當然還是未知數，當前也僅在理論研究的階段。
以太坊困境：零知識證明產出效率低落
Vitalik Buterin 一直以來都認定 ZK-SNARK 是解決區塊鏈的三難問題（去中心化、安全性和可擴展性的三者不可同時兼容）的關鍵，但隨著 ZK 相關 Layer2 效率低落，以太坊與 Vitalik Buterin 正尋求一些可以暫時過渡到可完美執行的 ZK-SNARK 實時證明的方案。
或許可以這麼說，以太坊社群原本想說從 PoW 轉型成 PoS 後，可以立即過度到 ZK-SNARK
快速生成的時代，但是事實證明是如此的演變路線太過激進，因為零知識證明在產生上的確有其困難性，其產生時間若不夠快，很難與短短的13秒的區塊時間匹配上。
理想上以太坊需要將任意的智能合約代碼與交易文字，轉換成字元數極少的零知識證明，Layer2 的轉譯節點相關開發人員，需要密碼學相關的學者對於各類型的主流交易有一定程度的理解，但涉及到閃電貸、無效交易、FlashBot 等交易產生會更加複雜，這使得 ZK-EVM 的全域等效性一直受到挑戰。
以太坊現貨ETF的影響
另一方面，部分社群對 V 神的言論表示，是因為以太坊現貨 ETF 當前停滯不前才會讓以太坊社群決定回歸 PoW ，但看完這裡的讀者應該就可以知道，這完全是不了解技術相關細節的小白與 KOL 亂講的一些瞎話，在筆者與 Vitalik 的對談採訪經歷中，我也認為 Vitalik 並不是在意現貨 ETF 是否通過的人。
在以太坊現貨ETF無法通過的「中心化陰謀論」中，PoS 節點集中並且無法抗審查才是主要的原因之一，而上述所解釋的透過硬體來挖出「零知識證明」，也不是解決 PoS 抗審查問題的解方，因此就算以後真的能透過顯卡或者 ASIC 挖出「零知識證明」來獲取以太坊，其抗審查架構也完全不及純粹 PoW 時代，因此對以太坊現貨 ETF 的是否通過，應該影響不大。
