以太坊:Kakarot 三階段路線圖：將如何賦能 Starknet 和以太坊生態_Polygon

KakarotzkEVM是用Cairo編寫的一種以太坊虛擬機實現。Cairo是一種與CairoVM相關的圖靈完備語言。

CairoVM通過利用多項式和ZK-STARK證明系統實現可證明計算。zkEVM的特點是能夠生成可證明的交易，從而產生可證明的區塊。Kakarot建立在CairoVM之上，在Kakarot上執行的每一筆交易都是可證明的。

KakarotzkEVM使團隊能夠構建和部署EVM應用。開發人員可以在Kakarot上部署任何Solidity，就像在以太坊或Polygon上一樣。然后，他們的終端用戶可以使用他們常用的工具鏈toolchain與DApp進行交互。

ZK-EVM Kakarot完成pre-seed輪融資，Vitalik、StarkWare等參投:6月2日消息，zkEVM 開發平臺 Kakarot 完成Pre-Seed 輪融資，StarkWare、LambdaClass 和天使投資人 Vitalik、Nicolas Bacca、Rand Hindi 等參投。

Kakarot zkEVM 是 Cairo 實施的 EVM，利用 STARK 證明來證明交易和區塊，確保透明度和安全性。據介紹，Kakarot zkEVM 發展分為三個階段：1、作為 EVM 存在于 Starknet L2 上；2、和 Starknet 定序器 Madara 合力創建第 3 層 zkEVM；3、Kakarot 和 Madara 組合啟用類型 1 zkEVM。[2023/6/2 11:54:47]

最終，Kakarot將提供與原生Starknet協議的互操作性以及協議之間的可組合性，例如，將DeFi中的TVL和GameFi中的用戶群相結合。

韓國央行與韓國Kakao簽署數字貨幣測試研究協議:市場消息：韓國央行與韓國互聯網公司Kakao簽署數字貨幣測試研究協議。此前報道，韓國央行宣布，科技巨頭Kakao公司（KakaoCorp.）的區塊鏈子公司GroundX將成為其數字貨幣開發試點項目合作伙伴的首選競標者。（金十）[2021/7/28 1:20:28]

分形擴容

KakarotzkEVM可以以不同的形式存在，首先，可以作為智能合約部署在StarknetL2之上，從而在Starknet上顯示為EVM。

或者，可以將Kakarot集成到堆棧中以部署L3zkEVM。這就是Madara排序器的用武之地。

通過結合Madara和Kakarot，可以創建一個L3zkEVM。堆棧如下：一個Substrate全節點，使用CairoVM作為其執行引擎，以及Kakarot作為智能合約的運行時。

動態 | Kakao旗下區塊鏈平臺Klaytn稱 公共測試網Baobab已正式發布:Kakao旗下區塊鏈平臺Klaytn稱，在完成自去年10月以來由合作伙伴獨家使用的私人測試網“Aspen”的試運行后，公共測試網Baobab已正式發布。Baobab提供新功能和開發人員工具，可根據合作伙伴的實時反饋增強安全性和可用性。[2019/3/29]

Kakarot上的交易可以在結算層上得到證明和驗證，從而實現EVM兼容的分形擴容。

路線圖

第1階段：Starknet上的KakarotzkEVM——將EVM帶到Starknet

Kakarot將首先作為載入的EVM存在于StarknetL2中，這將使開發人員能夠使用他們熟悉的工具箱直接在Starknet上部署他們的Solidity智能合約。

KAKAO在韓國設立“Ground 1”:韓國KAKAO現要在韓國也要設立區塊鏈子公司“Ground 1”的法人，并且招聘區塊鏈的專業人才。Ground 1是KAKAO在日本的子公司Ground X的韓國子公司。前FuturePlay的CTO現Ground X的CEO將會兼任Ground 1 的代表一職。韓國市場設立區塊鏈公司將會推進基于區塊鏈的Dapp服務。[2018/5/16]

然后，他們的最終用戶將能夠使用他們常用的工具鏈與他們的DApp進行交互。

Kakarot上的開發人員和用戶體驗將與Polygon、Scroll或以太坊L1完全相同。

第2階段：KakarotxMadara——L3zkEVM

Kakarot和Madara將合并到一個統一的堆棧中，以支持L3zkEVM，以及L4、L5等。團隊將能夠部署他們的zkEVM應用鏈，并利用有效性證明在Starknet上結算交易。

為什么是L3？為什么是可證明性？

可證明性可實現以下功能：鏈下計算，或Layer上計算、鏈上驗證。

利用有效性證明的L3有一個有趣但被低估的屬性：解耦安全性和去中心化的能力。用戶能夠從以太坊L1的安全性中受益，而無需相同級別的去中心化。

由于在另一層進行計算，Gas成本比L2低得多，性能也會更高。L2已經比L1便宜得多。Rollup的擴展性會堆疊和成倍增加。

為了進一步降低Gas成本，證明驗證和數據可用性可以分開。StarknetL2可以僅用作證明驗證層，而新的數據可用性解決方案可用于發布交易數據。

用戶可以選擇加入任一選項，具體取決于其安全要求。在Starknet上發布證明和交易數據是更安全的選擇，而使用DA解決方案發布交易數據是更具成本效益的選擇。

第3階段：KakarotxMadara——type1zkEVM

Kakarot和Madara也可以組合在一起，啟用type1zkEVM。

在MadaraxKakarot全節點內用Cairo編寫以太坊共識規則，從而能夠證明L1共識。

從PedersenMerklePatriciaTrie(MPT)切換到KeccakMPT。

然后，Kakarot將成為type1zkEVM，能夠證明L1區塊。這是一個更高級的用例，取決于以太坊的路線圖。在Verge之后，keccak可能會被poseidon取代，成為以太坊選擇的哈希函數。這將有助于zkEVM團隊成為type1，因為zkEVM的主要兼容性障礙是存儲布局，即，以可證明且合理便宜的方式實施KeccakMPT。

其他研究主題

Madara使Kakarot鏈能夠利用Substrate消息傳遞協議進行跨Rollup通信。

Substrate的模塊化使Kakarot鏈能夠使用其共識協議進行創新。

Substrate的無分叉runtime升級使Kakarot鏈能夠在沒有硬分叉的情況下升級其EVM版本。

喜歡的鐵鐵點個贊點個關注，歡迎在評論區提出您的寶貴建議

有問題可以在評論區留言，感謝各位家人們的點贊關注支持。

感謝閱讀，我們下期再見！

Tags：以太坊MPTPolygon以太坊幣是什么幣MPT價格MPT幣Polygon幣是什么幣

芝麻開門交易所下載