注:原文來自Kakarot團隊成員EliasTazartes發布文章,MarsBit整理編譯。
TL;DR:Kakarot是第3類zkEVM,構建在CairoVM之上。該項目于2022年10月啟動,目標包括:從構建之初開源,用不到10,000行代碼創建一個zkEVM。我們在短短六個月內就實現了這一目標。我們將在2023年夏末發布測試網。
另,文末提供了一個術語表,用于了解EVM、zkRollups以及zkEVM。
CairoVM的不完整入門
CairoVM是一種支持可證明執行的虛擬機,是Starknet的基礎。Starknet是以太坊生態系統中的通用二層validityrollup。CairoVM允許使用STARK證明Starknet上的每筆交易。這需要開發者在相關編程語言Cairo中構建去中心化應用程序(dApp)。
火必將于5月24日上線ACS(Access Protocol)其充幣業務于今日16時開放:據火必官方公告,火必將于2023年5月24日正式上線ACS(Access Protocol)。公告顯示,火必將于5月22日16時(GMT+8)開放ACS充幣服務,于5月25日18時(GMT+8)開放ACS提幣服務。ACS/USDT現貨交易將于充幣量達到市場交易需求后開放。
據悉,Access Protocol是Solana生態內容貨幣化協議,于2月15日在Solana區塊鏈上啟動,目前已上線Coinbase。[2023/5/22 15:18:33]
用Cairo背后的團隊LiorGoldberg和ShaharPapini以及MichaelRiabzev的話來說:
廈門國家會計學院:政府應統一設立規范化的數字加密貨幣交易平臺:1月17日消息,廈門國家會計學院發表《數字經濟背景下加密貨幣的稅收問題研究——以比特幣的挖礦機制為例》。隨著數字經濟的不斷發展,以比特幣為代表的數字加密貨幣盛行,給相關稅收征管帶來了極大挑戰。本文從比特幣的基本原理出發,利用python還原其挖礦機制,梳理比特幣的交易流程。
通過比較世界其他各國對比特幣屬性的界定以及相關稅收政策,提出我國未來關于數字貨幣稅收征管問題的設想。從“挖礦”環節、流通環節、出售環節這三個方面提出比特幣的征稅建議;個人“以物易物”可以視為財產轉讓繳納個人所得稅;個人出售“挖礦”所得到的比特幣的行為需要征收增值稅和所得稅;政府應統一設立規范化的數字加密貨幣交易平臺。(hanspub.org)[2023/1/17 11:16:08]
?“Cairo,一種實用高效的圖靈完備STARK友好型CPU架構。我們描述了一組多項式方程來證明在此架構上的執行是有效的。給定一個想要證明的陳述,Cairo允許編寫描述該陳述的程序,而不是編寫一組多項式方程。”
8月1日至今,ARK基金共賣出87991股Coin:金色財經報道,ARK方舟基金持倉數據顯示,8月1日至今,ARK基金共賣出87991股Coinbase股票Coin。此前消息,ARK基金近期減持近150萬股Coinbase股票Coin。[2022/8/6 12:06:45]
要點:用Cairo編寫的程序是可證明的,這具有改變游戲規則的優勢——用高級語言編寫可證明的程序。因此,希望利用零知識密碼學的可擴展特性的開發者不再需要編寫電路。
那么,用Cairo重寫以太坊虛擬機(EVM)會產生zkEVM嗎?
Cairo的共同發明者ShaharPapini于2022年7月20日發推稱:
Foundry向開源Stratum V2協議開發者提供BTC捐款:金色財經報道,數字資產挖礦和押注行業提供商Foundry Digital LLC(“Foundry”),宣布向Stratum V2匿名開發者4ss0捐贈1比特幣。除了BTC撥款,Foundry將把開發者和Stratum V2團隊與Foundry USA Pool團隊聯系起來,并提供比特幣ASIC和hashrate的使用權用于測試。(prnewswire)[2022/8/3 2:56:57]
這個想法很簡單:EVM是一個成熟的、定義明確的VM架構。142個操作碼、9個預編譯和更新這些操作碼或預編譯的民主過程。如果Cairo構建,是否會“免費”獲得zkEVM,即直接獲得零知識的擴展特性?劇透一下,是的。
從那時起,該想法在Starknet社區中獲得關注。Abdel是Starkwareexploration團隊的負責人,也是以太坊核心開發團隊的一員,他于2022年10月開始實施這一構想。大約在同一時間,Starknet的開源構建者社區在Onlydust的幫助下聚集在一起,啟動了一個類似的并行項目,前者在里斯本的StarknetCC期間吸納了后者。
到2022年底,Kakarot實現了100%的EVM操作碼
在里斯本的一個黑客之家,一周的專注工作,大約十個人構建了一個zkEVM。Kakarot核心團隊誕生。我們意識到這是可行且強大的。一個簡單的zkEVM實現,只需要不到5000行代碼。沒有電路,沒有多項式。只是高層次的、富有表現力的代碼。
在Starknet基金會和Onlydust的幫助下,我們開始了這次冒險。我們的價值觀是開源、開放貢獻和社區驅動的技術戰略。Clément和我領導并協調了這項工作。如今,Kakarot擁有40多個獨特的貢獻者。雖然Kakarot正在為構建生產級zkEVM而努力,但我們的價值觀是不會改變的:永遠開源并對外部貢獻開放
截至2023年5月,Kakarot已實現100%字節碼等效,并實現了9個EVM預編譯中的8個。根據Vitalik的分類,它將達到9個從而滿足類型2.5的定義。因此,使用Solidity或任何其他EVM支持的語言編寫的dApp可以部署到Kakarot上,而無需對現有代碼進行任何修改。
下一步規劃?將EVM引入Starknet并構建zkEVM-Rollup-as-a-Service產品。
當我們分析市場時,我們注意到與其他zkEVM相比,Kakarot處于劣勢——一個不到10人的團隊,預算和品牌知名度不足。部署為通用zkEVML2似乎有風險。那么,還有哪些其他策略看起來合理?將EVM兼容性引入Starknet并利用分形擴展。
我們堅信Cairo將在未來幾年被證明是零知識工程的最佳組件。我們還相信EVM仍將是開發者最常見的抽象層。這就是我們將EVM兼容性引入Starknet的原因。很快,團隊將能夠通過Kakarot在Starknet上部署他們的SoliditydApp。
此外,我們認為應用鏈將比人們預期的更快出現。OP堆棧獲得的吸引力就是一個很好的例子。通過利用Kakarot的模塊化特性,我們能夠構建一個zkRollup-as-a-service工具。
一句話:幫助特定應用程序將zkEVM作為L3部署在Starknet之上。EVM環境、低gas和快速執行。加密安全。
要先睹為快,請查看基于Substrate的Starknet排序器Madara。Madara+Kakarot=基于Substrate和CairoVM的zkEVML3
7月30日,美國參議院銀行委員會召開聽證會對區塊鏈和加密貨幣監管進行討論。參與聽證會的專家包括區塊鏈協會代表、Circle公司首席執行官JeremyAllaire、國際貿易和金融專業研究服務中心.
1900/1/1 0:00:00注:原文來自@雨中狂睡SleepingintheRain發布長推。有一件并沒有在中文社區中被太多提及和討論的事情:@AragonProject以遭遇51%攻擊要保證國庫資金不被濫用為理由,在不經.
1900/1/1 0:00:00Sui主網于2023年5月3日正式上線,在此感謝所有社區成員、貢獻者、用戶、項目方和開發團隊共同的努力和付出.
1900/1/1 0:00:00引言 盡管整體市場遇冷,但似乎Blur在NFTFi上向前躍進的腳步未曾放緩。根據其在5月2日所發布的推特動態,Blur正式從流動性聚合的直接交易層橫跨到借貸市場,接連推出了P2P永續借貸Blen.
1900/1/1 0:00:00BRC20概念爆火,速覽和分析 -BRC20速覽 Ordinals協議是一種為比特幣網絡的最小單位“聰”編排編號的機制,也是比特幣網絡的NFT協議.
1900/1/1 0:00:00對于經歷了上一輪牛市的投資者來說,「以太坊基金會賣幣」一直是一個頗為可靠的逃頂信號。另一個為人津津樂道的逃頂信號,即memeCoin的爆發。目前的加密市場,已經集齊這兩點.
1900/1/1 0:00:00