ARK:STARK：最終解決方案

本篇博客內容基于StarkWare聯合創始人兼執行總裁EliBen-Sasson教授在以色列舉辦的?StarkWare2023大會上的演講。

成就如何實現的？

STARK技術基于證明，更準確地說是完整性證明。C.S.Lewis教授曾將完整性定義為「即使無人監督也會做正確的事情」。完整性是目標，而證明則是達成目標的方式。STARK利用數學保證完整性，即使在無人監督的情況下，也能確保計算能以正確的方式進行。

LászlóBabai、LanceFortnow、LeonidLevin和MarioSzegedy在1991年的一篇文章中提出，用一臺可靠的計算機去監控一組不可靠的超級計算機。這種「概率可檢驗證明」技術利用數學來監控和確保大型計算的完整性，下文將闡述它的運行模式。

Shiba Inu將在9月之前展示4個元宇宙中心:5月17日消息，Shiba Inu營銷團隊成員Lucie Sasnikova發文稱，在9月份之前，開發團隊將陸續展示《Shib: the Metaverse》的4個元宇宙中心，分別是：WAGMI Temple、Rocket Pond、Ryo Plaza和Tech Trench。Jastrow還透露，Shiba的虛擬世界將在PC、手機和虛擬現實（VR）上發布。[2023/5/17 15:07:11]

計算聲明可以轉化為數獨式的謎題，其約束條件通過各種方式交錯重疊。每個聲明都會導致一個獨特的謎題，提出聲明的實體稱為證明器，它所提交的證明相當于一個已填好的數獨題。正確聲明所提交的解決方案需要滿足與謎題相關的各種約束條件，而PCP最神奇的一個特點，即對于錯誤的計算聲明，任何提交的解決方案都將違反至少99%的數獨謎題約束條件。驗證器是一臺可靠但計算能力較弱的計算機，它知道需要解決的難題，以便證明一個聲明的真實性。但驗證器不會完整讀取證明器提交的解決方案，而是會隨機「抽樣」一個約束條件，并檢查該條件是否被滿足，從而決定接受或拒絕該解決方案。鑒于真實聲明和錯誤聲明之間的明顯差異，可以利用統計和抽樣的原理來進行驗證。例如，驗證器可以隨機抽取6個約束條件并檢查是否被滿足。這樣驗證器就幾乎可以確定計算是否完整。可擴展性所需的最后一個神奇的特質是，即使數獨謎題與計算中的步驟數量巨大，驗證器也可以非常快速地抽樣、讀取并檢查隨機約束。事實上，這些所需的計算量遠小于數獨謎題的大小！

Raoul Pal：由于法定貨幣的持續貶值和長期的銀行業危機，加密貨幣的表現將優于其他資產類別:金色財經報道，高盛前高管兼宏觀投資者Raoul Pal表示，在一個過度杠桿化的世界里，GDP的增長速度不足以支付政府+私營部門債務的利息，政府的利息支付被分流到美聯儲的資產負債表上，并神奇地永遠不需要被償還。利息支付的貨幣化在美國、歐盟、英國、日本和其他國家都可以看到。這是中央銀行資產負債表的大部分增長。由于法定貨幣的持續貶值和長期的銀行業危機，加密貨幣的表現將優于其他資產類別。到目前為止，加密貨幣對全球央行的資產負債表具有最高的β值。

比特幣實際上是為此而發明的，由于它的零碎化，任何人都可以使用。ETH甚至在上面為你提供收益。[2023/5/1 14:37:22]

DYDX關于關閉現有安全質押模塊提案已通過:11月26日消息，DYDX關于關閉現有安全質押模塊 (SSM)提案DIP 17已獲得通過，此前dYdX安全質押模塊允許用戶質押DYDX，在協議出現流動性短缺事件的情況下提供保險能力，該模塊將被關閉。分配給安全質押模塊的剩余獎勵將不會分配，而是累積在獎勵金庫中，獎勵金庫可以由社區支配。

目前分配給 DYDX 質押者的 383,562 個 DYDX 將累積在獎勵金庫中。dYdX 社區可以根據短時間鎖定的要求，通過投票將 DYDX 從獎勵金庫中重新定向。此外如果有需要，可以提交額外的提案，將 DYDX 轉回社區財庫。

團隊研究表明，SSM不是一種有效的保險基金，因為削減 SSM 的實際難度，以及由于市場蔓延和缺乏流動性，DYDX Token 在出現流動性短缺事件時的售價要更低。[2022/11/27 20:57:00]

走進STARK

Paradigm：投資FTX相關公司的2.9億美元已減至零:金色財經報道，據兩位知情人士透露，加密投資公司Paradigm已告知其有限合伙人，在流動性崩潰后，其對FTX 的投資減至零。?Paradigm稱，他向FTX投資了有關聯的公司投資了 2.9 億美元。盡管進行了投資，但它不是 FTX 的客戶，也沒有對該公司的加密資產敞口。[2022/11/13 12:57:43]

PCP技術于20世紀90年代開發，而STARK是其調整版本。兩者的一個關鍵區別是，STARK不是單純的生成和填寫數獨謎題，而是在生成數獨謎題和驗證器填寫完成的過程中，重復了數次。然后驗證器從這個多維數獨挑戰中抽樣一個約束條件，判斷并決定是否接受或拒絕該聲明。通過采用STARK技術，普通人也能檢查并確保一些大公司、壟斷企業或政府的正常運作。

元宇宙游戲體驗開發商AlterVerse完成私募輪融資，Binance Labs等參投:10月4日消息，元宇宙游戲體驗開發商AlterVerse宣布完成了一輪私募輪融資，Binance旗下風險投資部門Binance Labs、Polygon Ventures、Ankr、Baselayer Capital以及EnjinStarter等參投，具體融資金額暫未披露。

據悉，AlterVerse是Binance Labs第四季孵化計劃中入圍的14個項目之一，此前發布了虛擬世界Sky City的pre-alpha版并計劃在年底前推出alpha版，目前合作伙伴超過75個，包括滑板車公司Razor、數字運動時尚平臺Fancurve等。（Blockchain Reporter）[2022/10/4 18:38:52]

這里的重點是這項技術將來可以在哪些實際場景中應用。在傳統的情況下，很難找到這樣一種情景：需要一臺可靠但計算能力低的電腦來監控一組不可靠且不可信的超級電腦。我們在哪里可以找到可靠的低計算能力、每個人都信任的電腦情景呢？

走進區塊鏈

一種超越加密學和計算機的創新范疇在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語言，體驗編寫程序樂趣。

Tags：STASTARARKSTARKpstake幣能漲到多少美元Park StarMARKETINGStarkNet

Filecoin