CertiK完成了针对CosmosSDK形式化验证。形式化验证是一项运用数学逻辑来确保系统符合规范，使其在所有可能的输入和条件下都如预期表现的技术。本文将介绍形式化验证CosmosSDKBank模块的具体步骤，以及一些验证结果。

熟练掌握 debug 和 test_scenario 这两个工具包，开发者在 Move 开发中遇到问题时，便能够高效地进行调试与模拟测试，极大提升开发效率与代码质量。

摘要Web3的发展历程，本质上是新基建不断迭代、融合并推动创新和变革的过程。分布式账本、智能合约、Token作为核心要素推动了加密数字货币、公链、DeFi等的创新和成熟发展。AIAgent作为Web3新基建，将开启Web3的智能新纪元。

上周，PermaDAO发放了约166枚$AR和6,177枚$BP作为奖励，旨在激励更多Arweave生态贡献者积极参与生态建设。此外，PermaDAO每周热点复盘活动如期举行，并产出了多篇优质文章。不要错过，快来一览上周的精彩内容！

波卡作为第一批发链平台的龙头，在上一轮市场行情中可谓风光无限，顶着以太坊杀手和跨链的叙事，成为一众公链中的佼佼者，曾今在波卡上竞拍一个平行链卡槽动辄上千万，更贵的要上亿。但糟糕的管理、毫无节制的营销支出、技术迭代缓慢等，让波卡快速跌落神坛。然而发链的叙事仍在继续，不少发链平台通过技术创新、基础框架

常用的设计模式

这篇文章详细介绍了如何使用 ERC7786 标准和 Axelar 适配器进行跨链消息传递，包括理论和实际的步骤，如适配器的设置、链等价关系的注册、消息的发送和执行。整篇文章围绕技术实施进行了系统性分析，适合开发者学习跨链技术的集成。

本教程详细的阐述了 Sui Move 单元测试的相关知识与实践方法。在合约模块发布到链上之前通过单元测试不仅能保障代码指令，也能减少gas成本。

这次播客Sam邀请PhilMataras探讨Arweave和AR.IO网络的创新，包括ArDrive、ArNS域名系统、多密钥兼容性及Turbo捆绑机制。另外，也对Dapp的部署优化、用户身份控制和生态新机会进行了深入交流。

随着区块链技术的飞速发展，越来越多的开发者开始寻求更高效、更安全的区块链平台，以支持去中心化应用（DApps）的快速发展。Sui 链和Move 编程语言作为新兴的区块链解决方案，以其创新的设计理念和技术优势，正在成为开发高性能区块链应用的理想选择。本文将介绍Sui 链和Move 编程语言的基本概念、

move入门之集合(二):Vector数据衍生类型VecSet深度分析🧑‍💻作者：gracecampo概述VecSet是Move语言中的一种vector数据类型衍生出的集合类型，可以看作是Vector数据类型变种。特点唯一性：VecSet不允许重复项，确保集合中的每个元素

move入门之集合(一):Vector数据类型深度分析🧑‍💻作者：gracecampo概述在之前的文章中，我们对基本数据类型有了基本的认识，在move中，定义了多种集合类型。集合类型的数据结构主要包括以下几种：Vector:用于存储同一类型的元素集合，类似于动态数组。T

本文探讨了AIAgent与区块链结合的最新进展，重点介绍了AO网络如何通过Arweave提供去中心化存储、支持高性能计算和灵活扩展，为AIAgent提供去中心化托管服务，并成为AIAgent的去中心化执行层，补齐Crypto✖️AIAgent的最后一块拼图。

本篇文章学习四种能力，这在move语言中很重要

Mina 地址的一些学习

这也引发我一个思考，如果企业要自己开发公链，那么选择现有的开发框架如Cosmos SDK、StarStack、Substrate进行开发无疑是最简单和省事的，或者用OP Stack、Polgon CDK等技术做一条L2也是很方便，但我的问题是应该选择EVM虚拟机，还是Move呢？

当区块空间不再是稀缺品，请重新想象一下链上金融该有的模样。

本文介绍了dapp-kit、PTB和Navi Protocol 等相关的概念，介绍了如何利用Sui SDK和Navi SDK完成一个自定义的PTB模块完整的项目操作。