深度解析StarkWare：欲構建ZK「宇宙」？
原文編譯：ChinaDeFi
原文編譯：ChinaDeFi
StarkWare 是一家ZK 公司，專注於為以太坊規模化構建基於ZK 的rollup 解決方案。他們的第一款產品StarkEx 於2020 年推出，並於2021 年11 月發布了具有更多功能的StarkNet。
技術
技術
技術
技術
StarkWare 構建了一個新技術，將數千筆交易壓縮成一個名為STARK 的單一有效性證明，並提交給以太坊L1。與SNARK 相比，STARK 主要有兩個優勢：
它不需要初始信任設置。
有比SNARK 更快的計算時間。由於所需的計算量更少，它可以將以太坊的可擴展性提高幾個數量級。
StarkNet 的L2 節點(序列器) 將執行每一筆交易，並定期向以太坊主網更新狀態。需要注意的是，StarkNet 的交易最終性與L1 綁定，這意味著L2 節點必須同時驗證StarkNet 和以太坊。 StarkNet 引入了一個涉及到以太坊主網檢查點的解決方案，使其能夠非常快速地在rollup 端實現有效的終結。因此，所有L2 節點都包含一個L1 完整節點。
數據可用性
數據可用性
數據可用性
數據可用性
StarkNet 使用Validium 機制來實現數據可用性。它與ZK-rollup 幾乎相同，只是它保持數據在鏈下，而ZK-rollup 和Optimistic Rollup (OR) 保持數據在鏈上。 Validium 只在L1 上發布有效性證明，同時保持數據在鏈下。這使得Validium 能夠實現相當高的吞吐量，並降低每個交易的成本。
在鏈下存儲數據的代價是，它需要對第三方的信任，這可能會阻止用戶訪問他們的餘額。 StarkWare 的目標是通過數據可用性委員會(DAC) 解決這個問題，該委員會由8 個獨立成員組成，他們擁有交易的副本。他們還需要通過使數據在任何時候都可用來維護這些數據。如果運營者阻止用戶使用他們的資金，委員會成員將確認他們的請求是否有效。
StarkWare 還計劃實施一種Volition 機制，用戶可以選擇是否需要在鏈上發送數據。它將數據可用性的決策從應用程序級別轉移到用戶級別，甚至對於單個交易也是如此。如果用戶想要在鏈上發送一個包含所有數據的高價值NFT，他們可以支付額外的成本來將其轉移到鏈上。這將通過ImmutableX 和Sorare 來實現。
Cairo 編程語言
StarkNet Vs OR
與OR 的7 天等待時間相比，StarkNet 不僅有更快的提款窗口，而且底層架構也有所不同。 StarkNet 使用的是「無狀態」，你只需要在L1 上存儲整個狀態的狀態根，用戶需要提供Merkle 證明來訪問特定的狀態項。 OR 遵循一個「有狀態」的解決方案，其中每個狀態項都被記錄在鏈上。這將導致更大的狀態膨脹，並可能在未來被採用時會被證明不能很好地擴展。
生態系統
生態系統
原文鏈接
結論
結論
原文鏈接
