Asymptotic
@AsymptoticTech
Asymptotically verifying all software infrastructure
Audit & Formal Verification Partner of Sui Foundation
Joined August 2024
53 Following 978 Followers
great to see the Sui Move Prover help keep 💧 protocols secure
@SuiNetwork @EvanWeb3 @EmanAbio @SuiNetwork_VN @SuiNetwork_TR @SuiNetworkNG @suidevelopers @WalrusProtocol @DeepBookonSui we ran Sui Move Prover against 1,726 lines of Move across 25 structs and 62 functions.
Show more
