TOK:去中心化计算平台DFINITY宣布开源项目编程语言 Motoko

去中心化计算平台DFINITY已经开源项目编程语言Motoko宣布项目编程语言Motoko的编译器、解释器、测试套件及文档已全面开源，目前Motoko的完整源代码现在可以在Apache2.0许可下使用。

Motoko是基于Wasm语言，为实现InternetComputer安全且易于使用的特点而开发的编程语言。Dfinity表示，此举旨在促进与更广泛社区的合作和贡献，包括改进文档、完善错误消息、开发全新的工具等方面。

DFINITY基金会的Motoko团队很高兴地宣布Motoko编译器、解释器、测试套件和文档的开源。自公开推出以来，经过三年半的开发，Motoko的完整源代码现在在Apache2.0许可下可用。

Motoko是一种编程语言，旨在无缝支持Internet计算机的编程模型，从而可以更轻松地高效构建应用程序并利用该平台的一些更独特的功能。Motoko是强类型的、基于参与者的，并且具有对正交持久性和异步消息传递的内置支持。生产力和安全特性包括自动内存管理、泛型、类型推断、模式匹配以及任意精度和固定精度算术。消息传递透明地采用InternetComputer的Candid接口定义语言和有线格式，以实现类型化、高级和跨语言的互操作性。

去中心化交易终端 DexGuru 完成500万美元融资:金色财经报道 ，去中心化交易终端 DexGuru 宣布完成500万美元融资，Shima Capital、Huobi Ventures、Wintermute、Impossible Finance、Mirana Ventures、Legos Capital、HoneyDAO、Nima Capital、D1 Ventures、Woodstock等投资机构参投。

DexGuru 计划成为任何链上无需许可的 DeFi 市场的彭博终端，提供链上现货市场和去中心化 AMM交易所的详细信息，未来还计划提供NFT、期权、合约、债券市场等类型产品的信息，提供整个加密市场及其主要利益相关者的简洁实时概览，并允许 web3 交易者轻松监控任何和所有资产的链上流动。[2022/2/16 9:54:41]

我们希望此代码版本能够促进与更广泛社区的合作和贡献，无论它们涉及改进文档、完善错误消息，还是开发全新的工具，例如额外的IDE集成、调试器支持和代码格式化工具。

我们的目的是为内部和外部贡献者提供相同的开发体验。目前，我们的测试基础设施仍然部分依赖于内部服务，但我们正在努力将它们替换为可公开访问的服务。外部和内部开发人员将处于平等地位。毫无疑问，当我们进入开放空间时，我们会遇到一些成长的烦恼。请耐心等待。

对于那些还不熟悉Motoko的人，这里简要介绍一下它是什么、我们为什么开发它以及它是如何工作的……

WebAssembly

数据：以太坊在去中心化交易所的ETH交易量稳居第一:Tokenview通过对以太坊链上数据ETH交易量的监测，分析发现中心化交易所、去中心化交易所、矿池三方在交易量上的一些表现。矿池代表（按照ETH量大小排序）SparkPool、Ethermine、F2Pool、SpiderPool每日的ETH均为净流出，所挖ETH流入中心化交易所和去中心化交易所。以Binance、Bitfinex、Poloniex为代表的中心化交易所ETH的入金提现日均表现为流入流出交叉状态，但三家交易所整体均为净流出，与此同时交易所Kraken、Bitstamp的ETH交易量却表现为净流入状态。去中心化交易所的WETH、Compound Ether、TokenIon、dYdX以持续的净流入占据着ETH交易量的第一，其交易量远超矿池挖矿所得，接近同期挖矿所得ETH的10倍。[2020/12/29 15:59:33]

要理解Motoko，我们首先必须简要介绍一下WebAssembly——又名Wasm。您可能知道，Wasm是一种新的低级代码格式，旨在实现可移植性、安全性和高效性。它最初的用例是网络，但这个名字实际上是用词不当：当我们在W3C工作组设计Wasm时，我们小心翼翼地将它作为一个开放标准和通用平台。也就是说，它不针对任何特定的编程语言、范式、计算环境或平台，我们确保它完全不与网络绑定。因此，Wasm在许多其他环境中得到采用绝对不是偶然的，例如云计算、边缘计算、移动、嵌入式系统、物联网和区块链。

