本文深入探讨了Uniswap v4协议的安全性，重点分析了其创新功能如集中流动性、Hook合约和闪电会计背后的潜在安全挑战。通过全面的威胁建模，作者识别并评估了可能的攻击向量及其风险，并介绍了协议的安全保障机制。
Rekt Test 是由 Web3 安全专家创建的，旨在帮助区块链开发者客观评估其安全状况和衡量进展的简单测试，该测试通过12个问题，涵盖了角色权限文档、外部依赖文档、事件响应计划、攻击方式记录、身份验证、安全负责人、硬件密钥、密钥管理、不变量测试、自动化工具、外部审计与漏洞披露、用户滥用防范等方面。旨在促进区块链社区对安全问题的有意义的讨论。
本文概述了Web3构建者、开发人员和安全团队在设计、开发和维护安全智能合约系统时必须考虑的核心安全基本原则。文章提出了一个框架，讨论了贯穿软件开发生命周期的八个核心安全考量类别，从威胁建模到应急响应准备，强调安全应该是成功开发的组成部分，而不是事后才考虑的附加组件。
Certora
Trail of Bits
a16z Crypto