全部 通识 以太坊 比特币 Solana 公链 Solidity Web3应用 编程语言 安全 密码学 AI 存储 其他

MGF 手动引导模糊测试：一份新手指南

本文介绍了手动引导模糊测试（MGF）在智能合约安全中的应用，MGF通过定义特定的测试流程和不变量，有针对性地检测漏洞，文章还对比了Wake MGF 与 Foundry 的模糊测试和不变量测试，并提供了使用Wake框架进行MGF的具体步骤和代码示例，展示了如何初始化合约、定义流程、处理 revert，定义不变量以及运行测试。
模糊测试  智能合约  漏洞检测  Wake框架  手动引导模糊测试  Solidity 
  • Ackee
  • 发布于 18小时前
  • 阅读 ( 84 )
  • ( 4 )

Bitchat，开门，我是 Cashu！

文章介绍了 Jack Dorsey 发布的应用 Bitchat，以及 Calle 如何将 Cashu 协议集成到 Bitchat 的 Android 版本中，Cashu 是一种大卫·乔姆式的电子现金支付协议，允许用户使用不记名 Token 来转移资金。Bitchat 和 Cashu 的结合，为匿名、离线比特币支付提供了一个有前景的工具。
Bitchat  Cashu  E-cash  离线支付  蓝牙网状网络  Noise 协议 

如何使用 Across 桥接到 Solana（分步指南）

本文介绍了如何使用 Across Protocol 在以太坊及其他 EVM 链和 Solana 之间快速安全地桥接 USDC。
Solana  跨链桥  USDC  Across Protocol  DeFi  EVM 
  • across
  • 发布于 1天前
  • 阅读 ( 76 )
  • ( 4 )

Aptos Move 实操：如何用 Tables 构建一个链上房产管理系统

in  Aptos
AptosMove实操：如何用Tables构建一个链上房产管理系统Aptos独特的数据存储模型为其生态应用提供了坚实基础，而Table功能正是其中高效管理链上数据的关键。本文将通过一个完整的链上房产管理系统，深入探讨如何在AptosMove中利用Table实现去中心化应用的
Aptos 

BlockThreat - 2025年第36周

本周发生了多起安全事件，总计损失超过2600万美元，其中Bunni和Venus用户遭受的损失最为严重。Venus Protocol通过快速响应和治理措施，成功追回被盗资金。此外，Justin Sun因涉嫌市场操纵被 World Liberty Financial 列入黑名单。文章还包括了其他安全事件、犯罪活动、网络钓鱼攻击以及恶意软件的报告。
Bunni  venus  OlaXBT  Nemo  Justin Sun  WLFI  漏洞  黑客  钓鱼攻击  恶意软件 

比特币的基于手续费的安全性

本文深入探讨了比特币的基于手续费的安全模型，讨论了随着区块奖励减少，51%攻击的可能性及其影响。文章还评估了诸如长尾发行、滞期费和减少区块空间等潜在解决方案，并分析了它们的优缺点及其对维持比特币核心原则的影响。最后，作者认为，随着比特币挖矿与能源基础设施的融合，对手续费安全的担忧将减轻。
比特币  手续费  51%攻击  长尾释放  滞期费  区块空间 

Flashblocks深度解析：我们如何使Base速度提升10倍

本文介绍了Base链通过引入Flashblocks技术，将区块时间从2秒缩短到200毫秒，实现了亚秒级的交易预确认。文章详细阐述了Flashblocks的原理、sequencer架构的演变，以及交易在Base主网上的生命周期，并深入探讨了为确保系统可靠性和性能所做的优化措施，例如启用构建器故障转移、优化状态根计算等。
Base链  Flashblocks  Rollup-Boost  op-rbuilder  交易预确认  sequencer  节点架构 

ZKsync V29 版本发布审计

本次审计主要关注了matter-labs/era-contracts仓库，重点审查了“减少互操作性”和“快速最终确定性”两个新特性。审计范围包括L1和系统合约，以及对代码质量、潜在安全风险和gas优化等方面的分析，发现了包括高危漏洞在内的多个问题，并提供了相应的改进建议。审计团队与Matter Labs团队保持了积极沟通，问题已在后续提交中得到解决。
ZKChain  互操作性  快速最终确定性  Bootloader  合约审计  安全性  预提交 

Aptos Move实战：5分钟掌握链上向量（Vector）核心操作

in  Aptos
AptosMove实战：5分钟掌握链上向量（Vector）核心操作想快速开发Aptos上的智能合约？首先你必须掌握Move语言的核心数据结构。**向量（Vector）**作为最基础且常用的动态数组，其概念类似于其他编程语言中的数组（Array）或列表（List），其操作的熟练度直接
Aptos 

绕过代码完整性检查以在本地后门植入Signal、1Password、Slack等应用

文章揭示了Electron应用中一个名为CVE-2025-55305的漏洞，该漏洞允许攻击者通过篡改V8堆快照文件，绕过代码完整性检查，从而在Signal、1Password、Slack和Chrome等应用中植入后门。尽管Electron提供了完整性检查机制，但默认未启用，且未能覆盖V8堆快照，使得攻击者能够利用此漏洞实现持久性的隐蔽攻击。
Electron  CVE-2025-55305  V8堆快照  代码完整性检查  后门  漏洞 

区块链取证：归因技术与开源情报的作用

本文深入探讨了区块链取证中的归因技术以及开源情报（OSINT）的关键作用。文章详细介绍了通过交易模式、基础设施、跨链行为和行为模式进行钱包归因的方法，并强调了OSINT在连接区块链地址与现实世界实体方面的重要性，包括利用社交媒体、域名记录、开发者仓库等多种信息源来识别和追踪恶意行为者。文章旨在帮助调查人员更好地利用链上数据和外部信息，从而更有效地打击加密货币领域的欺诈和非法活动。
区块链取证  钱包归因  开源情报  OSINT  跨链分析  交易追踪 

Web3中的DNS安全：攻击与监控设置解析

本文深入探讨了Web3领域中DNS安全的重要性，详细分析了域名劫持的各种攻击手段和实际案例，并针对Web3的特殊性，提出了相应的安全配置和监控建议，强调了加强域名安全对于防止资产损失和维护项目声誉的关键作用。
DNS劫持  web3安全  域名安全  社会工程学  域名注册商  域名服务器