Cosmos-- 四.客户端 -- 6.规范

cosmos主网即将上线,对文档做了大量更新。特地翻译了一下,方便小伙伴们阅览, 之后会持续更新

第四章客户端:

  1. 客户端
  2. CLI
  3. 服务提供商
  4. 轻客户端概览
  5. 开始
  6. 规范

规范

该规范描述了如何实现LCD。LCD支持模块化API。目前,还只支持ICS0(Tendermint API),ICS1(Key API)和ICS20(Token API)。以后,如有需要的话可以包含更多API。

构建并验证ABCI状态证明

众所周知,基于cosmos-sdk的应用程序的存储包含多个子存储。每个子存储由IAVL存储实现。这些子存储由简单的Merkle树组织。要构建树,我们需要从这些子存储中提取名称,高度和存储根哈希以构建一组简易的Merkle叶节点,然后计算从叶节点到根的哈希。简易Merkle树的根哈希是AppHash,它将包含在区块头中。

simpleMerkleTree.35a69100.png

正如我们在LCD信任传播中所讨论的,可以通过检查可信验证人集合的投票权来验证AppHash。在这里,我们只需要建立从ABCI状态到AppHash的证明。证明包含两部分:

  • IAVL证明
  • 针对AppHash的子存储的证明

IAVL证明

证明有两种类型:存在证明和不存在证明。如果要查询键值是否存在于IAVL存储中,则它返回键值及其存在证明。另一方面,如果键值不存在,那么它只返回不存在证明,这可以证明键值肯定不存在。

IAVL存在证明
type CommitID struct {
    Version int64
    Hash    []byte
}

type storeCore struct {
    CommitID CommitID
}

type MultiStoreCommitID struct {
    Name string
    Core storeCore
}

type proofInnerNode struct {
    Height  int8
    Size    int64
    Version int64
    Left    []byte
    Right   []byte
}

type KeyExistsProof struct {
    MultiStoreCommitInfo []MultiStoreCommitID //All substore commitIDs
    StoreName string //Current substore name
    Height  int64 //The commit height of current substore
    RootHash cmn.HexBytes //The root hash of this IAVL tree
    Version  int64 //The version of the key-value in this IAVL tree
    InnerNodes []proofInnerNode //The path from to root node to key-value leaf node
}

存在证据的数据结构如上所示。构建和验证存在证明的过程如下所示:

existProof.16d0e856.png

构建证明的步骤:

  • 从根节点访问IAVL树。
  • 记录InnerNodes中的访问节点,
  • 找到目标叶子节点后,将叶子节点的版本赋值给证明版本
  • 将当前IAVL树高度赋值给证明高度
  • 将当前IAVL树rootHash赋值给证明rootHash
  • 将当前的子存储的名称赋值给证明的子存储
  • 从db按高度读取multistore的commitInfo并将其赋值给证明StoreCommitInfo

验证证明的步骤:

  • 使用键,值和证明版本构建叶子节点。
  • 计算叶子节点哈希
  • 将hash值分配给第一个innerNode的rightHash,然后计算第一个innerNode的hash值
  • 传播哈希计算过程。如果先前的innerNode是下一个innerNode的左子节点,则将先前的innerNode的hash分配给下一个innerNode的leftHash。否则,将先前的innerNode的hash值分配给下一个innerNode的rightHash。
  • 最后一个innerNode的hash值应该等于此证明的rootHash。否则,证明无效。
IAVL不存在证明

众所周知,所有IAVL叶子节点都按每个叶子节点的key排序。因此,我们可以计算此IAVL树的整个key集合中目标key的位置。如下图所示,我们可以找到左key和右key。如果我们可以证明左key和右key肯定存在,并且它们是相邻的节点。因此目标key肯定不存在。

absence1.9fe56931.png

如果目标key大于最右边的叶子节点的或小于最左边节点的key,则目标key肯定不存在。

absence2.d0d2b33b.png
absence3.c3f6007e.png
type proofLeafNode struct {
    KeyBytes   cmn.HexBytes
    ValueBytes cmn.HexBytes
    Version    int64
}

type pathWithNode struct {
    InnerNodes []proofInnerNode
    Node proofLeafNode
}

