本文描述如何在Move中间表示(IR)中编写事务脚本和模块。IR是即将到来的Move源代码语言的早期(且不稳定)先驱。Move IR是一个覆盖于Move字节码之上的薄薄的语法层,用于测试字节码验证器和虚拟机,它对开发人员不是特别友好。它的级别足够高,可以编写人类可读的代码,但又足够低,可以直接编译以移动字节码。
智能合约是区块链领域大家一直比较关注的主题,本文试图从智能合约的演进角度分析 Libra 的 Move 合约要解决的问题,以及其架构设计,也就是回答『 Libra 为什么要重新设计一种编程语言?』这个问题。
Libra 依然存在很多不足。比如,富有争议的共识机制、计算溢出处理的因循守旧、实现语言的单一依赖、伪随机数问题、宣称的同地址私钥替换技术尚未落地等。
zellic 整理在审计过程把不断地看到Bug ,方便我们审视自己的Move合约。
本文介绍了 Sui 这一基于 Move 语言的新区块链,强调了与 Aptos 的比较和其在安全智能合约开发上的重要性。Sui 通过独特的对象模型和状态管理方式,提升了数字资产的实时使用场景,并着重分析了 Sui Move 的特性以及潜在的安全问题。
此文讨论了一个严重的漏洞,该漏洞存在于Sui区块链的Move字节码验证器中,允许攻击者规避多个安全属性,可能导致重大经济损失。漏洞源于控制流图的错误构建,影响了所有基于Move的区块链。文章详细介绍了漏洞的技术细节及其潜在攻击方式,这对于希望了解Move安全性的读者非常重要。
星航计划-DeTask找活网0基础开发入门到精通(10)智能合约部分的升级具体步骤和实施升级前的准备packageid:0x07619...c4e06发布者账号:0xb324...5e328UpgradeCap:0x4c1...f7a13b这个保留好,一直用着的首
各种智能合约语言有自己的设计哲学,他们并非一样,这篇文章探索一下 Solidity、Cairo、Rust和Move的语言设计的权衡。
翻译一篇Move与Solana上智能合约开发对比的文章,Move是一种用于智能合约开发的新颖编程语言, 我与Solana上使用的基于Rust的开发的模型进行了一些比较。
精彩而深入的Solana编程及Move编程对比,了解Move如何实现安全性及开发高效性。
本文将通过开发Move代码的一些步骤,包括Move模块的设计、实现、单元测试和形式验证,全文总共有九个步骤。
本文通过阅读分析table_vec和vec_set实现原理,深入了解它们的构成与使用,为阅读deny_list的实现准备条件。
Move 是最有潜力构建出像 Solidity 这样的生态系统,甚至超越 Solidity 的智能合约编程语言
第一课【权限漏洞及重入攻击】。
Move 合约开发