|
| 1 | +--- |
| 2 | +title: "智能合约" |
| 3 | +--- |
| 4 | + |
| 5 | +import { RemoteCodeblock, permalinkFetch, Card, Cards } from '@components/index' |
| 6 | +import { Callout } from 'nextra/components' |
| 7 | + |
| 8 | +export async function getStaticProps() { |
| 9 | + return await permalinkFetch([ |
| 10 | + 'https://github.com/aptos-labs/aptos-core/blob/77e1d222ebc5e7294e115e0d090c001da1d0e072/aptos-move/move-examples/hello_blockchain/sources/hello_blockchain.move#L1-L59' |
| 11 | + ]) |
| 12 | +} |
| 13 | + |
| 14 | +# Aptos 上的智能合约 |
| 15 | + |
| 16 | +Aptos 合约使用 Move 语言编写,这是一种用于安全、沙盒化和形式化验证编程的下一代语言,被多个区块链采用。 |
| 17 | +Move 允许开发者编写灵活管理和转移资产的程序,同时为这些资产提供安全性和攻击防护。 |
| 18 | + |
| 19 | +## 📖 学习 Move |
| 20 | + |
| 21 | +<Cards> |
| 22 | + <Card href="smart-contracts/why-move"> |
| 23 | + <Card.Title>为什么选择 Move?</Card.Title> |
| 24 | + <Card.Description>了解 Aptos 为什么使用 Move 语言</Card.Description> |
| 25 | + </Card> |
| 26 | + {/* <Card href="smart-contracts/prover"> |
| 27 | + <Card.Title>Move Prover</Card.Title> |
| 28 | + <Card.Description>Formal specification and verification of Move contracts on Aptos</Card.Description> |
| 29 | + </Card> */} |
| 30 | + <Card href="smart-contracts/create-package"> |
| 31 | + <Card.Title>创建包</Card.Title> |
| 32 | + <Card.Description>通过学习如何创建 Move 包开始</Card.Description> |
| 33 | + </Card> |
| 34 | + <Card href="smart-contracts/objects"> |
| 35 | + <Card.Title>对象</Card.Title> |
| 36 | + <Card.Description>学习如何在 Aptos 上使用对象标准来创建可组合和灵活的链上原语</Card.Description> |
| 37 | + </Card> |
| 38 | +</Cards> |
| 39 | + |
| 40 | +## 👨💻 Move 示例 |
| 41 | + |
| 42 | +<Cards> |
| 43 | + <Card href="https://github.com/aptos-labs/aptos-core/tree/main/aptos-move/move-examples"> |
| 44 | + <Card.Title linkType="external">Aptos Move 示例</Card.Title> |
| 45 | + <Card.Description>30+ 个关于如何在 Aptos 上开发 Move 的示例</Card.Description> |
| 46 | + </Card> |
| 47 | + <Card href="https://github.com/aptos-labs/aptos-core/tree/main/aptos-move/move-examples/move-tutorial"> |
| 48 | + <Card.Title linkType="external">Move 教程</Card.Title> |
| 49 | + <Card.Description>涵盖 Move 编程的基础知识</Card.Description> |
| 50 | + </Card> |
| 51 | + <Card href="guides/first-move-module"> |
| 52 | + <Card.Title>你的第一个 Move 模块</Card.Title> |
| 53 | + <Card.Description>一个 `hello_blockchain` 示例,展示如何发布你的第一个 move 模块</Card.Description> |
| 54 | + </Card> |
| 55 | +</Cards> |
| 56 | + |
| 57 | +这是一个 `hello_blockchain` 的 move 示例 |
| 58 | + |
| 59 | +<RemoteCodeblock |
| 60 | + permalink="https://github.com/aptos-labs/aptos-core/blob/77e1d222ebc5e7294e115e0d090c001da1d0e072/aptos-move/move-examples/hello_blockchain/sources/hello_blockchain.move#L1-L59" |
| 61 | +/> |
| 62 | + |
| 63 | +## ⚒️ 开发者资源 |
| 64 | + |
| 65 | +### FAQ 和讨论 |
| 66 | + |
| 67 | +- [Aptos 开发者讨论](https://github.com/aptos-labs/aptos-developer-discussions/discussions) 用于 Move 相关的问答。 |
| 68 | + |
| 69 | +### Move IDE 插件 |
| 70 | + |
| 71 | +- [Aptos Move Analyzer](https://marketplace.visualstudio.com/items?itemName=MoveBit.aptos-move-analyzer) 用于 Visual Studio。 |
| 72 | +- [JetBrains IDE 的 Move 语言插件](https://plugins.jetbrains.com/plugin/14721-move-language):支持语法高亮、代码导航、重命名、格式化、类型检查和代码生成。 |
| 73 | + |
| 74 | +### 外部资源 |
| 75 | + |
| 76 | +- [Aptos Move by Example](https://move-developers-dao.gitbook.io/aptos-move-by-example) |
| 77 | +- [在 Aptos 上自学 Move](https://github.com/econia-labs/teach-yourself-move)。 |
| 78 | +- [形式化验证、Move 语言和 Move Prover](https://www.certik.com/resources/blog/2wSOZ3mC55AB6CYol6Q2rP-formal-verification-the-move-language-and-the-move-prover) |
| 79 | +- [Pontem Move Playground](https://playground.pontem.network/) |
| 80 | +- [可嵌套的 Move 资源集合](https://github.com/taoheorg/taohe) |
| 81 | + |
| 82 | +我们有一个新的支持 Move 2 的 Aptos Move 编译器。查看[此页面](smart-contracts/compiler_v2.mdx)了解更多信息。 |
0 commit comments