Gmove. Excited to join Movement and chart new ground. Movement, like any ambitious project, has its complexities. But it also has the right ingredients: a global community and best-in-class Move stack. So what do I bring? Credible, high quality financial assets

End to end architecture - Zaptos🪄 BFT consensus - Raptr 🦅 Execution- BlockSTM v2 📈 Aptos tech is years ahead!

We just started the last technical session of #FMBC with a talk of franck cassez which presents his work on "ByteSpector: A Verifying Disassembler for EVM Bytecode"

There has been a LOT of FUD about Movement lately. Seems like every day, there is some new negative revelation. In all of negativity and uncertainty, it's almost important to share positive experiences. As a cornucopia depositor, I had several issues regarding my LP once

A few weeks ago I attended #FMBC25 at #ETAPS, Toronto, and had the opportunity to present Bytespector, a tool for disassembling EVM bytecode and build #dafny "proof objects" that you can formally verify. The paper is available at drops.dagstuhl.de/entities/docum… and the code is in this

🎉 Just formally verified the `checked_shlw` function from Cetus🐳 using Dafny! Code is at github.com/franck44/dafny… A small but meaningful step toward building safer and verifiable Move smart contracts. If we want to see more of this we may encourage "proof bounties" and

The `integer_mate::math_256` library from Cetus🐳 that was exploited for USD230, with the fix now formally verified with the Aptos Move Prover in this fork github.com/franck44/integ… The Movement Movement Aptos Cetus🐳

Move Industries will be at Berlin Blockchain Week 🐻➡️ June 7-22, 2025! Movement has been REFORGED. What's next? Come find out! 📆 June 17 from 2pm-8pm 🔗 lu.ma/8jun3j15

News: @dasyoungy is joining us as CTO! Since March, Young has led engineering at Movement Labs. He was previously at Aptos and Meta. At Meta, he was on the OG team that fine-tuned Move. More on this legend 👇

TEEs, ZKPs, SMCs, and the future of blockchain infrastructure, all packed into the 3rd TUM Blockchain & Cybersecurity Salon, which sparked some serious insights. This time, several TUM alumni who’ve gone full-time returned as founders & researchers to share their work. 🧵

June was a huge! Let's recap a big month for Movement 👇

The call for decentralization of rollup sequencers is justified. But imo it is a call for properties and guarantees associated with decentralization (eg censorship resistance, verifiability, liveness, equivocation). It is possible to achieve these guarantees by other means.

🇺🇸American Made Crypto🇺🇸 My first impressions on the Clarity Act passing the House today 🦅 Looking forward to exploring more and better understanding the bill! Either way, a massive step forward for the country, and for our industry Thank you French Hill for sponsoring