
zkEVM VS zkVM:一字之差,天壤之别!
原文:zkEVM vs zkVM:a Single Letter Can Make a Big Difference! —— RISC Zero 高级工程师 Erik Kaneda 译者:Maxlion前言本文将对比 zkEVM 和 zkVM 在技术上的差异,并介绍 RISC Zero zkVM 及其即将推出的 Bonsai 网络。关于 RISC Zero,它是一个通用 zkVM,RISC Zero zkVM 是一台可验证的计算机,其工作方式类似于真正的嵌入式 RISC-V 微处理器,使程序员能够像编写任何其他代码一样编写 ZK 证明。支持 Rust 和 C++ 编写 ZK 证明,并支持任何编译为 RISC-V 的语言。背景随着当前智能合约的复杂性增加,dapp 越来越先进,区块空间越来越稀缺,运行链上代码的成本也在增加。换句话说,如果你的 DeFi 逻辑变得计算昂贵,或者你的链上游戏逻辑需要额外的计算能力,你应该考虑使用 zkVM 或 zkEVM,将复杂的应用逻辑移到链外。 在这篇博文中,我想解释在这种情况下,一个字母所能带来的不同。我将从 EVM 的概述开始,然后是 zkEV...

zkEVM VS zkVM:一字之差,天壤之别!
原文:zkEVM vs zkVM:a Single Letter Can Make a Big Difference! —— RISC Zero 高级工程师 Erik Kaneda 译者:Maxlion前言本文将对比 zkEVM 和 zkVM 在技术上的差异,并介绍 RISC Zero zkVM 及其即将推出的 Bonsai 网络。关于 RISC Zero,它是一个通用 zkVM,RISC Zero zkVM 是一台可验证的计算机,其工作方式类似于真正的嵌入式 RISC-V 微处理器,使程序员能够像编写任何其他代码一样编写 ZK 证明。支持 Rust 和 C++ 编写 ZK 证明,并支持任何编译为 RISC-V 的语言。背景随着当前智能合约的复杂性增加,dapp 越来越先进,区块空间越来越稀缺,运行链上代码的成本也在增加。换句话说,如果你的 DeFi 逻辑变得计算昂贵,或者你的链上游戏逻辑需要额外的计算能力,你应该考虑使用 zkVM 或 zkEVM,将复杂的应用逻辑移到链外。 在这篇博文中,我想解释在这种情况下,一个字母所能带来的不同。我将从 EVM 的概述开始,然后是 zkEV...

系统盘点StarkNet技术优越性
TL;DR🛒ZKR 设计:汇总经济学使得交易越多,Gas 越低;ZK 证明-验证的方法取代了节点执行全部交易以验证正确性的方法,大大降低链上计算与存储数据量,提高执行效率;工作流优越性需要等待其他 zkEVM/zkVM 确定设计后再对比优越性;原生账户抽象可以“消灭”助记词,已经实现手机硬钱包,并为更加易用、安全、低成本的链上可编程奠定基础。🏕EVM 兼容:Solidity-Cairo 转译器 Warp 使得 StarkNet 语言级兼容 EVM;用 Cairo 编写的 zkEVM Kakarot 使得 StarkNet 字节码兼容 EVM。🧬STARK 证明系统:纯粹依赖哈希和信息论,不依赖可信设置,抗量子攻击,比 SNARK 更安全;证明生成速度具备线性扩展性,验证时间和证明大小具备对数扩展性;缺点在于生成的证明尺寸更大;递归证明可将多个证明验证后合并,理论合并量上限达到 6000 万,也为 L3 奠定技术基础;STARK 友好的哈希函数如 Rescue hash function 等相比以太坊 keccak256 有更高执行效率。🐺Cairo 虚拟机与语言:Cair...

