全部 以太坊 比特币 Solana 公链 Solidity Web3应用 编程语言 安全 入门/科普 密码学 存储 其他

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

in  Web3.0安全开发实践

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

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

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

一文介绍cosmos各组成模块

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

COSMOSSDK BANK模块中文文档

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

COSMOSSDK GOV模块中文文档

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

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

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

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

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

关于Cosmos的研究

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

跨链  Cosmos 

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

从2014年开始构思的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
  • 阅读 ( 3349 )
  • ( 25 )

COSMOS的IBC规范ICS002-client

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

Tendermint 文档 - 安装Tendermint

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

Tendermint 中文文档 - 快速入门

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

Tendermint文档 - 架构概述

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

Tendermint文档 - 什么是Tendermint

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

tendermint的共识详解

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

Cosmos SDK 中文文档 - 首页

SDK 介绍：从“高层”了解Cosmos SDK. SDK 开发教程: 一个学习 SDK 的教程。它展示了如何从头开始基于 sdk 构建区块链, 并在此过程中解释了 SDK 的基本原理。 开发资源
Cosmos 

Tendermint 中文文档 - 首页

Tendermint Core 是一个区块链应用平台; 相当于提供了区块链应用程序的 Web 服务器、数据库以及用来开发区块链应用的所需的库。

就像为 Web 服务器 服务 Web 应用程序一样, Tendermint 服务于区块链应用。

Tendermint Core 使用拜占庭容错(BFT)共识算法及基于确定性有限状态机的状态机复制 (SMR)。
Tendermint  Tendermint文档 

理解 Cosmos Hub 的治理【译】

本文作者Felix Lutsch 是Chorus One（验证人节点运营服务商）的研究员，本文将介绍Cosmos Hub的治理流程以及如何参与治理。
Cosmos 

【深度知识】Tendermint共识算法原理和框架流程

【深度知识】Tendermint共识算法原理和框架流程
Tendermint 
  • 辉哥
  • 发布于 2019-06-15
  • 阅读 ( 5548 )
  • ( 5 )