ZK压缩让Solana状态成本降5200倍
Solana 通过「zk 压缩」技术大幅降低了状态成本，提升了网络扩展性，无需依赖 L2 即可实现。「zk 压缩」技术的所有执行都在 L1 上进行，由 L1 验证器排序，显著降低了 Solana 的状态成本，使其在 L1 可扩展性上领先于以太坊，解决了 Solana 的扩展性问题。
上周，Solana 推出了一项名为「zk 压缩」的新技术，据说能大幅降低 Solana 的状态成本，让 Solana 无需依赖 L2 就能提升网络扩展性。这简直就是在以太坊面前大秀肌肉啊！
Solana 的联合创始人 Anatoly Yakovenko 也站出来强调，这项技术「所有执行都发生在 L1 上，并由 L1 验证器排序」。Cyber Capital 的创始人兼首席信息官 Justin Bons 也表示，「这显然让 Solana 在实际 L1 可扩展性上远远领先于 ETH，解决了 Solana 最大的生存问题之一」。
以太坊社区「破防」了？
区块链世界里有个「三难困境」，就是分布式网络很难同时兼顾去中心化、安全性和可扩展性。为了提高扩展性，以太坊选择了将执行层业务外包给 L2，从最初的 plasma 到现在的 rollup，L2 确实解决了以太坊的扩展性问题，让以太坊成为了「万物资产」。但这也带来了意想不到的混乱，随着 L2 的碎片化，以太坊自身的价值捕获能力被逐渐削弱。6 月 29 日当天，以太坊主网 gas 费甚至降至 1 Gwei。
不久前，以太坊和 Solana 的辩论也将矛头对准了 L2，可以说，L2 解决方案是以太坊的一场豪赌。然而，Solana 却用 zk 压缩解决了这一困境，这让以太坊的信仰者们难以接受，纷纷质疑 zk 压缩的「L1 性质」。
在以太坊的 L2 解决方案中，Validium 的机制跟 zkRollup 很相似，它所有的交易有效性都使用零知识证明来强制执行，主要区别在于 zkRollup 中的数据可用性是在链上的，而 Validium 则保持在链下。因此，当 Solana 生态开发平台 Helius 的首席执行官 Mert Mumtaz 表示 zk 压缩的数据保持在链下时，以太坊社区将其视为 validium。CEHV 合伙人 Adam Cochran 坚定地表示 zk 压缩就是 Solana 的 L2 解决方案，并且他认为「总有一天，Solana 人群会意识到他们所构建的是一个很好的基于 L2 功能 / 有效性的 rollup，而不是一个整体链」。
即使 Anatoly 强调该技术「所有执行都发生在 L1 上，并由 L1 验证器排序」，Adam 依然坚称 zk 压缩不可能是 L1。
Solana 社区则用一张 meme 作为回应，讽刺以太坊的信徒们没有认真做过研究却自诩为专家，Mert 甚至还赌气式地将 zk 压缩命名为 ZK validium。
Solana 空投成本便宜了 5200 倍
zk 压缩是由 Solana 生态开发平台 Helius 和 Solana 生态隐私项目 Light Protocol 联合推出的区块链扩展解决方案。Helius 的首席执行官 Mert Mumtazt 表示，zk 压缩将直接在 L1 上进行，无需 L2，这将极大提升 Solana 网络扩展性，「并向构建金融计算机迈进了一步—一个不可阻挡的、全局的、以光速同步的原子状态机。」
根据 zk 压缩的文档，这项技术是基于 Solana 构建的新原语，使开发者能够大规模构建应用程序。开发人员和用户可以选择压缩他们的链上状态，将状态成本降低几个数量级，同时保持 Solana L1 的安全性、性能和可组合性。
zk 压缩通过一种被称为状态压缩的过程工作，允许开发者使用 Solana 更便宜的 ledger 空间而不是更昂贵的账户空间来存储某些类型的数据。链外数据的「哈希」或「指纹」存储在链上，以便使用「sparse state trees」进行验证。简单来说，这项技术降低了 Solana 的状态成本。
在 Solana，技术人员面临两个成本——计算成本和状态成本。目前 Solana 已经拥有廉价的计算能力，但状态很昂贵。分配帐户、支付租金和与用户一起扩展都已被证明是 Solana 开发人员的巨大障碍，而 zk 压缩解决了这一问题。Mert 以空投成本举例，假设向 1,000,000 名用户进行空投，其中花费的状态成本从原本的超 260,000 美元减少至 50 美元，即便宜了 5,200 倍。
为了让该技术的 L1 性质更具说服力，Mert 在 Farcaster 上点名以太坊创始人 Vitalik，让其点评 zk 压缩的技术原理。Vitalik 也做出了认真回应，并表示该技术更像是一个无状态的客户端架构。Vitalik 将 zk 压缩解读成 3 个要点：第一，你有一个新的帐户类，对于这些帐户，只有其状态的散列存储在链上；第二，要与这些帐户交互，需要编写一个 TX，该 TX 指定了 N 个帐户的预状态哈希和后状态哈希，并提供一个有效性证明 ( 假定这意味着 ZK-SNARK)；第三，新状态要求公开 ( 这是合理的，否则你可以随机向某人发送一笔钱，他们的帐户将无法访问，你可以绕过这个，使它成为一个 Ut xo 系统，但那将是一个重大的限制 )。
除了解读外，Vitalik 也对文档提出疑问，一方面是文档中提到的 128 字节的有效性证明，另一方面是公开内容是否包含交易内容。随后，Vitalik 再次发文表示疑惑，他认为 zk 压缩声称的数字就像，如果每一次单独做，验证 SNARK 的开销会比做一些小动作和哈希操作的成本要高 ( 例如代币传输 )。ZK rollup 的收益来自于「一个」SNARK 包装了「许多」交易。
但 Vitalik 的疑问并未得到回应，而他最开始将 zk 压缩称为「无状态的客户端架构」却让 Solana 的拥护者信心倍增，认为该技术就是 L1。
Rollup 会是 Solana 的完美搭档吗？
一直以来，Solana 都在为其网络寻找价值。从上一轮牛市跑出来的各山寨链，其估值逻辑并不完全像比特币和以太坊，由于区块空间便宜，对应的币价很难大幅上涨。而 Solana 却仍在专注压缩技术，不断降低自己的成本，这在一定程度上对 SOL 的增值来说是个巨大的挑战。
即使考虑到摩尔定律，即使硬件能继续提高性能，并且 Solana 针对这种硬件进展进行了优化，这也并不意味着 Solana 能否应对全球的需求，但 Solana 将在依赖可组合性和低延迟的情况下比其他链管理得更好。
与以太坊不同，Solana 主网并不打算成为「B2B 链」；它一直都是并将永远是消费者链。大规模构建分布式系统是极具挑战性的，而 Solana 最有潜力成为全球最有价值交易的共享账本。
而对于 rollup，Solana rollup 对于终端用户来说将大多被抽象化。从意识形态上看，以太坊的 rollup 是自上而下的，即以太坊基金会和领导者决定最好的扩展方式是通过 rollup，然后在 CryptoKitties 事件后开始支持各种 Layer2。而在 Solana，需求是自下而上的，即来自具有显著用户采用率的应用开发者。因此，大多数当前的 roll-up 玩法都是营销玩法，更多的是叙述驱动而非用户需求驱动。这是一个显著的差异，可能导致与以太坊不同的 rollup 未来。
但 zk 压缩为 Solana 实现了状态压缩，再加上 Firedancer、多个并发领导者、异步执行和一个由数千名开发人员组成的生态系统，这些无疑让 Solana 对加密有了真正的机会。
Postman是一套面向API全生命周期的开发与测试平台，可在Mac上发送和调试多种协议请求，管理集合、环境及认证信息，并完成脚本测试、模拟服务、监控、文档发布和团队协作。它适合开发、测试及运维人员使用，提供个人免费方案。
Docker Desktop 是 Docker 官方为 Mac 提供的容器开发环境，集成 Docker Engine、命令行工具、Compose、Build、Kubernetes 与图形化管理界面。
Android Studio 是 Google 面向安卓应用开发提供的官方集成开发环境，基于 IntelliJ IDEA 构建。它整合智能代码编辑、Gradle 构建、界面预览、设备模拟、性能分析、调试测试及 APK 分析等工具。
Xcode 是苹果面向 Mac 提供的官方集成开发环境，将代码编辑、项目构建、SwiftUI 实时预览、设备模拟、自动化测试、断点调试、性能分析和应用分发整合在同一套工作流中，适合开发与维护 iPhone、iPad、Mac、Apple Wa
JetBrains WebStorm 是面向 JavaScript、TypeScript 和现代 Web 技术的专业集成开发环境，可智能理解项目结构，提供代码补全、重构、错误检查、运行调试、测试及 Git 工具。
PhpStorm 是 JetBrains 推出的专业 PHP 集成开发环境，可在 Mac 上完成代码编写、智能检查、重构、调试、测试和数据库管理。它支持主流 PHP 框架、Composer、Git、Docker 与远程解释器。
JetBrains PyCharm 是面向 Python 开发者的集成开发环境，提供智能补全、代码检查、重构、调试、测试、版本控制及虚拟环境管理功能。Mac 版兼容 Intel 与 Apple 芯片，核心功能可免费使用。
IntelliJ IDEA 是 JetBrains 推出的专业集成开发环境，重点服务于 Java、Kotlin 与 JVM 项目开发。软件集成代码补全、静态检查、重构、调试、测试、版本控制及构建工具，并可借助插件扩展语言和框架支持。
Visual Studio Code 是微软提供的免费代码编辑器，支持 macOS，并为 Intel 与 Apple 芯片 Mac 提供适配版本。软件集代码编辑、调试、Git 源代码管理、集成终端和扩展市场于一体。
REAPER是Cockos开发的数字音频工作站，提供多轨音频与MIDI录制、剪辑、处理、混音和母带制作工具。Mac版兼容Intel与Apple芯片，支持AU、VST、VST3、CLAP等插件格式，并提供高度可定制的工作流程。
Adobe Audition 是面向播客、影视后期、音乐制作及内容创作者的专业音频工作站，提供波形精修、多轨录制与混音、频谱编辑、降噪修复、响度匹配和效果处理工具，并可与 Adobe Premiere 协同完成视频声音制作。
Pro Tools 是 Avid 推出的专业数字音频工作站，覆盖多轨录音、无损剪辑、MIDI 编曲、插件处理、自动化混音及声音与画面同步等工作。它拥有 Intro、Artist、Studio 和 Ultimate 等方案。
PixPix 是面向品牌、卖家和内容团队的在线 AI 图片视频创作平台，提供图视频 Agent、无限画布、图片生成、视频生成、自然语言编辑及商品套图、产品精修和带货视频等电商工具。
Postman 是面向 API 全生命周期的开发与协作平台。Windows 桌面版可用于构建和发送 HTTP、GraphQL、gRPC、WebSocket、MQTT 等请求，并提供环境变量、集合、脚本测试、模拟服务、监控、文档及团队工作区等
Docker Desktop 为 Windows 开发者提供集成式容器环境，内置 Docker Engine、命令行工具、Compose、Build 与 Kubernetes 等组件，可在本机完成镜像构建、容器运行、日志查看和资源管理。
Android Studio 是 Google 面向 Android 应用开发提供的官方集成开发环境，以 IntelliJ IDEA 为基础，集成智能代码编辑、Gradle 构建、设备模拟、界面预览、调试测试及性能分析工具，
WebStorm 是 JetBrains 面向 JavaScript、TypeScript 和现代 Web 技术打造的集成开发环境。它提供项目级代码分析、智能补全、安全重构、导航搜索，并集成调试、测试、终端、Git 与常用前端工具，
PhpStorm 是 JetBrains 面向 PHP 与现代 Web 开发打造的专业集成开发环境，提供代码补全、静态检查、重构、调试、测试、数据库、版本控制及前端语言支持。Windows 用户可直接下载安装程序，
PyCharm 是 JetBrains 推出的 Python 集成开发环境，提供智能代码补全、错误检查、重构、调试、测试、Git、终端及 Jupyter Notebook 支持。统一版安装后可体验 30 天 Pro 功能，
JetBrains IntelliJ IDEA 是以 Java、Kotlin 和 JVM 项目为核心的专业集成开发环境，提供智能补全、代码检查、安全重构、调试、测试、版本控制及构建工具集成。统一发行版的核心功能可免费用于商业和非商业项目，
Visual Studio Code 是微软推出的免费代码编辑器，Windows 版集成智能补全、代码导航、调试、终端和版本控制，并可通过扩展添加语言、格式化及远程开发能力。它启动较快、配置灵活，
REAPER 是 Cockos 推出的数字音频工作站，适用于录音、MIDI 编曲、音频编辑、混音、母带制作及声音设计。软件安装包小巧，支持多轨录制、灵活路由、自动化、第三方插件和脚本扩展，并提供完整功能的 60 天免费评估期。
Adobe Audition 是面向播客、影视后期、广播与音乐制作的专业音频工作站，提供波形编辑、多轨混音、频谱分析、录音、降噪修复和效果处理等功能。Windows 版通过 Adobe Creative Cloud 安装和管理，
Pro Tools 是 Avid 推出的专业数字音频工作站，提供多轨录音、音频剪辑、MIDI编曲、插件处理、自动化混音及影视声音制作能力。它适合音乐人、录音师、制作人和音频后期团队使用，并提供免费入门版、订阅方案及永久授权选择。