系统盘点StarkNet技术优越性
TL;DR🛒ZKR 设计:汇总经济学使得交易越多,Gas 越低;ZK 证明-验证的方法取代了节点执行全部交易以验证正确性的方法,大大降低链上计算与存储数据量,提高执行效率;工作流优越性需要等待其他 zkEVM/zkVM 确定设计后再对比优越性;原生账户抽象可以“消灭”助记词,已经实现手机硬钱包,并为更加易用、安全、低成本的链上可编程奠定基础。🏕EVM 兼容:Solidity-Cairo 转译器 Warp 使得 StarkNet 语言级兼容 EVM;用 Cairo 编写的 zkEVM Kakarot 使得 StarkNet 字节码兼容 EVM。🧬STARK 证明系统:纯粹依赖哈希和信息论,不依赖可信设置,抗量子攻击,比 SNARK 更安全;证明生成速度具备线性扩展性,验证时间和证明大小具备对数扩展性;缺点在于生成的证明尺寸更大;递归证明可将多个证明验证后合并,理论合并量上限达到 6000 万,也为 L3 奠定技术基础;STARK 友好的哈希函数如 Rescue hash function 等相比以太坊 keccak256 有更高执行效率。🐺Cairo 虚拟机与语言:Cair...

解读StarkNet性能路线图与性能瓶颈
StarkNet 背后团队 StarkWare 在 11 月 29 日官宣了 StarkNet 性能路线图。 本文将解读路线图中即将推进的三件事:排序器并行、Cairo VM 的 Rust 实现、排序器的 Rust 实现;并将解释 StarkNet 的性能瓶颈。一、排序器并行排序器是 StarkNet 网络中的一个链下服务器,接收所有的事务、订单,在验证确认后将他们打包到区块,类似以太坊上的矿工(值得注意的是StarkNet仅在链下执行交易,并生成执行证明,链上验证证明)。 排序器引入并行交易执行的意义在于,排序器可以同时执行多笔交易,从而提高整个网络的交易处理量/TPS。 具体而言,有的交易可以并行执行,有的不可以。比如在一个区块中,可能有来自一个用户的三笔交易:交易A)将 USDC 换成 ETH交易;B)为 NFT 支付 ETH交易;C)将 USDT 换成 BTC。在这个例子中,交易 A 和 B 不能并行执行,B 必须在 A 之后执行。但交易 C 可以和 交易 A 同时并行执行。假设每笔交易需要 1 秒钟执行时间,引入并行后将把总执行时间从 3 秒减少到 2 秒,TPS 也将...

解读StarkNet性能路线图与性能瓶颈
StarkNet 背后团队 StarkWare 在 11 月 29 日官宣了 StarkNet 性能路线图。 本文将解读路线图中即将推进的三件事:排序器并行、Cairo VM 的 Rust 实现、排序器的 Rust 实现;并将解释 StarkNet 的性能瓶颈。一、排序器并行排序器是 StarkNet 网络中的一个链下服务器,接收所有的事务、订单,在验证确认后将他们打包到区块,类似以太坊上的矿工(值得注意的是StarkNet仅在链下执行交易,并生成执行证明,链上验证证明)。 排序器引入并行交易执行的意义在于,排序器可以同时执行多笔交易,从而提高整个网络的交易处理量/TPS。 具体而言,有的交易可以并行执行,有的不可以。比如在一个区块中,可能有来自一个用户的三笔交易:交易A)将 USDC 换成 ETH交易;B)为 NFT 支付 ETH交易;C)将 USDT 换成 BTC。在这个例子中,交易 A 和 B 不能并行执行,B 必须在 A 之后执行。但交易 C 可以和 交易 A 同时并行执行。假设每笔交易需要 1 秒钟执行时间,引入并行后将把总执行时间从 3 秒减少到 2 秒,TPS 也将...

老实人开箱评测:imToken硬钱包
省流:外包装很轻,内包装很美;钱包小巧得不像实力派,闻着很香。 上周 @CCHYAO 送给我一个 imKeyPro 黑金版硬件钱包(但我没被收买🤩),我之前从来没用过硬钱包😍,我的第一反应是很惊喜和期待。因为我一直以为硬钱包是高科技+高净值产品😎,而且我也没那么五位数的资产需要保护(悲)。 开箱体验 外包装盒很轻;外包装也不够贴近内包装盒,拿起来的时候会有摇晃声。但是白色内包装盒很精致,打开之后和外包装的视觉差距就很大,时尚范儿挠一下就起来了;拿起来也有份量,有紧实的手感,用的纸的克数比外包装更重的感觉。银色封条很好看,钥匙不好割开,最后我用指甲抠开的内包装打开之后是这样。充电插入有一个毛糙感,插进去的声音是“嘣”的一声(🚓,味儿浪味儿浪);但充电头没完全插进去的样子让强迫症的我有点不爽。有点像微型游戏机(能不能加个俄罗斯方块?😎)钱包比想象中小巧轻便,方便藏匿。可能也就四分之一手机大。四分之一巴掌大钱包本体有个淡淡的宁神清新的香味,香得想舔一口(我没真舔🤣)。 注册过程跟着说明书来就没问题,全程没遇到啥问题。说明书不辍注册过程中需要下载 imToken 钱包来查看 ...

