February 28, 2025
Formal Verification in Move: Verifying Programs with Loops
In this post, we focus on the verification of programs with loops.
Read More
Categories
Research
Announcements
Partnerships
Testnet
Tech Deep Dives
Tutorials
Search by Keyword
Search by Keyword
February 28, 2025
Formal Verification in Move: Verifying Programs with Loops
February 7, 2025
Formal Verification in Move: Determining When Functions Abort
December 20, 2024
Movement's Rising DePIN Apps
October 30, 2024
Movement: A Powerup for Blockchain Games
Research
October 29, 2024
Move: The Best Language for Smart Contracts
Announcements
October 10, 2024
Announcing: Battle of Olympus Winners!
Research
September 17, 2024
All you need is DAG* (for Sequencing)
Research
September 2, 2024
Exploring Postconfirmations to Improve L2 UX
Research
August 23, 2024
Security & Fast-Finality Settlement
1
2
3
Next
