Wolfgang Grieskamp
@wgrieskamp
Followers
38K
Following
4K
Media
37
Statuses
558
@aptoslabs. Head of Move language and tools. Formerly Meta, Google, and Microsoft Research
Seattle, WA
Joined April 2011
As regards reentrancy, Move 2.2 has default barriers in place. Reentrancy is allowed but cannot access reentered module state, dynamically checked at runtime.
2
0
2
Move function values can be stored on chain. This allows applications to easily and safely build dynamic dispatch tables for connected apps. In contrast to Solidity/EVM, Move upgrade rules guarantee that a dispatched function exists.
Function values provide major new powers to builders, arguably the most essential since Move 1.0 was created at Meta (and you only find them in Move on Aptos). https://t.co/s2IOoe6kZG
2
0
8
Function values provide major new powers to builders, arguably the most essential since Move 1.0 was created at Meta (and you only find them in Move on Aptos). https://t.co/s2IOoe6kZG
aptoslabs.medium.com
A new era of Move on Aptos
10
9
60
Developers move easier than ever on Aptos! Aptos Labs’ Move on Aptos Extension is now live for VS Code, Cursor, and every VS Code‑based editor. Fast, modern, and officially supported for the best builder experience. The extension is in public beta and ready to Move. 🧵
62
60
237
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 .
Great to have @wgrieskamp opening the afternoon session of #FMBC with his keynote titled "Is formal verification practical"?
20
17
47
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 🧵
119
96
408
Help @AptosLabs to secure the global trading engine.
My team is hiring a talented Application Security Engineer, position is open to remote candidates worldwide🌎 Proven experience in identifying real-world vulnerabilities is required, and coding skills will be assessed during the interview process. https://t.co/w4AF6vbkEQ
3
3
12
Will give an invited talk at FMBC'25 (Workshop for Formal Methods on Blockchains) next week at McMasters, part of ETAPS'25. Title "Is Formal Verification Practical?". Haven't decided yet about the answer🤔
3
1
10
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.
1/ Real-time DeFi needs performant data structures ⚡️ A quick introduction to the 2 latest additions to Aptos Move: → Ordered Maps for high-speed lookups & updates → Big Ordered Maps for scale and parallelism 🧵
2
4
19
Code loading in a multi-tenant system like a blockchain is a major performance bottleneck. Our nextgen loader makes it significantly faster.
1/7 Move on Aptos just got faster with Loader V2 – a major upgrade to how the Move VM loads and caches smart contract code. TL;DR: ⚡Up to 60% faster block execution ⚡Parallel Move contract upgrades 🛠️Cheaper gas coming 🧵 Let’s break it down:
0
5
8
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.
@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
2
1
10
Technology and developer experience will sustain.
Many chains focusing on hype and narrative. At @AptosLabs, we value researching & building the best products and delivering real-world utility to our customers. The global trading engine Cheapest, fastest, most scalable L1 Zaptos Block-STM / Block-STM v2 Shardines rAPTr Move 2
1
6
11
Welcome to Move, a perfect use case for linear types in smart contracts.
Welcome to the beautiful world of maintaining in your head what a https://t.co/rwER9xZqkP would give you for free ;) This is a perfect use case for linear types.
1
4
12
@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
0
1
5
when some people I talk to say “yeah tech doesn’t matter though” I immediately know we are never going to be aligned
24
9
96
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.).
has anyone solved decentralized source code verification? is the solution to just build it into consensus?
1
2
19
@gakonst 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.).
0
1
5
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.
2
16
38