$850M+ TVL secured by us on Sui
Security Audits for Sui Move via Formal Verification
Audit Partners of the Sui Foundation. Trusted security audits. The only Formal Verification provider on Sui.
Services
The Rigorous Approach
to Sui Smart Contract Security
Smart Contract Audit
Thorough security assessment, blending expert manual reviews with selective formal verification in high-risk areas. For projects seeking robust protection without full mathematical proofs.
- Line-by-line code review
- Attack vector analysis
- Business logic review
- Limited formal verification of key properties
Deliverables:
- Detailed audit report with severity ratings
- Issue remediation tracking
- On-chain attestation of audit*
Projects we've audited
See all
Comprehensive Formal Verification
Asymptotically approaching perfect Move code security. Mathematically prove that your security invariants hold. Aimed at high-stakes DeFi or protocol deployments.
- High-level protocol properties
- Individual function correctness
- Critical invariants identification
- Edge case behaviour analysis
Deliverables:
- Executable specifications
- Lean proofs where needed
- Plain-English property summaries
- On-chain attestations for all specs*
Projects
See all
PARTNERSHIP
Asymptotic Security
Partnership
Re-audit/re-verify code changes
- Code audits and verification stay up to date.
- MVR attestation of your latest package version.
Code design and spec guidance
- Guidance on making your code safer and easier to verify.
- Hands-on support for your devs using the Sui Prover.
Security triage & incident response
- Immediate expert support if security issues arise.
- Timezone-distributed team familiar with your code.
Early access to our ProofAgent platform
- AI agent specialized for Move code & specs.
- We handle your CI for specs, and help maintain the specs.
Asymptotic Security Partners
See allStats
Proven Security Across
Sui Network
50+
Significant vulnerabilities found *
200+
Formally verified public functions
$850M+
TVL secured
