📝嗨，我是10，這是#区块链发展史 系列文章，本篇簡單科普一下L2中Optimism、Arbitrum、zkSync、Starknet與幕後的Optimistic Rollup和ZK Rollup。
Optimistic Rollup和ZK Rollup都是基於Rollup技術的#L2 擴容解決方案，它們可以將大量的鏈下交易打包成一個批次，然後將其數據發佈到以太坊主網，以實現安全和去中心化的保證。
目前四大擴容解決方案Optimism、Arbitrum、zkSync和Starknet中：
- Optimism和Arbitrum 採用了Optimistic Rollup的機制，即假設所有的交易都是有效的，除非有人提供欺詐證據（fraud proofs）來質疑和糾正它們。這樣可以提高交易的效率和吞吐量，但也需要等待一定的時間來確認交易的最終性。
- zkSync和Starknet採用了ZK Rollup的機制，即使用零知識證明（ZKPs）來驗證和壓縮鏈下交易，以實現高效和安全的擴容。這樣可以實現即時的交易確認和低廉的 gas 費用，但也需要更復雜的密碼學技術和計算資源。
🔹Optimistic Rollup工作原理：
用戶在L2上創建交易。
L2將交易數據打包成交易批次。
L2將交易批次提交到以太坊主網。
以太坊主網使用欺詐證明機制驗證交易批次的有效性。
以太坊主網將交易批次數據發佈到L2。
Optimistic Rollup 使用了欺詐證明機制來驗證交易批次的有效性。如果交易批次被證明是欺詐性的，用戶可以向以太坊主網提出挑戰。以太坊主網將對挑戰進行裁決，並將欺詐交易的資產返還給用戶。
🔹ZK Rollup的工作原理：
用戶在L2上創建交易。
L2將交易數據打包成零知識證明。
L2將零知識證明提交到以太坊主網。
以太坊主網驗證零知識證明的有效性。
以太坊主網將驗證結果發佈到L2。
ZK Rollup 使用了零知識證明來驗證交易數據的有效性。零知識證明是一種數學證明，它可以證明某個信息是正確的，同時不透露任何關於該信息的細節。
文章內容大部分來源於網絡，可能有些內容有些錯誤，如有錯誤可以評論或私信告知，謝謝！
