🎉【Gate 3000萬紀念】曬出我的Gate時刻,解鎖限量好禮!
Gate用戶突破3000萬!這不僅是數字,更是我們共同的故事。
還記得第一次開通帳號的激動,搶購成功的喜悅,或陪伴你的Gate週邊嗎?
📸 參與 #我的Gate时刻# ,在Gate廣場曬出你的故事,一起見證下一個3000萬!
✅ 參與方式:
1️⃣ 帶話題 #我的Gate时刻# ,發布包含Gate元素的照片或視頻
2️⃣ 搭配你的Gate故事、祝福或感言更佳
3️⃣ 分享至Twitter(X)可參與瀏覽量前10額外獎勵
推特回鏈請填表單:https://www.gate.com/questionnaire/6872
🎁 獨家獎勵:
🏆 創意大獎(3名):Gate × F1紅牛聯名賽車模型一輛
👕 共創紀念獎(10名): 國際米蘭同款球員衛衣
🥇 參與獎(50名):Gate 品牌抱枕
📣 分享獎(10名):Twitter前10瀏覽量,送Gate × 國米小夜燈!
*海外用戶紅牛聯名賽車折合爲 $200 合約體驗券,國米同款球衣折合爲 $50 合約體驗券,國米小夜燈折合爲 $30 合約體驗券,品牌抱枕折合爲 $20 合約體驗券發放
🧠 創意提示:不限元素內容風格,曬圖帶有如Gate logo、Gate色彩、週邊產品、GT圖案、活動紀念品、活動現場圖等均可參與!
活動截止於7月25日 24:00 UTC+8
3
Kakarot zkEVM: Cairo語言打造的可證明EVM,即將登入Starknet
Kakarot zkEVM: 用Cairo語言構建的以太坊虛擬機
Kakarot zkEVM是一個使用Cairo語言編寫的以太坊虛擬機(EVM)。Cairo是一種圖靈完備的語言,與CairoVM相關聯。CairoVM利用多項式和ZK-STARK證明系統實現可證明計算。
zkEVM的特點是能生成可證明的交易和區塊。由於Kakarot建立在CairoVM之上,因此在其上執行的每筆交易都是可證明的。
總的來說,Kakarot zkEVM利用Cairo語言和ZK-STARK證明系統提供可證明的計算能力。它使開發者可以部署EVM應用,並讓用戶使用常用工具與這些應用交互。
此外,Kakarot還將提供與Starknet協議的互操作性,爲DeFi和GameFi等不同領域的協議提供可組合性。
發展路線
該項目於2022年10月啓動,目標是用不到10,000行代碼創建一個zkEVM。這一目標在短短六個月內就實現了。測試網計劃於2023年夏末發布。
Kakarot zkEVM的路線圖分爲三個階段:
Kakarot zkEVM on Starknet:將EVM引入Starknet
Kakarot zkEVM將首先作爲內置EVM存在於Starknet的L2中。開發者可以直接在Starknet上部署Solidity智能合約,並使用熟悉的工具。用戶體驗將與在Polygon、Scroll或以太坊L1上相同。
Kakarot x Madara:L3 zkEVMs
Kakarot和Madara將整合,以啓用L3 zkEVMs,甚至L4、L5等。團隊可以部署zkEVM應用鏈,並利用有效性證明在Starknet上結算交易。這種方式可以解耦安全性和去中心化,同時降低成本、提高性能。
Kakarot x Madara:type 1 zkEVM
如果能用Cairo編寫以太坊共識規則,並從Pedersen MPT切換到Keccak MPT,Kakarot就可以成爲type 1 zkEVM客戶端,能夠證明L1區塊。這取決於以太坊的發展路線,特別是Verge升級。
團隊
Kakarot核心團隊誕生於裏斯本的一次黑客馬拉松。目前有40多名貢獻者。
主要成員包括:
融資
Kakarot已完成pre-seed輪融資,具體金額未公布。投資方包括Starkware、LambDa,以及天使投資人Vitalik Buterin、Ledger聯合創始人Nicolas Bacca和ZAMA聯合創始人Rand Hindi。
總結
Kakarot作爲Starknet上的EVM實現,可以很好地連接Starknet和以太坊生態。它降低了開發門檻,讓以太坊生態項目能夠在Starknet上構建,同時保持以太坊的安全性和低成本。
Kakarot的發展與Starknet生態緊密相連。它得到了Vitalik Buterin和StarkWare的支持,這是一個優勢。但相比其他zkEVM項目,Kakarot團隊規模較小,預算和品牌知名度也較低,這也是目前沒有部署爲通用zkEVM L2的原因之一。
Kakarot仍處於早期階段,測試網即將發布。未來的發展值得關注。