Wasm有很多很多设计考虑因素，有些是显而易见的，有些则相当微妙。太多了，无法进入这里。关于Wasm的技术目标、设计选择、形式语义和实现技术的相当全面的讨论可以在我们发表在ACM通讯上的一篇科学文章中找到。

火币大学顾问合伙人方军：区块链三大技术特性包括通证、公开透明、去中心化:7月30日，火币大学全球区块链领导者课程(GBLP)第六期在杭州正式开课。当日下午，火币大学顾问合伙人方军老师为GBLP第六期学员带来主题为《从蒸汽机到区块链——区块链技术背后的5大商业原理》的精彩授课。

在授课中，方军老师明确指出区块链的三大技术特性：一是通证（引入了经济激励）；二是公开透明（延续了互联网的路径）；三是去中心化（实现了互联网的梦想）。

火币大学GBLP课程以带领学员“探索商业变革前沿新知，跨入区块链界核心圈层”为宗旨，致力于引领各位火币大学学员洞悉全球区块链产业趋势，探寻区块链底层逻辑，钻研区块链前沿技术，研习区块链交易方式，深思区块链合规机理，思辨区块链未来价值。[2020/7/30]

Wasm与其他虚拟机的主要区别在于，它没有针对任何特定的编程语言进行优化，而只是抽象了底层硬件，字节码直接对应于现代CPU的指令和内存模型。最重要的是，Wasm通过强大的模块化和严格的数学规范支持沙箱，确保执行是安全的，没有未定义的行为，并且完全确定。而且，这些属性实际上有经过机器验证的数学证明！

总之，这些特性旨在使Wasm成为对便携性、安全性、通用性和性能有很高期望的各种环境和用例的有吸引力的选择——例如互联网计算机。

Wasm的特性使其成为表示在Internet计算机上运行的程序的明显选择。但在实践中，将现有的编程语言移植到Wasm并非易事。显然，它需要实现一个新的编译器后端。这很有趣，但努力并不止于此：它还需要移植语言的运行时系统和库原语。还有一些特性，尤其是与更高级语言相关的特性，目前无法在Wasm中轻松实现——例如：线程、协程、异常和尾调用。虽然各种用各自的功能丰富Wasm的提案即将出现，但它们尚未最终确定标准化。

声音 | 火星人许子敬：去中心、隐私保护、分配公平的币种会展现出强大的社区力量:火星人许子敬在微博上表示：很多人都在大谈特谈Token Economy，火星人觉得连Coin Economy都没解决，Token之路就漫长了。如果数字货币都没有实际的应用场景，那么通证经济更是无源之水。投机、暗网、1CO、模式……这些才是目前行业真正的刚需，其他的需求都是伪需求。如果你不理解，抱歉，我没有时间说服你。如果你认同这个数字货币的基本盘，那么去中心、隐私保护、分配公平的币种，就会随着时间推移，展现出越来越强大的社区力量。[2019/6/25]

尽管已经有许多针对Wasm的实验性语言实现，但大多数还没有准备好迎接黄金时段。主要包括低级系统语言，如C/C++和Rust。这些对于它们的用例来说当然是很好的，但它们不是为Internet计算机开发高级应用程序的理想工具，在Internet计算机中，可访问性、生产力和高保证往往比手动干预内存管理更可取。

与此同时，互联网计算机的语言需要提供对平台主要概念的访问：具有异步消息传递的分布式编程模型、资源概念，如循环，以及其他一些特性。当然，它们都可以作为库提供，但是一种本身包含适当结构的语言可以提供更加无缝的编程体验。

因此，如果我们无论如何都必须做一些工作才能开始工作，为什么不将其应用到创建可以提供最佳用户体验并传达我们对如何对互联网计算机进行编程的愿景的东西呢？

MOTOKO

