🔥 Gate 动态大使专属发帖福利任务第三期报名正式开启!🏆 第二期获奖名单将于6月3日公布!
👉️ 6月3日 — 6月8日期间每日发帖,根据帖子内容评级瓜分 $300奖池
报名即可参与:https://www.gate.com/zh/questionnaire/6761
报名时间:6月3日10:00 - 6月8日 24:00 UTC+8
🎁 奖励详情:
一、S级周度排名奖
S级:每周7日均完成发帖且整体帖子内容质量分数>90分可获S级,挑选2名优质内容大使每人$50手续费返现券。
二、A/B 等级瓜分奖
根据各位动态大使发帖数量及帖子内容质量获评等级,按评定等级获奖:
A级:每周至少5日完成发帖且整体帖子内容质量90>分数>80可获A级,从A级用户中选出5名大使每人$20手续费返现券
B级:每周至少3日完成发帖且整体帖子内容质量80>分数>60可获B级,从B级用户中选出10名大使每人$10手续费返现券
📍 活动规则:
1.每周至少3日完成发帖才有机会获奖。
2.根据发帖天数和整体发帖内容质量分数给予等级判定,分为S/A/B等级,在各等级下选择幸运大使获奖。
💡 帖子评分标准:
1.每帖不少于30字。
2.内容需原创、有独立见解,具备深度和逻辑性。
3.鼓励发布市场行情、交易知识、币种研究等主题,使用图例或视频可提高评分。
4.禁止发布FUD、抄袭或诋毁内容,违规将取
ZK 证明市场的龙头之争:Succinct vs. Boundless
作者:yyy 来源:X,@y_cryptoanalyst
相较于 @SuccinctLabs, @boundless_xyz远没有得到市场该有的关注和重视,但它跟Succinct 一样拥有成为zk 通用基建赛道的龙头的潜力,这也是我撰写这篇目前中文区全网最详细的介绍文章的初衷。
目前zk 证明市场细分赛道呼声最高的协议无疑是 @SuccinctLabs, 针对C 端玩家的邀请制星星活动使Succinct 迅速出圈。但与此同时,背靠 @RiscZero的zk 证明网络 @boundless_xyz正在崛起,这也是我认为的Succinct 在定位的细分赛道中最大的竞争对手。
这条推文来简单聊聊 @SuccinctLabs和 @boundless_xyz之间的异同点和竞争优势,赛道龙头花落谁家尚不可知。
绕不过的zkVM
无论是 @SuccinctLabs还是 @boundless_xyz,他们的技术实现都绕不过zkVM. 差异化的点在于Succinct 采用SP1 虚拟机,而Boundless 采用的是RISC 开发的R0VM 虚拟机?
那么何为zkVM?
zkVM 是零知识证明虚拟机,允许开发者证明任意基于Rust(或其他LLVM 编程语言)程序的执行。
用大白话讲,开发者基于zkVM 无需执行计算密集型的zk 证明生成过程(手动构建和优化电路),证明生成会在后台自动完成,极大地缩短了zk 证明的开发时间。
Succinct: SP1 vs. Boundless: R0VM
zkVM 虚拟机通过营造客观环境抽象零知识证明的复杂性,使得证明生成像传统计算一样简单。
Succinct 的SP1 和Boundless 的R0VM 都基于RISC-V 指令集,均支持用Rust 语言编写,自动化ZK 证明生成。且均适用于通用计算场景。
差异化:
1)底层技术原创性;
@SuccinctLabs SP1 的底层证明系统借鉴了Polygon 团队开发的模块化ZK 证明工具包Plonky3,由早在2022年初的Plonky2 迭代升级,技术成熟度更高,Succinct 相当于站在了Polygon 巨人的肩膀上;
@boundless_xyz 的R0VM 基于其母公司RISC 的自研技术,2024年6月上线R0VM 1.0 版本后,同样经过了多次技术迭代(1.1.0-1.1.2),目前迭代至最新的R0VM 2.0版本。
2)开源程度;
@SuccinctLabs SP1 宣称是首个100% 开源的zkVM. 我检索了相关资料,发现RISC 的R0VM 早期上线时是部分开源,2024年8月也宣布100%完全开源。
3)性能;
性能是zkVM 的核心指标之一,通常指的是zk 证明的生成时间、验证时间。由于这个数据比较敏感,Succinct 和Boundless 又是直接的竞争对手,他们公布的数据可能不太公允(如针对某一特定环境的测试数据等),我也没有找到中立第三方比较权威可信的数据,所以为保证客观具体的数据我就不披露了。
目前业内主流的观点认为,@SuccinctLabs SP1 在哈希密集型工作任务(如Tendermint 轻客户端验证)中表现更优,体现在生成证明时间更快上;@boundless_xyz 的R0VM 更适用于通用计算场景,在内存管理上优势明显。
SP1 的支持预编译减少了生成证明需要执行的RISC-V 指令周期数,从而加速了证明生成时间且降低了证明生成成本。但随着R0VM 2.0 版本的上线,新增了BN254 和BLS12-381 这2个主要的预编译,也将带来性能的显著提升。
什么是zk 证明市场?
zk 证明生成是 @SuccinctLabs 和 @boundless_xyz 走向大规模商业化的基础,它们的终极目标都是成为一个更高效和去中心化的zk 证明市场,将可验证计算变成一个通用的、无需信任的商品。
市场扮演的是撮合买卖双方的角色,zk 证明市场可以理解为撮合zk 证明供给方和需求方的市场。zk 证明的供给方是证明的生成者,通常为运行GPU 或其他硬件设备的运营商;zk 证明的需求方主要为有验证需求的B 端用户。
@SuccinctLabs 的证明市场供需方的撮合机制并不复杂,Succinct 网络由2类核心参与者组成:请求者(zk 证明的需求方)和证明者(zk 证明的提供方)。
Succinct 充当资金结算的中介:证明者在链上存入抵押品获得参与证明竞赛的资格,Succinct 协议先行托管请求者请求证明服务的费用;证明者通过证明拍卖的方式竞争,最终的拍卖获胜方向请求者交付zk 证明并获得对应的费用收益。整个撮合环节至此闭环。
更详细的技术架构实现机制可见 @SuccinctLabs 的官方doc:
@boundless_xyz 刚在不久前发布了白皮书,充当zk 证明市场其实现机制和@boundless_xyz 的大同小异,这里不再赘述,技术实现细节可见文末附上的Boundless 白皮书的链接。
B 端用户站队
作为备受资本青睐的通用基建类协议,@SuccinctLabs 和 @SuccinctLabs 都有他们各自核心的B 端用户群,形成了亲Succinct 派和亲RISC(Boundless)派。
亲Succinct 派:
如Cosmos, 原生集成IBC Eureka 提供zk 证明生成服务,实现IBC 跨链互操作在全球异构链网络的扩展。包括但不局限于:提供早期技术支持的Polygon, DA 层 @celestia, @AvailProject 等;
亲RISC(Boundless)派:
如ETH 再质押协议 @eigenlayer, zk 跨链互操作协议 @union_build, Bitcoin zk-Rollup @citrea_xyz 等。
总结
@boundless_xyz 和 @SuccinctLabs 的核心定位具有非常强的相似度,业务范畴的重合度也非常高。在我看来,2者之间的竞争更多的不是技术创新上的竞争,而是针对B 端用户、C 端用户的核心用户之争。
B 端的竞争势均力敌,C 端Succinct 处于明显的上风,Boundless 要补齐短板,大概率会推出类似的积分活动/ 邀请制活动,抢占C 端用户。
写在最后
如果你无法想象zk 通用证明的冰山下的潜在市场有多大,你就无法想象 @SuccinctLabs 和 @boundless_xyz 的潜在天花板有多高。
但这一切都将有迹可循,如果你现在看不懂不认可zk 证明市场的价值,只需要保持关注。
我想我们终将被卷入到这场zk 大革命中,而现在,这场革命才刚刚开始。