Move编程语言

作者: 菩提树下参悟 | 来源:发表于2022-08-18 10:26 被阅读0次

Move的主要特性是定义自定义资源类型的能力,这在统计上确保资源只能在程序存储位置之间移动,而不能被克隆或删除。通过有效防止上述漏洞等问题,该实施显著提高了安全性。然后,资源由Move模块管理,类似于智能合约,Move模块控制对创建、更新和删除已声明资源的规则进行编码的过程。Move模块优于智能合约的地方在于它们执行数据抽象,这意味着资源在其声明模块内是透明的,而在其声明模块外是不透明的。

此外,在富有表现力的规范语言的帮助下,Move Prover验证器可以正式验证Move模块的特征,并且足够高效地用于持续集成测试。Sui以对象为中心的模式和存储系统与Core Move和Aptos有很大不同。在撰写本文时,开发人员报告了他们的不一致之处,他们认为在快速更新文档以跟上最新分支方面存在问题。也就是说,这个问题很容易解决,开发人员已经表示,他们对在MOVE编程语言基础上进行开发活动非常有信心。

相关文章

  • Move编程语言

    Move的主要特性是定义自定义资源类型的能力,这在统计上确保资源只能在程序存储位置之间移动,而不能被克隆或删除。通...

  • Libra教程之:来了,你最爱的Move语言

    Move语言 Move是一种新的编程语言,旨在为Libra区块链提供安全且可编程的基础。 Libra区块链中的帐户...

  • libra: 从Move语言开始

    从Move语言开始 Move是一种新的编程语言,为Libra区块链提供了安全和可编程的基础。Libra区块链中的一...

  • The Libra Blockchain-开发者文档-(五)了解

    Move是一种新的编程语言,在为Libra 区块链提供安全、可编程的基础。 Libra区块链中的帐户作为容器,包含...

  • Libra - Move语言概述

    Move是一种新的编程语言,旨在为 Libra 区块链提供安全可编程的基础。 Libra区块链中的帐户是一个容器,...

  • 为Libra设计的 Move 语言

    在所有 Libra 公布的技术文档中,最吸引人的要数其采用的一种被称为 “ Move ” 的全新编程语言,这一编程...

  • Move简明教程(1)【简介】

    一、简介    欢迎来到Move语言的世界,这是一种用于安全、沙箱和正式验证编程的下一代语言。它的第一个用例是 ...

  • 动态编程语言和静态编程语言

    动态编程语言:python等 静态编程语言:java等 动态编程语言和静态编程语言区别: 动态编程语言的变量并不是...

  • Move: 一门面向资产的编程语言

    最近被 Libra 刷了屏。好多人都在谈论 Libra 对未来的影响,有从正面讨论的,认为会影响未来的数字经济,也...

  • Swift编程语言 FAQ

    Swift编程语言 FAQ Swift编程语言 FAQ

网友评论

    本文标题:Move编程语言

    本文链接:https://www.haomeiwen.com/subject/hjkegrtx.html