Buidler DAO 蝗虫精选(27):公链和 ZK 相关的必读文章
点击蓝字/
关注我们
Buidler DAO:Web3人才与项目孵化器
https://link3.to/buidlerdao
商务合作WeChat:MiaoFrank1229
文章:@Buidler DAO
编辑:@文双
排版:@陈墨
注:文章仅代表个人观点,不构成任何投资意见
深度精选是我们推荐的本周市场热议主题下必读文章,取材自 Buidler DAO 认知蝗虫计划每日推送;在这里,Web 3 Native 的资深读者会从繁杂的信息源中抽取优质文章的核心内容与个人的深度思考。
本文从宏观的 zk 赛道分析,到有关算力计算的硬件情况分享;从隐私领域技术手段列举,到 zk 重点项目分析;从 Type 1 ZK-EVM 的适配性讲述,到以太坊升级最终阶段的梳理分析。本文涵盖了 zk 有关的最新发展进度。阅览下文并了解核心观点,欢迎共同讨论!
全文 4667 字,预计阅读时间 12 分钟
文章速览:
01/ 公链和 zkEVM 专题:zk 赛道的现状、竞争者和展望 @wenchuan
02/ ZK 证明计算:算力硬件 @TX
03/ 详解「超级链」概念:Coinbase L2 Base 只是一个开始 @wenchuan
04/ 公链上的隐私方案 @TX
05/ 关于 zkRollup 硬件加速与 zkPOW 的思考 @TX
06/ The Type 1 ZK-EVM @TX
07/了解零知识(ZK)最新进展:哪个项目能够成为第一个“吃螃蟹的人” @wenchuan
08/ 深度解析以太坊上海升级后供应冲击与二阶效应 @huaxia
公链和 zkEVM 专题:zk 赛道的现状、竞争者和展望 @wenchuan
1. 多链体系:目前看从链上数据、Dapp 数量、开发者活跃度等都说明目前以太坊是处于霸主地位,且这种惯性也会使得以太坊在将来相当长时间之内继续保持霸主地位。但是内部来说,Layer2 不一定和以太坊是高度绑定,理论上来讲, Layer2 是可以脱离以太坊的。
2. 模块化 vs 以太坊 L2:现在难有能成为以太坊 killer 的新公链,以太坊绑定了各种生态,进化较慢,其他的公链有不错的发展窗口期。
3. zkEVM 中有优势的项目:因为它们现在都还是处于早期,所以只能往这些比较底层的东西来看,工程进展,生态运营,开发社区,网络性能以及它的去中心化程度这五个方面,其中 Starknet 相对来说具备核心优势。
4. Scroll 与 BTC 挖矿对比:BTC 的挖矿是最大工作量证明,只有一个人的工作有效;而零知识证明挖矿中,挖矿无效率是很低的,前景不错,也没有环保问题。
5. 零知识证明挖矿赛道:zkRollup 应该算是以太坊扩容赛道里表现最好的细分赛道之一。zkRollup 最核心的问题就是它的基本运营模式,先对交易进行打包,然后出证明。缩短出证明的时间,最核心的就是使用硬件进行加速。硬件大致可以分为 CPU,GPU,FPGA,还有比较新的 ASIC,它是运行速度最快,但运行成本相对较高。
6. zkEVM 目前难点:主网关键点,主要在于 zk 矿机直接影响到网络的去中心程度,矿机是第一个关键点;还有与 Layer2 节点之间的通信协议,共识怎么处理,包括 zkSync 的 LLVM 编译器有没有做完。
思考
本篇是播客内容的文稿,主要讨论了公链和 ZK。目前各方都已认可了多链未来,但是多链的最终格局目前还未形成,按照目前的状况来看,个人认为可能会形成“一超多强”的格局,以太坊为唯一超级公链,Cosmos、Near 等成为多强。ZK,从去年就是市场关注的热点,今年更是叠加了发币的 buff,万众瞩目,但是整体开发进度慢,也因此给了 OP 窗口期,OP 若在此期间生态发展良好,待 ZK 落地后,二者可能会存在互补关系,而不是纯粹的竞争。此外,文章还提到了 ZK 挖矿,值得关注。
原文链接:
https://research.mintventures.fund/2023/02/03/ep12
ZK 证明计算:算力硬件 @TX
随着以太坊合并之后,市场存量的以太坊矿机只能另寻他途。
ZKP 硬件需求来源于 L2 +隐私,需要利用硬件的堆叠来解决零知识证明生成的算力消耗。
芯片制造商会设计专用的 GPU、可编程门阵列 FPGA 和专用集成电路 ASIC,以针对特定功能和软件进行优化,从而使 ZKP 的生产速度加速 10-1000 倍。
目前 ZKP 的三个环节中,证明大小可以做到恒定,验证时间可以减少,难点在证明生成,因为复杂性和算术环路大小呈现理论上的线性关系,限制了 ZK 应用的普及。
思考
长远来看,ZK 挖矿应该是继以太坊之后最大的挖矿产业链。目前对其有需求的赛道 ZKR 和隐私都有非常广阔的想象空间。ZK 挖矿的难点在硬件的算子,因为目前算法仍在不断迭代,导致硬件厂商可能对算子有误判。如果想入局挖矿,可以等算法迭代减缓后。
原文链接:
https://reurl.cc/qkr1M0
详解「超级链」概念:Coinbase L2 Base 只是一个开始 @wenchuan
1. 超级链是什么:「超级链」是一个 L2 网络,通过使用 L2 来构成多链生态系统,可以将每条链视为商品,即「可互换的计算资源」。
2. 超级链的作用:可使开发人员能够构建跨链应用程序,同时也不会引入系统性风险,更不会在新链部署应用程序时产生大量开销。
3. 超级链的属性:共享 L1 区块链、共享桥、低成本部署、链的配置选项、跨链通信。
4. OP升级超级链的痛点:取款声明依赖于一组可信的链证明者、跨链交易很慢、跨链交易异步,打破执行原子跨链交易(如闪电贷)的能力、交易发布到超级链后不可扩展,因为交易数据必须提交到容量有限的 L1、没有简单框架来构建利用 OP 链的可扩展 dApp,没有简单的钱包来管理 OP 链上的资产和 dApp
思考
在 L1 层级,市场已经认可多链未来的情况下,开始一个 L2 层级的新叙事——超级链,以当下最火的 OP 为基础,再叠加了 Coinbase 的名头,市场关注度足够,一个专为 OP 打造的新叙事会不会被市场接受?如何被市场认可?这会成为一个观察叙事发展的好案例。此外,超级链看起来是一个 L2 网络,但最终不一定是以 OP 为标准链,其余的 L2 也有一定的竞争机会。Anyway,打造一个新的叙事,这本身就值得关注。
原文链接:
https://www.theblockbeats.info/news/35022
公链上的隐私方案 @TX
区块链目前只实现用户匿名化,但链上数据的公开透明导致攻击者仍有其它手段对于用户的隐私进行威胁。区块链隐私面临的三个挑战:链上身份管理、链上数据导致隐私泄露、链下数据导致的隐私泄露,需要通过链上和链下技术实现隐私。
链上技术:
1)ZKP,通过证明者向检验者证明某命题的方法,验证信息准确性并不泄露任何其他资讯;
2)MPC,在一个分布式网络且不存在可信第三方的情况下,多个参与实体各自持有秘密输入,共同完成对某函数的计算并得到结果,并且每个参与实体均不能得知除自身外其他参与实体任何输入信息;
3)HE,通过一种具有允许对密文进行操作并获得相同加密结果的属性的加密函数进行信息传输;
4)环签名,证明签名者具有与特定公钥之一相对应的私钥,但不透露哪一个签名本身包含一个值列表。
链下技术:
1)TEE,在计算平台上由软硬件方法构建一个安全区域,保证在安全区域内加载的代码和数据在机密性和完整性方面得到保护;
2)匿名通信协议,保护网络层的网络连接与 IP 信息。
思考
隐私在 crypto 一直是一个 nice to have but not must to have 的属性,导致整体赛道不活跃。但长远看,在数字化的世界里,数据隐私一定是一个必要的属性,无论是否和 crypto 相关。就像 V 神说的,transparency for big ones and privacy for small ones. 普通人的数据隐私应该被保护,而不是被大公司剥削。最近隐私 ZK 很卷,估值离谱,可以关注其他隐私方案,如 FHE。
原文链接:
https://foresightnews.pro/article/detail/24055
关于zkRollup硬件加速与
zkPOW 的思考 @TX
ZK 应用场景包括隐私与扩容,应用规模可以分为小中大三个维度。小型应用技术较为简单,应用目的单一;中型应用技术难度提升不大,应用目的增加到行业通用;大型应用技术较难,应用目的为给需要 ZK 优势的任何基建与应用套上 ZK。硬件加速是 ZK 必不可少的,可以在算法迭代加速的同时通过计算硬件给证明生成时间二次加速。
目前三种硬件解决方案包括 GPU,FPGA,ASIC。GPU 加速效果有限,但技术已经成熟;FPGA 较为通用,但每个单独算法加速效果不是最优;ASIC 为定制芯片,加速效果最好,但因为定制化局限了其迭代性。
思考
ZK 挖矿可能是未来可见时间内最火的挖矿赛道。需求端隐私与扩容都需要,每个单拉出来都能讲万亿的故事;供给端不仅有新人想进来吃利润,老牌矿池因为以太、filecoin 等问题无处可去,只能硬件升级继续到 ZK 挖矿。ZK 挖矿的芯片和算法绑定极大,而现在 ZK 算法仍在不断迭代中。目前顶尖的 halo2 也可能被更新的算法替换,stark 也可能被 snark 的平行算法拉下可扩展性宝座。一切都是未知数,想找到对的硬件芯片需要赌性坚强。
原文链接:
https://foresightnews.pro/article/h5Detail/26025
The Type 1 ZK-EVM @TX
Type 1 ZK-EVM 是以太坊最高级别适配性,开发者可以完全无缝迁移并且所有 L1 dapp/ tool/ infra 都可以直接使用。其他的 type 2-4 均在牺牲了适配性的情况下提升了证明速度并降低了开发难度。Type 1 ZK-EVM 的主要竞争对手为 Type 2,其余的 Type 3 和 4 如 Zksync 与 starkware 本质已经变成 ZK-VM。Type 2 更加重视性能而改变 gas fee 和 hash function,可能会导致某些合约不再安全或使用 hash 的合约不 work
思考
Type 1 ZK-EVM 是以太坊扩容真正的明珠。与 EVM 最高级别的适配性,意味着开发者真正可以 write once, deploy anywhere,并且附带生成的证明。当然,因为其开发的高难度,目前 Taiko 进度均落后于其他 ZK-EVM。同时,如此高的等效性是否真的有必要,还是像 scroll 一样牺牲一小部分兼容而获得技术路线更快的推进与实现,仍然有待考量。当然,Taiko 团队之前 Loopring 成功的创业经历给投资人一株定心丸。不缺钱,技术强,不如一步到位。
原文链接:
https://mirror.xyz/labs.taiko.eth/w7NSKDeKfJoEy0p89I9feixKfdK-20JgWF9HZzxfeBo
了解零知识(ZK)最新进展:哪个项目能够成为第一个“吃螃蟹的人” @wenchuan
1. ZK Rollup:这些 rollup 效率提升到约 2,000 TPS,比以太坊目前的 30 TPS 速率增加了 6,500%!
2. Validiums&Volitions:Validiums 执行链下交易并通过链下零知识证明维护其数据;Volitions 是 ZK-rollup 和 validium 之间的交叉,这意味着用户就可以在链上和链下数据可用性之间进行选择。
3. zkEVM:zkEVM 是与以太坊虚拟机 (EVM) 兼容的 ZK-rollup,即以太坊 L1 的执行环境。
4. zkEVM 的竞争:Buterin 提供了一种衡量 zkEVM 项目能力的方法,方法是提出从 Type 1 到 Type 4 的等级来对它们进行分级。Type 1 zkEVM 实现还需要一段时间,但现在有多个项目正在研究 Type 2 zkEVM。
5. zkEVM 的进展:Polygon zkEVM 和 Scroll 主网即将上线,zkSync Era 主网开放给建设者
思考
ZK 本身作为一种实现 rollup 的密码学方式,让 ZK 作为基本技术在多个赛道进行扩张,其优势也催生了 zkEVM,生态开始蓬勃发展;而 zkEVM 的发展,大概就是实现 Type 1 zkEVM,按照 Vitalik 的设想它将与 EVM 完全等效,可以用于升级以太坊本身。ZK,行业长期关注的热点,ETHDenver 上 ZK 的项目也不少,作为用户,期待看到 ZK 项目上线带来更流畅的体验。
原文链接:
https://www.defidaonews.com/article/6807138
深度解析以太坊上海升级后供应冲击与二阶效应 @huaxia
以太坊或将在一个月内完成其转向权益证明的最终阶段。在即将到来的「Shapella」升级后(一个由「Shanghai」and 「Capella」组成的混成词),超过 1600 万枚质押在信标链上的 ETH 将能够被提款。仅仅这个数字就引起了用户、投资者和交易者的焦虑,他们对 ETH 和其他相关代币供需可能受到的影响感到担忧。在本报告中,我们将剖析 Shapella 升级的细节,提供升级前需要注意的事项,并给出升级可能会对 ETH、流动质押衍生品和其他应用程序产生影响的最佳估计。
思考
现在主流的观点是上海升级之后会有一个抛售期,对二级市场价格将造成较大的影响。基于这种担忧,文章从具体数据、推测入手,试图尽可能理清其中的疑惑。总得来说,我个人倾向于在升级完成之后,一个短暂的抛售期会有,但会短于人们的心理预期;同时,在价格出现吸引力的时候,会吸引长期的持币买盘入场。之所以是长期的买盘,这建立在升级之后ETH资产独特的地位= ETH 质押收益+ LSD 资产凭证再质押借贷放大资本利用率+ LSD 资产引入 dex 交易对释放锁定流动性。这对于 eth 资产持有者将是长期的持有逻辑。
原文链接:
https://foresightnews.pro/article/h5Detail/26777
Web3 资料领取
公众号后台回复 Web3入门 即可领取 Web3 Buidler 养成计划 所有资料
「认知蝗虫」由 Buidler DAO 投研公会推出,内容详情请复制链接浏览器打开或点击文末“阅读原文”查看:https://buidlerdao.notion.site/b0ee90f0929b4dc68e1ac58dbe4ddba7
加入 DC 社区:
https://discord.gg/buidlerdaoshuang
加入蝗虫计划联系方式:
往期推荐
Buidler DAO 专访 Beosin 创始人 Monica 教授:聚焦安全,只为安全
Buidler DAO 蝗虫精选(26):了解 NFT Fi 的必读文章
Buidler DAO
MOVE OVER HODL,
IT'S TIME TO BUIDL!
Buidler DAO 聚集华语至全球的 Web3 人才和项目,致力于打造 SocialDAO 治理范式和 DAO Tools 解决方案。
内部五大公会共同协作:孵化、技术公会构建项目加速生态;投研、教育公会输出深度内容;运营公会负责社区治理与增长。
官方链接:https://link3.to/buidlerdao
深度参与:https://tally.so/r/wA7LlN