circuit

ChainCatcher 消息，Lighter 团队宣布，其永续与现货交易 zk circuits 已完成审计，并正式开源。团队已发布完整验证代码，允许外部独立验证 Lighter L2 在以太坊上的每一笔挂单、撤单与清算操作是否真实有效。 开发者可通过 GitHub 构建脚本生成 ZkLighterVerifier，并与以太坊已部署合约进行一致性校验。

ChainCatcher 消息，据财富杂志报道，前 Stripe 加密与 AI 合作负责人 Louis Amira、前 Stripe 加密工程负责人 David Noël-Romas 为他们的新创业公司 Circuit & Chisel 完成 1920 万美元融资，用于开发 AI 代理支付协议 ATXP。 除了其 Stripe 背景（和资金支持）外，Circuit & Chisel 还获得了 Primary Venture Partners 和 ParaFi 以及 Coinbase Ventures 的投资。ATXP 协议被设计为“AI 代理支付的 HTTP 协议”，旨在解决当前 AI 代理间缺乏标准化通信协议的问题。 Amira 表示，如果 ATXP 成功，它将实现微交易领域。在此方案下，智能体可以自主获取信息，并有权支付小额费用，例如从私人领英（LinkedIn）资料中抓取信息或访问付费的《财富》杂志文章，而这些平台也有权收取小额费用。

ChainCatcher 消息，区块链安全机构 ChainLight 发文表示其研究人员在 9 月 15 日发现了 zkSync Era 主网的 ZK-circuits 中存在一个健全性安全漏洞，并于 19 日立即报告了这个漏洞问题。该漏洞允许恶意证明者为无效执行的块生成“证明”，这些证明会被 L1 上的验证者智能合约接受。zkSync 开发商 Matter Labs 目前已部署了修复程序，并向 ChainLight 提供了 5 万 USDC 的奖励，这是 zkSync Era 首笔因 ZK-circuits 漏洞而获得的赏金。