Layer 2概念在2023年夏天迎來爆發。 Coinbase、ConsenSys等加密巨頭紛紛下場，其部署的原生L2解決方案Base、Linea在過去兩個月內相繼完成主網上線；被譽為L2 四大天王之一的StarkNet也在夏天順利完成“量子躍遷”升級，大幅提升交易性能與效率，順利邁入發展新階段。
在屬於L2的盛夏，歐科雲鏈OKLink正式推出了ZK Rollup明星項目StarkNet區塊鏈瀏覽器。這是OKLink上線的第30條區塊鏈瀏覽器，OKLink也由此正式集齊了曾被譽為L2 四大天王的Optimism、Arbitrum、zkSync和StarkNet。據悉，OKLink後續還將推出Polygon-zk、Base等ZK系L2區塊鏈瀏覽器，為所有關注和參與ZK Rollup和L2生態建設的用戶提供更全面和更豐富的鏈上數據洞察及服務。
從上線StarkNet瀏覽器到賬戶抽象解析
OKLink在L2盛夏做了這些事
作為ZK Rollup賽道中估值最高和市場佔比最大的項目之一，自2021 年11 月主網啟動以來，StarkNet生態系統已囊括諸多場景，眾多錢包、DeFi、GameFi和NFT項目都構建在其區塊鍊網絡中。 StarkNet生態正加速拓展並更加充滿活力，被業務認為有潛力成長為L2賽道的領跑者之一。
與其他擴容項目相比，除了使用zk-STARK技術作為證明系統外（下文將進行介紹），StarkNet在數據可用性以及賬戶體系設計方面也有所不同。
ZK Rollup本身相較於Optimistic Rollup的一個重要優勢就是擁有更高效的數據可用性。事實上，數據上鍊到L1主網進行驗證是非常重要的：只有數據上鍊才能在區塊鏈瀏覽器上查詢每一筆交易，從而保證交易是可溯源和可驗證的，進而提升區塊鍊網絡的安全性。在Plasma以及之前的狀態通道這兩種擴容方案中，數據和計算完全放到L2網絡中，當L2網絡和以太坊進行交互時，L2的所有交易數據都並不包含在內。這導致以太坊如果脫離了L2網絡，就無法復原之前狀態變更的情況，因此以太坊數據可用性非常依賴對L2的數據保護。
StarkNet目前則提供了三種數據可用性模式，即
1、Rollup方案：賬本直接發佈在區塊鏈上，保證鏈上數據可用性，但由於主網消耗的gas成本大部分用於數據可用性的儲存，而非驗證證明，所以這種方案更昂貴；
2、Validium方案：由數據可用性協會(DAC) 確保賬本安全，只有哈希值保存在鏈上，這種模式由於鏈上存儲的數據量降低，成本也大幅縮減，但其犧牲了去中心化，僅適合用於非重要交易的數據可用性。
3、Volition方案：用戶在發起每筆交易時都可以選擇該筆交易的DA 模式，Rollup 或Validium，更加靈活。
由於具有更高效的數據可用性，用戶可以更便捷地借助OKLink StarkNet瀏覽器等工具查詢鏈上交易詳情。
除此之外，OKLink最新上線的StarkNet瀏覽器還能提供豐富的區塊和地址信息，幫助用戶快速了解StarkNet網絡的實時狀況。
在賬戶體系方面，StarkNet是現階段少數支持賬戶抽象的區塊鏈基礎設施。目前，帳戶抽像在以太坊和StarkNet 上均可實現，但實現方式有所不同：以太坊是在不忽略外部賬戶（EOA）功能的情況下，通過ERC-4337 添加帳戶抽象，而StarkNet直接將帳戶抽像作為核心，擺脫EOA可能會帶來的影響，直接躍入每個帳戶都是智能帳戶的世界。
這種模式要求StarkNet的所有基礎設施，包括錢包和區塊瀏覽器，都是為帳戶抽象而設計並構建的：這在所有L1 和L2 鏈中都是獨一無二的；但由於只支持賬戶抽象，也讓StarkNet用戶在與其他區塊鏈交互過程中產生困難，因為其他區塊鏈現階段可能還並不支持賬戶抽象，更多還是通過將EOA與帳戶資產鏈接，從而與區塊鏈交互並擁有資產。
歐科雲鏈OKLink瀏覽器是目前可提供賬戶抽象解析為數不多的選擇，也是唯一支持查詢用戶操作的可視化窗口。通過歐科雲鏈OKLink多鏈瀏覽器，用戶就可以像使用谷歌一樣來查詢賬戶抽象的有效信息，了解區塊鏈上交易和合約執行的相關信息，包括交易費用、合約執行的相關信息和日誌，從而更好地了解智能合約的執行情況等等。
無論是真實參與StarkNet鏈上交互的普通用戶，還是希望未來參與空投活動的投機者，如今都可以通過OKLink提供的StarkNet瀏覽器查詢鏈上交易進度，並通過多鏈聚合功能和多維度統計數據實現精準的賬戶抽象跨鏈交互和數據查詢，這是官方瀏覽器所無法比擬的。
StarkNet瀏覽器是OKLink推出的第30條區塊鏈瀏覽器，也是繼zkSync之後的第2條ZK Rollup瀏覽器。據OKLink產品經理介紹，OKLink會持續發展ZK Rollup技術創新及生態佈局，後續繼續推出Polygon-zk、Base等知名ZK Rollup項目的區塊鏈瀏覽器。
那可能有人會問：為什麼OKLink如此關注ZK Rollup及L2賽道發展？ ZK技術又是如何進化到如今的水平？下面就讓我們回歸本源，去探究ZK Rollup被關注的背後原因。
為什麼我們要關注ZK Rollup？
隨著以太坊上部署的去中心化應用（DApp）日漸增多，鏈上交互活動也日益頻繁，擁堵的網絡和高昂Gas費讓擴容勢在必行。常見的擴容方式有兩類：一是對區塊鏈本身進行改造的鏈上擴容；二是通過將計算與交易執行放在鏈下，由主鏈負責驗證交易有效性和提供安全保證的鏈下擴容方案，也就是我們常說的L2方案。
與鏈上擴容相比，L2擴容能大幅降低主網局限性，且不需改變主網共識。狀態通道、Plasma、側鍊等都曾是L2擴容曾出現的技術方案，但如今開發者們正轉向以Rollup為核心的L2擴容路線圖。
所謂Rollup，是指將交易執行外包給L2，然後將多筆交易數據捆綁後進行壓縮，並將它們和狀態根發送到L1網絡進行驗證和確認。 Rollup用一次性驗證多筆交易提升性能，並通過向L1同步交易數據和網絡狀態，保證鏈上數據可用性的同時得到主鏈安全性保證。
這依舊很抽象，不妨用個形象的例子類比：
小歐在公司附近的商場辦了張購物卡，並充值了2000元，每次去消費時只需要直接刷購物卡而不需要用銀行卡支付。一個月後小歐不打算繼續在這家商場購物，註銷購物卡時餘額還有200元，於是就將餘額提現到自己的銀行卡。
在這一個月的消費過程中，小歐的銀行卡只與商場賬戶交互過兩次，期間所有消費都在商場內部系統內完成。這種方式大幅降低銀行網絡所承載的結算壓力，Rollup類似地也能降低主網交易壓力。
”
在Rollup提出前，Plasma等擴容方案不會將L2中發生的數據發送給主鏈儲存驗證，只會提交一個最終的狀態結果。這就導致結果不可驗證，就像是商場只向你提供最後餘額，但不給你交易明細。
Rollup則會將數據提交給主鏈，但它會通過聰明的編碼方式，最大限度地壓縮數據，同時基於Rollup本身特性適當刪除和縮減部分數據，只保證最終提交的數據可供所有人驗證。
根據交易數據同步到L1的方式不同，Rollup通常分為ZK Rollup和OP Rollup兩種方案。 ZK Rollup的關鍵在於“質疑一切”，這與OP Rollup 的“樂觀的假設所有人都不作惡”形成對比。
回到上面的例子，ZK Rollup和OP Rollup的差別就像是：
如果小歐最後提取餘額後，並沒有檢查明細，而等到未來某天突然察覺到不對勁時再去檢查，就類似於OP Rollup；但如果小歐在提取餘額時，就要求商場提供一份交易明細文件以確保餘額的準確性，那就類似於ZK Rollup。
”
雖然OP Rollup由於技術實現難度較低且與以太坊兼容性更高，現階段在交易體量和市場份額等方面均處於領先位置。但由於使用欺詐證明機制，OP Rollup方案的提款時間和安全性目前來看值得商榷，其成本優化相比ZK Rollup也略遜一籌。而ZK Rollup的弱點基本都屬於技術問題，隨著大量優秀的開發人員投入到相關研究，憑藉理論中更高的安全性、更快的驗證效率和更好的數據可用性，ZK Rollup或許在未來會成為更優秀的擴容選擇。
ZK技術的進化
從zk-SNARKs到zk-STARKs
ZK Rollup是基於ZK技術落實Rollup的L2解決方案，項目間的主要差異就在於採用的ZK技術不同。目前市面上主流的ZK技術包括三類，分別是zk-SNARKs、zk-STARKs以及Bulletproofs。其中，zk-SNARKs和zk-STARKs在ZK Rollup擴容方案中都有所應用（注：Bulletproof曾被用於隱私幣的設計當中）。
zk-SNARKs技術是由加州大學伯克利分校教授Alessandro Chiesa等人於2012年在論文《From extractable collision resistance to succinct non-interactive arguments of knowledge, and back again》中提出，是最早和最受歡迎的ZK方案之一，也是目前在區塊鏈領域應用最廣泛的ZK技術。 SNARKs是一種非交互性質的證明，驗證者只需使用由證明者生成的proof 即可獲得驗證結果。知名ZK Rollup項目zkSync等都是基於zk-SNARKs技術構建的低成本且無需信任擴容協議，用於在以太坊上進行可擴展的低成本支付。
但ZK-SNARKs存在一些問題，如該技術使用橢圓曲線密碼學(ECDSA) 進行加密，雖然ECDSA算法目前是安全的，但量子計算機的發展可能會打破其安全模型；此外，zk-SNARKs在密鑰生成階段需依靠可信設置，可能存在中心化風險。因此，2018年StarkWare聯合創始人Eli-Ben Sasson在論文《Scalable, transparent, and post-quantum secure computationalintegrity》中提出了一種新的ZK技術方案：zk-STARKs。
zk-STARKs是zk-SNARKs算法的一種技術演變，解決了SNARK依賴可信設置的弱點，可以不依賴任何信任設置來完成區塊鏈驗證，從而降低啟動網絡的複雜性並消除任何串通風險。同時，zk-STARK 使用更精簡的加密方法，避免了橢圓曲線、配對和指數假設知識的需要，而是依賴散列和信息理論，因此理論上能夠抵禦量子攻擊。
被稱為L2四大天王之一的StarkNet目前採用的就是SATRK有效性證明來解決以太坊可拓展性難題。
除底層技術不同外，當前ZK Rollup項目都是將交易數據生成ZKP發送到主鏈再被驗證，項目間的直接差異更多體現在和EVM的兼容性方面。
根據改造程度和EVM兼容程度，Vitalik將目前的ZK Rollups分為以下等級：
一般來講，和以太坊/EVM兼容性越好的方案，所需的設計重構工作量越小，但後續工作中的生成ZK驗證計算工作量越大。但作為當前的ZK Rollup 賽道的兩大絕對龍頭項目，無論是StarkNet還是zkSync，現階段都只屬於高級程式語言等效的ZK Rollups。不過，儘管StarkNet 本身並不兼容EVM，但可以通過包括Kakarot（Kakarot 是一個用Cairo 寫的zkEVM，是一個字節碼等效EVM 的zkEVM）等其他方式兼容以太坊，從而降低開發難度。
總結
ZK技術可能是我們這個時代最被低估的技術之一，與鋪天蓋地的人工智能和大數據技術相關的新聞宣傳不同，ZK技術至今少有人問津。但儘管如此，這項技術仍然是一項偉大創新，因為它為我們在個人信息無處藏身的大數據時代帶來了寶貴的隱私保障。而作為當前ZK技術在區塊鏈領域的重要應用方向，ZK Rollup還有望解決限制區塊鏈大規模應用的最大難題，讓更多Web3創新能在現實中的複雜商業環境中得到廣泛應用。
