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

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

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

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

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

一文介绍cosmos各组成模块

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

COSMOSSDK BANK模块中文文档

x/bankAbstractThisdocumentspecifiesthebankmoduleoftheCosmosSDK.Thebankmoduleisresponsibleforhandlingmulti-assetcointransfersbetw
Cosmos  bank 
  • djan
  • 发布于 2024-07-15
  • 阅读 ( 1595 )
  • ( 5 )

COSMOSSDK GOV模块中文文档

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

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

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

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

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

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

Cosmos SDK 是世界上最受欢迎的用于构建面向应用的区块链的框架。
SDK 
  • Faesove
  • 发布于 2023-01-07
  • 阅读 ( 5056 )
  • ( 28 )

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

这篇文章主要讲述使用Cosmos的Ignite-Cli工具快速开发NameService应用。NameService的主要功能是用户可以购买域名，给域名设置可以解析的地址或则值，域名拥有者可以删除域名。
Ignite-CLI 
  • VictorXSS
  • 发布于 2022-11-17
  • 阅读 ( 2604 )
  • ( 2 )

超越 IBC

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

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

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

关于Cosmos的研究

本文从 [多链](https://learnblockchain.cn/article/2610) 和 [跨链](https://learnblockchain.cn/article/3632) 开始，介绍了3种常见的跨链方式。接着介绍了Cosmos核心解决了2个问题，第一个是简化区块链创建过程，第二个是标准化了Cosmos生态内部的跨链协议IBC。
跨链  Cosmos 

Cosmos：区块链3.0，互联网的基础态

从2014年开始构思的[Cosmos](https://learnblockchain.cn/2019/05/21/what-is-cosmos)网络，可以说是Right tech wrong time，生不逢时的Cosmos在8年之后再次回到了聚光灯下，这次会不会是right tech right time呢？
Cosmos  跨链 

COSMOS的IBC规范ICS003-connection

读书笔记基于cosmos最新的ibc规范ics的第3章connection作的翻译
IBC  ICS  跨链  Cosmos 
  • Yieazy
  • 发布于 2020-10-30
  • 阅读 ( 3845 )
  • ( 25 )

COSMOS的IBC规范ICS002-client

读书笔记基于cosmos最新的ibc规范ics的第2章client作的翻译
IBC  ICS 
  • Yieazy
  • 发布于 2020-04-07
  • 阅读 ( 4529 )
  • ( 42 )

Tendermint 文档 - 安装Tendermint

介绍 安装Tendermint 的多种方式
Tendermint文档 
  • hundredwz
  • 发布于 2020-02-26
  • 阅读 ( 345 )
  • ( 20 )

Tendermint 中文文档 - 快速入门

本文是快速入门指南。如果您对Tendermint了解尚不清晰，但想立即运行起来，阅读本文吧。
Tendermint文档 
  • hundredwz
  • 发布于 2020-02-26
  • 阅读 ( 406 )
  • ( 20 )

Tendermint文档 - 架构概述

Tendermint架构概述： 通信、node.go, 节点类型，Reactors
Tendermint文档 
  • hundredwz
  • 发布于 2020-02-26
  • 阅读 ( 410 )
  • ( 20 )

Tendermint文档 - 什么是Tendermint

Tendermint包括两个主要技术组件：区块链共识引擎和通用应用程序接口。 共识引擎，被称作Tendermint Core。 Tendermint的目标是易使用、便理解、高性能并适用各种分布式应用场景。
Tendermint文档 
  • hundredwz
  • 发布于 2020-02-26
  • 阅读 ( 1054 )
  • ( 20 )

tendermint的共识详解

本文为tendermint paper: The latest gossip on BFT consensus的读书笔记, 本文旨在理清论文中所讲的BFT共识. 如果您在阅读过程中有任何意见可以发起ISSUE, 如果喜欢的话可以点击`star`.
共识算法  PBFT  BFT  Tendermint 
  • Yieazy
  • 发布于 2020-01-21
  • 阅读 ( 6481 )
  • ( 37 )