Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

09:00 - 09:15 Move开发者峰会介绍

09:15 - 10:10 Move on Sui - Sam Blackshear

10:10 - 11:05 Move on Aptos - Wolfgang Grieskamp

11:05 - 12:00 Move on Layer2 - Jolestar

13:30 - 14:20 Fast and Reliable Formal Verification of Smart Contracts with the Move Prover - Meng Xu

14:20 - 15:00 Move Prover 的使用技巧 - Xudong Wang

15:00 - 15:40 Building security vetting tools for next generation web3 infrastructure - Herbert

15:40 - 16:20 Move 安全编程要点 - Jun Zhao + Yi Lu

...