買比特幣 買比特幣
Ctrl+D 買比特幣
ads

BIT:長推:簡析國產通用型 zk-Rollup「Taiko 」_HBTC Captain Token

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。

幣安杠桿推出逐倉杠桿倍數調整功能:金色財經報道,據官方公告,幣安逐倉杠桿推出杠桿倍數調整功能。該功能幫助用戶在交易逐倉杠桿時更靈活和便捷,并可以根據自身需求和交易策略來調整所有杠桿交易對的杠桿倍數。杠桿倍數設置彈出窗口默認關閉狀態。用戶可以隨時激活該功能。借貸額度將根據所選杠桿倍數的相應級別而定。[2023/7/18 11:01:45]

zk-EVM

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

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

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

某PENDLE巨鯨投資回報率達1289%,仍持有58.16萬枚PENDLE:7月3日消息,據Spot On Chain監測,一個PENDLE巨鯨地址投資回報率高達1,289%。其預計實現利潤為21.5萬美元;由于該地址仍持有58.16萬枚PENDLE,有望再賺51.8萬美元。

-該地址在2022年年中以4.3萬枚USDC買入87.8萬枚PENDLE,均價約0.049美元。

-質押1年,賺取4.37萬枚PENDLE。

-當4月份其價格飆升1219%時,開始將PENDLE存入MEXC和Bitget,賣出均價為0.681美元。

- 18小時前以0.95美元的均價將10萬枚PENDLE存入MEXC。[2023/7/3 22:14:48]

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

西班牙加密貨幣交易所Bit2me放棄吸納2gether用戶,因存在內部分歧:金色財經消息,西班牙加密貨幣交易所Bit2me宣布,該公司旨在與另一家西班牙交易所2gether完成的交易因內部分歧而失敗。Bit2me希望吸收2gether的用戶,因為2gether在本月早些時候宣布不能再提供免費服務后,封鎖了其業務,并迫使用戶支付20歐元以繼續使用該平臺。此前,Bit2me提出了一項吸引2gether用戶并將他們的資金轉移到其平臺的交易。

不過Bit2me并沒有放棄,該公司向2gether的用戶提供了一項優惠,如果他們自愿將資金從2gether轉移到其平臺,他們將償還20歐元的費用。但是,轉移的加密貨幣的價值必須高于200歐元才能適用。(Bitcoin.com)[2022/7/22 2:29:59]

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

美聯儲互換市場充分定價美聯儲7月加息75個基點:7月13日消息,美聯儲互換市場充分定價美聯儲7月加息75個基點。(金十)[2022/7/13 2:10:54]

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

協議核心角色

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

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:TAIETHBITGETHBTC Captain Tokentogetherbnb全部劇情攻略upbit數字交易所apptogetherbnb喝醉之后能干嘛

比特幣價格
DEF:Revelo Intel創始人如何看待L1/L2競爭、加密敘事、支付和監管?_Unidef

在這期DeFiPodcast中,主持人JFSaine和Morrissey邀請了ReveloIntel創始人NickDrakon.

1900/1/1 0:00:00
ENT:MarsBit日報 | 傳Sei Labs正以4億美元代幣估值進行A輪融資;Arbitrum將推針對定序器的女巫攻擊防御機制;_WEBOO

MarsBitCryptoDaily2023年2月27日 一、?今日要聞 RedditCollectibleAvatarNFT市值突破1億美元DuneAnalytics最新數據顯示.

1900/1/1 0:00:00
NFT:長推:5個剛剛獲得融資的DeFi項目_XDEFI Wallet

注:本文來自@DefiIgnas推特,MarsBit整理如下:1/什么是加密風投知道而你不知道的?我追蹤資金流向,以揭示他們最新的#DeFi趨勢。很明顯,風投越來越看好創新協議.

1900/1/1 0:00:00
OIN:Delphi Digital:2023 年 GameFi 將迎來“大重塑”_WEB3

本篇文章是對DelphiDigital與NaavikGamefi2023年報告的梳理。主要反思Gamefi行業面臨的困境、取得的進步與未來走勢.

1900/1/1 0:00:00
以太坊:使用 ERC-4337 實現賬戶抽象_reth幣暴跌

通過在ERC-4337中部署共享、審計和核心合約,最近實現了以太坊帳戶抽象路線圖的一個重要里程碑。錢包和基礎設施提供商現在可以更安全地通過圍繞帳戶抽象的創新繼續構建更流暢的用戶體驗.

1900/1/1 0:00:00
USDC:觀點:USDC 暴雷很難,不要自我恐慌_USDA

Circle暴雷可能性分析:先說結論,出問題的概率極低,不要自己嚇自己。一、從Circle儲備資產結構看暴雷可能性1/n儲備資產可以分為三個部分:$324億國債組合SVB中的$33億存在SVB以.

1900/1/1 0:00:00
ads