Move开发者峰会

议题介绍

PPT 链接

视频链接

Jolestar

Move开发者峰会介绍

09:00 - 09:15

Sam Blackshear

https://twitter.com/b1ackd0g

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

Move on Sui - Google Slides

Open

https://youtu.be/xMsE1X4wio4

https://www.bilibili.com/video/BV1KG4y1f7U5/?share_source=copy_web&vd_source=8812fd2ef2f93029832f74f3147cdc7f

Wolfgang Grieskamp

https://twitter.com/wgrieskamp

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 programmability, scalability, and security. Moreover, we will discuss directions for future improvements of the Move language and ecosystem.

10:10 - 11:05

https://youtu.be/gvRJdJTQd8U

https://www.bilibili.com/video/BV1gG411w7Kb/?share_source=copy_web&vd_source=8812fd2ef2f93029832f74f3147cdc7f

Jolestar

https://twitter.com/jolestar

Chief Architect at Starcoin/Westar Labs & MoveFunsDAO Initiator

Move on Layer2

主要介绍：

1. Layer2 面临的难题

2. Move 给 Layer2 带来的可能

3. 如何通过 Move 构建多链的 Layer2 执行层

11:05 - 12:00

https://youtu.be/pqNb646uF8o

https://www.bilibili.com/video/BV12g411i7gv/?share_source=copy_web&vd_source=8812fd2ef2f93029832f74f3147cdc7f

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.

13:30 - 14:20

https://youtu.be/eTgMgtHrqcw

https://www.bilibili.com/video/BV1ft4y1P7DG/?share_source=copy_web&vd_source=8812fd2ef2f93029832f74f3147cdc7f

Xudong Wang

Xudong Wang co-founder@MoveBit. He is a researcher focusing on formal verification and static program analysis.

Move Prover 的使用技巧

14:20 - 15:00

https://youtu.be/DYuT_zGFttU

https://www.bilibili.com/video/BV1cd4y1c7vk/?share_source=copy_web&vd_source=8812fd2ef2f93029832f74f3147cdc7f

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.

Towards building a more secure web3 infrastructure

1. Overall web3 infra space

2. Web3 infra breach cases

3. Security vetting tools for building next generation secure and robust web3 infrastructure

15:00 - 15:40

Towards building a more secure web3 infrastructure | Move DevConf

https://www.bilibili.com/video/BV1E84y1y7nc/?share_source=copy_web&vd_source=8812fd2ef2f93029832f74f3147cdc7f

Jun Zhao + Yi Lu

MoveBit https://movectf.movebit.xyz/ https://www.movebit.xyz/

Move 安全编程要点

15:40 - 16:20

Move 安全编程要点 | Move DevConf

https://www.bilibili.com/video/BV1s841187ny/?share_source=copy_web&vd_source=8812fd2ef2f93029832f74f3147cdc7f

肖学嵩

亚马逊云科技初创生态解决方案架构师

亚马逊云科技助力web3

16:30-16:40

https://youtu.be/GTFHprK9GR4

https://www.bilibili.com/video/BV12v4y197LU/?share_source=copy_web&vd_source=8812fd2ef2f93029832f74f3147cdc7f

Ke Wen

Engineering Director，Head of DeFi at WestarLabs

StarMask

StarMask is an extension for accessing Starcoin/Aptos enabled distributed applications, or "Dapps" in your normal Chrome browser!

16:40-16:50

不提供

https://youtu.be/6BqImjq0z9o

https://www.bilibili.com/video/BV1g14y1K7uL/?share_source=copy_web&vd_source=8812fd2ef2f93029832f74f3147cdc7f

Mystic

ComingChat

ComingChat Mini-game Studio on Sui

解释为什么要在Sui上建立Mini-game Studio，以及如何实现

16:50-17:00

https://youtu.be/2n8QM8mWQl0

https://www.bilibili.com/video/BV1ZP411K7Pw/?share_source=copy_web&vd_source=8812fd2ef2f93029832f74f3147cdc7f

Ericsson

Web3GO Labs

Avault - build one-stop dapp between Move and EVM

how to build one-stop defi dapp between Move and EVM

17:00-17:10

ElementX

Starswap

Starswap is a decentralized exchange (DEX) that is deployed in a smart contract network on Starcoin & Aptos

17:10-17:15

Michael

Star Name Service

In phase 1, Star launches the omni-chain support naming service(Star Name Service), which is mainly deployed on Aptos meanwhile it will support Ethereum, Polygon, BNB Chain, and Avalanche by using LayerZero cross-chain technology. Star Name Service will serve as a decentralized ICANN to enable users to easily deploy a variety of domain names on blockchain platforms.

https://dorahacks.io/buidl/2522?roundProj=1923

sns.so

17:15-17:25

不提供

Roy

co-founder, take charge of strategy, and risk management. Previously worked at Goldman Sachs

Enchanter Finance: The 1st Social Trading AMM DEX

Enchanter Finance: The 1st Social Trading AMM DEX

17:25-17:30

未参会

fountainc

MoveScan - 生态统一的区块数据查询平台

movescan旨在打造move生态统一的区块数据查询平台 https://movescan.org/

17:30-17:35

不提供

cccavin

NFMS - First dNFT Project on Aptos

1. Team Introduction 2. What’s the background story of NFMS? 3. What is dNFT? 4. How to play with NFMS dNFT? 5. Traceable dNFT Ledger (TdL) - Metadata Manager

17:35-17:45

不提供

OceanPark

OceanPark：Aptos中的Steam

17:45-17:55

不提供

Adrian

Cetus - 可编程流动性

可编程流动性——如何一百倍你的资金利用率

17:55-18:05

李强

KIKO核心开发者

KIKO-第一个全Move的NFT元宇宙平台

