Explore the latest upgrades to Sherlock Audit Engine: Self-serve reviews, frontier model access, and expanded review controls.
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.
Maintaining numerical integrity is essential to protocol security. Without bounded and validated operations, protocols lose system assurance and expose themselves to silent failures that corrupt state, halt execution, or distort incentives. Robust arithmetic is not an optimization detail - it’s a core requirement for trustworthy DeFi.
Sherlock is a smart contract security partner that unites audits, contests, bug bounties, and coverage into one model. Learn how we protect protocols from first launch through growth, and why continuous security is the foundation for the next era of onchain systems.
Sherlock AI discovered a Critical vulnerability affecting $2,400,000 in a live lending protocol. This is the first known instance of an AI uncovering a multi-million-dollar bug on mainnet.
Sherlock AI is an auditing assistant that helps teams catch vulnerabilities early, streamline audits, and ship smart contracts with confidence.
Solutions by team
Financial institutions
Protocols & infrastructure
Security products
Collaborative audits
Audit contests
Audit Engine
Bug bounties
OPSEC
Pentesting
24/7 Managed Detection and Response
Research
Security research and technical analysis.
Learn
Blog
News & updates
Sherlock Docs
About Sherlock
Who we are and how we work.
Company
Case studies
Trust & Security
Brand Kit
For researchers
Audit Engine Platform
Audit reports
Active Bug Bounties
Leaderboards
Resources
Discord
Report an issue
Security research, product updates, and perspectives from Sherlock.
FEATURED RESEARCH
October 21, 2026
Sherlock Academy
December 1, 2026
News & Updates
September 28, 2026
August 31, 2026
August 19, 2026
Sherlock Research
July 14, 2026
May 5, 2026
April 30, 2026
April 9, 2026
April 8, 2026
April 6, 2026
March 31, 2026
March 30, 2026
March 25, 2026
March 23, 2026
March 19, 2026
March 16, 2026
March 11, 2026
March 10, 2026
March 5, 2026
March 4, 2026
March 3, 2026
February 26, 2026
February 18, 2026
February 17, 2026
February 12, 2026
Case Studies
February 9, 2026
February 3, 2026
January 29, 2026
January 23, 2026
January 22, 2026
January 21, 2026
January 17, 2026
January 14, 2026
January 13, 2026
January 8, 2026
January 6, 2026
January 5, 2026
December 31, 2025
December 30, 2025
December 19, 2025
December 17, 2025
December 16, 2025
December 5, 2025
December 3, 2025
November 21, 2025
November 14, 2025
November 13, 2025
November 10, 2025
November 5, 2025
November 3, 2025
October 31, 2025
October 29, 2025
October 21, 2025
October 15, 2025
October 9, 2025
October 6, 2025
October 1, 2025
September 22, 2025
September 17, 2025
August 29, 2025
July 30, 2025
July 14, 2025
February 28, 2024
February 19, 2024
February 1, 2024
No articles match your search. Try another word or category.