这就是为什么——尽管创建另一种语言存在所有风险——我们决定创建Motoko。我们想要一种安全、易于使用、无缝公开平台概念的语言，以及一种对大多数程序员来说看起来足够友好和易于使用的语言。目前，后一个目标使它几乎不可避免地处于分号和大括号语言阵营中。在这个营地中没有合适的语言。

金色财经独家分析 俄罗斯封杀事件暴露出监管与去中心化和平共处仍需探索:俄罗斯政府对Telegram采取了更严厉的封禁措施。据俄罗斯当地媒体报道，俄罗斯电信监管机构已经封锁了超过200万个谷歌和亚马逊云服务下的IP地址。俄罗斯联邦安全局曾多次要求Telegram交出私钥，使得他们能够查看存储在用户之间加密聊天记录。但由于Telegram多次拒绝这一请求，俄罗斯国家电信监管机构最终发出通知，禁止在俄罗斯境内访问Telegram。金色财经独家分析，我们其实很难说Telegram严守数据的行为是有罪的，它的做法也是出于自身的本分与义务。但难道政府的监管就错了吗，亦不是，是政府监管与区块链技术的“去中心化”还未找到一个中间点来达到两者的平衡。或者说，两者和平的共生方式还处于探索阶段。[2018/4/18]

但元子相当传统的皮肤只是表面的：它的内部是一种现代语言。例如，每个构造都是一个表达式，它有闭包，它有变体类型和静态检查模式匹配，它有垃圾收集，当然它有一个实际上健全的灵活的类型系统，即它确实保证不存在某些错误，例如崩溃、未定义的行为、曲解数据或只是在switch中遗漏了一个case。没有洞！

同时，我们有意尝试不花哨或重新发明轮子，而是建立在丰富的实践和理论历史的基础上，并承认在该领域几十年来吸取的经验教训。除了将易于理解的功能组合在一起之外，Motoko的设计还包含许多小决策，以最大限度地减少脚步和安全方面的错误，例如，默认情况下数字不能溢出，默认情况下局部变量是不可变的，默认情况下并发执行是原子的，默认情况下不能出现null，默认情况下字段是私有的，等等。哦，没有继承，只有子类型。

实现Motoko的这些部分并将它们编译为Wasm是传统的编译器工艺。用OCaml编写的Motoko编译器使用类型化的中间表示，经过一些转换，并输出Wasm字节码。生成的Wasm模块包括一个用C和Rust编写的小型运行时系统，主要实现一个简单的垃圾收集器，使用Wasm内存作为其堆。这并不难，但这里肯定有很大的改进潜力，我们正在努力。

Actors

然而，Motoko的核心特征是它在语法和类型系统中直接支持角色。演员模型是一个众所周知的概念，已有40多年的历史，但遗憾的是，它几乎没有进入主流语言。Actor就像一个对象，因为它封装了私有状态以及一组方法来处理可以发送给它的消息。但是所有消息发送都是异步的。因此，与面向对象中的传统方法不同，actor方法没有结果。此外，所有消息都由参与者顺序接收——也就是说，它有一个隐式消息队列和方法以原子方式执行，即使消息是并发发送的。

Actors是并发编程的一个很好的模型，因为它们会自动防止竞争条件和死锁，因此排除了许多并发错误。所有这一切都不需要程序员定义锁。Actors也是分布式编程的一个很好的模型，因为异步自然会处理将消息发送到潜在的远程接收器所涉及的延迟。最后，actor非常适合Dfinity的互联网计算机，其中应用程序以所谓的罐的形式部署——本质上，actor表示为可以跨子网通信的Wasm模块。因此，Motokoactor编译为Wasm模块，其中方法成为具有平台定义的特殊约定的导出Wasm函数。

简而言之，Motoko中的应用程序是一个actor，它又是一个编译成Wasm模块的大型异步对象。使用Wasm的内存概念，这样的参与者可以立即管理多达4GiB的内部状态，尽管可以通过链接多个Wasm模块来进一步扩大，每个模块都有自己的内存。

Futures

