買比特幣 買比特幣
Ctrl+D 買比特幣
ads
首頁 > DOGE > Info

BSP:Kakarot zkEVM是什么?為何得到Vitalik參投_NBS

Author:

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

作者:cookies,風投分析師;翻譯:金色財經xiaozou

Kakarot zkEVM是什么?為什么它能得到V神和StarkWare的支持?Kakarot把EVM帶到Starknet之上,促進了EVM dApp的擴展。讓我們深入了解一下吧!

我們已經啟動并進入了超級賽亞人模式。Kakarot Labs已經正式成立并完成了與頂級投資者的pre-seed早期融資。

讓我們來展望發展愿景、明確當前地位、期待美好的未來吧。

本文將主要介紹以下內容:1、什么是CairoVM?2、什么是Cairo?3、EVM架構;4、Kakarot架構;5、zkEVM的Type分型;6、Kakarot路線圖;7、個人想法。

Kakarot zkEVM是使用Cario語言部署的EVM,通過增強EVM兼容性來擴展Starknet生態系統的可靠性。讓我們來一步一步理解。

1、什么是CairoVM?

Kakarot運行在虛擬機CairoVM之上,是Starknet的基礎架構。CairoVM的主要特性如下:

KAKA鏈游混合盲盒30070個盲盒已售空:據KAKA官方最新資訊,8月25日19:00(UTC+8)KAKA鏈游混合盲盒在幣安NFT開售,30070個盲盒在不足1秒便宣告售罄。此款盲盒二開功能即將開啟,具備高價值玩法。這也是KAKA和幣安NFT的首次聯動。更多詳情,可留意KAKA官方最新公告。[2021/8/25 22:36:54]

· 將執行表示為多項式方程,以實現可證明的執行。

· 允許所有Starknet交易使用STARK驗證。

2、什么是Cario?

Cario是圖靈完備的STARK友好的CPU架構。

· 圖靈完備:系統能夠計算任何可能的計算/程序。

· Stark友好:StarkWare的驗證系統。鏈下計算完整性由證明者證明,由鏈上驗證者驗證。

那么,Cario是如何運作的?開發人員可以在CaroVM中使用Cairo編寫程序,用高級語言描述statement語句(待證明)。這改善了開發體驗,因為開發人員可以利用ZK證明(ZKP)的可擴展性,而無需學習如何編寫復雜的電路。

韓國互聯網巨頭Kakao擁有UPbit運營商23%的股份:韓國互聯網巨頭Kakao擁有韓國交易所UPbit的運營商Dunamu 約23%的股份。Kakao本身擁有8.1%的股份,而其VC部門Kakao Ventures的K Cube No. 1風險投資基金擁有11.7%,Kakao青年創業基金則擁有2.7%的股份。(CryptoNews)[2021/4/13 20:12:41]

3、EVM架構

EVM架構是成熟且定義良好的VM(虛擬機)架構,具有:

· 142個操作碼:EVM用于執行交易和智能合約(SC)的指令。需要gas費才能執行。

· 9個預編譯:內置于以太坊中的智能合約用于處理常見操作。可通過標準gas費調用。

4、Kakarot架構

Kakarot基于CairoVM開發,它是:

· EVM字節碼解釋器

· 部署在Starknet上的智能合約

· 使用Cario語言

Kakarot支持:

· 原樣部署EVM智能合約

Kakarot不是:

· 區塊鏈

Kakao子公司已發布加密貨幣錢包Klip:韓國互聯網巨頭Kakao的區塊鏈子公司GroundX已發布加密貨幣錢包Klip,支持11種加密資產和非同質代幣(NFT)的即時訪問。(CryptoNews)[2020/6/3]

· 編譯器:不將Solidity代碼轉換為Cairo

截至2023年5月:

· 已實現100%字節碼架構(Type 3 zkEVM)

· 9個EVM預編譯實現了8個

在實現全部9個EVM預編譯后,Kakarot將成為Type 2.5 zkEVM。

5、zkEVM的Type分型

(1)Type 1 zkEVM | 完全等效于以太坊

不改變以太坊系統以支持更容易的證明生成。

優點:

· 以太坊擴展的終極解決方案

缺點:

· 計算密集

· 證明時間長(需要數小時)

舉例:

· Scroll

聲音 | 知情人士:Kakao的加密錢包Klip或將延期至明年推出:據業內人士透露,韓國互聯網巨頭Kakao子公司Ground X在針對其區塊鏈平臺Klaytn合作伙伴的非公開說明會上表示,加密錢包“Klip”的推出或將推遲至明年第一季度。參加說明會的相關人士透露,任何人都能在Klaytn上生成代幣。對此,Ground X相關人士表示,Klip的具體推出時間還沒有確定。此外,Ground X正在持續尋求Klaytn的合作伙伴。(fnnews)[2019/10/11]

· Taiko

(2)Type 2 zkEVM | 完全等效于EVM

對以太坊系統進行微小修改(不同的哈希函數)讓開發更加容易,且證明生成速度更快。

優點:

· 支持大多數以太坊dApp

· EVM的低效率和不友好性仍然存在

(3)Type 2.5 zkEVM | 與EVM等效(但gas費除外)

增加了EVM中難以使用ZK證明的特定操作的gas成本。

· 比更廣泛的EVM變更風險更小

· 降低了開發工具的兼容性

· 部分dApp不兼容

(4)Type 3 zkEVM | 幾乎與EVM等效