type KeyAbsentProof struct {
    MultiStoreCommitInfo []MultiStoreCommitID
    StoreName string
    Height  int64
    RootHash cmn.HexBytes
    Left  *pathWithNode // Proof the left key exist
    Right *pathWithNode  //Proof the right key exist
}

以上是不存在证明的数据结构。构建证明的步骤:

  • 从根节点访问IAVL树。
  • 获取在整个key集合中key的索引(标记为INDEX)。
  • 如果返回的索引等于0,则右索引应为0且左节点不存在
  • 如果返回的索引等于整个key集合的大小,则左节点索引应为INDEX-1且右节点不存在。
  • 否则,右节点索引应为INDEX,左节点索引应为INDEX-1
  • 将当前IAVL树高度赋值给证明高度
  • 将当前IAVL树rootHash赋值给证明rootHash
  • 将当前的子存储的名称赋值给证明的StoreName
  • 从db按高度multistore的commitInfo并将其分配给证明的StoreCommitInfo

验证证明的步骤:

  • 如果只存在正确的节点,请验证其存在的证明并验证它是否是最左侧的节点
  • 如果仅存在左节点,请验证其存在的证明并验证它是否是最正确的节点。
  • 如果右节点和左节点都存在,请验证它们是否相邻。

针对AppHash的子存储的证明

在验证了IAVL证明之后,我们就可以开始验证针对AppHash的子证明。首先,遍历MultiStoreCommitInfo并通过证明StoreName找到子存储的commitID。验证commitID中的哈希是否等于证明的RootHash。如果没有,证明无效。然后通过子存储的name的哈希对子存储的commitInfo数组进行排序。最后,使用所有子存储的commitInfo数组构建简单的Merkle树,并验证Merkle根哈希值是否等于appHash。

func SimpleHashFromTwoHashes(left []byte, right []byte) []byte {
    var hasher = ripemd160.New()

    err := encodeByteSlice(hasher, left)
    if err != nil {
        panic(err)
    }

    err = encodeByteSlice(hasher, right)
    if err != nil {
        panic(err)
    }

    return hasher.Sum(nil)
}

func SimpleHashFromHashes(hashes [][]byte) []byte {
    // Recursive impl.
    switch len(hashes) {
        case 0:
            return nil
        case 1:
            return hashes[0]
        default:
            left := SimpleHashFromHashes(hashes[:(len(hashes)+1)/2])
            right := SimpleHashFromHashes(hashes[(len(hashes)+1)/2:])
            return SimpleHashFromTwoHashes(left, right)
    }
}

验证验证人集合的区块头

以上部分经常引用appHash。但值得信赖的appHash来自哪里?实际上,appHash存在于块头中,因此接下来我们需要验证特定高度的LCD可信验证人集合的区块头。验证流程如下所示:

commitValidation.dd75cbe3.png

当可信验证人集合与区块头不匹配时,我们需要尝试将可信验证人集合更新为此高度区块的验证人集合。LCD有一个规则,即每个验证人集合的变化不应超过1/3投票权。如果目标验证人集合的投票权变化超过1/3,则与可信验证人集合进行比较。我们必须验证在目标验证人集合之前是否存在隐藏的验证人集合变动。只有当所有验证人集合变更都遵循此规则时,才能完成验证人集合的更新。

例如:

updateValidatorToHeight.6ff55d6c.png
  • 更新至10000, tooMuchChangeErr
  • 更新至5050, tooMuchChangeErr
  • 更新至2575, Success
  • 更新至5050, Success
  • 更新至10000,tooMuchChangeErr
  • 更新至7525, Success
  • 更新至10000, Success
最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 203,362评论 5 477
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 85,330评论 2 381
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 150,247评论 0 337
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 54,560评论 1 273
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 63,580评论 5 365
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 48,569评论 1 281
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 37,929评论 3 395
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 36,587评论 0 258
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 40,840评论 1 297
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 35,596评论 2 321
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 37,678评论 1 329
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 33,366评论 4 318
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 38,945评论 3 307
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 29,929评论 0 19
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 31,165评论 1 259
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 43,271评论 2 349
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 42,403评论 2 342