Wolfgang Grieskamp
@wgrieskamp
Followers
40K
Following
4K
Media
37
Statuses
551
@aptoslabs. Head of Move language and tools. Formerly Meta, Google, and Microsoft Research
Seattle, WA
Joined April 2011
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"?.
8
17
43
RT @Aptos: The Aptos Move 2 All Stars have been stacking Ws, breaking records, and locking in Hall of Fame status 🏆🏀. ✅ Network milestones….
0
101
0
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.
3
3
13
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
9
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 would give you for free ;). This is a perfect use case for linear types.
1
4
12
RT @wgrieskamp: @moon_shiesty Decompiled Move bytecode is quite readable. There is more work needed to prettify it which happens in an upco….
0
1
0
RT @ASHAWONN: when some people I talk to say “yeah tech doesn’t matter though” I immediately know we are never going to be aligned.
0
9
0
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
RT @wgrieskamp: @gakonst The problem isn't just the language, it's the VM. Without the concept of verified bytecode you find in the Move pl….
0
1
0
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
17
39
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").
im here to tell you generalized scheduled transactions are the best idea the @Aptos team has cooked up. first good new idea ive seen in the L1 space in a while
1
5
31
RT @runtian_z: Excited to introduce Dynamic Script Composer in our TypeScript SDK! Build complex Aptos transactions that chains multiple op….
0
3
0
PS. You find links to technical blogs and material about those features in this overview article.
0
0
7