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.
顯示更多
