原文編譯: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
常見 QA
什麼是「種子資助計劃」?
「種子資助計劃」旨在通過提供高達 2.5 萬美元的 USDC 非稀釋資金獎勵,支持團隊加強 Starknet 生態系統的發展。
誰可以申請
「種子資助計劃」主要面向已經開發出最小可行產品(MVP)或概念驗證(POC)但尚未上市的項目。
符合以下標準的項目和團隊可以申請:
積極參與 Starknet 社區活動,或參加過 Starknet 黑客鬆、構建者計劃或其他入門級計劃;
已開發出 MVP 或 POC;
計劃使用或構建基於現有 Starknet 工具和集成的項目。
申請多久可以收到回覆?
兩週內申請者可以收到回覆。
主要資助哪類項目
對產品類型沒有任何限制。任何在 Starknet 上建設的項目,只要沒有不符合條件,都可以申請資助。
申請建議
申請時,提供一個全面的項目概述至關重要,其中應包括項目的目標、潛在影響以及如何與 Starknet 生態系統保持一致。
清晰地闡述您的項目獨特價值主張以及它如何解決生態系統中現有的挑戰或抓住機遇。
此外,詳細介紹您的團隊專業知識、經驗和貢獻,展示爲什麼您的團隊是實現這個項目的最佳人選。
制定一個深思熟慮的資金使用計劃至關重要,因爲將展示出對資金分配方式的清晰理解,從而推動項目成功。
是否對行業有所限制?
我們歡迎來自所有行業的申請,對考慮的項目類型沒有任何限制。
如果需要超過 2.5 萬怎麼辦?
如果您需要超過 2.5 萬的資金,我們建議您考慮其他資金來源或與我們的團隊討論您的具體需求。
雖然「種子資助計劃」提供的資助上限爲 2.5 萬,但我們理解有些項目可能需要更多的資金。
歡迎隨時聯繫我們,討論可能的替代方案或獲取更多支持的機會。
是否會偏向於已經在 Starknet 建設且參與生態的項目?
雖然任何項目都可以申請,但如果您能展示之前與 Starknet 的協同和參與,您的項目將有更好的機會脫穎而出。
關於 QA 更多內容,請查看原文:
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 可以保證用戶的數字資產安全無虞,目前已保護了超過 5000 萬美元的資產。
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 企業從法定貨幣到加密貨幣的無縫交易,提供了可靠的支付網關,讓企業輕鬆駕馭數字經濟。