BTC $80,494.53 -1.38%
ETH $2,363.48 -1.36%
BNB $731.84 -1.92%
XRP $1.28 -3.46%
SOL $101.32 -2.79%
TRX $0.3297 +0.10%
DOGE $0.0771 -3.67%
ADA $0.2075 -3.99%
BCH $274.25 -4.25%
LINK $11.54 -4.59%
HYPE $75.27 -3.57%
AAVE $140.11 -5.46%
SUI $0.9423 -4.85%
XLM $0.1690 -4.34%
ZEC $1,149.41 -5.42%
AAPL $346.88 -0.07%
AMZN $248.16 -0.85%
GOOGL $320.74 -1.03%
MSFT $522.60 +0.90%
META $641.72 -0.69%
NVDA $211.19 -1.18%
TSLA $370.94 -1.83%
SNDK $1,234.47 -4.83%
INTC $86.39 -0.52%
SPCX $146.81 -1.00%
MU $879.92 +0.77%
AMD $515.35 +0.22%
BTC $80,494.53 -1.38%
ETH $2,363.48 -1.36%
BNB $731.84 -1.92%
XRP $1.28 -3.46%
SOL $101.32 -2.79%
TRX $0.3297 +0.10%
DOGE $0.0771 -3.67%
ADA $0.2075 -3.99%
BCH $274.25 -4.25%
LINK $11.54 -4.59%
HYPE $75.27 -3.57%
AAVE $140.11 -5.46%
SUI $0.9423 -4.85%
XLM $0.1690 -4.34%
ZEC $1,149.41 -5.42%
AAPL $346.88 -0.07%
AMZN $248.16 -0.85%
GOOGL $320.74 -1.03%
MSFT $522.60 +0.90%
META $641.72 -0.69%
NVDA $211.19 -1.18%
TSLA $370.94 -1.83%
SNDK $1,234.47 -4.83%
INTC $86.39 -0.52%
SPCX $146.81 -1.00%
MU $879.92 +0.77%
AMD $515.35 +0.22%

de

全部
文章
快讯

first_img Anthropic:Claude 已大规模形式化验证开源库

ChainCatcher 消息,人工智能公司 Anthropic 旗下 Frontier Red Team 于 10 月 22 日发布研究,称大语言模型已能在更大规模上自动撰写形式化证明。团队与 Theorem 合作,使用 Claude 在 RISC-V 汇编层对超过 100 个真实开源库证明安全性质,并称这是已知首次用 AI 在汇编层对生产软件做大规模形式化验证。写证明过程中还发现了多年未被发现的漏洞。实验将 Google OSS-Fuzz 中已有的可编译 fuzz 测试转为规格:在单线程静态二进制、固定内存预算、RISC-V CPU 与 Linux 等假设下,对小于 64 MB 的任意输入,程序应正常退出且不触发内存安全错误或断言失败。数周内,Claude 在修补所发现问题后,对 123 个 OSS-Fuzz 库中的 239 个入口点证明了上述性质。证明针对编译后的 RISC-V 指令,约 1.8 亿行 Rocq,并由 Rocq 内核检查。页面称,这并不等于这些库没有漏洞,剩余问题可能位于受信任组件或证明范围之外。页面还称,团队让 Claude 形式化 RFC 1950,并在 x86 二进制层证明 Linux 内核中的 zlib 实现符合该规格;用 Rust 编写覆盖 Python 大子集的解释器,对超过 170 万个随机生成程序与 CPython 行为一致的比例为 99.95%。在 36 个小型验证任务上,Opus 5.5 证明其中一半所需 token 比 Opus 5 少约 40%。团队同时指出,证明针对单线程、静态链接的 RISC-V 二进制,且证明检查器不能判断规格是否符合现实。

first_img Decentralised.co:链上期权成交仍不足永续 DEX 的 1%

ChainCatcher 消息,加密研究媒体 Decentralised.co 发文:链上期权成交量仍不足永续合约 DEX 的 1%,传统市场期权成交约为期货的 3 倍。该机构以 2018 年 1 月至 2026 年 10 月比特币日收盘价回测,在最终盈利的多头中,10 倍永续合约 180 天、90 天、60 天窗口的清算概率分别为 47%、29% 和 18%。其回放 2025 年 10 月 10 日三笔 1000 美元比特币多头:10 倍永续于 21:14 被清算,30 天看涨期权最低至 181 美元后一小时内回到 800 美元以上,52 美元的 7 天看跌期权使 10 倍多头度过下跌。Decentralised.co:过去链上期权多因订单簿分散、对冲困难和资金锁定而失败。Hegic 存款人 2021 年 5 月损失约 8000 万美元中的大部分,Lyra 存款人 7 个月内比特币池亏损 4.9%、以太坊池亏损 17.6%,PsyOptions 于 2024 年 6 月关闭产品。靠近 Hyperliquid 等永续流动性的组合保证金,可将卖出一份比特币看涨期权的锁定资金从约 10 万美元降至约 1.5 万美元,月回报从 1.8% 升至约 12%。文中将 Hyperliquid 列为对冲流动性的主要场所,期权协议 Derive(原 Lyra)为底层引擎,Paradex 承接大宗交易,Hypercall 是首个建在 Hyperliquid 上的期权场所。Derive 在截至 10 月 19 日的一年内清算约 180 亿美元期权名义价值。Paradex 于 9 月 15 日接入 Paradigm 后,日期权成交从不足 300 万美元升至一周内 5870 万美元,未平仓合约从逾 2.5 亿美元降至 10 月 14 日约 9600 万美元。2026 年 9 月链上期权名义价值约翻倍至 50 亿美元,权利金升至 8500 万美元。
app_icon
ChainCatcher 与创新者共建Web3世界