KIKO是第一个建立在全Move的元宇宙经济世界，包括：兑换、流动性、农场、NFT市场、Play to earn等等。冒险者可以从任何地方出发，去探索神秘的KIKO世界，一路披荆斩棘收获战利品。

18:05-18:15

Runtian Zhou

Aptos/Move核心开发者，前Libra/Diem核心开发者

Move核心安全 — 什么让Move与众不同？

从安全的角度探索Move与别的编程语言的不同之处，并深入Move的技术栈来展示安全性质是如何被实现的。

09:00 - 09:55

https://youtu.be/JHyUlHhCbgs

https://www.bilibili.com/video/BV1D14y1H7kE/?share_source=copy_web&vd_source=8812fd2ef2f93029832f74f3147cdc7f

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.

09:55 - 10:50

https://youtu.be/JqBBV2ukJEg

https://www.bilibili.com/video/BV1JK411d7uf/?share_source=copy_web&vd_source=8812fd2ef2f93029832f74f3147cdc7f

Wiger

曾工作于 Celestia 团队
专注密码学研究
毕业于中科大少年班

Smooth: 基于 Move 的 QoS 并发式模块化公链

10:50 - 11:25

不提供

https://youtu.be/q8NosoBfYVk

https://www.bilibili.com/video/BV1YK411Z7qu/?share_source=copy_web&vd_source=8812fd2ef2f93029832f74f3147cdc7f

Owen Wu

Owen Wu, Full-Stack Developer，MoveFunsDAO 开发者。

擅长区块链应用研发以及智能合约周边工具研发，参与的开源项目有：Starcoin DAOSpace、starcoin-ide 和 move-js.

如何实现在浏览器中编译Move合约？

主题介绍：
1、讲解浏览器中编译Move合约原理
2、move-js库使用示例
3、move-js库应用场景介绍
4、move-js库迭代计划

10:25 - 12:00

https://youtu.be/Jews-8iVyHE

https://www.bilibili.com/video/BV1q24y1y79H/?share_source=copy_web&vd_source=8812fd2ef2f93029832f74f3147cdc7f

Bo

https://twitter.com/areshand

Move developer at Aptos Labs, working on Aptos Token Standard. Previously, worked at Facebook, Yelp, and Robinhood. Interested in building web3 to enable people truly own and utilize their data.

Tokens and NFTs tutorial on Aptos

In this tutorial, We will walk you through a simple NFT airdrop contract.
This contract allows users to claim NFT tokens from a deployed contract.
The NFT tokens are sequenced based on the claimed order and the information is stored inside the token. The contract deployer can control who can claim the NFT through an off-chain signed message.

Through this example, we will cover important building blocks in Aptos Move.
First, Aptos coin and token standard. We will focus on the features like PropertyMap and PropertyVersion for storing customized on-chain data inside the token.
Second, create and use a resource account. This special account allows deployed contracts to automatically handle users' requests.
Third, access control through off-chain signed proof verification. This allows access control without storing a huge whitelist or doing expensive computation on-chain

13:30 - 14:00

https://youtu.be/VjVO0UVLVbQ

https://www.bilibili.com/video/BV1ag411W7bk/?share_source=copy_web&vd_source=8812fd2ef2f93029832f74f3147cdc7f

Damir

https://twitter.com/themoveguy

Move developer at Sui/Mysten Labs, author of the Move Book and Sui Examples, early Move adopter and enthusiast. Biggest capybara fan in the world.

Witness-based implementations in Sui Move

14:00 - 14:30

https://youtu.be/25MV9HhAUo4

https://www.bilibili.com/video/BV1EK411R7F3/?share_source=copy_web&vd_source=8812fd2ef2f93029832f74f3147cdc7f

icodezjb
https://twitter.com/icodezjb

OmniBTC,ComingChat首席区块链工程师

Aptos/Sui Move的差异

以OmniBTC在Aptos和Sui上的AMM Swap编程的异同为用例阐述该议题。

14:30 - 15:00

https://youtu.be/yfs-KegN27M

https://www.bilibili.com/video/BV1Qd4y1x7qt/?share_source=copy_web&vd_source=8812fd2ef2f93029832f74f3147cdc7f

Pause

MoveFunsDAO 开发者。擅长 Move 以及 Rust 开发。starcoin-framework 贡献者。

Move 合约中常用的编程模式

通过示例介绍 Move 合约中常用的编程模式及其应用场景

15:00 - 15:30

https://youtu.be/7g8Lvw_DRuY

https://www.bilibili.com/video/BV1cP4y197WD/?share_source=copy_web&vd_source=8812fd2ef2f93029832f74f3147cdc7f

AIVE 不霁何虹

Westar Labs Move 开发者

如何测试 Move 的合约？

Move 中的单元测试和集成测试

15:30 - 16:00

https://youtu.be/f_XiF52l3NA

https://www.bilibili.com/video/BV1mP4y1X7Dp/?share_source=copy_web&vd_source=8812fd2ef2f93029832f74f3147cdc7f

李大狗(leeduckgo)

NonceGeekDAO 发起人，

Move-based DID 的可能性探讨

16:00 - 16:30

https://youtu.be/TrBgzXZ4rtM

https://www.bilibili.com/video/BV1LR4y1y7K4/?share_source=copy_web&vd_source=8812fd2ef2f93029832f74f3147cdc7f

廖师虎

技术和区块链爱好者
MoveDAO发起人

Sui基于对象的共识和编程范式

Sui对象的种类及存储
Sui对象的两种共识
Sui对象开发范式

16:30 - 17:00

https://youtu.be/7UMFb_Lbhkc

https://www.bilibili.com/video/BV1x14y1E7am/?share_source=copy_web&vd_source=8812fd2ef2f93029832f74f3147cdc7f