欧盟的加密资产市场监管(MiCA)已经生效,对在欧洲运营的加密项目提出了更高的安全要求。文章详细解读了MiCA对加密资产服务提供商(CASP)在信息通信技术安全、网络安全标准、智能合约安全以及反洗钱/了解你的客户(AML/KYC)等方面的具体要求,并提供了实用的安全准备路线图,旨在帮助企业更好地适应新的监管环境,抓住机遇。
本文深入解析了Uniswap v4的四种互换类型:zeroToOne、oneToZero、exactInputForOutput和exactOutputForInput。
文章深入探讨了个人AI代理(如OpenClaw)的安全风险,并提供了一种结构化的红队评估方法。文章揭示了AI代理如何因信任边界崩溃、语言有效载荷、自主执行和供应链风险而构成新的攻击面,并详细介绍了Vectra AI和Cisco发现的实际攻击场景。此外,文章还提供缓解措施和安全加固清单,旨在帮助企业安全地部署和管理AI代理。
本文深入分析了以太坊智能合约可升级性的四种主要模式:透明代理、UUPS、信标代理和钻石标准,探讨了它们各自的EVM底层机制、存储布局管理和安全隐患。文章还回顾了2025年的学术研究,强调了升级机制的复杂性可能掩盖系统性风险,并探讨了如何利用AI辅助审计来提升安全性。最后,文章还讨论了升级合约的审计成本,并提供了常见问题解答,帮助读者更好地理解智能合约代理模式和升级安全性。
本文深入探讨了Uniswap V3中Q64.96定点数的工作原理、重要性及其在Solidity智能合约中的应用。文章详细解释了如何表示和使用Q64.96数字,强调了溢出、精度损失和类型混淆等常见陷阱,并提供了使用FullMath和FixedPoint96库进行安全编码的最佳实践,最后介绍了模糊测试和形式化验证等高级测试策略以确保安全性。
本文总结了Solana链上程序开发的五大安全隐患,包括:缺少签名者检查、账户所有权未验证、不安全的跨程序调用(CPI)模式、计算中的整数溢出以及PDA种子冲突。
本文深入解析了Hyperliquid的架构,重点介绍了HyperBFT共识算法,以及HyperCore和HyperEVM两个引擎的职责划分。HyperCore是专为高速交易设计的金融引擎,负责订单撮合、清算等核心功能,而HyperEVM则提供了一个无需许可的智能合约环境,允许开发者构建各种应用,如借贷、拍卖和稳定币等,同时保障底层金融系统的安全与稳定。
本文深入探讨了跨链桥的安全问题,分析了导致多起重大桥被黑事件的关键因素,并提供了一个全面的安全检查清单,涵盖架构、消息传递、资产转移、预言机、经济安全、紧急机制和链特定考虑等方面,旨在帮助开发者和审计人员构建更安全的跨链桥。
本文是Uniswap Hook Incubator Cohort 2课程中,学生关于Uniswap v4 Hooks提出的问题及导师Haardik的解答。内容涵盖了hooks的功能、恶意hooks的处理、不同类型的hooks、token transfer管理、LP收益与无常损失、hooks的同步/异步性质、地址挖掘、以及与价格查询、解锁调用等相关的问题。
这篇文章从安全角度对比了Solidity、Rust (Solana) 和 Move (Aptos/Sui) 三种 Layer 1 区块链编程语言的架构、资产模型、重入攻击防范、访问控制及升级模式。它深入探讨了这些语言在安全性、性能和开发者复杂性之间的权衡,并强调 Move 的资源导向编程在防止漏洞方面的优势。