⚠️ 风险提示:理性看待区块链,提高风险意识!

 首页  快讯

Human.tech 于 7 月 21 日推出带有三层隐私验证的 Clean SDK

根据 Human.tech 的说法,2026 年 7 月 21 日,该公司推出 Clean SDK——一个开发者工具包,将注重隐私的身份认证和制裁审查集成到 Web3 应用中。作为 Aztec v5 网络升级同步亮相的一部分,该工具包使开发者能够在不收集可识别个人身份信息的情况下,验证用户的合法性与资产的合规性,并使用零知识密码学来保护钱包匿名性。
Clean SDK 集成了三种验证机制:清白证明(Proof of Innocence)通过 23 个制裁数据库对钱包进行筛查;人格证明(Proof of P

美国国会在跨党派会谈中讨论加密伦理,去中心化金融条款仍在协商中

据市场报告以及参议员卢米斯(Sen. Lummis)办公室称,本周国会正在就加密伦理问题开展跨党派讨论,同时去中心化金融(DeFi)条款也在谈判之中。伦理方面的担忧仍是会谈的主要障碍。该参议员的女发言人表示,近期与白宫的对话是“富有建设性”的,更新后的伦理表述反映了未来几天预计将展开的富有成效的交流。

维塔利克提出新的“可读性证明语言”,帮助人类理解由 AI 生成的形式化证明

今天(7 月 21 日),以太坊联合创始人维塔利克·布特林提出创建一种新的高层编程语言。该语言可编译到诸如 Lean 和 HOL 之类的形式化证明系统,从而优化定义与定理的可读性,而非证明过程本身。根据 PANews,布特林表示,该语言旨在帮助人类清楚理解 AI 生成的大规模形式化证明在数学与逻辑层面所展示的内容,使读者能够更容易地审计并核实 AI 所提出的具体主张。

长信科技战略配售股份减半至16670亿股

据 Odaily Daily Planet 和 Jin10 报道,长信科技战略配售最终配售结果已公布。30 家战略投资者的初始配售数量为 33440亿股,但最终实际认购数量为 144370亿股,约减少 50%。不过,实际认购金额仍保持在原先承诺的 16670亿元人民币不变。由于股数差额转向公开发行,显著提高了零售投资者的中签率。

Fortinet 于 7 月 21 日为下一代 SP6 安全芯片采用英特尔 Foundry Services(英特尔代工服务)

据英特尔称,7 月 21 日,安全公司 Fortinet 将使用 Intel Foundry Services,采用英特尔 4 工艺技术生产其下一代 SP6 安全芯片。这是英特尔在 CEO 陈立武于 2025 年 3 月上任后披露的首家点名代工客户,标志着英特尔为其代工业务争取 marquee 客户的挣扎迈出了一座里程碑。
SP6 芯片将采用英特尔 4 工艺生产,该工艺属于成熟工艺,适用于用于网络设备的特定应用集成电路(ASICs)。尽管该工艺不如英特尔最前沿的 18A 和 14A 节点先进,但在英特尔继