Asymptotic
@AsymptoticTech
Asymptotically verifying all software infrastructure
Audit & Formal Verification Partner of Sui Foundation
๊ฐ์
August 2024
53 ํ๋ก์ ์ค 978 ํฌ
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.
๋ ๋ณด๊ธฐ
