全部 通识 以太坊 比特币 Solana 公链 Solidity Web3应用 编程语言 安全 密码学 AI 存储 其他

技术详解 | 如何对Cosmos SDK标准模块进行形式化验证

in  Web3.0安全开发实践
CertiK完成了针对CosmosSDK形式化验证。形式化验证是一项运用数学逻辑来确保系统符合规范，使其在所有可能的输入和条件下都如预期表现的技术。本文将介绍形式化验证CosmosSDKBank模块的具体步骤，以及一些验证结果。
形式化验证 
  • CertiK
  • 发布于 2024-12-03
  • 阅读 ( 1303 )
  • ( 16 )

Sui Move 调试Debugging和test_scenario单测工具使用

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

AI Agent迭代 Web3 新基建，开启智能新纪元

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

PermaDAO 第 95 期周报｜FusionFi Protocol: 连接所有金融代理｜11.23 - 11.29

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

发链平台指南：波卡之后，还有哪些一键发链平台值得选择？

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

Erc7786 跨链消息传递示例

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

Sui move单测从入门到精通

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

《Hack and Tell》第二期：Sam 对谈 Phil Mataras 的观点精华

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

从‘我不会’到‘我会了’，一起玩 Move 合约开发

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

Mina Learning - Signature

Mina 采用 [Schnorr signature](https://github.com/o1-labs/proof-systems/blob/403763e2c824b030b3de5c25950c116984311d9b/signer/src/schnorr.rs) 生成签名.
OpenBuild  Mina  zk 
  • longerd
  • 发布于 2024-11-29
  • 阅读 ( 1156 )
  • ( 29 )

move入门之集合(二)

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

move入门之集合(一) : Vector数据类型深度分析

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

Crypto × AI Agent的最后一块拼图

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

四、能力（Ability）

本篇文章学习四种能力，这在move语言中很重要
Sui Move 
  • Ch1hiro
  • 发布于 2024-11-28
  • 阅读 ( 1150 )
  • ( 16 )

Mina Learning - Address

Mina 地址的一些学习
OpenBuild  Mina  zk 
  • longerd
  • 发布于 2024-11-28
  • 阅读 ( 1145 )
  • ( 32 )

公链开发指南：EVM 与 Move VM 的优劣分析

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

FusionFi Protocol：连接所有金融代理

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

Mina Learning - Mina Protocol 中文翻译

此文为 Mina 官方文档 [Mina Protocol 部分](https://github.com/o1-labs/docs2/tree/main/docs/mina-protocol)中文翻译
  • longerd
  • 发布于 2024-11-27
  • 阅读 ( 1248 )
  • ( 3 )

Move共学-TASK6用Sui SDK和Navi SDK完成一个自定义的PTB模块

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

SUI 主网上线，前端开发者的 DApp 开发指南

前言作为和Aptos同期出名的Move语言生态双子星的Sui网络，在北京时间5月3日晚上8点，也已上线了主网。那么要进入Sui生态进行dapp的开发，要先记住一句话：万物皆是Object。为什么这么说呢？Sui借鉴了BTC的UTXO的模式，它将每个交易输出