本篇博客內容基于StarkWare聯合創始人兼執行總裁EliBen-Sasson教授在以色列舉辦的?StarkWare2023大會上的演講。
成就如何實現的?
STARK技術基于證明,更準確地說是完整性證明。C.S.Lewis教授曾將完整性定義為「即使無人監督也會做正確的事情」。完整性是目標,而證明則是達成目標的方式。STARK利用數學保證完整性,即使在無人監督的情況下,也能確保計算能以正確的方式進行。
LászlóBabai、LanceFortnow、LeonidLevin和MarioSzegedy在1991年的一篇文章中提出,用一臺可靠的計算機去監控一組不可靠的超級計算機。這種「概率可檢驗證明」技術利用數學來監控和確保大型計算的完整性,下文將闡述它的運行模式。
Kyle Davies:AI是DAO治理和加密項目管理中缺失的部分:金色財經報道,三箭資本聯合創始人Kyle Davies在社交媒體上稱,長期以來,人工智能與加密貨幣一直被認為是機器人的最佳貨幣。也許是這樣,但我看到治理方面的協同作用更強。更廣泛地說,人工智能是 DAO 治理和加密項目管理中缺失的部分。[2023/5/29 9:47:36]
計算聲明可以轉化為數獨式的謎題,其約束條件通過各種方式交錯重疊。每個聲明都會導致一個獨特的謎題,提出聲明的實體稱為證明器,它所提交的證明相當于一個已填好的數獨題。正確聲明所提交的解決方案需要滿足與謎題相關的各種約束條件,而PCP最神奇的一個特點,即對于錯誤的計算聲明,任何提交的解決方案都將違反至少99%的數獨謎題約束條件。驗證器是一臺可靠但計算能力較弱的計算機,它知道需要解決的難題,以便證明一個聲明的真實性。但驗證器不會完整讀取證明器提交的解決方案,而是會隨機「抽樣」一個約束條件,并檢查該條件是否被滿足,從而決定接受或拒絕該解決方案。鑒于真實聲明和錯誤聲明之間的明顯差異,可以利用統計和抽樣的原理來進行驗證。例如,驗證器可以隨機抽取6個約束條件并檢查是否被滿足。這樣驗證器就幾乎可以確定計算是否完整。可擴展性所需的最后一個神奇的特質是,即使數獨謎題與計算中的步驟數量巨大,驗證器也可以非常快速地抽樣、讀取并檢查隨機約束。事實上,這些所需的計算量遠小于數獨謎題的大小!
借貸協議Venus Protocol一季度回購和資金分配提案獲得通過:金色財經報道,據借貸協議Venus Protocol在社交媒體宣布,關于XVS季度回購和資金分配的提案VIP-15已獲得通過。根據提案內容,Venus Protocol在2023年第一季度的儲備金總收入為:1,672,206.28 美元,根據代幣經濟模式,20%將發送給幣安用于回購,即334,441.26美元,80%將被發送到協議金庫,即1,337,765.02美元;此外2023 年第一季度清算總收入為507,951.00美元,26%將發送給幣安用于回購,即132,067.26 美元(以USDT形式),因此2023年第一季度發送給幣安用于回購的總金額為466,508.52美元。[2023/4/9 13:53:36]
Transit Swap已開啟用戶資產第一部分退還工作,約占總金額68%:10月7日消息,Transit Swap現已開啟用戶資產的第一部分退還工作(約68%),受該事件影響的用戶可以前往退還網站進行申領,對于因個人原因泄露私鑰、助記詞的用戶,Transit Swap團隊將盡快協助其安全地退回資產。
在BlockSec的協助下,Hacker#4攻擊的所有資產已于昨天全部退回。今天,Hacker#2以及Hacker#5已進行了部分資產的退還,由于該部分資產在第一次退還統計工作完成后才退還,因此該部分資產不計入本次退還中。
此外,Transit Swap官方再次呼吁所有相關黑客、模仿攻擊者、搶跑套利者,盡快根據漏洞賞金及退還獎勵與官方聯系并退還用戶資產。[2022/10/7 18:41:56]
走進STARK
A股收盤:深證區塊鏈50指數上漲1.83%:金色財經消息,A股收盤,上證指數報3262.05點,收盤上漲0.82%,深證成指報11877.79點,收盤上漲1.11%,深證區塊鏈50指數報2819.08點,收盤上漲1.83%。區塊鏈板塊收盤上漲0.41%,數字貨幣板塊收盤上漲1.21%。[2022/9/9 13:19:21]
PCP技術于20世紀90年代開發,而STARK是其調整版本。兩者的一個關鍵區別是,STARK不是單純的生成和填寫數獨謎題,而是在生成數獨謎題和驗證器填寫完成的過程中,重復了數次。然后驗證器從這個多維數獨挑戰中抽樣一個約束條件,判斷并決定是否接受或拒絕該聲明。通過采用STARK技術,普通人也能檢查并確保一些大公司、壟斷企業或政府的正常運作。
Coinbase將在合并政策更新中評估以太坊分叉代幣:8月27日消息,Coinbase承諾將評估以太坊合并后可能產生的以太坊分叉代幣,并表示,其更新反映了“公司決定逐步評估任何潛在的分叉”。換句話說,如果以太坊分叉通過了Coinbase的上市評估,它的代幣便可以與PoS主鏈的代幣一起上市和交易。
同時,幣安也對以太坊分叉代幣作出回應,表示將為分叉代幣上市做準備,計劃用“少數鏈”將分叉代幣記入用戶的賬戶,并計劃根據交易所的上市政策審查這些代幣,然后再將它們用于交易。(CoinDesk)[2022/8/27 12:52:47]
這里的重點是這項技術將來可以在哪些實際場景中應用。在傳統的情況下,很難找到這樣一種情景:需要一臺可靠但計算能力低的電腦來監控一組不可靠且不可信的超級電腦。我們在哪里可以找到可靠的低計算能力、每個人都信任的電腦情景呢?
走進區塊鏈
一種超越加密學和計算機的創新范疇在2008年橫空出世:中本聰在2008年發表的《比特幣,一種點對點的電子現金系統》論文徹底革新區塊鏈領域。
橫貫歷史進程,交易曾經采用現金對商品的點對點方式,現如今交易則是依靠ApplePay、Visa、Swift等中心化平臺完成。用戶需要信賴這些平臺會透明公開的處理交易。
比特幣消除對中間人的信任,恢復貨幣交易的點對點本質。以太坊進而推動該概念,允許構建社會經濟結構的通用程序。
兩條創新技術路線不斷融會貫通。一方面,我們采用單個低計算但可靠的計算機實現大規模計算完整性的PCP;另一方面,將區塊鏈作為高度可靠的計算機,依靠數學驗證大規模計算。并深刻認識到:區塊鏈和數學實現完整性的完美結合。
視頻:計算完整性—比特幣的應用
https://youtu.be/Q4nWoEKUtgU
走進StarkWare
在2018年StarkWare率先提出采用SATRK有效性證明解決以太坊可擴展性難題。鏈下證明器和鏈上驗證器計算差異,實現解鎖大規模可擴展性。鏈下證明器處理批量交易并生成STARK證明,驗證器則使用最小化計算檢查鏈上證明。支持在鏈下處理大規模計算的同時用最低費用確保鏈上完整性。
從那以后,StarkWare實現一個又一個里程碑:
StarkEx,基于SaaS商業模型,自2020年6月起投入生產,成為以太坊上最大的L2規模。Cairo誕生的原因:需要一種用于編寫程序的通用型編程語言,不僅滿足開發者安全性和高效性,還能為程序的執行引入高效STARK證明。Cairo作為最高效的有效性證明編程語言,它對可擴展性的重要程度不言而喻。Starknet類似于以太坊,是首個投入生產,允許編寫自定義邏輯的去中心化網絡。STARK的精神是什么?
腳踏黃土,面朝藍天:我們采用雙管齊下的方式。StarkWare團隊熱愛技術、數學、創新,深耕于產品精益求精。卓越成就卓越:StarekWare首要成就是其深厚的人才基礎。卓越能容大度:我們歡迎并支持其他團隊共同推動以太坊或STARK極限。「一人行速,眾人行遠」:最初StarkEx、Cairo甚至Starknet都在內部完成,快速邁開腳步。下一步,我們將努力實現產品開源和去中心化,致力于將STARK技術打造成公共產品。https://twitter.com/EliBenSasson/status/1628129930591539228
未來之路Starknet生態建設快速擴張,擁有約1000位開發者和超400個Github代碼資源庫。StarkWare將貫徹「一人行速,眾人行遠」主旨:
讓Starknet成為由Starknet基金會管理的無需許可、去中心化有效性擴容方案。專注于Starknet去中心化各類型組件,如證明器、排序器和治理。對STARK強大功能和可擴展性感興趣的用戶,歡迎學習開源Cairo語言,體驗編寫程序樂趣。
???Myria是一個將游戲平臺與應用程序、工具和擴展基礎設施相結合的全面的Web3游戲區塊鏈生態系統.
1900/1/1 0:00:00在區塊鏈和數字資產的世界中,NFT成為了最近最受關注的趨勢之一。去年,越來越多的創作者、品牌和名人加入Web3陣營,使NFT走進了主流.
1900/1/1 0:00:00本周Arbitrum的代幣ARB空投即將正式解鎖,如果不出意外的話,這將為Arbitrum生態注入超過20億美元的附加流動性.
1900/1/1 0:00:00最近很多人都在問我,ChatGPT把AI又帶火了,區塊鏈和Web3被搶了風頭,以后還有戲嗎?還有比較了解我的朋友問,當年你放棄AI而選擇區塊鏈,有沒有后悔?這里有一個小背景.
1900/1/1 0:00:00如今,許多區塊鏈網絡自下而上構建,沒有考慮互操作性,導致Layer1和Layer2網絡出現嚴重的碎片化問題.
1900/1/1 0:00:00Arbitrum空投領的差不多了,價格短期內會在現價附近博弈,最好的策略之一也許是吃流動性池子的收益。TraderJoe981%的APR是我看到最高的了.
1900/1/1 0:00:00