動態 | 三星手機區塊鏈服務功能已支持比特幣及 Kakao 原生區塊鏈 Klaytn:三星在其智能手機的區塊鏈服務功能 Samsung Blockchain KeyStore 添加對比特幣的支持。根據三星開發者網站的信息,該區塊鏈服務此前僅支持以太坊,目前已支持比特幣以及 通訊巨頭 Kakao 的原生區塊鏈 Klaytn。Samsung Blockchain KeyStore 于今年年初推出,提供加密貨幣存儲以及管理個人私鑰等服務,同時支持區塊鏈應用程序中使用結算、匯款等功能。據此前報道,三星將在 Galaxy S10 系列以及后續智能手機產品配備 Blockchain KeyStore 功能。[2019/8/14]

移除了那些特別難以實現的特性(例如預編譯)。

· 更快的證明時間

· 更容易的EVM開發

· 部分dApp需要重寫

· Polygon

(5)Tpye 4 zkEVM | 等效于高級語言

智能合約源代碼(高級語言)編譯為ZK-SNARK友好語言。

· 避免了大量的開銷

· 合約地址可能不同于EVM中的地址

· 可能不支持手寫EVM字節碼

· 調試基礎設施不能被繼承,因為它們運行在EVM字節碼上。

· zkSync

· Nethermind

6、Kakarot路線圖

(1)階段1 | 將EVM帶到Starknet

Kakarot最初將作為一個enshrined EVM存于Starknet中。開發體驗和用戶體驗(UX)將與Polygon、Scroll或以太坊相同。

(2)階段2 | L3 zkEVM

通過Kakarot部署zkEVM應用鏈,允許它們利用有效性證明在Starknet上進行交易結算。

通過將Kakarot與Madara Starknet測序器(基于substrate的Starknet測序器)融合為統一的堆棧。

(3)階段2 | zkEVM-Rollup-as-a-Service

只需一次點擊,rollup就會收到:

· 部署在Starknet上的特定應用zkEVM

· 對EVM環境的訪問

· 快速的執行

· 低gas費:使用數據可用性解決方案(Celestia、EigenLayer)

· 加密安全性

zkEVM-Rollup-as-a-Service的優點:

· 通過使用Kakarot在CairoVM中運行Solidity智能合約

·任何部署在EVM上的Solidity智能合約都可以在Starknet上運行,而無需更改代碼

兩全其美:

· 具有EVM的效率

· 智能合約變得可證明

(4)階段3 | Type 1 zkEVM

要進入該階段,Kakarot必須要:

· 在Madara和Kakarot的全節點內使用Cairo編寫以太坊共識規則,以證明L1共識。

· 從Pedersen Merkle Patricia Trie(MPT)切換到Keccak MPT。

然而,階段3具有不確定性。這取決于以太坊路線圖:Verge。目前,以一種可證明且低成本的方式實現Keccak MPT是zkEVM兼容性的主要阻礙。在Verge之后,Keccak可能會被Poseidon取代,成為以太坊的首選哈希函數。

7、個人想法

為Starknet帶來EVM兼容性無疑是一個巨大的進步,但是關于Kakarot的成功仍存在一些顧慮。

(1)高度競爭的ZK領域

競爭對手有:

· 具有不同證明系統(SNARK)的ZK-rollup:Scroll、zkSync、Polygon、Taiko、Linea。

· Optimistic rollup:Optimism、Arbitrum、Base

· 不同的zkVM:RISC Zero、Hyper Oracle

(2)產品市場契合度(PMF)

總的來說,rollup-as-a-service是一個有待驗證的論題,有兩個關鍵方面需要考慮:

· 需要此服務的rollup有多少?

· rollup是否更愿意在內部建設主權和可定制性?

(3)持續的產品迭代

Kakarot正在開發建設一個技術高度復雜的產品,并且可能需要不斷的迭代才能獲得成功。

它還依賴于多個動態組成部分,包括:

· Madara

· 數據可用性解決方案

· 以太坊路線圖:Verge

SevenUp DAO

金色圖覽

LK Venture

金色薦讀

區塊律動BlockBeats

Tags:NBSBSPAKAKAKnbs幣未來價格BSPAY幣AKAMARU幣KAKLAB

DOGE
ETH:一覽正在興起的ZK新用例:zkML、ZK游戲、ZK ID_ZKP

作者:zkvalidator;編譯:Kate,Marsbit在本文中,我們將探討新興的 ZK 用例.

1900/1/1 0:00:00
AMP:BTC 生態重點項目大盤點_BTC

BTC生態已經持續火熱兩個月了,但隨著ORDI的回調,許多人開始擔心這波BTC生態的熱潮已經結束了.

1900/1/1 0:00:00
Multichain 事件時間表一覽: 1.25 億資產神秘流出 跨鏈橋已暫停 曾獲幣安紅杉投資

作者:吳說區塊鏈 2023 年 7 月 7 日,跨鏈協議 Multichain 約 1.25 億美元的多鏈資產大量異常流出到多個錢包.

1900/1/1 0:00:00
NFT:金色Web3.0日報 | Bybit退出加拿大市場_DEF

DeFi數據 1、DeFi代幣總市值:476.89億美元 DeFi總市值及前十代幣 數據來源:coingecko2、過去24小時去中心化交易所的交易量35.

1900/1/1 0:00:00
數字資產:眾議院聽證會概覽:SEC執法行動遭批評 加密新規或需數年時間_SEC

作者:比推BitpushNews Mary Liu在美國證券交易委員會 (SEC) 加大對加密行業的全面打擊力度,相繼對幣安、Coinbase提起訴訟之際.

1900/1/1 0:00:00
ENT:科學家提出區塊鏈的量子工作量證明共識_區塊鏈存證平臺

作者:TRISTAN GREENE,Cointelegraph;編譯:松雪,金色財經來自澳大利亞和美國的大學的一組研究人員與量子技術公司 BTQ 進行合作,最近發表了一項研究.

1900/1/1 0:00:00
ads