Zcash 新隐私池 Ironwood 将采用形式化验证，拟根除无法检测的增发漏洞
By: rootdata|2026/07/07 12:42:08
0
分享
ChainCatcher 消息，Zcash 开发团队宣布计划通过即将推出的新隐私池 Ironwood 引入形式化验证，以数学证明方式消除"无法检测的增发漏洞"风险。
此前消息，Orchard 屏蔽池存在的漏洞虽已完成修复且暂无证据显示遭利用，但由于理论上无法通过链上历史确认是否曾发生隐蔽增发，因此社区决定推出全新的 Ironwood 屏蔽池，并对其协议进行全面形式化验证。
猜你喜欢
上线 30 天，币安股票业务搞得如何？
新兴市场买盘撑起了第一波需求
早报｜SK 海力士正式启动美股上市营销推介流程；中央网信办公布整治 AI 应用乱象首阶段成果，累计处置超 1.4 万款违规产品
7 月 6 日 市场重要事件一览
Open USD 能支撑 Stripe 的野心吗？
Stripe 携手多方推出 OUSD，不仅挑战 USDC 霸主地位，更暴露其从“支付接口”迈向“下一代资金结算网络”的万亿级野心
Blockchain Capital 合伙人：AI 正在重写劳动的基本单位
AI 的崛起，正在把劳动的基本单位从"岗位"和"公司"改写成"任务"。当可编程劳动力遇上可编程货币，一条没有公司、没有薪酬体系、没有 HR 的生产流水线第一次成为可能。
加密行业已是传统行业
对于还留在这个行业里的创业者和散户，要不就去拥抱当下的变化，要不就去探索加密里下一个充满随机性的领域。
芯片狂欢降温？大摩 Wilson：资金正转向微软、亚马逊等 AI 超算巨头
大摩首席股票策略师 Wilson 指出，半导体板块动能衰竭，费城半导体指数较高点已跌近 14%，资金正转向微软、亚马逊、Meta 等 AI 超算巨头及消费、生物科技等板块；标普 500 年底目标价维持8000 点，仍有约 7% 空间，但短期承压，轮动逻辑获摩根大通策略师呼应。
早报｜Vitalik 发文概述以太坊长期路线图，Lean Ethereum 将成第三次重大迭代；SK 海力士寻求通过在美上市，以吸引更多 AI 投资者
7 月 5 日 市场重要事件一览
特朗普，最会炒股的美国总统
特朗普几乎把总统身份开发成了一门生意，并在最大程度上将总统影响力转化为商业收益。
从字节跳动到财务自由："字节哥"Leto 逆袭 3000 万的投资判断力是怎么练出来的？
用数据和信号说话，用 A/B test 验证判断，用有限的风险敞口去博取不对称的收益。
亏损 5500 万美元也要卖币，Strategy 的信仰到了付息日
信仰被证券化的那一刻，比特币就成了账单。
OUSD 假合作风波？稳定币与巨头背书的信用游戏
稳定币成功与否，不是靠拉来一帮联盟成员帮忙营销，而是取决于它有没有真实的使用场景与真实的用户。
Q-Day 倒计时：量子计算会终结加密货币吗？
面对被量子算力掠夺的休眠币，是死守“代码即法律”的不可篡改底线，还是通过软分叉强制冻结遗留资产？
空中云汇的十年：从街角咖啡到全球金融基建
一家汇款公司怎么长成了一套能替代 SWIFT 的金融基建；当它真的长到这个体量，稳定币对它而言又如何定位；以及 AI 在这套基建上能嫁接出什么。
OUSD 对 Circle、Tether 与 Paxos 的影响：并非单一利空，而是更复杂的竞争重塑
OUSD 不会是最后一个新竞争者，Circle 需要在产品、分发和生态合作上更积极应对。
李飞飞最新长文：当视频生成、机器人和 NVIDIA 都自称世界模型，我们需要一个分类法
语言给了机器一种谈论这个世界的方式。世界模型，则是机器最终得以理解、想象、推理并与之交互的途径
将币圈的荒凉归咎为 AI 兴起是一种思维上的懒惰
巨头化意味业态成熟，虽然会减少投机空间，但也有足够的容错空间，可以不断点化出新兴势力。
Strategy 创始人：比特币的下一个 10 年
未来十年比特币最大的进化，恰恰是"以不变应万变"。四年周期正让位于 ETF、企业与主权储备、银行信贷等资本流动，数字信用和数字货币会在比特币之上层层生长。而比特币的任务不是变成一切，是成为那个不会改变的东西。
福布斯特稿：稳定币跨境支付更快了，但还没更便宜
稳定币跨境支付正在快速扩张，带来了速度和可触达性，但由于机构流动性不足，目前还兑现不了它承诺的成本节约。技术已经过验证、监管也在改善，但这个行业还没能积累起足够的深度流动性，去大幅压低传统外汇经纪商的费用。采用路上的一大障碍，是要跨过客户与现有经纪商之间已经建立的信任关系，因为对企业来说，可靠和准确比单纯的快更重要。
上线 30 天，币安股票业务搞得如何？
新兴市场买盘撑起了第一波需求
早报｜SK 海力士正式启动美股上市营销推介流程；中央网信办公布整治 AI 应用乱象首阶段成果，累计处置超 1.4 万款违规产品
7 月 6 日 市场重要事件一览
Open USD 能支撑 Stripe 的野心吗？
Stripe 携手多方推出 OUSD，不仅挑战 USDC 霸主地位，更暴露其从“支付接口”迈向“下一代资金结算网络”的万亿级野心
Blockchain Capital 合伙人：AI 正在重写劳动的基本单位
AI 的崛起，正在把劳动的基本单位从"岗位"和"公司"改写成"任务"。当可编程劳动力遇上可编程货币，一条没有公司、没有薪酬体系、没有 HR 的生产流水线第一次成为可能。
加密行业已是传统行业
对于还留在这个行业里的创业者和散户，要不就去拥抱当下的变化，要不就去探索加密里下一个充满随机性的领域。
芯片狂欢降温？大摩 Wilson：资金正转向微软、亚马逊等 AI 超算巨头
大摩首席股票策略师 Wilson 指出，半导体板块动能衰竭，费城半导体指数较高点已跌近 14%，资金正转向微软、亚马逊、Meta 等 AI 超算巨头及消费、生物科技等板块；标普 500 年底目标价维持8000 点，仍有约 7% 空间，但短期承压，轮动逻辑获摩根大通策略师呼应。
