比特幣交易所 比特幣交易所
Ctrl+D 比特幣交易所
ads

長推:簡析國產通用型 zk-Rollup「Taiko 」_TAI

Author:

Time:1900/1/1 0:00:00

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

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

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

背景

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

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

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

Multicoin Capital將83.3萬枚LDO轉入Coinbase:金色財經報道,據Spot On Chain監測,Multicoin Capital在9.5小時前通過兩個錢包將83.3萬枚LDO轉入Coinbase,轉入時單價為2.05美元(約合171萬美元)。[2023/5/26 9:43:39]

zk-EVM

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

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

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

Fetch.AI與博世啟動1億美元基金會以推動Web3的采用:金色財經報道,Fetch.ai與德國工程巨頭博世(Bosch)聯合推出 1 億美元基金會,旨在研究、開發和利用 Web3 技術,用于跨越移動、工業和消費領域的實際用例。[2023/2/21 12:19:46]

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

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

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

協議核心角色

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

安全團隊:New free dao攻擊者利用閃電貸反復領取空投獎勵,獲利約4481枚WBNB:9月8日消息,據Beosin EagleEye平臺監測顯示,New free dao項目遭受黑客攻擊,損失約4481.3 WBNB(約125萬美元)。Beosin安全團隊分析發現攻擊者首先利用閃電貸借出WBNB,將其全部換成NFD代幣。然后利用攻擊合約反復創建多個攻擊合約領取(0x8b068e22e9a4a9bca3c321e0ec428abf32691d1e)空投獎勵,最后將其兌換為WBNB歸還閃電貸套利離場。目前攻擊者已將獲利的 2000BNB 兌換成55.6w USDT,將其與剩余的2,481BNB均存在攻擊者地址上。Beosin trace正在對被盜資金進行實時監控和追蹤。[2022/9/8 13:16:48]

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

美聯儲戴利:9月絕對(至少)加息50個基點,需要持開放態度:8月8日消息,美聯儲戴利表示,通脹水平過高,美聯儲致力于降低通脹。美聯儲在對抗通脹方面“遠未完成”。9月絕對(至少)加息50個基點,需要持開放態度。[2022/8/8 12:08:30]

區塊提交

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以太坊KOLBNBOrigin Fountainhead Chain比特幣以太坊Kols Offering TokenBNBTC幣

火幣交易所
細說版稅War:早期歷程與演變_PEN

當我思考我們如今的經濟和社會時,我經常把它比作一個由工人、中小型企業、銀行、客戶和監管者等相互關聯的行為者組成的龐大生物系統。其中,每個參與者都扮演著自己的關鍵角色.

1900/1/1 0:00:00
2023香港Web3影響力創新峰會將于3月28日在香港啟幕!_數字資產

潮起香江,香港邁入Web3大時代。2022年10月31日,中國香港正式發布了Web3產業相關政策宣言,正式向全球投資者、創業者宣告香港將發展成全球數字資產中心的決心,并指出香港發展數字資產的重心.

1900/1/1 0:00:00
比特幣NFT新項目Chainspace:Loot核心Tim Shel的新作品_INS

基于比特幣網絡的NFT協議Ordinals讓比特幣第一次有了金融用例之外的可能性,雖然在比特幣原教主義者眼中NFT違背了「點對點電子現金」這一「初心場景」,但毫無疑問.

1900/1/1 0:00:00
投資指南:資深分析師青睞哪些賽道_以太坊

#Claudia‘sNotes如何做投研?資深分析師們今年看好哪些賽道?昨晚的Space回放已經超過了5000人,結束后還有很多人在回味.

1900/1/1 0:00:00
2周3倍,是時候了解一下Stacks的生態了_STA

3月1日,Stacks原生TokenSTX在大盤情緒不太樂觀的情況下,逆勢拉盤上漲突破1美元,24小時漲幅達到17.41%.

1900/1/1 0:00:00
REVA的NFT質押托管拍賣,引領新行業參與者的下一商機_NFT

NFT行業在2021年經歷爆發性增長后,市場在2022年下半年迅速降溫,2023年1月,隨著美聯儲加息等因素的邊際改善,NFT行業逐漸回暖,市場實現近6個月以來最高交易額.

1900/1/1 0:00:00
ads