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.
もっと見る
