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