介绍常见的多项式承诺
CertiK完成了针对CosmosSDK形式化验证。形式化验证是一项运用数学逻辑来确保系统符合规范,使其在所有可能的输入和条件下都如预期表现的技术。本文将介绍形式化验证CosmosSDKBank模块的具体步骤,以及一些验证结果。
熟练掌握 debug 和 test_scenario 这两个工具包,开发者在 Move 开发中遇到问题时,便能够高效地进行调试与模拟测试,极大提升开发效率与代码质量。
常用的设计模式
本教程详细的阐述了 Sui Move 单元测试的相关知识与实践方法。在合约模块发布到链上之前通过单元测试不仅能保障代码指令,也能减少gas成本。
随着区块链技术的飞速发展,越来越多的开发者开始寻求更高效、更安全的区块链平台,以支持去中心化应用(DApps)的快速发展。Sui 链和Move 编程语言作为新兴的区块链解决方案,以其创新的设计理念和技术优势,正在成为开发高性能区块链应用的理想选择。本文将介绍Sui 链和Move 编程语言的基本概念、
Mina 采用 Schnorr signature 生成签名.
move入门之集合(二):Vector数据衍生类型VecSet深度分析🧑💻作者:gracecampo概述VecSet是Move语言中的一种vector数据类型衍生出的集合类型,可以看作是Vector数据类型变种。特点唯一性:VecSet不允许重复项,确保集合中的每个元素
move入门之集合(一):Vector数据类型深度分析🧑💻作者:gracecampo概述在之前的文章中,我们对基本数据类型有了基本的认识,在move中,定义了多种集合类型。集合类型的数据结构主要包括以下几种:Vector:用于存储同一类型的元素集合,类似于动态数组。T
本篇文章学习四种能力,这在move语言中很重要
Mina 地址的一些学习
本文介绍了dapp-kit、PTB和Navi Protocol 等相关的概念,介绍了如何利用Sui SDK和Navi SDK完成一个自定义的PTB模块完整的项目操作。
前言作为和Aptos同期出名的Move语言生态双子星的Sui网络,在北京时间5月3日晚上8点,也已上线了主网。那么要进入Sui生态进行dapp的开发,要先记住一句话:万物皆是Object。为什么这么说呢?Sui借鉴了BTC的UTXO的模式,它将每个交易输出
前置条件:电脑上一定要安装了MetaMask插件,且钱包里有至少0.2个ETH。如果还没安装,请查看另一个文档的安装教程。1、打开Remix编译器2、导入ERC20合约代码3、部署合约编译合约按照下方操作选择编译成功后,会显示绿色标识。如果
在区块链技术蓬勃发展的当下,Sui区块链以其独特的特性和创新的设计吸引着众多开发者与研究者的目光。深入理解Sui区块链的关键技术要点,对于把握区块链技术发展趋势、构建高效可靠的区块链应用具有极为重要的意义。本文将聚焦Sui区块链的几个关键技术场景,包括出块时间、entry修饰符的运用以
Walrus在数据存储领域展现出独特的特性与功能,其在单个时期(epoch)内的工作流程涵盖多个关键操作,包括写入、读取、切片恢复、处理恶意写入编码不一致情况以及委员会重新配置等,同时具备一系列扩展功能以保障系统高效运行与数据可靠存储。本文将深入剖析Walrus的各项工作流程与功能特性。
首先感谢Let'sMove共学,感谢HOH社区我会把详细的过程和注意的点都写上,适合和我一样的小白开始学习move今天我们来分析一下Coin源码github源码:https://github.com/MystenLabs/sui/blo
coin
Sui区块链:可扩展且安全的Web3Layer1解决方案Sui区块链是一种Layer1解决方案,已成为区块链技术领域的游戏规则改变者。其创新方法解决了臭名昭著的区块链三难困境——同时实现去中心化、可扩展性和安全性。Sui区块链旨在正面解决现有区块链的局限性。Sui由Meta
在上一篇文章《Task2:move coin》中,我们学习了如何通过Move 编程语言创建一个简单的代币合约,并实现了合约的发布与调用。在此过程中,我们逐步掌握了Move 的模块化设计资源管理机制以及合约间的交互方法,为构建链上金融场景提供了强大的工具支持。本篇文章将延续之前的学习路径,完成Move
扫一扫 - 使用登链小程序
39 篇文章,436 学分
68 篇文章,364 学分
25 篇文章,255 学分
109 篇文章,233 学分
12 篇文章,174 学分