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

图片

原文:https://www.starknet.io/en/content/the-integrity-verifier-a-leap-toward-starknet-hyperscaling;https://www.starknet.io/en/ecosystem/grant

编译:TinTinLand

核心观点

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

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

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

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

图片

引言

两年前,StarkWare 引入了分形扩展(fractal scaling)和 Layer3 的概念,这使开发人员能够构建具有比 Layer2 网络更低成本的完全可定制的应用链。现在,存储证明创新者 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 社区欢迎来自所有行业的申请,对产品类型没有任何限制。

申请流程

1. 申请

项目申请请提交申请表格。需要提交清晰的路线图,说明在接下来的三个月内如何使用这笔资助。

2. 内部评审

内部委员会将根据潜在影响、创新性、里程碑、社区参与程度、过往记录以及与 Starknet 生态系统的融合度来评估每一份申请。

3. 结果通知

计划在约两周的时间内通知申请结果。

4. 办理流程

成功完成 KYC(了解您的客户)并签署资助协议后,将收到资助。

5. 后期跟进

三个月后,基金会将与受资助者进行跟进,并评估结果。受资助者应该与团队分享定期更新(博客文章、视频、AMA 等),以协助此过程。

不符合条件的申请者

本项目不适用于成熟阶段的项目。如果您的产品已在主网上线超过三个月,并/或已经拥有一批核心用户,那么不符合「种子资助计划」的资格。

Starknet 社区不接受与以下相关的申请:

  • 赌博

  • 毒品

  • 枪支

  • 非法交易

  • 洗钱

  • 任何犯罪活动

立即申请

▶️ https://forms.monday.com/forms/34e1d6aab0c5a173758aa66ee34660cf?r=apse2

常见 Q&A

1. 什么是「种子资助计划」?

「种子资助计划」旨在通过提供高达 2.5 万美元的 USDC 非稀释资金奖励,支持团队加强 Starknet 生态系统的发展。

2. 谁可以申请

「种子资助计划」主要面向已经开发出最小可行产品(MVP)或概念验证(POC)但尚未上市的项目。

符合以下标准的项目和团队可以申请:

  • 积极参与 Starknet 社区活动,或参加过 Starknet 黑客松、构建者计划或其他入门级计划;

  • 已开发出 MVP 或 POC;

  • 计划使用或构建基于现有 Starknet 工具和集成的项目。

3. 申请多久可以收到回复?

两周内申请者可以收到回复。

4. 主要资助哪类项目

对产品类型没有任何限制。任何在 Starknet 上建设的项目,只要没有不符合条件,都可以申请资助。

5. 申请建议

申请时,提供一个全面的项目概述至关重要,其中应包括项目的目标、潜在影响以及如何与 Starknet 生态系统保持一致。

清晰地阐述您的项目独特价值主张以及它如何解决生态系统中现有的挑战或抓住机遇。

此外,详细介绍您的团队专业知识、经验和贡献,展示为什么您的团队是实现这个项目的最佳人选。

制定一个深思熟虑的资金使用计划至关重要,因为将展示出对资金分配方式的清晰理解,从而推动项目成功。

6. 是否对行业有所限制?

我们欢迎来自所有行业的申请,对考虑的项目类型没有任何限制。

7. 如果需要超过 2.5 万怎么办?

如果您需要超过 2.5 万的资金,我们建议您考虑其他资金来源或与我们的团队讨论您的具体需求。

虽然「种子资助计划」提供的资助上限为 2.5 万,但我们理解有些项目可能需要更多的资金。

欢迎随时联系我们,讨论可能的替代方案或获取更多支持的机会。

8. 是否会偏向于已经在 Starknet 建设且参与生态的项目?

虽然任何项目都可以申请,但如果您能展示之前与 Starknet 的协同和参与,您的项目将有更好的机会脱颖而出。

🔍 关于 Q&A 更多内容,请查看原文:https://www.starknet.io/en/ecosystem/grant

首批入选项目

图片

种子资助计划(Seed Grant Program)的首批入选项目已公布,希望更多开发者从这些项目的探索之路中找到自己的开发灵感!

