本篇博客內容基于StarkWare聯合創始人兼執行總裁EliBen-Sasson教授在以色列舉辦的?StarkWare2023大會上的演講。
成就如何實現的?
STARK技術基于證明,更準確地說是完整性證明。C.S.Lewis教授曾將完整性定義為「即使無人監督也會做正確的事情」。完整性是目標,而證明則是達成目標的方式。STARK利用數學保證完整性,即使在無人監督的情況下,也能確保計算能以正確的方式進行。
LászlóBabai、LanceFortnow、LeonidLevin和MarioSzegedy在1991年的一篇文章中提出,用一臺可靠的計算機去監控一組不可靠的超級計算機。這種「概率可檢驗證明」技術利用數學來監控和確保大型計算的完整性,下文將闡述它的運行模式。
互操作性協議Connext Labs完成750萬美元融資:6月14日消息,互操作性協議Connext Labs以2.5億美元的估值籌集750萬美元,Polychain Capital、Polygon Ventures、Coinbase Ventures、Ethereal Ventures、1kx、Hashed和Scalar Capital等參投。該輪融資使Connext的總融資額達到2320萬美元。新資金將用于設立Connext基金會,該基金會將負責向Connext建立的計劃發放發展補助金和資金。
Connext表示正在“構建Web3的HTTP”,形成跨不同區塊鏈網絡的通信層,以便應用程序可以同時與多個網絡上的資金和數據進行交互。[2023/6/14 21:36:29]
計算聲明可以轉化為數獨式的謎題,其約束條件通過各種方式交錯重疊。每個聲明都會導致一個獨特的謎題,提出聲明的實體稱為證明器,它所提交的證明相當于一個已填好的數獨題。正確聲明所提交的解決方案需要滿足與謎題相關的各種約束條件,而PCP最神奇的一個特點,即對于錯誤的計算聲明,任何提交的解決方案都將違反至少99%的數獨謎題約束條件。驗證器是一臺可靠但計算能力較弱的計算機,它知道需要解決的難題,以便證明一個聲明的真實性。但驗證器不會完整讀取證明器提交的解決方案,而是會隨機「抽樣」一個約束條件,并檢查該條件是否被滿足,從而決定接受或拒絕該解決方案。鑒于真實聲明和錯誤聲明之間的明顯差異,可以利用統計和抽樣的原理來進行驗證。例如,驗證器可以隨機抽取6個約束條件并檢查是否被滿足。這樣驗證器就幾乎可以確定計算是否完整。可擴展性所需的最后一個神奇的特質是,即使數獨謎題與計算中的步驟數量巨大,驗證器也可以非常快速地抽樣、讀取并檢查隨機約束。事實上,這些所需的計算量遠小于數獨謎題的大小!
黃立成在過去3天內花費73.4枚ETH共購買660億枚PEPE:金色財經報道,Lookonchain監測數據顯示,“麻吉大哥”黃立成錢包地址在30分鐘前再次購買60億枚PEPE,他在過去3天內花費73.4枚ETH總共購買了660億枚PEPE,平均買入價格為0.000002082美元。[2023/5/10 14:53:50]
走進STARK
PCP技術于20世紀90年代開發,而STARK是其調整版本。兩者的一個關鍵區別是,STARK不是單純的生成和填寫數獨謎題,而是在生成數獨謎題和驗證器填寫完成的過程中,重復了數次。然后驗證器從這個多維數獨挑戰中抽樣一個約束條件,判斷并決定是否接受或拒絕該聲明。通過采用STARK技術,普通人也能檢查并確保一些大公司、壟斷企業或政府的正常運作。
333.eth以100 WETH價格售出:12月30日消息,OpenSea數據顯示,333.eth以100 WETH價格售出。[2022/12/30 22:16:39]
這里的重點是這項技術將來可以在哪些實際場景中應用。在傳統的情況下,很難找到這樣一種情景:需要一臺可靠但計算能力低的電腦來監控一組不可靠且不可信的超級電腦。我們在哪里可以找到可靠的低計算能力、每個人都信任的電腦情景呢?
走進區塊鏈
一種超越加密學和計算機的創新范疇在2008年橫空出世:中本聰在2008年發表的《比特幣,一種點對點的電子現金系統》論文徹底革新區塊鏈領域。
美聯儲12月加息50個基點的概率為79.4%:12月2日消息,據CME“美聯儲觀察”,美聯儲12月加息50個基點至4.25%-4.50%區間的概率為79.4%,加息75個基點的概率為20.6%;到明年2月累計加息75個基點的概率為50.1,累計加息100個基點的概率為42.3%,累計加息125個基點的概率為7.6%。[2022/12/2 21:17:06]
橫貫歷史進程,交易曾經采用現金對商品的點對點方式,現如今交易則是依靠ApplePay、Visa、Swift等中心化平臺完成。用戶需要信賴這些平臺會透明公開的處理交易。
比特幣消除對中間人的信任,恢復貨幣交易的點對點本質。以太坊進而推動該概念,允許構建社會經濟結構的通用程序。
報告:自9月底以來基于Polygon的NFT銷售額增長了191%:金色財經報道,Messari報告稱,自9月底以來,基于Polygon的NFT銷售額增長了191%,這是目前所有區塊鏈中增漲最好的。因為Web2公司試圖將 NFT 完全集成到他們的平臺中,星巴克、Instagram (Meta)、Reddit和許多其他公司都宣布與Polygon集成。[2022/11/30 21:13:01]
兩條創新技術路線不斷融會貫通。一方面,我們采用單個低計算但可靠的計算機實現大規模計算完整性的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語言,體驗編寫程序樂趣。
Tags:STASTARSTARKARKbitstamp可以交易泰達幣嗎STARCstarknet幣價分析Alpha Quark Token
文|Juny?? 編輯|VickyXiao從默默無聞到顛覆整個互聯網需要多久?OpenAI告訴你,四個月.
1900/1/1 0:00:00以太坊Layer2解決方案的發展勢頭仍然強勁,以太坊2.0已經承諾了可擴展性的保證。這表明在以太坊未來中,Layer2解決方案的重要性廣受認可.
1900/1/1 0:00:003月份,隨著龍頭Layer2協議Arbitrum治理ToKen發行和發放掀起社區狂歡,同時相關Layer2生態持續爆火.
1900/1/1 0:00:00MarsBitCryptoDaily2023年4月7日 一、今日要聞 Sentiment:攻擊者已按約定歸還資金,即將公布用戶資產返還計劃DeFi借貸協議Sentiment今日凌晨發布聲明稱.
1900/1/1 0:00:00繼Coinstack備受歡迎的2022年加密貨幣風險投資公司名單發布之后,上周制作了以下報告,對全球頂尖300家加密貨幣風險投資基金進行排名.
1900/1/1 0:00:00我們都知道有這樣的人,他們悠閑地躺在沙發上,根本沒有起身赴約的意圖,他們還會發短信說“我在路上”。這種行為可能導致俗稱的信任問題。盡管信任問題通常與人際關系有關,但在加密領域同樣相關.
1900/1/1 0:00:00