Move DevConf China 2022
- jolestar
- Joe Chen
- 0xyilu
Time: 2022-10-27～2022-10-28 (Thursday, Friday) UTC+8
Format: online meeting, online live broadcast
Organizer: MovefunsDAO, MoveBit, AptosGlobal, SuiWorld, 7UpDAO
Developer Community: MoveFuns, Rust Chinese Community, High Availability Architecture, NonceGeek, MoveMove, BuilderDAO, 7UpDao, MoveChina, MoveDAO
Support Agency: Westar Labs, Mysten Labs, Aptos Labs, Huobi ventures & Incubator, Bixin Ventures
Schedule
Tracks | Speaker | Speaker Introduction | Topic | Topic Introduction | time |
|
|
| Introducing the Move DevConf China 2022 |
| 09:00 - 09:15 |
Keynote Speech(10-27 am) | Sam Blackshear | Sam is the co-founder and CTO of Mysten Labs and the creator of the Move smart contract language. Sam is a a researcher and engineer specializing in programming language design, program verification, and developer tools. Prior to co-founding Mysten Labs, Sam was a Principal Engineer at Facebook working on the Move language, the Diem blockchain, and the Infer static analyzer. He earned PhD in programming languages from the University of Colorado at Boulder with a thesis on flexible goal-direct abstract interpretation. | Move on Sui | Sui Move marries the core Move language with an object-centric data model for transactions. In this talk, I will describe Sui Move and explain how it enables scalable transaction processing, empowers Move programmers with expressive new primitives, and unlocks safer wallets. | 09:15 - 10:10 |
Wolfgang Grieskamp | Dr. Wolfgang Grieskamp received a PhD in Programming Languages and Systems from TU Berlin in 1999. Author of over 100 peer-reviewed articles, his career is dedicated to research and incubation, working for companies like Microsoft, Google, and Meta. Wolfgang joined the Libra team in 2019 to develop the Move prover and specification language, a highly rewarded formal verification approach. Today he is leading the Move team at Aptos, as well as coordinating the Move community discussions. | Move on Aptos | Aptos is a public layer 1 blockchain based on classic Move. This talk will explore the architecture of Aptos and how Move is used to power the blockchain. We will cover aspects of programmibility, scalability, and security. Moreover, we will discuss directions for future improvements of the Move language and ecosystem. | 10:10 - 11:05 | |
Jolestar | Chief Architect at Starcoin/Westar Labs & MoveFunsDAO Initiator | Move on Layer2 | 主要介绍：
| 11:05 - 12:00 | |
Move Security(10-27 pm) | Meng Xu | Meng Xu is an Assistant Professor in the Cheriton School of Computer Science at the University of Waterloo, Canada. His research is in the area of system and software security, with a focus on delivering high-quality solutions to practical security programs, especially in finding and patching vulnerabilities in critical computer systems. This usually includes research and development of automated program analysis / testing / verification tools that facilitate the security reasoning of critical programs. | Fast and Reliable Formal Verification of Smart Contracts with the Move Prover | The Move Prover (MVP) is a formal verifier for smart contracts written In the Move programming language. MVP has an expressive specification language, and is fast and reliable enough that it can be run routinely by developers and in integration testing. Besides the simplicity of smart contracts and the Move language, three implementation approaches are responsible for the practicality of MVP: (1) an alias-free memory model, (2) fine-grained invariant checking, and (3) monomorphization. The entirety of the Move code for the Diem blockchain has been extensively specified and can be completely verified by MVP in a few minutes. Changes in the Diem framework must be successfully verified before being integrated into the open source repository on GitHub. |
|
Xudong Wang | Xudong Wang co-founded MoveBit. He is a researcher focusing on formal verification and static program analysis. | Tips for using Move Prover |
|
| |
Herbert | MetaSecureLabs.io founder, 10+ security and infra building exp., full professor at CS of UCAS, xByteDancer, xIBM. Now building secure infra, zk-link3, to bridge the different infra projects in web3. Also, MetaSecureLabs.io helps the community build security vetting tools for project based on Golang and Rust, including APTOS, EF, Solanna and etc. | Building security vetting tools for next generation web3 infrastructure |
|
| |
| Jun Zhao + Yi Lu | MoveBit | Move Safe Programming Essentials |
|
|
Move Project Show |
|
|
|
|
|
Move Core(10-28 pm) | Runtian Zhou | Aptos/Move core developer, former Libra/Diem core developer | Move Core Security - What Makes Move Different? | Explore how Move is different from other programming languages from a security perspective, and dive into Move's technology stack to show how the security properties are implemented. |
|
Greg Zhu | Greg Zhu (@guangyuz) Co-Founder of zkMove (zkMove ). Former core developer of Starcoin. Before that, worked at Intel and Alibaba for many years, mainly engaged in the development and optimization of programming language virtual machines and system software. | Move and ZKP | Move and ZKP are two of the most talked about areas today. When Move and ZKP are put together, what kind of chemistry will happen? Today I will talk about the technical challenges of ZKMove and the opportunities it brings to us, in the context of my recent years of practice in Move and ZKP. |
| |
Owen Wu | Owen Wu, Full-Stack Developer, MoveFunsDAO Developer. Being good at R&D of blockchain applications and peripheral tools of smart contracts. Participating open source projects are: Starcoin DAOSpace, starcoin-ide and move-js. | How to implement compiling the Move contract in the browser? |
|
| |
| Wiger | 曾工作于 Celestia 团队 | Smooth: 基于 Move 的 QoS 并发式模块化公链 |
|
|
Move Tutorial(10-28 pm) | Bo | Aptos/Aptos Labs | Tokens and NFTs tutorial on Aptos |
|
|
damir | Sui/Mystem Labs, Move book author | Move tutorial on Sui |
|
| |
icodezjb | OmniBTC,ComingChat首席区块链工程师 | Aptos/Sui Move的差异 |
|
| |
| 李大狗(leeduckgo) |
|
Move-based DID 的可能性探讨 | Move 中的单元测试和集成测试 |
|
| AIVE 不霁何虹 |
| 如何测试 Move 的合约？ |
|
|
| Tony | Tony 是 Infinity Venture Crypto 的 Research partner，二十多年的资深开发，最早在Take2，Sony PlayStation 和 Nintendo，最近五年一直在crypto行业做一些 R&D | From solidity to move, why and how | 介绍一下作为一个老evm开发者，如何看待move，以及为什么我觉得要拥抱move来进行dapp的开发 |
|
| Pause | MoveFunsDAO 开发者。擅长 Move 以及 Rust 开发。starcoin-framework 贡献者。 | Move 合约中常用的编程模式 | 通过示例介绍 Move 合约中常用的编程模式及其应用场景 |
|
| 廖师虎 | 技术和区块链爱好者 | Sui基于对象的共识和编程范式 | Sui对象的种类及存储 |
|
|
|
|
|
|
|
Move Project Show |
|
|
|
|
|
|
|
|
|
|
Tracks
Keynote Speech
Share around topics related to the Move language
Audience: Move developers, pan-blockchain and smart contract developers, Web3 technology enthusiasts, blockchain investors
Duration: 45 minutes
Move Core
Share the Move language and the implementation inside the virtual machine
Audience: Senior Move developers, Rust developers, language design developers/hobbyists
Duration: 45 minutes
Move Security
Share the safe design of Move language, including Move Prover, and safe programming practices
Audience: Move developers, blockchain security developers, language design developers/hobbyists
Duration: 45 minutes
Move Tutorial
Share the programming practice and cases of Move language
Audience: Move developers, smart contract developers
Duration: 20 to 45 minutes
Move Project Show
Share the Move language project (requires test trial or open source)
Audience: Move developers, blockchain investors
Duration: 10 minutes
Call for topics for the 2022 Move Developer Summit