第一批入选的 20 个项目包括:

1️⃣ 链游开发商 Underware

由 Rob Morris 和 mataleone 于 2023 年创立,由 funDAOmental 和 Endless Crawler 合作创立,是一家由资深建设者、艺术家、设计师、讲故事者和先驱者组成的链上游戏工作室,处于全链游戏和自主世界的先锋地位。

2️⃣ 链上游戏 ML Village

ML Village 正在构建一个 AI 模型市场,重点是 Bot vs. Bot 链上游戏,zkML 将用于链上/链下推理的证明。

3️⃣ 在线收藏品交易市场 Thunder

使用 Thunder 可以体验卡片交易的快感,无缝保护和简化用户的在线收藏。Thunder 与 Starknet 的合作将彻底改变收藏品交易。期待未来实现更快的交易、更低的费用和增强的可扩展性。

4️⃣ 混合链上/链下限价订单簿 DEX LayerAkire

LayerAkira 正在 Starknet 上构建第一个混合链上/链下中央限价订单簿(CLOB),旨在为网络上的所有人提供深度流动性并标准化公平性和价格透明度。

5️⃣ 在线角色扮演游戏 Starkane

Starkane 是一款动漫风格的完全链式战术角色扮演游戏,建立在创新的 Dojo 引擎之上并利用 Unity 进行 3D 图形处理,游戏玩家和创作者可以在这里参与到广阔的游戏宇宙中。

6️⃣ 去中心化游戏服务器 Primis Protocol

Primis Protocol 提供由 Liquid Staking 提供支持的去中心化游戏服务器,以创建终极区块链游戏世界。其核心游戏具有无尽的进步和战斗、广泛的开发选项和用户生成的内容。它与使用流动性质押的经济模型相关联,其中资产价值决定了游戏的复杂性和规模。

7️⃣ AI 互动游戏 Tale Weaver

Tale Weaver 将 AI 与互动游戏相结合,让玩家可以改写数字故事叙述的规则。玩家可以影响故事,并在无限的选择和后果循环中见证情节的发展,其目标是彻底改变链上游戏和 NFT 的世界。

8️⃣ DeFi 收益聚合器 STRKFarm

在 STRKFarm 上轻松浏览 Starknet 广阔的 DeFi 环境,用户可以找出最有价值的矿池并最大化 $STRK 奖励。STRKFarm 将为用户带来 Starknet 上的终极收益聚合器,并即将推出独家的早期采用者的 NFT。

9️⃣ 合规筹资协议 Kamea Labs

Kamea Labs 正在与 Genki 合作构建筹款募资的未来,Genki 是一个完全合规的自我托管平台,可让用户向关心的投资者展示自己的项目。

1️⃣0️⃣ 去中心化非托管奖品储蓄协议 Bountive

Bountive 是 Starknet 上的去中心化、非托管奖金储蓄协议,为用户提供无损失奖金,也是第一个基于“奖金挂钩储蓄账户”概念的去中心化奖金储蓄协议。

1️⃣1️⃣ Cairo 学习协议 CodeJam

CodeJam 是一个专注于 Web3 课程的在线教育平台,旨在让新开发者轻松学习,无需任何设置,只需访问其网站,注册、学习和练习编码。CodeJam 的目标是吸引下一波开发者学习 Cairo 并深入研究 StarkNet!

1️⃣2️⃣ 开源钱包 Cypherock Wallet

使用硬件钱包 CypherockWallet X1 可以保证用户的数字资产安全无虞,目前已保护了超过 5000 万美元的资产。

1️⃣3️⃣ AMM 协议 BrownFi

BrownFi 是一种新颖的 AMM 协议,其灵感来自传统的限价订单簿,其中流动性提供者按照类似的结合曲线将资产分配到池中,以最大化所有人的利益。

1️⃣4️⃣ 链上文本冒险协议 The O'Rugging Trail

这是 Archetypal Tech 推出的一款完全链上文字冒险游戏,项目将首先尝试将 TheOrugginTrail 移植到 Cairo,并研究其与具有重叠美学和主题的游戏的可组合性。

