同时关联该项目与事件的快讯
去中心化永续合约交易所 Deepsigma 上线实时模拟交易平台，覆盖 77 个传统金融市场，包括美国股票、股票指数、大宗商品及美国国债收益率。平台基于 Cypherium 区块链开发，由高盛、Citadel Securities、Google 和 Uber 校友组成的团队负责推进，支持相关资产多空敞口交易。Deepsigma 的永续合约不对标的资产进行代币化、托管或实物交割，而是通过外部市场数据源跟踪价格。当前平台已支持标普 500 指数、道琼斯工业平均指数、纳斯达克综合指数、Russell 2000 指数、Cboe 波动率指数，以及原油、黄金、白银、天然气和铜等合约。平台风险引擎采用多来源外部价格源、标记价格、熔断机制、部分清算和保险基金，并使用中央限价订单簿及清算层处理保证金、抵押品和结算。Deepsigma 还在开发基于零知识证明的去中心化身份框架，并配置无资金执行权限的链下 AI 分析工具；底层 Cypherium 采用混合 PoW 与 HotStuff 拜占庭容错共识机制，拥有 4 项美国专利。（Bitcoin.com News）
Vitalik 发布文章《 A shallow dive into formal verification 》，介绍形式化验证在以太坊前沿研发中的应用进展。文章指出，开发者可使用 Lean、EVM 字节码或汇编语言编写代码，并通过可自动检查的数学证明验证其正确性，以同时提升代码效率与安全性。他表示，形式化验证特别适用于 STARK、拜占庭容错共识、ZK-EVM、抗量子签名等复杂但安全目标相对清晰的系统，并提及 Arklib、VCV-io、evm-asm 等相关项目。文章同时强调，形式化验证并非万能，仍可能受限于规格定义错误、未覆盖代码、硬件边界与侧信道攻击等问题。