Motoko 编程语言 (DFINITY)
什么是 Motoko 编程语言 (DFINITY)？
Motoko 是一种为去中心化互联网构建的新型通用编程语言。它被设计为安全且对开发人员友好。 Motoko 将使具有不同技能的开发团队能够构建新一代的去中心化应用程序。
Motoko 语言具有强大的奇偶校验类型和可证明的安全保证，使程序员能够构建复杂的系统，而不会引入可利用的漏洞。它还能够实现和编写智能合约。 Motoko 的设计目标、类型系统和执行模型，并展示了其在构建安全、可扩展和可组合的去中心化系统方面的实用性。
DFINITY 是一种新型公共区块链计算机，将提供去中心化的云计算资源。它将是第一台支持基于WebAssembly（WASM）虚拟机格式的智能合约的区块链计算机，允许开发人员用任何符合WASM的编程语言编写安全、高性能的智能合约。
DFINITY 使用一种名为 Threshold Relay 的新共识协议，即使存在少数恶意行为者，也能抵御 51% 的攻击并保证活跃性。这使得 DFINITY 成为少数可以支持智能合约功能的安全且可扩展的区块链之一。此外，DFINITY 将提供一种创新的基于权益证明的随机性信标，可用于智能合约中，以重新排列数据列表、生成随机数并随机选择网络参与者。
DFINITY 使用自己的编程语言 Motoko。 Motoko 是一种模块化函数式编程语言，专为在 DFINITY 区块链计算机上构建智能合约而设计。其特点：
Motoko 提供了一组丰富的抽象、数据类型和并发原语，允许开发人员创建复杂的应用程序，而无需处理较低级别的基础设施问题，例如消息传递、内存管理或垃圾收集。
Motoko 是作为语言设计的练习而开发的，旨在探索现代编程语言如果能够利用互联网计算机独特的安全模型和分散式架构，会是什么样子。
互联网计算机是一个公共计算机网络，具有以前所未有的速度和规模托管和执行软件的潜力。这是一个全新的互联网，开发人员可以在其中构建势不可挡、快速且安全的软件。
互联网计算机由ICP币提供动力，用于支付网络计算和系统治理的费用。
互联网计算机协议是一种突破性的区块链协议，使生产者能够以分散的方式运行通用软件。