1️⃣5️⃣ 固定收益市场 Lila Finance

LilaFinance 正在推出固定收益 DeFi。Lila 使用去中心化的固定收益市场,其中 NFT 以可交易的形式代表金融头寸,为用户提供具有更高透明度和效率的固定收益。

1️⃣6️⃣ 链上游戏 Grugs Lair

这是由 Grug's Lair 团队构建的完全链上游戏,例如 Rising Revenant、Blob Arena 和 Plagues Survivor。

1️⃣7️⃣ Web3 游戏仪表板 Wendash Analytics

Wendashboard Analytics 为 Web3 游戏项目提供了全面的仪表板,为团队成员和玩家提供链上统计数据和成功的基本工具。

1️⃣8️⃣ 专注于财务、身份和治理的工具包 Coordination Stack

CoordinationLab 堆栈提供了一个专注于财务、身份和治理的工具包,以提高互联网原生企业的效率和可扩展性。

1️⃣9️⃣ 链上射击游戏 StarkShoot

StarkShoot 是一款突破性的多人真实世界链上游戏体验,突破了刺激和创新的界限。

2️⃣0️⃣ 支付网关 Inflow

Inflow Pay 促进了 B2C 企业从法定货币到加密货币的无缝交易,提供了可靠的支付网关,让企业轻松驾驭数字经济。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.rhkb.cn/news/325703.html

如若内容造成侵权/违法违规/事实不符,请联系长河编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

算法-排序详解

目录 前言 比较排序 选择排序 插入排序 冒泡排序 归并排序 快速排序 非比较类排序 计数排序 桶排序 基数排序 排序的稳定性 排序算法的题目 前言 计算机的工作之一就是对数据的处理,处理数据有一个常见的操作就是对数据排序,比如新闻系统总…

JWT深入浅出

文章目录 JWT深入浅出1.JWT是什么2.为什么选JWT2.1 传统Session认证2.2 JWT认证 3.JWT怎么用4. jwt绝对安全吗? JWT深入浅出 1.JWT是什么 JWT(JSON Web Token)是一种用于在网络应用间传递信息的开放标准,通常用于身份认证和非敏…

Unity VR在编辑器下开启Quest3透视(PassThrough)功能

现在有个需求是PC端串流在某些特定时候需要开启透视。我研究了两天发现一些坑,记录一下方便查阅,也给没踩坑的朋友一些思路方案。 先说结论,如果要打PC端或者在Unity编辑器中开启,那么OpenXR当前是不行的可能还需要一个长期的过程,必须需要切换到Oculus。当然Unity官方指…

机器人系统可以支持对接人工系统吗?

​ 随着科技的飞速发展,机器人系统在各行各业都扮演着越来越重要的角色。它们可以高效地处理大量数据,执行繁琐的任务,甚至在某些领域超越了人类的能力。然而,机器人系统也有其局限性,特别是在处理复杂的人际交往…

机器学习作业4——朴素贝叶斯分类器

目录 一、理论 一个例子: 二、代码 对于代码的解释: 1.fit函数: 2.predict函数: 三、实验结果 原因分析: 一、理论 朴素贝叶斯分类器基于贝叶斯定理进行分类,通过后验概率来判断将新数据归为哪一类。通过利用贝…

SpringCloud面试题

SpringCloud常见组件有哪些 注册中心组件:Eureka、Nacos 负载均衡组件:Ribbon 远程调用组件:OpenFeign 网关组件:Zuul、Gateway 服务保护组件:Hystrix、Sentinel 服务配置管理组件:SpringCloudConfig、Nac…

Qt跨平台开发demo(适用萌新)

最近需要参与一款Qt跨平台的软件开发,在此之前,特把基础信息做学习和梳理,仅供参考。 所使用的技术和版本情况如下: 虚拟机:VMware 16.2.5操作系统:ubuntu-20.04.6-desktop-amd64:Mysql数据库…

纯血鸿蒙APP实战开发——数字滚动动效实现

