'/%3e%3cpath%20d='M4%206L17%206L23%2016L17%2022L4%206Z'%20fill='url(%23g)'/%3e%3cpath%20d='M4%206L17%206L20.2%2011.3L15.6%209.9L4%206Z'%20fill='%23fff'%20opacity='0.28'/%3e%3cpath%20d='M44%206H31L19%2024V44H28V26L44%206Z'%20fill='url(%23b)'/%3e%3cpath%20d='M44%206H31L19%2024V44H28V26L44%206Z'%20fill='url(%23g)'/%3e%3cpath%20d='M44%206H31L20.4%2021.8L23.2%2022.9L34.2%208.6H41.6L44%206Z'%20fill='%23fff'%20opacity='0.26'/%3e%3c/svg%3e)
← Theory library
Aptos & Core Move theory
Resource-oriented programming, Move Prover formal verification, and Block-STM.
Practise in the Code Lab →Easy
Medium
Hard
- 5. The Move Prover (Formal Verification)Proving mathematical correctness of smart contracts.
- 8. Smart Tables and Large Collections in AptosScalable dynamic hashing collections.
- 9. Aptos Object ModelExtending Move with composable on-chain objects.
- 10. Capstone: Production Move ProtocolBuilding an end-to-end verified Move protocol.