🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

x.com/i/article/1907…

Scheduled transactions is one of the cool features which are enabled by function values and safe dynamic dispatch, as described in AIP-112. Seeing a lot more interesting stuff coming based on them, up to the point of a truly asynchronous programming model for Move ("Async Move")

The global trading engine needs top-notch ways to ensure security and correctness of Move contracts. The Move team isn't sleeping on that one. Groundbreaking tech like the Move Prover is augmented by the Mutation Tester for Move. More is coming.

Georgios Konstantopoulos The problem isn't just the language, it's the VM. Without the concept of verified bytecode you find in the Move platform, creating or even modifying a language and compiler is extremely risky, and I doubt anybody in the Eth system will dare for it (look at Vyper, e.g.).

when some people I talk to say “yeah tech doesn’t matter though” I immediately know we are never going to be aligned

The solution for Move is decompilation, which Aptos first added beginning of '24. The real source of truth is the Move bytecode. A registry should be build on top of the blockchain state. Aptos uploads all info of a package to chain (sources at deployment, Move.toml, etc.).

moon shiesty Decompiled Move bytecode is quite readable. There is more work needed to prettify it which happens in an upcoming new decompiler we are working on. We also made some experiment with AI, for example, giving it Move code with `arg1`, `arg2`, etc. locals, and asking 'find

Welcome to Move, a perfect use case for linear types in smart contracts.

Technology and developer experience will sustain.

Etherscan is a centralized technology and vulnerable to hacks. It’s a weak approach to ensure the right code is run. Furthermore, EVM bytecode is completely obfuscated. Only Move bytecode with decompilation can give 100% verification.

Code loading in a multi-tenant system like a blockchain is a major performance bottleneck. Our nextgen loader makes it significantly faster.

Maps are one of the most commonly used data structures in Move. High performance of maps is both crucial for throughput and gas costs. The new map types are a significant step forward. The best thing: completely implemented in Move, with help of new high-perf vector primitives.

Happy Easter!

Help Aptos Labs to secure the global trading engine.

The Aptos Move 2 All Stars have been stacking Ws, breaking records, and locking in Hall of Fame status 🏆🏀 ✅ Network milestones ✅ Core logic upgrades with Move Madness ✅ System upgrades en route 👀 ICYMI, check out the highlight reel 🧵

Was great to talk at #FMBC this year. Formal verification is a perfect match for smart contracts, but we also know there are adoption problems, which we are resolved to attack for Aptos .