High assurance means that security is a part of system design and is not an afterthought.
10 Jan 2024, 01:03
High assurance means that security is a part of system design and is not an afterthought.
A multi-org security team ( @osec_io , @MoveBit_ , and @AptosLabs ) formally verified the Aptos Framework (i.e., core functionality for Aptos developers). They jointly identified potential…