From 3e00ce23f4e080c90251521b2e62413ccef5c527 Mon Sep 17 00:00:00 2001 From: Akagi201 Date: Fri, 16 Sep 2022 19:00:59 +0800 Subject: [PATCH 1/2] docs: add new member Akagi201 --- members/Akagi201.md | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) create mode 100644 members/Akagi201.md diff --git a/members/Akagi201.md b/members/Akagi201.md new file mode 100644 index 0000000..5a959dc --- /dev/null +++ b/members/Akagi201.md @@ -0,0 +1,17 @@ +# 星航计划加入申请表 + +## 个人介绍 + +* Github ID: [Akagi201](https://github.com/Akagi201) +* Telegram ID: [@Akagi201](https://t.me/Akagi201) +* Discord ID: Akagi201#4431 +* Starcoin 账号地址：0xEd9e4C8c5109Dd23337879a3d8B4a200 + +常用语言：Rust, Go, TypeScript. 关注高性能公链技术以及链下数据分析交易套利等方向。 + +## 学习日志 + +* [Move 语言入门与工具链](https://akjong.com/Move-Contract-bfddbac69443418bbe812d7e52ce286a) 并做了个视频分享 [video](https://ke.qq.com/course/3616174/13951410990689710#term_id=103761059) +* [如何在 Aptos 中形式化验证智能合约：Move Prover 教程](https://mp.weixin.qq.com/s/Gonnb85Jo9-jfQm80GCihA) 并做了 basic-coin 的 MSL 形式化验证的练习 [basic-coin](https://github.com/Akagi201/move-workshop/tree/master/basic-coin) + +## 学习成果 From c6cd270f4656a423420dc68ad59c0a935ad024a8 Mon Sep 17 00:00:00 2001 From: Akagi201 Date: Sun, 25 Sep 2022 18:57:47 +0800 Subject: [PATCH 2/2] docs: update study log --- members/Akagi201.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/members/Akagi201.md b/members/Akagi201.md index 5a959dc..d8b5b6d 100644 --- a/members/Akagi201.md +++ b/members/Akagi201.md @@ -13,5 +13,7 @@ * [Move 语言入门与工具链](https://akjong.com/Move-Contract-bfddbac69443418bbe812d7e52ce286a) 并做了个视频分享 [video](https://ke.qq.com/course/3616174/13951410990689710#term_id=103761059) * [如何在 Aptos 中形式化验证智能合约：Move Prover 教程](https://mp.weixin.qq.com/s/Gonnb85Jo9-jfQm80GCihA) 并做了 basic-coin 的 MSL 形式化验证的练习 [basic-coin](https://github.com/Akagi201/move-workshop/tree/master/basic-coin) +* [Aptos testnet 节点搭建](https://akjong.com/Aptos-MEV-a49ac59a4c7d4384b52998195a9ddccb) 了解各种网络配置，以及链暴露的接口。 +* 使用 Aptos TypeScript SDK 与链进行交互 ## 学习成果