TAI:長推：簡析國產通用型 zk-Rollup「Taiko 」_以太坊

今天介紹一個“國產之光”通用型zk-Rollup—@taikoxyz.Taiko是繼路印后，團隊基于zk技術推出的又一力作。

路印因其不具備EVM兼容性無法擴展為通用型zkRU,Taiko作為能夠實現完全以太坊等效性的zkRU應運而生。

一起探索這個被V神所青睞的項目能給以太坊擴容帶來怎樣的嶄新敘事。

背景

關于以太坊擴容已經是一個老生常談的話題，近年來Rollup一躍成為最炙手可熱的擴容解決方案。

其中基于欺詐證明的Rollup分支ORU借助EVM等效性迅速占領L2市場，僅Arbitrum和Optimism就已占據超過85%的市場份額。

基于零知識證明的zkRU也競相“亮劍”，紛紛推出自己的zk-EVM。

衍生品交易平臺Aevo已上線WLD永續合約:7月24日消息，鏈上結構化產品 Ribbon Finance 旗下衍生品交易平臺 Aevo 宣布已上線 WLD 永續合約。[2023/7/24 15:55:55]

zk-EVM

Taiko也不例外，與大多數zkRU的實現路徑不同，Taiko旨在構建Type1zk-EVM。

按照V神對zk-EVM的劃分，一共分為5類：Type1/2/2.5/3/4.(見下圖)

不同zk-EVM需要在EVM兼容性和zk證明生成效率間做權衡，選擇高EVM兼容性，就意味著zk證明生成難度加大，證明時間更長。

報告：現在看空比特幣還為時過早，但仍需謹慎:3月3日消息，Matrixport在周五早些時候發布的一份研究報告中表示，現在還不是完全看空比特幣的時候，但建議如果比特幣價格跌破2.28萬美元，就削減50%的敞口。報告稱，美國股市已再次開始拋售，美國債券收益率正在走高。2年期美國國債目前的收益率約為4.87%，高于2022年11月4.8%的高點，2年期和10年期國債收益率之間的差值或利差處于-0.87%的不健康水平。加密貨幣的日交易量已經從800億美元左右下降到600億美元，這表明交易員對加密貨幣市場的興趣下降，而BUSD穩定幣的持續流出導致市值下降不足100億美元。

報告還指出，比特幣和納斯達克指數之間的60天相關性處于自2021年12月以來的最低水平，這種相關性下降對持有長期加密貨幣敞口是有利的，因為投資者可以堅持未來的技術增長預期，而宏觀數據的下行似乎對美國上市的科技股影響更大。（CoinDesk）[2023/3/3 12:40:49]

Taiko構建的zk-EVM屬于Type1梯隊，即完全的以太坊等效性。跟其同屬一梯隊的還包括@PrivacyScaling.

穩定幣協議Helio已在公開市場上回購了價值300萬美元的HAY代幣:12月8日消息，穩定幣協議 Helio在官方推文中表示，已經通過第一批回購啟動了 HAY 代幣的壞賬回收流程。目前已經回購了價值 300 萬美元HAY，回購還在進行中，團隊將在第一批回購完成后分享相關地址。

此前，區塊鏈基礎設施平臺Ankr表示將撥款 1500 萬美元來回購因黑客攻擊導致的市場上增發的HAY，且與Helio一起協作處理因此次攻擊所造成的壞賬。[2022/12/8 21:29:50]

簡單來講，Type1zk-EVM意味著Taiko可以直接解讀EVM字節碼，因此能夠支持以太坊上Dapp的絲滑遷移。

但以犧牲zk證明的生成效率為代價。縮短zk證明的生成時間也成為Taiko核心工作。

協議核心角色

在講Taiko的實現原理前，先來捋一捋協議涉及的3個核心角色：1）提議者；即將用戶的L2交易歸集并提交到L1，任何人都可以申請成為提議者；

