原文:《 Introducing Scroll – Technical principles —— Scroll 》
編譯:Alan
Scroll的技術原則
1. 確保用戶安全
在區塊鏈擴展解決方案的背景下,最重要的安全形式涉及用戶資金和數據的完整性。儘管擴展解決方案可以為用戶提供額外的能力,但Scroll認為確保用戶保持對其資金的訪問是第一位的。對於Scroll來說,這意味著用戶不應該需要依賴Layer 2節點的可靠性來保證安全,而是可以利用完整的第1層安全,即使在Layer 2進行交易。通過根據這一原則在以太坊上構建,Scroll的安全性基於以太坊底層最安全的、去中心化的共識。
2. 保持EVM等價性
除了給用戶提供額外的能力,一個有效的以太坊擴展解決方案應該給用戶和開發者提供一個從現有DApp和開發者工具的無縫遷移路徑。 Scroll相信,保持EVM的等效性是實現這一目標的最佳途徑。一個EVM等價環境的行為與以太坊黃皮書中的Ethereum虛擬機規範完全相同。這意味著,用戶和開發人員可以在沒有額外的代碼修改、昂貴的審計或對其開發工作流程的破壞性改變的情況下進行遷移。
EVM-equivalence提供了比通過轉譯等解決方案與EVM簡單兼容更強大的保證。僅僅滿足於兼容性會迫使用戶和開發者修改甚至完全重新實現以太坊的大部分支持性基礎設施。此外,如果沒有EVM的等效性,維護安全變得更加困難。因此,為了最大限度地方便開發者和用戶,Scroll是EVM等價的,而不是簡單的EVM兼容。
3. 效率
為了讓用戶在Layer 2享受到良好的體驗,Scroll認為。
交易費用應該很低,比基礎層便宜好幾個數量級。
用戶應該在Layer 2體驗到即時的預先確認,在基礎層(在Scroll的案例中是以太坊)體驗到合理的快速最終確認。
雖然這些條件在集中式運營商那裡很容易滿足,但為了維護安全,它們必須在去中心化的環境中繼續保持。在Layer 2的背景下,認為Scroll應該盡可能的高效,同時在Layer 2和基礎層保持用戶安全和去中心化。
4. 權力下放到社區的各個層面
去中心化是區塊鏈的一個核心屬性,經常被忽視或不適當地交易去中心化。認為它是區塊鏈最有價值的方面之一,並確保協議和社區具有活力,並能抵禦審查或協調攻擊。認為去中心化貫穿於Scroll的許多方面,包括節點操作員、證明者以及開發者和用戶的社區。通過與社區一起公開建設,並為證明和排序的去中心化製定可靠的路徑,Scroll致力於確保所有層面的去中心化。
引領Scroll 設計的原理
Scroll的主要設計選擇自然是由這些技術原則促成的。
1. 安全性和EVM等效性使Scroll找到了基於zkEVM的zkRollup解決方案
在構建Scroll時,安全是首要任務。在基於zkRollup的設計中,在Scroll上執行的第二層交易的完整性由以太坊底層的智能合約中驗證的簡潔的零知識證明來保證。這使得Scroll交易與Ethereum基礎層上的交易本身一樣安全。因此,用戶不必信任任何第三方來保證他們的資金安全-- 安全性來自於以太坊底層的安全性和零知識密碼學的數學保證。 Scroll相信這是一套盡可能少的信任假設,為用戶提供最好的安全。
在決定了zkRollup的方法後,Scroll不得不努力使其為用戶和開發者所接受。很快意識到,通過zkEVM實現EVM的等價性是一個聖杯。儘管打破等價關係會大大簡化這項任務,但一旦意識到利用零知識密碼學的最新突破建立一個zkEVM是可能的,就決定這是最佳選擇。通過承擔這項技術上的艱鉅任務,Scroll旨在提供最佳的用戶和開發者體驗。 Scroll的zkEVM使用簡潔的ZK證明來證明本地EVM字節碼的正確執行,為EVM本身的狀態轉換功能提供保證,並允許Scroll支持Ethereum本地開發者工具,如JSON-RPC接口和交易格式。
2. 去中心化將Scroll引向一個去中心化的驗證者網絡
在設計Scroll的zkEVM時,很快意識到將EVM放入ZK證明中會由於本地字段之間的不兼容而導致大量的證明開銷。為了減少這種證明時間導致的L1的最終結果,Scroll決定建立自己的Roller網絡,一個無權限和分散的證明者網絡,他們為Scroll的Layer2 塊產生證明。
Scroll的去中心化證明者網絡有兩個主要的技術優勢:
- Scroll已經將證明基礎設施設計成高度可並行的。這意味著Scroll能夠通過增加更多的證明節點來大規模地擴展證明計算。
- 社區將被激勵去建立更好的硬件解決方案,並自己運行驗證器,而不是僅僅依靠Scroll團隊的集中管理。為了在網絡的初始階段進行引導,Scroll正在內部建立GPU驗證器解決方案,並將其開源供公眾使用。隨著這一點的成熟,Scroll正在與一些硬件公司探索ASIC和FPGA解決方案。從長遠來看,期待著這一領域充滿活力的競爭,並堅信證明生成的延遲和成本將成倍地減少。
最後,也是最重要的一點,從第一步去中心化證明者開始,是對Scroll社區參與和去中心化原則的可靠承諾。隨著Scroll接近主網,計劃將排序器和Scroll的驗證器網絡一起去中心化,為協議提供更大的審查阻力和穩健性。
3. 效率導致Scroll專注於開放式研究驅動的創新
為了使Scroll的zkEVM在安全和去中心化的強大約束下實用,Scroll利用了整個社區的創新研究驅動的解決方案。 Scroll的zkEVM設計整合了最近在證明系統、證明聚合和ZK硬件加速方面的突破,僅舉幾例。 Scroll的開放式開發方法使能夠與以太坊基金會的PSE(隱私和擴展探索)小組和其他合作者合作,找到最好的想法,我們相信這種開源的研究方法將產生最好和最有效的解決方案。
隨著Scroll的zkEVM的第一個生產版本的接近,Scroll繼續專注於優化和整合最新和最好的技術。在這一思路下,目前正在探索。
- post-danksharding後的blob數據怎樣提高效率
- 如何用新的硬件友好型ZK算法來共同優化Scroll的zkEVM
- 如何將新的ZK primitives 暴露給第二層的應用開發者