Quét mã để tải
Tìm kiếm «zkVM» có14kết quả liên quan
撰文：0xjacobzhao 「链下计算 + 链上验证」的可信计算（Verifiable Computing）范式，已成为区块链系统的通用计算模型。它让区块链应用在保持去中心化与信任最小化（trustlessness）安全性的前提下，获得几乎无限的计算自由度（computational freedom）。零知识证明（ZKP）是该范式的核心支柱，其应用主要集…
撰文：链上观 大致看了下以太坊精简共识的 Roadmap，确实如 @VitalikButerin 所说开始发力了。分享下我看到的亮点： 1）以太坊过去的更新迭代都是修修补补，导致积累了太多的技术债，但这份路线图至少说明以太坊要真的 「推倒重来」 了，颇有种当初从 POW 转 POS 的魄力。 就连 BLS 椭圆曲线签名都放弃了，直接要上哈希签名，因为 BL…
撰文：0xjacobzhao 在区块链领域，密码学是安全与信任的核心基础。其中，零知识证明（ZK）能够将任意复杂的链下计算压缩为简短的证明，并在链上高效验证，无需依赖第三方信任，同时还能选择性地隐藏输入以保护隐私。凭借高效验证、通用性与隐私性的兼备，ZK 已成为扩容、隐私、跨链等多类应用的关键方案。尽管当前仍存在证明生成开销较大、开发电路复杂等挑战，但 Z…
撰文：Haotian 最近，@drakefjustin 一句「Solana 黄金时代结束」引发了市场的热烈讨论。此前以太坊的发力重点是以 Rollup 为中心的大战略，Layer2 表现会直接影响以太坊，现在 BeamChain 新方向即将敲定，以太坊本链优化则在我看来，以太坊要实现 L1+L2 同步增强，应重点关注：1）zkVM；2）Layer2 可交互…
原文标题：《Introducing Steel》 编译：Chris，Techub News Steel，连接 RISC Zero 和以太坊 以太坊网络的成功推动了 DApp 生态的蓬勃发展，但随之而来的是越来越严峻的可扩展性挑战。开发者们面临一个两难境地：要么限制应用程序的功能和数据丰富性，要么忍受高昂的 Gas 费和其使用限制。那么，如果开发者能够找到绕…
撰文：0XNATALIE 在寻找区块链的可扩展性和计算效率的解决方案中，零知识证明（ZKP）技术尤为重要。zkVM（Zero-Knowledge Virtual Machine）是这一技术的具体应用之一。zkVM 作为一种基于 ZKP 的通用计算平台，能够在不泄露执行细节的前提下验证计算的正确性。并支持在链外处理计算量大的任务，仅将验证结果提交到区块链，极…
Techub News 消息，风险投资机构 a16z 宣布推出其开源零知识虚拟机（zkVM）的新版本 Lattice Jolt。该版本速度更快，具备后量子安全性，并基于格密码学构建了紧凑证明。 此次升级的关键在于集成了名为 Akita 的新多项式承诺方案，该方案由 LayerZero 核心团队与 Geometry Research 合作开发。这旨在提升零知识证明系统的性能和安全性。 （@a16zcrypto）
Techub News 消息，据 The Block 报道，风险投资公司 Andreessen Horowitz 旗下专注于加密货币的部门 a16z Crypto 发布零知识虚拟机（zkVM）解决方案 Jolt，旨在加速和简化区块链扩展操作。 A16z Crypto 表示，Jolt 是一种通过 SNARKs 建立虚拟机的新方法，可以让开发人员快速创建基于 SNARK 的 Layer 2 解决方案。该团队表示，Jolt 比目前的 zkVM「快达 2 倍」。此外，「除了速度上的提升，由于 Jolt 基于新的设计范式，开发人员更容易对其进行扩展，也更容易进行审计，从而提高了安全性。」
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 时间和能量。」
Đã tải hết kết quả tìm kiếm hiện tại
