Move 新语言是否更有优势

1. Move 对开发者非常友好

        Move 支持跨区块链的共享库、工具和开发人员社区。Move 语言的设计强调安全性，旨在避免许多 Web3.0 用户受害的情形，包括但不限于重入漏洞（re-entrancy vulnerabilities）、毒令牌（poison tokens）和欺骗性令牌批准（spoofed token approvals）等问题。数字资产也应该被视为资源，这意味着数字资产不能被随意复制或意外破坏。

        为了提供额外的保护，Move 可以用 Move Prover 验证工具辅助开发，该工具允许开发人员为其应用程序的关键特征编写正式规范，并使用验证器在 30 秒内检查代码的执行正确性。
        此外，Move 还允许开发人员使用受线性逻辑启发的语义定义自定义资源类型，从而允许创建灵活的自定义访问控制和遵循稀缺概念的自定义资源。这些资源是指任何可以存储价值的东西，例如代币。
        Move 的资源安全旨在确保资源永远不会被复制、重复使用或丢失，只能在程序存储位置之间移动。 这可以防止恶意个人在未经许可的情况下复制现有资产或创建新资产。 甚至 Meta 现已失效的 Libra 货币也被实现为自定义资源，在 Move 语言中没有特殊状态。 有了这些安全保证，开发人员可以更轻松地进行构建，而不必担心需要确保安全性和稀缺性，因为 Move 语言已经内置了。

2 泛型和静态编程。
        Move 摒弃 Solidity 的”动态调用”，转而用泛型工具实现高效开发，同时确保在编译时，检查变量和表达式的类型的正确性，以及在编译阶段拦截合约漏洞。这有助于防止错误并提高 Move 程序的可靠性。这一技术理念或许对于长期使用 JavaScript 或者 Python 等弱数据类型语言开发工程师来说不是很适应，不过想想代码的严谨性以及安全性，能避免上链之后的资产损失，我觉得还是值得的，至少编译报错提示做的还算不错。

3 形式化验证能力
        在 Solidity 开发中，一般由专业的安全机构 ( 如慢雾、派盾 ) 在合约完成后进行验证。而 Move 支持形式化验证，形式化验证是指将合约逻辑数学化的验证手法，允许开发人员使用数字技术证明其程序的正确性，这是目前普遍认可的最安全的验证机制。这对于需要高级别安全性和可靠性的应用程序特别有用。

4. 面向资源编程
        在 Move 语言中，资源被定义为特殊类型，在同一个时间戳下，资源只能有一个“主人”，只能存在一个状态（存在 or 销毁），从根本上避免了无限增发、所属不明等攻击手法。在开发过程中，“资源”是必须有明确获取和释放的值，这也有助于防止常见的编程错误，如内存泄漏和资源耗尽等问题，保证了从开发到交付、端到端的全流程安全状态。

5 资源分散存储。
        在 Solidity 实现的智能合约中，资源是“串联”存储，黑客攻破其一点，则整个合约牵涉的资产都会有风险；而在 Move 语言实现的智能合约中，资源是“并联”存放，任何数据都有其具体所有人，黑客攻击也无法导致合约整体失效。

6.对区块链的内置支持：
        Move 包括对常见的区块链概念（账户、密钥、签名）的内置支持，这使构建基于区块链的应用程序变得更加容易。

        我们都知道，每一个语言它的诞生所背负的使命或者说愿景是不同的。对于优秀的开发者来说，只有适不适合当前开发需求的语言，并不存在语言的好坏之分。它们只是构建我们的 Web3 世界的工具。当然 Move 是一种比较新的语言，因此不可否认它在技术支持及其社区方面肯定没有 Solidity 等成熟语言做得好。与此同时我们 Aptos Eden 就在努力成为最优秀的 Move 语言技术支持及其教育平台。（不好意思穿插一个小广告，我们接着话题来讲）说到构建肯定离不开平台，Aptos 是率先使用 Move 语言并出圈的新公链。
        在原生 Move 语言与其 Aptos 框架的兼容性上，Aptos 区块链原生集成了 Move 语言。Aptos 和 Move 共享许多相同的核心设计原则，使 Aptos 成为高效、愉快的 Move 开发之家。Move 最初是为 Aptos 区块链的前身设计的。这种关系确保现有的 Move 开发人员可以在 Aptos 上无缝构建，并且新的 Move 开发人员可以从 Aptos 之前的文档、指南和示例中受益，当然也可以关注 Aptos Eden Move 开发视频来学习。

        在网络方面，Aptos 借助 Move 语言的优势，Aptos 的愿景则将聚焦于改善 Layer1 的安全性和可扩展性，打造可以面向数十亿人的基础设施网络。
对于 Aptos 等高吞吐量网络，节点之间的状态同步可能会占用大量 CPU。这个因素在区块链设计中经常被忽视，也是项目很少讨论的问题。
为了提高网络的性能，Aptos 重新设计了其最新的状态同步协议，该团队声称该协议可以以亚秒级延迟验证和同步超过 10,000 TPS，网络有望很快达到 100,000 TPS。鉴于验证者已经执行交易并通过 Merkle 证明证明生成的区块链状态，节点可以依赖验证者产生的状态增量并跳过交易执行（繁重的工作），从而允许它们直接更新分类帐状态。虽然这种方法确实是以增加网络使用量为代价的（大约 2.5 倍）。

        从生态上看，基于 Move 语言打造的很多生态应用目前正在建设中。Move 是为金融而生，随着赛道逐渐成熟，DEX、DeFi、钱包这类金融基础设施会率先落地，紧接着是 Socialfi、Gamefi 等金融类相关应用百花齐放。

        讲到这里，也希望大家不要私下问我 Aptos 到底好不好这种类似的问题，因为我已经问过“ChatGPT”，它只是告诉我“I'm sorry, but...”,emm 好吧，主要 But 后面说的啥我记不清楚了，言归正传，目前，Aptos 已经启动了 100 多个项目，并且随着启动 Aptos 赠款计划，很可能会有更多项目在 Aptos 生态系统中建立。同时在明年 Aptos 将开启 Aptos Move World Tour，我相信会有更多有创意的项目呈现出来。

        其实再强的公链或生态也需要人才培养，所以接下来的内容才是重点。

        一个新的开发语言与新的公链，我认为是相辅相成、互相成就的关系。除了图灵完备以外，还需要有更多优秀人才加入，如何吸引多链技术人才和传统互联网公司、组织对 Move 语言感兴趣，也是我们 Aptos Eden 团队正在研究的课题。我们专注于区块链开发语言教育，致力于让更多对 Web3 感兴趣的朋友能够了解它，并且写出属于他们自己的 Dapp。
每个学生对与 Web3 技术知识的了解深浅不一，一个简单的切入点是理想选择。如果有一个学生过来问你 “&是什么意思”，千万不要笑，请耐心给他解答，新鲜的血液加入 Web3 才会更加有活力有创新。

        Apots 也一直强调 Move 开发人员可以在 Aptos 上无缝构建，并且新的 Move 开发人员可以从 Aptos 之前的文档、指南和示例中受益。这对新人来说是一件好事。
        新的公链需要漫长的发展过程，早期降低技术入门门槛，对公链的长远发展是有好处的。

        非常谢谢大家的聆听，希望你们都能在我的演讲中记住我们 Apots Eden，谢谢。