


Asymptotic Revenue
Computer and Network Security • San Francisco, California, United States • 1-10 Employees
Asymptotic revenue & valuation
| Annual revenue | $427,775 |
| Revenue per employee | $86,000 |
| Estimated valuation?This valuation is estimated based on industry average for the Computer and Network Security industry and current estimated revenues | $1,400,000 |
| Total funding | No funding |
Key Contact at Asymptotic
Cosmin Radoi
Co-Founder
Company overview
| Headquarters | 1 Sansome St, Suite 3500, San Francisco, California 94104, US |
| Website | |
| NAICS | 518210 |
| Keywords | Blockchain, Smart Contract Auditing, Formal Software Verification, Move On Sui |
| Founded | 2024 |
| Employees | 1-10 |
About Asymptotic
We combine formal verification and generative AI to make software provably secure. As AI gets better at finding vulnerabilities, mathematical proofs of correctness are becoming essential for critical systems. We provide a white-glove formal verification auditing service for Sui smart contracts. Our approach: - Analyze customer codebases to create mathematical proofs of security - Use AI to accelerate specification writing, proof construction, and adjusting specs as code changes - Focus on real-world security properties that matter for production systems
Employees by Management Level
Total employees: 1-10
Seniority
Employees
Employees by Department
Asymptotic has 1 employees across 1 departments.
Departments
Number of employees
Funding Data
Asymptotic has never raised funding before.
Frequently asked questions
4.8
40,000 users



