A practical look at AI-assisted formal verification for onchain systems: what it can rule out, what sits outside the model, and when a proof no longer applies.
Follow these 8 steps to create a secure smart contract for launch, from writing safe code in development, to audits, and post-launch monitoring for long-term protection.
Operational security is more important than ever before as attacks become faster and more sophisticated every day.This guide outlines the critical security threats emerging for 2026 and provides actionable, no-nonsense OpSec best practices to help you stay ahead of adversaries.
Morpho Vaults V2 is a universal gateway to onchain yield. Sherlock and Blackthorn pressure-tested the system, helping Morpho ship Vaults V2 securely ahead of its September 2025 launch.
GMX Exchange Hack Explained: $42M Drained via Re-Entrancy Exploit. Written in collaboration with Blackthorn Lead Security Partner, Panprog.
Learn what smart contract auditing is, how it works, and why it’s essential for Web3 security in 2026. Explore process, tools, and best practices.
What is Formal Verification, and What Role Does It Play in Smart Contract Auditing? This post details the methodology, tools, and practical application of Formal Verification in a smart contract audit.
.png)
