zkvmBlast · 第 1 部分（共 1 部分） 介绍 zkvmBlast：面向以太坊 zkVM 的差分模糊测试 今天，我们发布 zkvmBlast，这是一个面向 RISC-V zkVM、与具体 zkVM 无关的差分模糊测试器。它接...
作者：josh 来源： https://delvingbitcoin.org/t/expiring-htlcs-without-free-relay/2663 摘要 我们可以创造出无需担心 “免费中继（free relay...
@rhackett 和 Ryan Holloway —— 稳定币正越来越多地被用于刷卡消费。 加密支付卡已从新鲜事物发展到每月消费额超过 7.5 亿美元。这些卡片让人们可以在任何接受传统银行卡网络的地方使用加密资产支付。在幕后，加密资...
本页概述了以太坊生态中的形式化验证（及相关分析）项目。它是对 pirapira/ethereum-formal-verification-overview 的扩展和更新。 重点是智能合约的形式化验证和其他类型的分析，同时也收集了协议和编译...
线程之下的并行性 在将 Rust 线程带到 GPU时，我们将每个 std::thread 映射到 GPU 的一个 warp。这让我们可以在 GPU 上运行许多并发线程，但并没有使用每个线程/warp 内部的并行 lane。 在 CPU...
引言 Solana 在 Q2 的表现延续了我们在 Q4 2025 和 Q1 2026 报告中所描述的模式。尽管在疲软的市场环境下，绝对活跃度持续下滑，但该区块链在去中心化交易所（DEX）交易量、应用费用和网络费用等核心指标上仍保持领先地位...
2025年12月中旬，一条消息经由以太坊基金会传到了 Ziren 团队手中。Consensys Diligence 与维也纳工业大学（TU Wien）的研究人员一起，将他们的模糊测试基础设施对准了 Ziren——而且它已经发现了问题。...
Remix 是一个丰富的工具集，任何知识水平的用户都可以用它完成合约开发的整个流程，也是一个用于教学和实验 Web3 技术的实验室。 重大消息 为智能合约命名 从 Circom 电路生成前端 集成 zkVerify 用于验...
对最新超级智能宣言的一些反思——在某些方面并非最出色 今天早上醒来，我读到了 @finkd 的一篇有趣文章，标题是“未来属于每个人”——确实，我也希望未来属于每个人。但如果未来要通过一家传统企业的商业模式来传递，我看不出怎么能让未来属...
并非每一轮都需要你的最强模型。 我们测出只有 7%，而这些调用占了账单的 68% 路由是一种权衡。 便宜 74%，但准确率下降约 6 个点 在动手构建之前，先计算成本权衡公式。 用判断模型成本除以价格差，得到你需要分流的下限。...
鸿途知科网
