來源: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 進行交互。
新加坡通信公司GoodGang Labs完成200萬美元種子輪融資,Kakao Investment參投:5月25日消息,新加坡通信公司GoodGang Labs 完成 200 萬美元種子輪融資,Kakao Investment 參投,新資金將用于構建 3D 環境 kiki town,并將推出「GangHouse for Web3」,允許用戶使用自己的 NFT 作為媒介進行實時溝通[2023/5/25 10:38:57]
最終,Kakarot 將提供與原生 Starknet 協議的互操作性以及協議之間的可組合性,例如,將 DeFi 中的 TVL 和 GameFi 中的用戶群相結合。
Kakarot zkEVM 可以以不同的形式存在,首先,可以作為智能合約部署在 Starknet L2 之上,從而在 Starknet 上顯示為(expose)EVM(以太坊 RPC、以太坊交易等)。
Kakao Piccoma收購日本加密平臺Sakura Exchange Bitcoin?:金色財經報道,韓國移動應用運營商Kakao Corporation的日本子公司Kakao Piccoma收購了加密貨幣平臺Sakura Exchange Bitcoin的控股權。通過此舉,Kakao打算在其未來的運營中利用區塊鏈技術和Web3。
據Business Korea報告,Kakao Piccoma購買了Sakura Exchange Bitcoin超過50%的股份,成為其最大的股東。盡管如此,交易的具體規模并沒有披露。這項交易應該有助于Kakao Piccoma將加密貨幣和區塊鏈服務應用于其網絡漫畫平臺。該公司還旨在進一步參與到Web3領域。[2022/4/6 14:07:13]
或者,可以將 Kakarot 集成到堆棧中以部署 L3 zkEVM。這就是 Madara 排序器的用武之地。
韓國科技巨頭Kakao向網石旗下元宇宙娛樂公司注資1000萬美元:10月26日消息,韓國科技巨頭Kakao的娛樂子公司Kakao Entertainment周一宣布為游戲開發商網石(Netmarble)旗下元宇宙娛樂(Metaverse Entertainment)戰略投資120億韓元(1020萬美元),并通過第三方配股方式進行。該公司將于明年底前推出一個虛擬韓流偶像團體。Kakao Entertainment的專業員工將加入Metaverse Entertainment。Metaverse Entertainment也計劃將Kakao Entertainment的網絡漫畫、網絡小說等IP與網石的游戲角色相結合,開展多個與角色相關的元宇宙項目。(KoreaBizWire)[2021/10/26 20:57:17]
通過結合 Madara(Starknet 全節點)和 Kakarot(EVM 運行時),可以創建一個 L3 zkEVM。堆棧如下:一個 Substrate 全節點,使用 CairoVM 作為其執行引擎,以及 Kakarot 作為智能合約的運行時(runtime)。
Naver、Kakao和LG集團將參與競標韓國CBDC試點項目:隨著韓國加快CBDC的實施步伐,韓國央行將于今年8月開始試行其數字貨幣原型。而韓國的三大科技巨頭似乎也想參與進來。據Money Today報道,韓國最大的搜索引擎Naver和國內聊天應用巨頭Kakao以及LG集團都將參與競標。(CryptoNews0)[2021/5/26 22:44:42]
Kakarot 上的交易可以在結算層上得到證明和驗證,從而實現 EVM 兼容的分形擴容。
第 1 階段:Starknet 上的 Kakarot zkEVM——將 EVM 帶到 Starknet
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
作者:Jessica,Odaily星球日報Ordinals是 satoshis 的編號方案,允許跟蹤和傳輸單個 sats。這些數字稱為Ordinals.
1900/1/1 0:00:00Ordinals 協議是什么?Ordinals 協議可以簡單理解為一個為聰(SATS)編號的系統.
1900/1/1 0:00:00本文由 Dilation Effect 與吳說區塊鏈共同發布。主流交易所和機構在網絡安全防護上無疑都投入了大量資金和人力,Dilation Effect 無法得知這.
1900/1/1 0:00:00作者:金色財經cryptonaitive1、Threads是一款由Instagram團隊構建的新應用程序,目的是文本分享和公共對話.
1900/1/1 0:00:00在日常消費生活中,商業積分已經司空見怪。對于商家來說,這是其經營會員系統的一種手段,但對于大多數消費者來說,商家給予的積分并未得到他們足夠的重視.
1900/1/1 0:00:00作者:Lao Bai,ABCDE投研合伙人,Amber Group 研究顧問 來源:推特,@Wuhuoqiu 鑒于BTC生態最近這么火,最近也看了幾個BTC生態的一級市場項目.
1900/1/1 0:00:00