烈酒廠商百加得旗下手工釀酒廠“Angel’s Envy”進軍元宇宙:6月8日消息，全球最大的家族私有烈酒廠商百加得有限公司（Bacardi Limited）旗下一家位于美國肯塔基州的手工釀酒廠Angel’s Envy已經進軍元宇宙，這可能是烈酒首次進入該虛擬世界。

Angel’s Envy剛剛花費820萬美元完成了總部擴建工程。新總部已經在元宇宙進行復刻，并將舉辦一場活動來慶祝“National Bourbon Day”。從6月14日到20日，元宇宙中的粉絲們可以參加一系列挑戰，解鎖免費的NFT可穿戴裝備，并且還會得到出席證明協議代幣。（BeInCrypto）[2022/6/8 4:10:42]

2）證明者；生成ZK-SNARK證明的角色；3）TaikoL2節點。根據鏈上數據執行交易同步鏈狀態，包括但不局限于角色1和2。

區塊提交

Taiko機制下將區塊提交分為2個部分：區塊提議和區塊驗證。1）區塊提議：提議者將區塊數據發布到以太坊，即將區塊附加到TaikoL1智能合約中的提議區塊列表。提交的數據信息具有不變性，也即意味著區塊執行結果的確定性，任何人都可以計算區塊的post-stateroot.

2）區塊驗證：由于所有提議區塊都是確定性的，證明者可以進行并行證明。一旦提交特定塊的zk證明且其父塊是已驗證的，我們就把該區塊標記為已驗證。

運行機制

再來直觀地看下運行機制:分為以太坊上的TaikoL1智能合約和TaikoL2節點。L2的執行數據由提議者提交到TaikoL1合約，提議區塊由Metadata和交易列表(txList)兩部分組成。L1只能夠獲取Metadata的數據，無法獲取txList的數據，因此L1無法通過重構狀態根驗證提議區塊的有效性。

L1也并不通過重構狀態根來驗證L2交易的有效性，因為占用了計算資源，如果這樣做就失去Rollup的意義了。那么L1如何驗證提議區塊的交易在L2真實發生呢？

通過zk證明(后面講)。對于TaikoL2節點來講，它們擁有自驗證能力，因此可以驗證提議區塊交易的有效性。

L2節點驗證提議區塊的交易有效后，會下載并轉換成確定性的L2區塊(如下圖:b1轉換成B1,b2轉換成B2……)，所以此時TaikoL2節點并不需要借助zk證明來驗證有效性。證明者可以提交zk證明到L1,如果L1節點通過zk證明驗證狀態轉換是有效的，也就證明該特定提議區塊是有效的。

如果提議者提交了無效的提議區塊，怎么“告訴”L1節點這個區塊是無效的？邏輯是在L2先構建一個臨時區塊(比如b3是無效區塊，以B2為父區塊構建臨時區塊B).區塊B只包含一筆交易invalidateBlock(…)，把b3的txList代入函數。生成基于B的zk證明提交到L1,如果驗證有效，則證明b3是無效區塊。

費用及獎勵流向

Taiko用戶以$ETH作為交易gas.區塊提議者能夠獲取提議區塊所有的交易費用，提議者需要支付一部分$ETH給L1節點(DA費用等)；燃燒一定的協議代幣$TKO出L2塊。

另外，L2的證明者提交有效的zk證明也將獲得協議鑄造的$TKO代幣獎勵。

以上就是關于Taiko的簡單介紹，更多詳細內容可參考其官方白皮書：https://taikoxyz.github.io/taiko-mono/taiko-whitepaper.pdf…以及創始人@daniel_taikoxyz關于L2出塊機制介紹的視頻：https://youtube.com/watch?v=YUSCAFZRDqg…如果此推特線程

對大家有幫助，麻煩轉發、點贊第一條推文，感謝。

Tags：TAI以太坊KOL比特幣STAI幣以太坊幣多少錢一個Kolion比特幣的市值現在值多少錢

SHIB