Cosmos文章 - 登链社区

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

in Web3.0安全开发实践

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

形式化验证

CertiK
发布于 2024-12-03
阅读 ( 881 )
( 16 )

CertiK技术分享：《Cosmos 生态安全指南》

概况Cosmos是一款开源、开放、高度可扩展的区块链跨链网络，也是全球最为知名的区块链生态之一。Cosmos是一个由CometBFT（原Tendermint团队）推出的支持跨链交互的异构网络，由多条独立、并行的区块链组成去中心化网络，其愿景是打破信息的孤岛效应，实现不同区块链之间的互操作性。在当

CertiK
发布于 2024-10-23
阅读 ( 1666 )
( 22 )

一文介绍cosmos各组成模块

什么是CosmosCosmosSDK是一个用于构建多资产公告权益证明（POS）的开源工具包区块链，例如CosmosHub，以及许可的权威证明POA区块链。使用CosmosSDK构建的区块链通常被称为特定于应用程序的区块链。CosmosSDK的目标是让开发人员能够轻松地从头开始创建自

Cosmos 模块

Leo
发布于 2024-10-10
阅读 ( 1950 )
( 38 )

COSMOSSDK BANK模块中文文档

x/bankAbstractThisdocumentspecifiesthebankmoduleoftheCosmosSDK.Thebankmoduleisresponsibleforhandlingmulti-assetcointransfersbetw

Cosmos bank

djan
发布于 2024-07-15
阅读 ( 1494 )
( 5 )

COSMOSSDK GOV模块中文文档

x/gov概览本文对CosmosSDK的治理模块进行了详细说明。治理模块在2016年的Cosmos白皮书中首次提出CosmosWhitepaper。此模块让以CosmosSDK为基础的区块链支持链上治理系统。在治理系统中，此链的原生代币持有者可以以1:1（原生代币:投票）的比例对提案进行

文档

djan
发布于 2024-07-09
阅读 ( 1374 )
( 5 )

关于IBC Channel的一切信息（第一部分）

这篇文章深入探讨了IBC通道的基本概念，包括通道的类型、握手过程、包的超时机制等。作者通过丰富的实例和图示，清晰地解释了通道在跨链通信中的作用，并对开发者可能遇到的问题进行了解释。文章结构清晰，逻辑严谨，是对IBC通道的优秀介绍。

IBC 通道包超时握手跨链通信 Cosmos

IBCteam
发布于 2023-02-18
阅读 ( 433 )

Router Chain ——一个安全、可扩展、模块化的可组合框架

Router Chain是一个基于Cosmos的Layer 1区块链，旨在解决区块链之间的互操作性问题。它提供了模块化的框架，支持安全、高效的跨链去中心化应用（dApps）的构建。Router Chain采用多层安全机制，允许不同区块链之间的状态持久交互，支持多种定制化的跨链操作。

Router Chain 跨链互操作性 Tendermint共识模块化框架区块链安全去中心化应用

routerprotocol
发布于 2023-02-17
阅读 ( 339 )

Cosmos SDK——从选链到创链的跨越，稳步踏入区块链3.0

Cosmos SDK 是世界上最受欢迎的用于构建面向应用的区块链的框架。

SDK

Faesove
发布于 2023-01-07
阅读 ( 4963 )
( 28 )

Cosmos 使用 Ignite-Cli 快速开发 NameService 应用

这篇文章主要讲述使用Cosmos的Ignite-Cli工具快速开发NameService应用。NameService的主要功能是用户可以购买域名，给域名设置可以解析的地址或则值，域名拥有者可以删除域名。

Ignite-CLI

VictorXSS
发布于 2022-11-17
阅读 ( 2552 )
( 2 )

超越 IBC

本文深入探讨了模块化区块链及其特定应用区块链的设计理念，强调了区块链间互操作性的重要性，介绍了IBC（跨链消息协议）、ICS（跨链标准）以及轻客户端的核心概念。此外，文章还探讨了ZK轻客户端的应用、Verkle树的优势及其在以太坊中的潜在实现，为理解现代区块链连接提供了宝贵的见解。

模块化区块链跨链通信 IBC 轻客户端 ZK轻客户端 Verkle树

maven11
发布于 2022-10-15
阅读 ( 329 )

转发信息：深入探讨IBC转发器的操作

本文深入探讨了 IBG（Inter-Blockchain Communication）中中继操作员的重要性以及即将推出的 ICS-29–中继费用激励机制。通过结合来自多个中继操作员的访谈内容，提供了中继软件的选择与技术设置的细节，明确了中继过程中的各种挑战与解决方案。这为有意开展中继工作的团队和对 IBC 技术感兴趣的读者提供了有效指导。

IBC 中继操作员费用激励中继软件技术设置跨链通信