完整性验证器:迈向Starknet超高可扩展性的一大步

avatar
TinTinland
1个月前
本文约4211字,阅读全文需要约6分钟
Starknet种子资助计划启动。

原文编译:TinTinLand

核心观点

  • 由 Herodotus 开发的完整性验证器,使开发者能够在 Starknet 上验证在其他地方执行的 Cairo 程序。

  • 通过在以太坊结算之前,在 Starknet 上引入额外的证明压缩层,减少了成本,完整性验证器实现了 Layer 3 的扩展。

  • L3 扩展是提高 Starknet 提升可扩展性的几个选项之一,它为构建完全可定制的应用链(appchains)打开了大门,这些应用链可以受益于完整性验证器带来的额外成本降低好处。

  • 其他用例也将从完整性验证器在 Starknet 上的验证能力中受益,包括存储证明验证和零知识机器学习。

完整性验证器:迈向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 本身一样继承了其网络的安全性。但是 Starknet 上的应用程序链也提供了额外的好处:

  • 定制化:总体而言,应用链为开发者提供了比公共 L2 上已经拥有的更大的灵活性,最大化了定制其应用程序各个方面的能力。例如,定制区块大小、延迟、数据可用性模式,甚至实现公共 L2 不支持的功能。

  • 超高可扩展性:当应用链作为 L3 构建时,Starknet 在以太坊上验证之前进一步压缩了证明。这样的应用链从另一个成本降低中受益,使得开发更复杂的用例在经济上更加可行,例如高频 DeFi 交易、供应链管理和全链游戏。

  • 避免拥堵:应用链提供了更稳定的交易环境(对于像游戏这样的实时应用程序至关重要),一旦区块链实现大规模采用,就避免了公共 L2 上的潜在网络拥堵。

  • 完整性验证器可扩展验证的其他好处

放大来看,由于 Cairo 是一种图灵完备语言,完整性验证器验证 Cairo 程序的执行,该验证器使在 Starknet 上便宜地验证任何计算成为可能。这一层额外的成本降低可以使得许多用例受益,除了应用链之外,还有两个突出的例子是存储证明和零知识机器学习(ZKML)。

完整性验证器:迈向Starknet超高可扩展性的一大步

存储证明使得在不需要信任第三方的情况下,经济上可行地验证任何区块链状态在任何过去的时间点。有趣的是,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 生态系统的发展。

完整性验证器:迈向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 企业从法定货币到加密货币的无缝交易,提供了可靠的支付网关,让企业轻松驾驭数字经济。

本文翻译自 https://www.starknet.io/en/content/the-integrity-verifier-a-leap-toward-starknet-hyperscaling原文链接如若转载请注明出处。

ODAILY提醒,请广大读者树立正确的货币观念和投资理念,理性看待区块链,切实提高风险意识;对发现的违法犯罪线索,可积极向有关部门举报反映。

推荐阅读
星球精选