Trillian

简介

Trillian 是 Google 对 Verifiable Data Structures 白皮书中描述的算法的一个实现,它也是 Certificate Transparency 的扩展和通用性实现。

Trillian 实现了一个梅克尔树(Merkle Tree),这个树中保存的内容来自于存储层的数据,并且这棵树的扩展性非常好。Trillian 在这颗树的基础上提供了两种操作模式:

  • Log 模式 (append-only)
    这个模式跟原始的 Certificate Transparency logs 类似。在这个模式下,梅克尔书从左子树开始填充,最后会形成一颗 dense 树。
  • Map 模式 (key/value pairs)
    在这个模式下,允许透明地存储任意的 Key:Value 对。Key 的哈希值被用来表示一颗很深的梅克尔书的叶节点,这种情况下就会形成一颗 sparse 树。
    注:Trillian Map 是一个无序 map,不允许遍历 key)

Trillian 设计特点

1) Trillian 通过 grpc 来提供服务,通过 get/set 接口来获取存储在数据库(比如 MySQL)中的相应的 Merkle tree 数据,确保 Tree 的保密特性。

2) Trillian 实现了多租户,单个 Trillian 的安装可以同时支持多个 Merkle tree 的存在,通过它们的 TreeID 来区分。

Personality 特征

Trillian 服务需要配合实现其他代码来适应透明的存储,这个就叫 Personality。
Personality 的主要目的是实现一个“准入标准”:只有符合特定类型要求的数据才可以加入到 store。比如,对于一个 certificate transparency log 来说,只有是有效的 certificate 才会被接受。

personality 也可以对进入的数据进行标准化,这样,可以避免数据的无效重复

注意:personality 需要使用自己单独的数据库来保存数据,与 Trillian 独立开来。尤其,在 personality 不完全信任 Trillian 的时候,它需要把 Trillian 签名过的东西存起来以便检测问题,因此,这种情况下,personality 实际上扮演的是 monitor 的作用。

Map 模式

Triilian 运行在 Map 模式下的时候,可以认为是提供了一个 key:value store,但是提供了一个数据加密透明性的安全保障。
提供的服务就是 get/set,比如 GetLeaves,SetLeaves,GetSignedMapRoot 等。
只有一个接口会修改数据库的数据,就是 SetLeaves,这个请求可以包含一批更新,一旦所有的更新完成,这个 Map 就会有一个新的版本 revision,这个版本会有一个新的 tree head

Log 模式

当运行在 Log 模式的时候,Trillian 提供了类似 Certificate Transparency logs (RFC 6962)所提供的服务。包括:

  • GetLastestSignedLogRoot
  • GetLeavesByHash 和 GetLeavesByIndex
  • QueueLeaves
  • GetInclusionProof,GetInclusionProofByHash, GetConsistencyProof

在 Log 模式下,Trillian 增加了一个额外的 Signer 模块,这个组件会会周期性的处理 pending queued items,把逐个把它们加到 Merkle tree 上,最终生成一个 signed tree head 作为结果。

用例

1. CT Log, Certificate Transparency Log

Trillian Log Mode 最明显的应用就是 CT Log(RFC 6962),要实现它,CT Log personality 需要包含所有跟 certificate 相关的处理,比如,确定某个 item 可以被包含进一个 tree root 之前,它需要确实是一个 valide certificate。

2. 可验证的 Log-Derived Map

Verifiable log derived map,VLDM,又叫 Log-Backed Map。要实现它,一个 VLDM personality 需要监控任何时候对 log 增加一条记录,同时,在 map 中也写入相应的 key:value pair。
然后,VLDM 的 client 可以验证,在 Map 中出现的 entries 同时可以被任何人通过检查 Log 来验证操作的正确性,然后反过来允许 Client 更加信任由 Map 返回的 key:value parit。

一个 VLDM 具体的例子是,监控一个 certificate transparency log,同时根据 log 中的域名信息和 certificate 的对应来建立一个 map。

参考来源:
https://github.com/google/trillian

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

推荐阅读更多精彩内容