原文翻譯:丁丁樂園
核心觀點
-
由希羅多德開發的完整性驗證器,使開發人員能夠驗證在 Starknet 上其他地方執行的 Cairo 程式。
-
完整性驗證器透過在以太坊結算之前在 Starknet 上引入額外的證明壓縮層來實現第 3 層擴展,從而降低成本。
-
L3 擴充功能是提高 Starknet 可擴充性的幾個選項之一,為建立完全可自訂的應用程式鏈打開了大門,這些應用程式鏈可以從完整性驗證器的額外成本降低優勢中受益。
-
其他用例也將受益於 Starknet 上完整性驗證器的驗證功能,包括儲存證明驗證和零知識機器學習。
介紹
兩年前,StarkWare 引入了分形縮放和第 3 層的概念,使開發人員能夠以比第 2 層網路更低的成本建立完全可自訂的應用程式鏈。現在,儲存證明創新者希羅多德正在向 Starknet 引入此功能邁出重要的第一步。
在 StarkWare 的支援下,希羅多德推出了完整性驗證器,使開發人員能夠在 Starknet 上驗證 Stone 證明。借助這個新的驗證器,開發人員可以驗證在 Starknet 上其他地方執行的 Cairo 程序,就像在以太坊上驗證 Starknet 執行一樣。
打開L3應用鏈之門
完整性驗證器最強大的功能之一是它使開發人員能夠以較低的成本在 Starknet 上建立專用鏈(應用鏈)。
這需要在 Starknet 之上建立一個層,可以在其中執行交易並將其捆綁到證明其有效性的證明中。 L2 上這些證明的驗證是完整性驗證器發揮作用的地方。有了這個新的驗證器,可以在 Starknet 上驗證使用 Stone(以及即將推出的 Stwo)產生的證明,從而驗證在應用程式鏈上執行的交易。
由於 Starknet 應用鏈仍然定居在以太坊上,因此它們繼承了其網路的安全性,就像 Starknet 本身一樣。但 Starknet 上的應用鏈還提供額外的好處:
-
客製化: 總體而言,AppChains 為開發人員提供了比公共 L2 更大的靈活性,最大限度地提高了客製化應用程式各個方面的能力。例如,自訂區塊大小、延遲、資料可用性模式,甚至實現公共 L2 不支援的功能。
-
超高擴展性: 當應用程式鏈建構為 L3 時,Starknet 會進一步壓縮證明,然後再在以太坊上進行驗證。此類應用鏈受益於成本的另一項降低,使得開發更複雜的用例在經濟上更加可行,例如高頻 DeFi 交易、供應鏈管理和全鏈遊戲。
-
避免擁堵: 應用鏈提供了更穩定的交易環境(對於遊戲等即時應用至關重要),並避免一旦區塊鏈實現大規模採用,公共 L2 上潛在的網路擁塞。
-
可擴展身份驗證的其他好處
縮小範圍,由於 Cairo 是圖靈完整的語言,完整性驗證器驗證 Cairo 程式的執行,這使得可以廉價地驗證 Starknet 上的任何計算。這種額外的成本降低層可以使許多用例受益,除了應用程式鏈之外的兩個突出例子是儲存證明和零知識機器學習(ZKML)。
儲存證明使得在過去任何時間點驗證任何區塊鏈狀態在經濟上都是可行的,而無需信任第三方。有趣的是,完整性驗證器背後的團隊希羅多德最近將儲存證明又向前推進了一步,從創世區塊開始提供以太坊的去信任證明。 STARK 證明降低了儲存證明的成本,而完整性驗證器為進一步降低成本打開了大門。
隨著人工智慧越來越成為我們生活的一部分,利用零知識證明來驗證人工智慧模型計算的ZKML概念越來越受到關注。
在人工智慧等經常缺乏透明度的領域,完整性驗證器的出現可能會改變遊戲規則。可擴展的人工智慧驗證無法深入了解模型如何「思考」或得出結論,但它可以驗證確實使用了正確的模型。完整性驗證器等工具可以使 AI 模型的驗證更具成本效益,使 ZKML 更經濟可行。
Herodotus 宣布與 ZKML 創新者 Giza 合作,透過擴展完整性驗證器等新技術,使開發人員能夠建立強大、安全且無需信任的 AI 應用程式。
綜上所述
完整性驗證器的推出代表了 Starknet 邁向超高可擴充性的第一步。透過讓開發人員能夠驗證在 Starknet 上其他地方執行的 Cairo 程序,驗證器為網路開闢了全新的功能。這些功能包括建立可自訂的應用程式鏈並進一步降低成本,以及開發新的用例(例如 ZKML)。 L3 只是增強 Starknet 可擴充性的工具之一,未來還會有更多工具。
Starknet 種子資助計劃
為了幫助更多的開發者進入 Starknet 生態並高效開發新項目,Starknet 生態啟動了種子資助計劃,旨在透過提供高達 US$25,000 USDC 非稀釋資金獎勵。
種子資助計劃有一個簡化的申請和評估流程,目標是在提交申請後大約兩週內做出決定。
種子資金主要用於已開發出最小可行產品(MVP)或概念驗證(POC)但尚未啟動的專案。符合以下條件的項目和團隊即可申請:
-
積極參與 Starknet 社群活動,或參加過 Starknet 黑客馬拉松、建構者計畫或其他入門級計畫;
-
已開發出 MVP 或 POC;
-
計劃使用或建立現有 Starknet 工具和整合的專案。
所有團隊都應提出明確的計劃,詳細說明未來三個月將如何使用資金。 Starknet社群歡迎各行業的申請,不限制產品類型。
申請流程
-
申請
計畫申請可透過提交申請表進行。需要一個清晰的路線圖來解釋未來三個月如何使用資金。
-
內部審查
內部委員會將根據潛在影響、創新、里程碑、社區參與、追蹤記錄以及與 Starknet 生態系統的整合來評估每個應用程式。
-
結果通知
我們計劃在大約兩週內通知您申請結果。
-
流程
成功完成KYC(了解您的客戶)並簽署資金協議後,您將收到資金。
-
跟進
三個月後,基金會將跟進受資助者並評估結果。受資助者應與團隊分享定期更新(部落格文章、影片、AMA 等),以協助完成此過程。
不符合資格的申請人
該方案不適合成熟的專案。如果您的產品已上線超過三個月和/或擁有一批核心用戶,則不符合種子資金計畫的資格。
Starknet 社群不接受與以下相關的申請:
-
賭
-
毒
-
槍枝
-
非法交易
-
洗錢
-
任何犯罪活動
立即申請
▶️ https://forms.monday.com/forms/34e1d6aab0c5a173758aa66ee34660cf?r=apse2
經常問的問題
-
什麼是種子補助計劃?
種子資助計畫旨在透過提供高達 $25,000 USDC 的非稀釋性資金獎勵來支持團隊加強 Starknet 生態系統的發展。
-
誰可以申請
種子資助計畫主要針對已開發出最小可行產品(MVP)或概念驗證(POC)但尚未推出市場的項目。
符合以下條件的項目和團隊可以申請:
-
積極參與 Starknet 社群活動,或參加過 Starknet 黑客馬拉松、建構者計畫或其他入門級計畫;
-
已開發出 MVP 或 POC;
-
計劃使用或建立現有 Starknet 工具和整合的專案。
-
我的申請需要多長時間才能收到回复 ?
申請人預計將在兩週內收到回覆。
-
主要資助哪些項目?
產品類型沒有限制。任何在 Starknet 上建立的、不符合要求的項目都可以申請資助。
-
申請建議
申請時,提供專案的全面概述至關重要,其中應包括其目標、潛在影響以及它如何與 Starknet 生態系統保持一致。
清楚地闡明您的專案的獨特價值主張以及它如何解決現有挑戰或抓住生態系統中的機會。
此外,詳細說明您團隊的專業知識、經驗和貢獻,以證明為什麼您的團隊最適合實現專案。
制定深思熟慮的資金使用計劃至關重要,因為它將表明對如何分配資金的清晰了解,從而推動專案成功。
-
行業有什麼限制嗎?
我們歡迎來自各個領域的申請,並且對所考慮的項目類型沒有限制。
-
如果您需要超過 25,000 個怎麼辦?
如果您需要超過 $25,000,我們建議您考慮其他資金來源或與我們的團隊討論您的特定需求。
雖然種子補助計劃提供的資金上限為 $25,000,但我們了解某些項目可能需要更多資金。
請隨時聯繫我們討論可能的替代方案或獲得進一步支持的機會。
-
您會更喜歡已經在 Starknet 上建造並參與生態系統的專案嗎?
雖然任何專案都可以申請,但如果您能夠證明先前與 Starknet 的合作和參與,您的專案將有更好的機會脫穎而出。
🔍更多關於QA的資訊請看原文:
https://www.starknet.io/en/ecosystem/grant
第一批入選項目
種子資助計劃第一批入選項目已公佈。我們希望更多的開發者能夠從這些專案的探索中找到自己的開發靈感!
第一批入選項目包括:
-
區塊鏈遊戲開發商Underware
funDAOmental 和Endless Crawler 合作成立於2023 年,由Rob Morris 和mataleone 創立,是一家鏈上游戲工作室,由經驗豐富的構建者、藝術家、設計師、故事講述者以及全鏈遊戲和自治世界的先鋒先鋒組成。
-
ML Village,一款區塊鏈遊戲
ML Village正在建構AI模型 市場 重點關注 Bot vs. Bot 鏈上遊戲,zkML 將用於鏈上/鏈下推理的證明。
-
Thunder,一個線上收藏品市場
Thunder 讓您體驗卡片交易的快感,可無縫保護並簡化您的線上收藏。 Thunders 與 Starknet 的合作將徹底改變收藏品交易。我們期待未來更快的交易、更低的費用和增強的可擴展性。
-
鏈上/鏈下混合限價訂單簿 DEX LayerAkire
LayerAkira 正在 Starknet 上建立第一個混合的鏈上/鏈下中央限價訂單簿(CLOB),旨在為網路上的每個人提供深度流動性並標準化公平性和價格透明度。
-
線上角色扮演遊戲 Starkane
Starkane 是一款動漫風格的全鍊式戰術角色扮演遊戲,基於創新的 Dojo 引擎並利用 Unity 進行 3D 圖形,玩家和創作者可以參與到廣闊的遊戲世界中。
-
去中心化遊戲伺服器 Primis 協議
Primis Protocol 提供由 Liquid Stake 驅動的去中心化遊戲伺服器,打造終極區塊鏈遊戲世界。其核心遊戲具有無盡的進程和戰鬥、廣泛的開發選項和用戶生成的內容。它與使用流動性質押的經濟模型相關,其中資產的價值決定了遊戲的複雜性和規模。
-
AI互動遊戲Tale Weaver
Tale Weaver 將人工智慧與互動遊戲結合,讓玩家能夠改寫數位故事敘述的規則。玩家可以影響故事並見證情節在選擇和後果的無限循環中發展,其目標是徹底改變鏈上游戲和 NFT 的世界。
-
DeFi 收益聚合器 STRKFarm
透過在 STRKFarm 上輕鬆瀏覽 Starknet 廣闊的 DeFi 版圖,用戶可以識別最有價值的礦池並最大化 $STRK 獎勵。 STRKFarm 將為用戶帶來 Starknet 上的終極收益聚合器,並將很快推出獨家的早期採用者 NFT。
-
合規募款協議 Kamea Labs
Kamea Labs 正在與 Genki 合作建立籌款的未來,Genki 是一個完全合規的自我託管平台,允許用戶向關心的投資者展示他們的專案。
-
去中心化非託管獎金儲蓄協議 Bountive
Bountive 是 Starknet 上的去中心化、非託管獎金儲蓄協議,為用戶提供無損獎金,也是第一個基於獎金掛鉤儲蓄帳戶概念的去中心化獎金儲蓄協議。
-
開羅學習協議 CodeJam
CodeJam是一個專注於Web3課程的線上教育平台,旨在讓新開發人員輕鬆學習,無需任何設置,只需訪問其網站、註冊、學習和練習程式設計。 CodeJams 的目標是吸引下一波開發者學習 Cairo 並深入研究 StarkNet!
-
開源錢包 Cypherock 錢包
使用硬體錢包CypherockWallet X 1可以確保用戶數位資產的安全,目前已保護超過US$50萬資產。
-
AMM 協議 BrownFi
BrownFi 是一種新穎的 AMM 協議,其靈感來自傳統的限價訂單簿,其中流動性提供者按照類似的聯合曲線將資產分配到池中,以最大限度地提高每個人的利益。
-
ORugging Trail,一個鏈上文字冒險協議
這是Archetypal Tech推出的全鍊式文字冒險遊戲。該項目將首先嘗試將 TheOrugginTrail 移植到開羅,並研究其與具有重疊美學和主題的遊戲的可組合性。
-
固定收益市場Lila Finance
LilaFinance 正在推出固定收益 DeFi。 Lila 使用去中心化的固定收益市場,其中 NFT 以可交易的形式代表金融頭寸,為用戶提供更高透明度和效率的固定收益。
-
鏈遊戲 Grugs Lair
這是一款由 Grugs Lair 團隊打造的完整鏈遊戲,例如《Rising Revenant》、《Blob Arena》和《Plagues Survivor》。
-
Web3 遊戲儀表板 Wendash 分析
Wendashboard Analytics 為 Web3 遊戲專案提供了全面的儀表板,為團隊成員和玩家提供了鏈上統計和成功的基本工具。
-
Coordination Stack,專注於財務、身分和治理的工具包
CoordinationLab 堆疊提供了一個專注於財務、身分和治理的工具包,以提高網路原生企業的效率和可擴展性。
-
StarkShoot,區塊鏈上的射擊遊戲
StarkShoot 是一種突破性的多人現實世界鏈上遊戲體驗,突破了興奮和創新的界限。
-
支付網關流入
Inflow Pay 促進 B2C 企業從法定貨幣到加密貨幣的無縫交易,提供可靠的支付網關,使企業能夠輕鬆駕馭數位經濟。
本文來自網路:完整性驗證器:Starknet 邁向超高可擴展性的一大步
相關:Chainlink (LINK) 正處於 21% 修正的邊緣
簡而言之,Chainlink 價格目前正在形成看跌反轉頭肩形態。投資者的參與度在兩週內也下降了44%,暗示著潛在的下降。 LINK 可能會在 $15.56 上方找到支撐,因為目前 LINK 仍有近 3,939 萬盈利。由於看跌反轉模式的出現,Chainlink (LINK) 似乎準備在不久的將來進行大幅調整。不過,賣家應謹慎行事。這種預期的衰退可能會遇到阻力,可能會減緩調整的程度。 Chainlink 投資者正在撤回 Chainlink 價格在過去幾天進行了修正,在撰寫本文時,該山寨幣的交易價格為 $17.2。由於多種因素,包括投資者參與度的減少,預計這種回撤將進一步擴大…