Prover
订阅后，此标签的相关内容 将出现在首页「我的订阅」中.
共搜索到 32 篇相关快讯
Gnosis Chain 拟转型为以太坊经济区 ZK Rollup据 GnosisDAO GIP-153 治理提案，Gnosis Chain 正就从独立 Layer 1 转型为以太坊经济区（EEZ）ZK Rollup 寻求社区方向性共识，该提案由 Friederike Ernst 等人联合撰写，目前处于第一阶段。提案直言 Gnosis Chain 作为独立 L1 的定位已失败。原有的「可信中立」价值主张与以太坊高度重叠，却缺乏后者的规模优势和流动性，手续费收入远不足以覆盖安全成本，安全支出长期依赖 DAO 国库补贴，每年对非质押者的稀释约为 2.3%。转型后，Gnosis Chain 将以 2 秒出块速度生成区块，每个以太坊区块进行一次状态证明并结算至以太坊 L1，实现与以太坊主网的同步可组合性。用户可在单笔交易中跨链调用以太坊合约，这也是现有 100 余条 L2 均不具备的能力。用户地址、余额及合约状态保持连续，xDAI 继续作为 Gas 代币。现有约 35 万枚 GNO 质押（约占流通量 27%）将解锁，大型独立验证者集合随之退出，排序权由 Gnosis Ltd 中心化运营，原跨链验证者将转型为 Prover 节点。GNO 的质押激励将被实际网络活动产生的费用捕获所取代，具体代币经济模型将于后续 GIP 中提出。按路线图，GIP 投票预计于 8 月至 9 月进行，创世区块目标定于 2027 年 1 月，届时 Gnosis Chain 验证者正式退出；双向同步可组合性等完整 EEZ 规范预计于 2027 年全年陆续落地。此提案不涉及额外资金申请，仅寻求方向性共识。快讯Taiko：6 月安全事件源于链下签名密钥泄露及验证流程遗漏以太坊 Layer 2 网络 Taiko 发布 6 月 21 日安全事件复盘。官方表示，此次攻击始于链下，攻击者利用泄露的签名密钥和漏检机制伪造证明，绕过其证明者白名单，零知识证明加密也未受影响。其防御措施发挥了作用。资金桥的每日限额减缓了资金流失，安全委员会在数小时内暂停了资金桥和金库的运行，阻止了更多资金的流动。Taiko 表示，所有用户均未蒙受任何损失。攻击者从跨链桥和金库中窃取了约 175 万美元，但超过 1100 万美元的资金受到保护，自恢复网络以来，Taiko 上的所有余额均已得到 1:1 的备份。快讯Boundless 首次网络升级 Surge 正式上线隐私基础设施项目 Boundless 首次全网升级 Surge 已正式上线。本次升级并非单纯的证明者（Prover）节点更新，而是面向整个网络的性能与成本优化。核心升级亮点包括证明能力提升（全网证明容量最高提升 25%）、证明成本下降（各类工作负载证明成本最高降低 50%）、RPC 成本骤降（证明者 RPC 成本最高减少 99%）、迈向多链时代（Boundless 正式支持多链证明，首批接入 Taiko 与 Base）。依靠 Boundless 的开放市场机制，供给侧的性能提升与成本下降将直接传导至需求侧。所有证明请求方（Requestor）都将获得更高性能、更低价格的证明服务。快讯Aztec 新路线图：Alpha 网络代码已就绪，将开展链上投票Aztec 发布最新路线图更新，宣布 Alpha 网络代码已全面完成。Aztec 表示，Alpha 网络是以太坊上支持完全可编程隐私智能合约的版本，是团队八年研发工作的成果汇聚。Alpha 网络治理提案目前已在论坛上线，待社区讨论后将进行链上投票。此次更新覆盖四个核心方向：执行层已实现完整的「私有 + 公有」双状态模型，并上线 Aztec.js SDK 与原生账户抽象；证明系统推出专为手机和浏览器端设计的 CHONK（Client-side Highly Optimized ploNK），降低客户端生成零知识证明所需的时间和内存；隐私编程语言 Noir 1.0 即将完成，编译器审计工作正在推进；去中心化层面，Ignition Chain 自上线以来保持零宕机运行，目前网络已有 3500 余个 Sequencer 和 50 余个 Prover 分布在五大洲。快讯GOAT Network 成立基金会，7% 的代币 GOATED 将用于空投比特币原生 ZK Rollup GOAT Network 宣布成立基金会，并将发布代币 GOATED。GOATED 总量 10 亿，其中 39.42% 用于矿池奖励（涵盖 Sequencer、Prover、Challenger 等多角色激励），7% 用于空投，15% 用于金库支持生态激励与流动性，15.58% 分配给早期支持者，23% 分配给团队、顾问。GOATED 可用于质押提升收益、激励开发者和用户、增强节点排序权，并赋予持有者治理权。GOAT Network 是比特币原生 zkRollup，通过 Gas 费、MEV 与矿工奖励构建可持续收益模型，避免依赖通胀型代币。GOAT 基金会将作为协调者，确保 ZK 证明验证与角色轮换机制顺利执行，使收益分配透明且均衡。快讯Polyhedra 完成 Expander 框架优化，提升性能与可靠性AI+ZK 公链 Polyhedra 表示，其已于上周完成 Expander 框架优化。关键改进包括：完成 GPU Prover 与 Expander 框架的端到端集成，Prover 现可通过环境变量无缝切换 CPU 与 GPU 执行模式，实现无需额外配置的透明 GPU 加速；针对 Versal HBM 设备实现优化 FPGA 算术原语，包括 M31Ext3、Goldilocks 和 BN254 字段的加法器和乘法器，利用高带宽内存最大化吞吐量并最小化延迟，为 FPGA 上完整硬件加速 proof generation 奠定基础；对初步算术核心进行基准测试，验证功能正确性和吞吐量扩展。快讯Succinct 与 Tandem 达成一年独家合作，将为 Arbitrum 提供 ZK 证明Succinct 在 X 发文表示，其与 Offchain Labs 旗下创业工作室 Tandem 达成为期一年的独家战略合作，将为 Arbitrum 生态引入零知识（ZK）证明。Succinct 表示，Arbitrum 链占据约 50% 二层网络总锁仓价值，此举有望显著扩大 Succinct Prover Network 的市场规模，并为生态创造可观收入。该合作将推动 Arbitrum 链实现快速终结性、增强安全性与互操作性，Succinct 称 ZK 未来将普及至所有 Rollup。快讯Linea 产品负责人：LINEA 代币经济模型进入最终审核阶段，资格查询网站将随后发布Linea 产品负责人 Declan Fox 发文称，Linea 去中心化进展顺利，代币经济模型和治理方案目前正处于最终的法律和内部审查阶段，资格查询网站将随后发布。产品方面，Beta v2 将于下个月内发布到主网，Limitless Prover 也将紧随其后，使 Linea 的性能达到所有 EVM L2 中的最高水平，同时正在进行的是：Pectra 硬分叉和在第三季度实现 L2BEAT「第一阶段」。任何与 Linea 代币相关的公告都将通过 Linea 官方账号发布，其不会秘密发布。请等待官方更新，并警惕诈骗。快讯Succinct 将推出 zkVM 「SP1 Hypercube」，可实现实时以太坊证明据 The Block 报道，ZK 证明软件 Succinct 宣布将推出 zkVM SP1 Hypercube，可在 12 秒内生成以太坊区块的零知识证明。该系统在 1 万个以太坊主网区块的内部测试中使用 200 个 Nvidia RTX 4090 GPU 集群，并实现 93% 的实时证明，平均证明时间 10.3 秒。Succinct 已开源 SP1 Hypercube 验证器和以太坊证明器代码，并计划在即将进行的审计后全面部署。Foresight News 此前消息， Succinct 拟推出 Succinct Prover Network 架构及 PROVE 代币。该网络通过协调分布式证明者，为各类应用生成证明。PROVE 为支付代币，初始供应量为 10 亿枚，通过质押、治理及拍卖机制激励证明者提供竞争价格。快讯RISC Zero 推出新版本零知识虚拟机 R0VM 2.0，现已开放体验零知识证明软件开发商 RISC Zero 于近日发布了其最新版本的零知识虚拟机（zkVM）R0VM 2.0，R0VM 2.0 现已开放体验，提供集中式 Private Prover 和去中心化 Boundless 协议两种服务模式，助力开发者构建高性能 ZK 应用。R0VM 2.0 将单个以太坊区块的证明时间从 35 分钟大幅缩短至 44 秒，并将 OP 链的证明成本降低 5 倍，单笔交易成本可低至 0.0012 美元，提升性能和效率。此外，R0VM 2.0 引入了 3GB 用户内存和全面的预编译支持，支持更复杂的应用场景，如大规模 EVM 证明和可验证媒体。RISC Zero 计划在 2025 年 7 月实现 12 秒内的实时证明，进一步推动零知识技术的应用与发展。快讯