Opinion by: Alex Nguyen, CEO at VibrantX
The Move programming language’s origin is not super cypherpunk. Facebook (now Meta) created Move after the Libra/Diem team compared major smart contract languages (Bitcoin Script, Ethereum Virtual Machine bytecode languages) and decided their formidable in-house tech talent could make a new language built on years of private and public sector research.
The original team, including founders Mo Shaikh, Avery Ching, and their engineering team, left Facebook to continue as a fully independent, open-source project headed up by Aptos Labs and supported by the Aptos Foundation.
Importantly, Meta’s failed Libra experiment left us with a programming language specifically designed for crypto finance. Move on Aptos is now open-source, and the Aptos Foundation is a commercially driven organization that welcomes builders from all backgrounds.
Move is now the best programming language for verifying the absence of bugs and checking for modifications and leaks, which is how most blockchains get hacked.
This verification relies on two key features of Move on Aptos: (1) “backward compatibility” and (2) the concept of an “auditor at runtime.”
Backward compatibility means future-proofing
Move on Aptos is fast and cheap, creating a competitive user experience, especially for decentralized finance (DeFi) applications. Aptos aims for a high transaction throughput, with theoretical capabilities reaching up to 160,000 transactions per second (TPS) through its parallel execution engine, Block-STM.
Aptos’ sub-second finality means transactions are confirmed quickly, enhancing the user experience in time-sensitive applications.
To be fair, other chains also have these qualities. Move on Aptos is, however, designed to be “backward-compatible.”
Future upgrades won’t disrupt existing projects. This helps developers feel more confident building long-term solutions without worrying about things breaking because of a Move upgrade.
Move smart contracts are designed to be upgradeable without affecting the user experience, which is essential for mainstream adoption. This enables teams to implement bug fixes and new features with zero disruption.
Smart contract flexibility through Move on Aptos’ specific security features results in better and faster product shipping. Being more flexible, Move on Aptos can quickly adapt to support new ecosystems.
“Bytecode” verification prevents leaks
Solidity contract hacks have been prevalent over the years. When building Web3 technology for markets worth billions or even trillions of dollars, it’s crucial to have a security system that will protect projects from resource leaks, invalid memory access and other unauthorized modifications.
As it was initially developed for Meta’s Diem project, Move is designed for safety, resource management and performance, making it attractive for developers looking for a secure yet robust language for smart contracts.
When deploying code using Move, the code will be verified across several crucial coding conditions like proper resource management, type correctness and reference safety. No matter what happens to the code, it will be verified first to prevent any faulty or malicious smart contracts from running.
This is the power of Move’s built-in bytecode verification.
Real-time verification of the absence of bugs
Renowned computer science pioneer Edsger Dijkstra noted, “Program testing can be used to show the presence of bugs, but never to show their absence!”
Move’s formal verification capabilities let developers actually prove that there are no bugs in specific code according to preset specifications.
MoveVM is less battle-tested than Ethereum’s virtual machine, but as Rushi Manche, founder of Movement Labs, has explained, Move requires much less code auditing. The MoveVM runtime can act as an “auditor at runtime.”
The verifier inside the MoveVM ensures that the transaction code is not harmful and that it cannot create, duplicate or destroy resources not allowed by the signer(s) of the transaction. In other words, MoveVM is an “auditor at runtime” rather than a human smart contract auditor.
Today, Move on Aptos is more than just a smart contract language. Move on Aptos is the longest-standing, most recognized and widely used version of Move, boasting one of the fastest-growing developer communities and a rapidly growing ecosystem of infrastructure, tooling and projects.
Quickly verifying code before deployment created the conditions for the Move on Aptos ecosystem. From a flawed Web2 beginning, Move is now primed to grow DeFi.
Opinion by: Alex Nguyen, CEO at VibrantX.
This article is for general information purposes and is not intended to be and should not be taken as legal or investment advice. The views, thoughts, and opinions expressed here are the author’s alone and do not necessarily reflect or represent the views and opinions of Cointelegraph.
