Asymptotic provides security audits for Sui Move smart contracts that combine manual code review with formal verification using Lean theorem‑prover proofs. Clients receive detailed reports, on‑chain attestations of verified properties, and optional continuous specification management via the AI‑driven ProofAgent platform.
Funding
Funding not disclosed
Founders
Product
Problem
Developers of Sui Move smart contracts often rely on manual code reviews, which can miss subtle bugs and security flaws, especially in high‑value DeFi and protocol deployments. Without mathematically proven guarantees, contracts are vulnerable to exploits that can lead to significant financial loss.
Solution
Asymptotic offers a rigorous security service for Sui Move contracts that combines expert manual audits with formal verification. The company produces executable specifications and, where needed, Lean theorem‑prover proofs that mathematically demonstrate that defined security invariants hold. Results are delivered as plain‑English summaries, detailed audit reports with severity ratings, and on‑chain attestations that publicly certify the verified properties. Ongoing partnership options include re‑auditing code changes, design guidance using the Sui Prover, and rapid incident response. Clients also gain early access to ProofAgent, an AI‑driven platform that automates continuous specification management and CI integration for Move code.
Target Audience
Primary customers are DeFi protocol teams, blockchain projects, and smart‑contract developers building high‑stakes applications on the Sui network who require provable security guarantees.
Features
- Manual line‑by‑line code review with attack‑vector and business‑logic analysis
- Selective formal verification of high‑risk functions using executable specifications
- Lean theorem‑prover proofs for critical invariants and function correctness
- Plain‑English property summaries and severity‑rated audit reports
- On‑chain attestation of audit results and verified specifications
- Re‑audit and re‑verification service for code updates with MVR attestation
- Design and specification guidance with hands‑on support for the Sui Prover
- AI‑powered ProofAgent platform for continuous spec CI and maintenance