介绍 本示例主要介绍了数字滚动动效的实现方案。 该方案多用于数字刷新,例如页面刷新抢票数量等场景。 效果图预览 使用说明: 下拉页面刷新,数字进行刷新。 实现思路 通过双重ForEach循环分别横向、纵向渲染数字。 Row() {ForEach(this…

服装店会员管理系统结合小程序商城帮你挖掘出潜在客户

在现代社会,随着科技的不断进步和人们消费习惯的变化,传统的服装店已经不再能够满足消费者的需求。为了更好地服务客户,提升销售业绩,许多服装店开始引入会员管理系统,并结合小程序商城,实现线上线下的无缝…

AJAX前端与后端交互技术知识点以及案例

Promise promise对象用于表示一个异步操作的最终完成(或失败)及其结果值 好处: 逻辑更清晰了解axios函数内部运作机制成功和失败状态,可以关联对应处理程序能解决回调函数地狱问题 /*** 目标:使用Promise管理异步任…

C++ int 学习

在C语言中 & 是取地址符号; 在C中有 int& 这样的,这里的&不是取地址符号,而是引用符号; 引用是C对C的一个补充; 变量的引用就是变量的别名,讲的通俗一点就是另外一个名字; a的值…

鸿蒙开发接口Ability框架:【(AbilityContext)】

AbilityContext AbilityContext是Ability的上下文环境,继承自Context。 AbilityContext模块提供允许访问特定于ability的资源的能力,包括对Ability的启动、停止的设置、获取caller通信接口、拉起弹窗请求用户授权等。 说明: 本模块首批接口…

040——移植数据库sqlite3到i.mx6ull

目录 一、下载 二、移植数据库 三、测试sqlite3 一、下载 SQLite Download Page 暂时先下载最新版的试试,我们以前其实在ubuntu上直接使用过 嵌入式数据库sqlite3_常见的嵌入式数据库-CSDN博客 当时我把常用的操作和怎么使用记录下来了 现在把他移植到开发板…

Android11 InputManagerService启动流程分析

InputManagerService在systemserver进程中被启动 //frameworks\base\services\java\com\android\server\SystemServer.java t.traceBegin("StartInputManagerService"); inputManager new InputManagerService(context);//1 t.traceEnd(); //省略 //注册服务 Servi…

C++11:常用语法汇总

目录 🍁统一的列表初始化 { }initializer_list 🍁decltype 推导表达式类型🍁可变参数模板解析可变参数包方法一方法二 🍁lambda 表达式捕捉列表的使用运用场景举例lambda表达式 与 函数对象 🍁统一的列表初始化 { } 在…

2024最新商业视频打赏系统源码 多套模板 有代理后台 已对接支付

简介: 2024最新商业视频打赏系统源码 多套模板 有代理后台 已对接支付 图片: 源码下载

【Python从入门到进阶】54、使用Python轻松操作SQLite数据库

一、引言 1、什么是SQLite SQLite的起源可以追溯到2000年,由D. Richard Hipp(理查德希普)所创建。作为一个独立的开发者,Hipp在寻找一个能够在嵌入式系统中使用的轻量级数据库时,发现现有的解决方案要么过于庞大&…

并发-守护线程setDaemon()

目录 为什么存在 什么是守护线程 创建守护线程 在使用守护线程时需要注意以下几点 可以使用isDaemon()方法来检查线程是否是守护线程 例1:上面提到当JVM中只剩下守护线程的时候,JVM就会退出,那么写段代码测试下 例2:thread…

练习队列的相关操作:循环队列

1. 思路解析 循环队列就是在只有有限的空间时使用队列实现循环存储数据&#xff0c;有双向链表和数组两种选择&#xff0c;这里我们使用数组实现循环队列&#xff08;因为链表我不会 >-<&#xff09; 2. 相关函数及其实现 2.1 判空与判满 判空&#xff1a;直接返回头尾…

docker(四):数据卷

数据卷 卷的设计目的就是数据的持久化&#xff0c;完全独立于容器的生存周期&#xff0c;因此Docker不会在容器删除时删除其挂载的数据卷。 1、docker run docker run -it --privilegedtrue -v /宿主机绝对路径目录:/容器内目录 镜像名2、挂载注意事项 --privilegedtru…