TL;DR
1.我們正在努力構建第一個基于PE-VM的ZKVM,通過ZK-friendly的設計和ZK算法的改進,使它具備更高的吞吐率;其技術特點如下:
a.證明快:
i.ZK-friendly:獲得更小的電路規模,以及精簡的底層約束單元;
ii.更快的ZK實現:對plonky2的進一步優化改進;
b.執行快:
采用并行執行的VM。
2.我們已經做的工作:
a.2022年7月份,發布了OlaVM的白皮書;
b.2022年11月份,完成指令集的設計和開發,并初步實現了OlaVM的虛擬機執行模塊,你可以打開鏈接:https://github.com/Sin7Y/olavm去查看我們的代碼,持續更新中!!!
c.針對目前執行效率最快的ZK算法,我們完成plonky2的電路設計及算法研究,你可以打開鏈接:https://github.com/Sin7Y/plonky2/tree/main/plonky2/designs去了解plonky2更多的設計,下一步我們將對其進行優化改進,請持續關注。。。
Flashbots研究員Alex Obadia和創始管理員決定離職:6月20日消息,以太坊基礎設施服務Flashbots研究員Alex Obadia和創始管理員(Founding Steward)決定離職。Alex Obadia表示,離開Flashbots的原因很多,更多是私人原因。[2023/6/20 21:50:19]
我們正在做什么?
OlaVM是首個把并行執行的VM引入的二層的ZKVM,融合兩種方案的技術點,獲得更快的執行速度和更快的證明速度,從而在未來實現更高的系統吞吐率。
在現在的以太坊系統中,造成吞吐率慢的原因主要有兩個:
1.共識的過程:每個節點重復執行交易進行交易的有效性校驗;
2.交易的執行:交易的執行是單線程的。
為了解決問題第1點,且需要同時具備可編程性,許多項目進行了ZK(E)VM的研究,即交易在鏈下完成,鏈上只驗證狀態,但是想要真正提高系統吞吐率,則需要盡可能快的生成證明;為了解決問題第2點,Aptos,Solona,Sui等新公鏈引入了可以并行執行的VM來提高系統的吞吐率。
ITM Trading首席市場分析師警告CBDC危險:金色財經報道,周末,關于中央銀行數字貨幣(CBDC)的討論在社交媒體上走紅,因為許多人認為這一想法將導致加強金融監管和極權主義貨幣體系。在最近的一次采訪中,ITM Trading首席市場分析師Lynette Zang警告說,CBDC將世界帶入一個可以由中央銀行直接控制的全面監督經濟。[2023/4/17 14:07:30]
盡管在現階段,對于ZK(E)VM來講,影響整個系統吞吐率瓶頸在于證明的生成;但是當采用Parallelprove去加快整個系統吞吐率時,區塊生成的越快,則對應的證明生成開始的時間就越早。
如何獲取高吞吐率?
盡可能快的證明生成(目前最高優先級)
想要加速證明的生成,其大體可以分為兩個部分:盡可能小的電路規模和盡可能快的算法執行;盡可能快的算法執行又可以分為:算法本身參數的提升和外部執行環境的改善。
1.盡可能小的約束規模
是的,證明生成的消耗是和約束的整體規模n強相關的,如果能大幅縮減整體的約束規模,則證明的生成的時間則會明顯減少。這就要求,在VM的設計中,你需要使用盡可能多的設計以減少整體的約束規模。
韓國立法者正加緊監管加密貨幣:金色財經報道,在韓國首都首爾,該國國民議會的 300 名成員目前正在辯論 17 項與加密相關的獨立提案——從在交易所實施準備金要求到確保公平交易,旨在為韓國加密投資者提供更好的保護。這場辯論的重點將是數字資產基本法案 (DABA),這是一個全面的法律框架,將為不斷發展的韓國加密行業提供監管指南。韓國媒體首次報道稱,立法者在2022年 6月開始研究 DABA。[2023/1/27 11:31:39]
a.Prophet
Prophet的意思為“預言家”,先“預言”再“校驗“,其主要目的是:針對一些復雜的計算,我們不需要用VM的指令去實現這些復雜的計算;而是利用內置的Prophet去完成計算,并且把結果發送給VM,然后VM只是執行對于這個結果的合法性校驗。Prophet是一些具備特定計算功能的內置函數,比如除法計算,平方根計算,立方根計算等等,我們會根據實際場景,逐漸豐富Prophets庫,使得對于大部分復雜計算場景,整體約束的縮減效果達到最大化。
b.Zk-friendly
當計算是復雜計算時,Prophet可以幫助縮減VM執行的軌跡大小;但在此之前,我們更希望這個計算本身是Zk-friendly。因此,在設計中,我們會采用一些Zk-friendly的操作,比如常見的哈希算法,驗簽算法等;這些優化也經常存在于其他ZK(E)VM的方案里;但最終的關鍵就是,當你選擇一個Zk-friendly的復雜計算時,如何用更小的約束去約束這個復雜的計算?
彭博社:湯姆·布雷迪擁有FTX Trading超過110萬股股票:1月11日消息,據彭博社援引法庭文件顯示,5次NFL超級碗冠軍湯姆·布雷迪擁有FTX Trading超過110萬股股票,而其前妻超模吉賽爾·邦辰擁有超過68萬股股份。據悉,FTX的爆雷可能會給客戶和投資者造成數十億美元的損失。[2023/1/11 11:05:46]
VM本身除了要執行計算邏輯之外,還會有一些其他的操作同樣需要被證明,比如RAM操作。基于堆棧的VM,每次訪問時,都要進行POP,PUSH的操作;而在驗證層面,仍然需要去校驗這個操作的有效性,這些操作會組成獨立的Table,然后用約束去校驗這些堆棧操作的有效性;而基于寄存器的VM,執行相同的邏輯,得到的執行軌跡更小,因此約束規模也更小。
2.盡可能快的算法執行
由于Plonky2的驚人性能表現,我們暫時以Plonky2作為OlaVM的ZK后端。我們已經深入分析了Plonky2的Gate設計,Gadget設計和協議原理,并從中找到了一些優化方向,你可以關注我們的GithubRepo:Plonky2designs去了解更多相關的信息。
21Shares推出以太坊ETP SHETH和CETH:金色財經報道,歐洲加密ETP發行商21Shares推出新的以太坊交易所交易產品(ETP)21SharesShortEthereumETP(SHETH)和EthereumCoreETP(CETH)。其中SHETH為做空以太坊的產品,通過借入以太坊并賣出來獲得做空收益;CETH則是提供了低成本的以太坊投資敞口,費用為0.21%,CETH還可用于抵押貸款。[2022/9/21 7:11:36]
更快的交易執行(現階段不是瓶頸)
在OlaVM的設計中,Prover是無許可的,任何人都可以接入;因此,當你有許多Prover資源時,你可以并行的去為這些區塊生成證明,然后把這些證明聚合在一起,提交到鏈上驗證。由于Prover是可以并行的,因此區塊生成的越快,對應的證明就可以提前生成,這樣最終鏈上驗證的時間也會提前。
當證明生成需要很久的時候,比如幾個小時,并行執行帶來的提升并不是很明顯;有兩個場景可以提高這種并行帶來的效果,一個是聚合的區塊數量變大,達到量變引起質變;另外一個是證明時間大大縮短。當然兩個提升效果疊加,會更好一些。
兼容性?
對于ZKVM來說,具備某種兼容性是為了方便初期的生態構建,畢竟在區塊鏈行業發展至今,已經有許多成熟的應用部署在現有的系統上,以太坊上的生態更為豐富。因此,能實現對這些既有生態的兼容,使得這些項目可以無縫遷移,對項目初期生態的構建有很大的幫助。
當然,OlaVM的主要目標仍然是構建一個高吞吐的ZKVM,當我們的第一步做的不錯時,我們會考慮去實現兼容性,特別是以太坊的兼容性,這也會在我們的路線圖中。
AllTogether
集成上述所有模塊,整個系統的數據流程圖大概如下圖所示:
ComingSoon
1.2022-12月初:
a.完成OlaVMDSL設計;
b.完成OlaVM預編譯合約的設計和開發;
c.完成OlaVM指令約束和Context約束和預編譯合約約束;
d.完成Plonky2的第一階段優化。
參考
1.OlaVM:https://olavm.org/whitepaper/OlaVM-07-25.pdf
2.Plonkish:https://zcash.github.io/halo2/concepts/arithmetization.html
3.CairoVM:https://starknet.io/docs/how_cairo_works/cairo_intro.html#field-elements
4.Plonky2:https://github.com/Sin7Y/plonky2/blob/main/field/src/goldilocks_field.rs
5.Ingonyama:https://github.com/ingonyama-zk/cloud-ZK
6.Semisand:https://semisand.com/
7.Plonky2designs:https://github.com/Sin7Y/plonky2/tree/main/plonky2/designs
關于我們
Sin7y成立于2021年,由頂尖的區塊鏈開發者組成。我們既是項目孵化器也是區塊鏈技術研究團隊,探索EVM、Layer2、跨鏈、隱私計算、自主支付解決方案等最重要和最前沿的技術。
微信公眾號:Sin7Y
GitHub|Twitter|Telegram|Medium|Mirror|HackMD|HackerNoon
據官方消息,GlobalEmergingMarkets(GEM)已成為2022波場黑客松大賽第三季合作伙伴。與此同時,來自GEM的AudePlanche將擔任本季評委.
1900/1/1 0:00:00Aug.2022,JamesDatasource:FootprintAnalytics去中心化的交易所是一個核心的Web3基礎設施,其使用用途已得到證實.
1900/1/1 0:00:00北京時間10月2日凌晨02:33:47開始,數百個與TransitSwap互動的錢包先后被盜,隨后資產被轉移到一個攻擊者的外部擁有賬戶。目前資產損失已超過2000萬美元.
1900/1/1 0:00:00據官方消息,ValkyrieInvestments已成為2022波場黑客松大賽第三季合作伙伴。與此同時,來自ValkyrieInvestments的WesCowan和Kristy-LeighMi.
1900/1/1 0:00:00區塊鏈瀏覽器TRONSCAN最新數據顯示,截至12月18日,波場TRON賬戶總數達到130,230,600,正式突破1.3億.
1900/1/1 0:00:00本文由PlatONCTOJamesQU于2022年12月31日寫于東京2022年是加密貨幣行業跌宕起伏的一年,在這一年即將結束之際,我想談談日本的穩定幣.
1900/1/1 0:00:00