老实人开箱评测:imToken硬钱包
省流:外包装很轻,内包装很美;钱包小巧得不像实力派,闻着很香。 上周 @CCHYAO 送给我一个 imKeyPro 黑金版硬件钱包(但我没被收买🤩),我之前从来没用过硬钱包😍,我的第一反应是很惊喜和期待。因为我一直以为硬钱包是高科技+高净值产品😎,而且我也没那么五位数的资产需要保护(悲)。 开箱体验 外包装盒很轻;外包装也不够贴近内包装盒,拿起来的时候会有摇晃声。但是白色内包装盒很精致,打开之后和外包装的视觉差距就很大,时尚范儿挠一下就起来了;拿起来也有份量,有紧实的手感,用的纸的克数比外包装更重的感觉。银色封条很好看,钥匙不好割开,最后我用指甲抠开的内包装打开之后是这样。充电插入有一个毛糙感,插进去的声音是“嘣”的一声(🚓,味儿浪味儿浪);但充电头没完全插进去的样子让强迫症的我有点不爽。有点像微型游戏机(能不能加个俄罗斯方块?😎)钱包比想象中小巧轻便,方便藏匿。可能也就四分之一手机大。四分之一巴掌大钱包本体有个淡淡的宁神清新的香味,香得想舔一口(我没真舔🤣)。 注册过程跟着说明书来就没问题,全程没遇到啥问题。说明书不辍注册过程中需要下载 imToken 钱包来查看 ...

盘点L2数据:开启以太坊下半场
在今年年中,Optimism 和 Aribitrum 等 OPR 陆续开启多轮奥德赛活动;年末,Scroll、zkSync、Starknet、Hermez 等 ZKR 都将表示将在年底和明年上半年陆续开启测试网和主网,可以预见,在明年我们就会见证多个 ZKR 迎来大规模应用,以太坊可能迎来 3g 升级 4g 的巨大机会。 本文将向你盘点 L2 数据并推荐一些数据网站,以让我们更为快速并深刻地了解到 L2 的发展情况 。 下图是我根据后面提到的数据网站/工具整理的 L2 数据图。总的来讲,L2 在 11 月 9 日这一天的交易量超过以太坊(随后回落),实际 TPS 已超过以太坊,Gas 普遍是以太坊的 1/40,日活达到以太坊 10%,开发者超过以太坊 10%,应用数量达到以太坊 30%,TVL 达到以太坊 5%(本文L2指主流通用Rollup)。L2相关数据网站推荐L2Beats 和 DeFiLlama 主要包含 L2 和跨链桥的 TVL 相关数据,后者数据相对可靠,并且可以自选统计口径。 Oribter 主要涵盖交易量、TVL、用户等数据。L2 Fees 可以查看各个 L2 实...

盘点L2数据:开启以太坊下半场
在今年年中,Optimism 和 Aribitrum 等 OPR 陆续开启多轮奥德赛活动;年末,Scroll、zkSync、Starknet、Hermez 等 ZKR 都将表示将在年底和明年上半年陆续开启测试网和主网,可以预见,在明年我们就会见证多个 ZKR 迎来大规模应用,以太坊可能迎来 3g 升级 4g 的巨大机会。 本文将向你盘点 L2 数据并推荐一些数据网站,以让我们更为快速并深刻地了解到 L2 的发展情况 。 下图是我根据后面提到的数据网站/工具整理的 L2 数据图。总的来讲,L2 在 11 月 9 日这一天的交易量超过以太坊(随后回落),实际 TPS 已超过以太坊,Gas 普遍是以太坊的 1/40,日活达到以太坊 10%,开发者超过以太坊 10%,应用数量达到以太坊 30%,TVL 达到以太坊 5%(本文L2指主流通用Rollup)。L2相关数据网站推荐L2Beats 和 DeFiLlama 主要包含 L2 和跨链桥的 TVL 相关数据,后者数据相对可靠,并且可以自选统计口径。 Oribter 主要涵盖交易量、TVL、用户等数据。L2 Fees 可以查看各个 L2 实...