來源:Kakarot;編譯:Karen,Foresight News
Kakarot zkEVM 是用 Cairo 編寫的一種以太坊虛擬機(EVM)實現。Cairo 是一種與 CairoVM 相關的圖靈完備語言。
CairoVM 通過利用多項式(polynomials)和 ZK-STARK 證明系統實現可證明計算。zkEVM 的特點是能夠生成可證明的交易,從而產生可證明的區塊。Kakarot 建立在 CairoVM 之上,在 Kakarot 上執行的每一筆交易都是可證明的。
Kakarot zkEVM 使團隊能夠構建和部署 EVM 應用。開發人員可以在 Kakarot 上部署任何 Solidity(或任何 EVM 兼容語言),就像在以太坊或 Polygon 上一樣。然后,他們的終端用戶可以使用他們常用的工具鏈 toolchain(小狐貍錢包、錢包連接等)與 DApp 進行交互。
韓國科技巨頭Kakao旗下區塊鏈平臺Klaytn已簽署五項戰略合作:1月10日消息,由韓國科技巨頭Kakao開發的區塊鏈平臺Klaytn已簽署五項戰略合作伙伴關系,以推動公司的全球發展。自2021年8月以來,Klaytn與日本科技巨頭GMO Group、亞洲NFT市場East NFT、美國娛樂公司Animal Concerts、金融科技加速器F10以及位于印度尼西亞的投資者Innovation Factory(三林集團的數字化部門)合作。
Klaytn全球采用負責人David Shin表示:已做好準備在2022年駕馭元宇宙浪潮,正在與領先的游戲公司建立更多的合作伙伴關系。(Tech in Asia)[2022/1/10 8:39:24]
最終,Kakarot 將提供與原生 Starknet 協議的互操作性以及協議之間的可組合性,例如,將 DeFi 中的 TVL 和 GameFi 中的用戶群相結合。
動態 | Kakao正在為其4400萬本地用戶整合加密資產:據fnnews報道,繼三星以三星區塊鏈錢包的形式集成加密錢包后,Kakao將在其消息應用程序中集成加密錢包,讓普通用戶可以每天使用數字資產。[2019/3/18]
Kakarot zkEVM 可以以不同的形式存在,首先,可以作為智能合約部署在 Starknet L2 之上,從而在 Starknet 上顯示為(expose)EVM(以太坊 RPC、以太坊交易等)。
或者,可以將 Kakarot 集成到堆棧中以部署 L3 zkEVM。這就是 Madara 排序器的用武之地。
通過結合 Madara(Starknet 全節點)和 Kakarot(EVM 運行時),可以創建一個 L3 zkEVM。堆棧如下:一個 Substrate 全節點,使用 CairoVM 作為其執行引擎,以及 Kakarot 作為智能合約的運行時(runtime)。
韓國FSC主席:Kakao在海外ICO 可能違反現行加密貨幣規定:據Bitcoin News,韓國金融服務委員會(FSC)主席Choi Jong-ku本周在首爾政府大樓舉行的新聞發布會表示移動社交巨頭Kakao計劃利用在國外進行ICO以籌集資金的行為可能違反現行加密貨幣規定。韓國金融日報報道,盡管有媒體報道稱Kakao及Kakao Pay計劃通過海外ICO籌集資金,但金融機構尚未對此作出證實。Choi也強調目前“沒有資金得到證實”。韓國法律并不禁止海外ICO,然而該行為很有可能會違反現存針對加密貨幣的監管條例。出于對高風險的評估,保護投資者等目的,韓國政府對ICO持反對立場“。[2018/3/17]
Kakarot 上的交易可以在結算層上得到證明和驗證,從而實現 EVM 兼容的分形擴容。
第 1 階段:Starknet 上的 Kakarot zkEVM——將 EVM 帶到 Starknet
韓國Kakao公司成立區塊鏈子公司:今日(3月5日),Kakao公司對外稱,“我們正在準備建立一個子公司來提供基于區塊鏈的服務。”Kakao公司高層說:“我們一直在研究區塊鏈的各個方面,但具體細節尚未決定。”Kakao已經通過一個簡單的支付結算公司“Kakao Pay”運行基于區塊鏈接的授權認證服務,至于是否會ICO,還不得而知。此前,Kakao公司已持有Upbit所在公司Dunamu的20%左右的股份。Kakao的競爭對手Naver于1月下旬成立'Line Financial',通過其日本子公司“Line”經營數字貨幣業務的公司。Line Finance在日本開展業務,包括數字貨幣兌換,交易業務和基于區塊鏈的高級金融服務。[2018/3/5]
Kakarot 將首先作為載入的 EVM 存在于 Starknet L2 中,這將使開發人員能夠使用他們熟悉的工具箱(Foundry、Hardhat、Wagmi 等)直接在 Starknet 上部署他們的 Solidity(或任何 EVM 兼容語言)智能合約。
然后,他們的最終用戶將能夠使用他們常用的工具鏈(Metamask、Wallet Connect 等)與他們的 DApp 進行交互。
Kakarot 上的開發人員和用戶體驗將與 Polygon、Scroll 或以太坊 L1 完全相同。
第 2 階段:Kakarot x Madara——L3 zkEVM
Kakarot 和 Madara 將合并到一個統一的堆棧中,以支持 L3 zkEVM,以及 L4、L5 等。團隊將能夠部署他們的 zkEVM 應用鏈,并利用有效性證明在 Starknet 上結算交易。
為什么是 L3?為什么是可證明性?
可證明性可實現以下功能:鏈下計算,或 Layer 上計算、鏈上驗證。
利用有效性證明的 L3(如 Kakarot)有一個有趣但被低估的屬性:解耦安全性和去中心化的能力。用戶能夠從以太坊 L1 的安全性中受益,而無需相同級別的去中心化。
由于在另一層進行計算,Gas 成本比 L2 低得多,性能(TPS)也會更高。L2 已經比 L1 便宜得多。Rollup 的擴展性會堆疊和成倍增加。
為了進一步降低 Gas 成本,證明驗證和數據可用性(DA)可以分開。Starknet L2 可以僅用作證明驗證層,而新的數據可用性解決方案(如 Celestia 或 EigenDA)可用于發布交易數據。
用戶可以選擇加入任一選項,具體取決于其安全要求。在 Starknet 上發布證明和交易數據是更安全的選擇,而使用 DA 解決方案發布交易數據是更具成本效益的選擇。
第 3 階段:Kakarot x Madara——type 1 zkEVM
Kakarot 和 Madara 也可以組合在一起,啟用 type 1 zkEVM。
在 Madara x Kakarot 全節點內用 Cairo 編寫以太坊共識規則,從而能夠證明 L1 共識。
從 Pedersen Merkle Patricia Trie (MPT) 切換到 Keccak MPT。
然后,Kakarot 將成為 type 1 zkEVM,能夠證明 L1 區塊。這是一個更高級的用例,取決于以太坊的路線圖(最值得注意的是 Verge)。在 Verge 之后,keccak 可能會被 poseidon 取代,成為以太坊選擇的哈希函數。這將有助于 zkEVM 團隊成為 type 1,因為 zkEVM 的主要兼容性障礙是存儲布局,即,以可證明且合理便宜的方式實施 Keccak MPT。
Madara 使 Kakarot 鏈能夠利用 Substrate 消息傳遞協議進行跨 Rollup 通信。
Substrate 的模塊化使 Kakarot 鏈能夠使用其共識協議進行創新。
Substrate 的無分叉 runtime 升級使 Kakarot 鏈能夠在沒有硬分叉的情況下升級其 EVM 版本。
Foresight News
企業專欄
閱讀更多
金色財經
SevenUp DAO
金色圖覽
LK Venture
金色薦讀
區塊律動BlockBeats
Tags:AKAKAKKARROTSABAKAINUkaki幣是騙局嗎karura幣是誰弄的Luzion Protocol
最近幾個月(2023年4月前后),隨著Ordinal、Tarproot、染色幣等技術被眾多開發者深入挖掘,比特幣生態誕生出一系列的協議產品,最出名的就是BRC20,各種搞NFT和同質化代幣.
1900/1/1 0:00:00作者:吳說區塊鏈 2023 年 7 月 7 日,跨鏈協議 Multichain 約 1.25 億美元的多鏈資產大量異常流出到多個錢包.
1900/1/1 0:00:00作者: Solaire, YBB Capital“The only true voyage of discovery, the only fountain of Eternal Youth.
1900/1/1 0:00:002023年隨著人工智能采用的快速發展而迅速啟動,從ChatGPT的推出到AI DJ,這項技術正在徹底改變常規做法,影響著消費者、創作者和行業領導者.
1900/1/1 0:00:00作者:LeftOfCenter 編譯:區塊律動BlockBeatsBNB Chain 推出了自己的二層鏈,并于 6 月 19 日正式啟動了 Layer 2 測試網「opBNB」.
1900/1/1 0:00:00撰寫:Mundus Security 編譯:深潮 TechFlow 最近提出的 EIP-6963 旨在解決用戶在單個 Web 瀏覽器中嘗試使用多個錢包提供程序時出現的沖突問題.
1900/1/1 0:00:00