扫码下载
搜索“zkVM”共有8条相关结果
Techub News 消息，风险投资机构 a16z 宣布推出其开源零知识虚拟机（zkVM）的新版本 Lattice Jolt。该版本速度更快，具备后量子安全性，并基于格密码学构建了紧凑证明。 此次升级的关键在于集成了名为 Akita 的新多项式承诺方案，该方案由 LayerZero 核心团队与 Geometry Research 合作开发。这旨在提升零知识证明系统的性能和安全性。 （@a16zcrypto）
Techub News 消息，Brevis 官方博客发文称，其 AI Agent AutoEng 在无需人工干预的情况下，耗时不到三天将 Pico zkVM 的代码优化了约 11%，该系统已能实时证明以太坊主网区块。 该 Agent 通过分析实时证明器定位瓶颈，生成优化方案并验证正确性与性能提升。Pico 作为零知识虚拟机，目前已能在消费级硬件上实时证明完整以太坊主网区块，此前曾获以太坊基金会及 Vitalik Buterin 关注。
Techub News 消息，Orochi Network 宣布推出 zkMemory，这是一种面向零知识虚拟机（zkVM）的模块化内存证明方案，可与多种零知识证明系统兼容，支持高效的内存操作验证。 该方案将内存视为具有 READ 和 WRITE 指令的状态机，支持自定义 WORD_SIZE 配置。作为 zkDA Layer 的后端组件，zkMemory 旨在为区块链应用提供安全可验证的数据处理能力，适用于智能合约及隐私保护计算场景。
Techub News 消息，ZK 证明软件 Succinct 发推称，其零知识虚拟机（zkVM）SP1 Hypercube 已在主网正式上线。SP1 Hypercube 是完成全部 62 个 RISC-V 操作码形式化验证的 zkVM。借助 SP1，开发者可使用 Rust 等语言编写普通代码，创建可证明的程序。
Techub News 消息，以太坊联合创始人 Vitalik Buterin 发推称，以太坊团队今年以来一直表现得非常出色，在各个方面都做出了贡献，以确保以太坊的长期扩展性、去中心化和弹性，所有这些想法预计都将在短期扩展路线图实现其关键里程碑的同时准备好付诸实施。 据 Vitalik Buterin 转发推文显示，目前以太坊开发者已提出一种适用于精简以太坊的最小 zkVM「leanVM」，并且针对 XMSS 聚合和递归进行了优化，相比于 Cairo，leanVM 凭借四指令 ISA、多线性 STARK 和 logup 查找最大限度地降低了承诺成本。
Techub News 消息，以太坊基金会研究员 Justin Drake 发推表示，以太坊基金会正在向 zkVM 投资数千万美元，其中包括 zkRISC-V 形式化验证、Poseidon 密码分析以及 L2 beat for zkVMs。
Techub News 消息，据 CoinDesk 报道，零知识应用 Lita 发布 Valida zkVM 和 Valida C 编译器工具链，以实现更快、更便宜、更高效的 ZKP 生成。据团队介绍，「Valida 与 LLVM 的兼容性为许多传统编程语言打开了大门，帮助开发人员轻松过渡 Lita 对 Valida 性能能力的基准测试表明，单核 Valida 证明的速度比多核 RISC 零证明快 1.19 至 54 倍，效率高 19 至 1600 倍，减少证明计算上消耗的 CPU 时间和能量。」
Techub News 消息，据 The Block 报道，风险投资公司 Andreessen Horowitz 旗下专注于加密货币的部门 a16z Crypto 发布零知识虚拟机（zkVM）解决方案 Jolt，旨在加速和简化区块链扩展操作。 A16z Crypto 表示，Jolt 是一种通过 SNARKs 建立虚拟机的新方法，可以让开发人员快速创建基于 SNARK 的 Layer 2 解决方案。该团队表示，Jolt 比目前的 zkVM「快达 2 倍」。此外，「除了速度上的提升，由于 Jolt 基于新的设计范式，开发人员更容易对其进行扩展，也更容易进行审计，从而提高了安全性。」