为了使异步编程更方便并允许以顺序“直接风格”表达它，Motoko采用了另一个来自编程语言研究年鉴的40多年的想法，尽管幸运的是最近变得有点流行：期货。在Motoko中，它们以“异步值”的形式具体化，即由async关键字前缀的表达式生成的async类型的值。特别是，函数体可以是一个异步表达式，从而自然地替换和概括存在于其他一些语言中的“异步函数”的更单一的概念。

有了这个，actor方法毕竟是允许有结果的——只要这些是期货。可以等待Future来获取它们的值，但只能在另一个异步表达式中，类似于其他现代语言中已知的async/awaitmonad。

Motoko编译器通过传统的CPS转换来实现这一点，将每个等待点转换为一个单独的Wasm函数，代表等待的延续。事实上，它是双管CPS，因为每条消息也可以有一个失败回复和各自的失败延续。按照惯例，具有异步结果的方法是发送带有结果值作为参数的回复消息的方法。这个消息被创建的延续函数接收，然后它可以恢复它捕获的执行。等待回复不会阻止参与者——它可以在此期间自由接收其他消息。

Persistence

Motoko的另一个重要考虑因素是允许开发人员利用区块链技术，而无需学习全新的计算类型。因此，我们删除了您可能需要的有关当前区块链编程语言种类的大部分特殊知识。例如，没有可观察到的块或块高度的概念，没有用于更新区块链状态的显式构造，也没有用于将数据写入持久存储的其他API.取而代之的是，互联网计算机实现了正交持久性——这是另一个古老的想法，其中程序有一种“永远”运行的错觉，它的内存只是保持活跃。在Motoko中，这意味着开发人员不必担心在消息之间显式保存他们的数据，也不必担心文件或外部数据库：存储在程序变量中的任何值或数据结构在下一条消息到达时仍然存在，即使那是几个月后。

该平台负责在方法调用之间透明地保存和恢复容器的私有状态。这相对容易改装到Wasm引擎上，因为Wasm模块的状态在模块的内存、全局变量和表中明显隔离。在大多数情况下，使用操作系统公开的虚拟内存技术观看Wasm内存就足够了。通过这种方式，平台知道此类内存中的页面何时被修改，并且可以采取任何必要的措施来持久化脏页面，以及为分布式共识协议对它们进行哈希处理。

超越Motoko：Candid的接口定义

因为互联网计算机运行Wasm，所以Motoko只是创建应用程序的一种选择——而且是有意如此。我们还提供Rust，我们期待提供其他语言选择。即便如此，因为每种语言都会统一编译为以Wasm表示的容器，所以这些容器可以通过消息发送自由地相互通信，而不管它们的源语言如何。

为了明确定义这种互操作性，我们引入了一种名为Candid的通用接口定义语言(IDL)。它是Internet计算机上通信的通用语言，完全独立于Motoko。它描述了容器理解的一组消息以及随同发送的数据类型。在Candid中，数据通过独立于Motoko类型系统或任何其他编程语言的规范数据类型的组合进行描述。

呼，又是一个类型系统？好吧，程序员可能会很高兴Motoko编译器可以自动使用和生成这样的接口描述，用于actor导出和导入，并将它们映射到相应的Motoko类型和映射到相应的Motoko类型。它还自动生成正确的Wasm代码来序列化和反序列化每条消息的参数数据，透明地将Motoko的内部表示与Candid指定的二进制格式相互转换。

通过这种方式，Motoko程序可以以有类型的方式与外部容器进行通信，并将远程调用表示为程序中的本地对象。这与远程容器是用Motoko还是Rust编写的无关；容器的接口描述足以作为类型信息。除了方便之外，接口还提供了一种强大的模块化形式，其中程序可以针对其他参与者/容器进行类型检查，而无需访问它们的实现。

结论

我们的目标是让所有语言在Internet计算机上拥有平等的权利，所有语言都在Wasm中编译为容器，并且所有语言都通过Candid进行无缝通信。这对于打开Internet计算机很重要。Motoko只是众多选择中的一种，但它旨在成为在Internet计算机上开发的各种应用程序的特别好选择。?

标签：TOKMOTOTOKOMOTHatchtokenmoto币价格TOKO币MOTO币

USDC热门资讯