nowarp
Professional contract audits and security tooling for TON smart contracts
Security Tools
Misti
Static analyzer that finds security vulnerabilities, TON-specific pitfalls, and optimization opportunities in smart contracts. Fully automatic, open-source, and extensible for third-party security researchers. Learn how it works and try it yourself...
Scanner
Web-interface to the demo version of mass-scan that runs code analysis over contracts publicly available on verifier.ton.org and GitHub. Only a couple of these contracts are displayed - manually verified projects that don't contain any vulnerabilities. Try the scanner...
Smart Contract Audits
Professional security assessment for TON smart contracts through rigorous manual review and formal specification/verification when needed.
Approach
- Small experienced technical team
- Clear communication and formalized processes
- We only accept projects we can thoroughly verify
- Once engaged, we support you through all stages