RChain的跨分片交易算法

跨分片交易是一个难题,但是遗憾的是业界已经有一个项目RChain解决了这个问题。

分片方式有很多种,最难的是状态分片,什么是状态分片呢?把以太坊比作银行的话,状态指的是银行账户的当前余额。那状态分片就是,按照账户的不同区分开来,就像6222开头的是工商银行,6214开头的招商银行的账户。

在以太坊的第一期的分片计划当中是没有跨分片交易的,交易只能存在于同一个分片的账户之间,也就是不能跨行转账。

那如何实现跨行转账呢?

1、架构

分区是一个树形结构

依赖关系是子分片依赖父分片

子分片的validators可以作为父分片的客户端

token在父分片和子分片的转义是通过智能合约去实现的

在父分片中的智能合约叫做Depository,它代表存储在子分片中token的余额数

当余额从子分片转到父分片当中的时候,它是从Depository提款

当余额从父分片转到子分片当中的时候,它是从Depository存款

在子分片中的智能合约叫Mint

当余额进入子分片的时候,Mint创建相应的代币

当余额离开子分片的时候,Mint销毁相应的代币

Mint和Depository一起建立起父分片和子分片的代币之间的汇率

1.1、跨分片消息传递

1.1.1 组织

每个实体都有一个URN,结构是 : <protocol_id>:<shard_path>/<public_key_fingerprint>.

每个实习都有一个通过公钥来识别身份的邮箱. RChain分片是通过channel实现的.

每个分片都运行着一个Mailman合约来路由消息.

每条消息都包含这三个字段: destinationsignature & payload

描述

同一个分片的消息传递

Mailman从消息中提取到destination,然后发送到目标邮箱

准备跨分片消息

在消息发送到其他分片前要经过共识,发送消息的意图将存储在块链中,并且只有在块完成后才发送。

子分片到父分片交易

向父分片发送消息的总结如下:

1、就发送消息到父分片的决定达成共识

2、validators签名然后把消息发送给父分片

3、消息需要至少k个validators的签名

4、获得k个签名之后,消息存储在区块链中

5、共识达成之后,进行下一步

父分片向子分片交易

传输过程如下:

1、就发送消息的决定达成共识

2、子分片的validators作为父分片的客户端,收到了这条消息

3、子分片的validators在子分片的区块链上存储这条消息

4、共识达成之后进行下一步动作

1.2 散列锁托管转移(Hash-locked escrow transfer)

爱丽丝和鲍勃要通过代币P来交易货物,他们需要以下的一个交易机制来保证:

1、爱丽丝拥有代币P有效

2、在交易过程当中,代币P在爱丽丝的账户金额当中锁定,并且不能被其他交易使用

3、当得到了K次确认之后,交易执行成功

4、交易被取消的话,如果时间少于T,则代币会归还到爱丽丝的账户当中

Hash-locked escrow API

以下是对上图中的一些概念的解释:
Methods
initialize(key-hash : Hash, from : LocalAddress, to : LocalAddress, deadline: TimeInterval)

初始化转账的参数

execute(key : Key)

提供一个合法的key来触发交易的执行

通知事件

outgoing-transfer-ready

给发送方的事件。通知发送方这个交易已经正确的建立了

incoming-transfer(keyHash : Hash)

通过接受方它有一笔收款。这个通知还包括了执行这个交易需要的key

transaction-finalised(key=K)

当这笔交易已经完成之后通知双方。 这也是发送方接受交易的key的通道,这个key是用于触发链中的下一个传输

1.3 原子交叉碎片单向值传递(Atomic cross-shard one-way value transfer)

父分片中的代币要转换成子分片中的代币

爱丽丝拥有一个在父分片当中的钱包。鲍勃用户一个在子分片中的钱包

整个转账过程需要是原子性操作

一个单项的值传递需要使用到以上的两种操作:散列锁托管转移和跨分片消息

多步骤的跨分片转账通过它们的最小公共祖先的分片来完成。

在上述的例子当中,从"/a/b"转账给"/d"需要通过图中红色的分片

算法如下:

爱丽丝和鲍伯在不同的任意碎片之间的转移将执行以下算法:

Let LCA-A be the depository of Alice's branch in the least common ancestor

Let LCA-B be the depository of Bob's branch in their least common ancestor.

The algorithm for cross-shard transfers is described below:

transfer(Key, Source, Destination) =
    setup upward-tree-transfer with key-hash=hash(Key), from=Source, to=LCA-A
    setup hash-locked-escrow-transfer with key-hash=hash(Key), from=LCA-A, to=LCA-B
    setup downward-tree-transfer with key-hash=hash(Key), from=LCA-B, to=B
    Destination publish Key
    propagate K from B towards A

 1.3.1 例子

例子1:父分片到子分片

例子2:子分片到父分片

例子3:任意碎片之间的传递

Tips:图片上的字看着有点小,右键选择“在新标签页面中打开图片”看着就比较大了

2、相关名词解释

Shard (aka locale) - 有自己的一组验证人的独立网络

Shard tree - 分片的结构

Neighbour shards - 相邻的分片

Mailman - 发送消息给别的分片的智能合约

Mailbox - 存储消息. 也是分片的客户端

Address - 多分片的环境里的实体的唯一标识. 包括分片id和公钥

Mint - 在分片当中创建和销毁代币的智能合约

Depository - 存储子分片当中的代币余额的智能合约

3、Useful links

https://blockstream.com/sidechains.pdf

https://en.bitcoin.it/wiki/Atomic_cross-chain_trading

https://en.bitcoin.it/wiki/Hashed_Timelock_Contracts

本文参与腾讯云自媒体分享计划,欢迎正在阅读的你也加入,一起分享。

发表于

我来说两句

0 条评论
登录 后参与评论

相关文章

来自专栏区块链领域

以太坊潜伏多年令全球黑客为之疯狂的“偷渡”漏洞引发偷币狂潮

世界上有一群人,互联网对于他们来说就是提款机。 是的,过去是,现在更是,因为电子货币的出现,他们提款的速度变得更疯狂。 在2017年,我们的蜜罐监测到一起针对以...

3689
来自专栏博岩Java大讲堂

简易版出款系统架构

2705
来自专栏程序猿DD

如何在Spring Boot中玩转智能合约

本文是由链博科技 ChainBoard.IO 为大家带来的web3j 对智能合约的调用。让 java 程序可以和我们的智能合约愉快的交互起来~ 一、什么是 we...

37310
来自专栏极客编程

如何实现以太坊支付

在这篇文章中,我将实现一个简单但完整的以太坊支付通道。支付通道使用密码签名,以安全、即时、无交易费用重复地传送Ether。

3362
来自专栏申龙斌的程序人生

同时给200多人发送比特币,程序员是这样做到的

在币圈中,使用自己的钱包给他人发币时,就跟平常的微信、支付宝扫码付款类似,输入BTC地址和金额,再输入支付密码,不管对方是否在地球的另一端,不需要任何银行的中介...

1682
来自专栏极客编程

使用truffle部署以太坊智能合约到区块链

truffle是以太坊(ethereum)开发智能合约(smart contract)过程中最受欢迎的框架,本教程来安装构建一个基本的Truffle项目并部署一...

1373
来自专栏区块链入门

第七课 技术小白如何在45分钟内发行通证(TOKEN)并上线交易

通过逐步的指导和截图举证,一步步带领一个技术小白完成一个数字货币(通证,代币,TOKEN)的发布演示和上线交易。

1392
来自专栏区块链入门

第十三课 如何在DAPP应用实现自带钱包转账功能?

区块链是一个伟大的发明,它改变了生产关系。很多生态,有了区块链技术,可以由全公司员工的"全员合伙人"变成了全平台的”全体合伙人”了,是真正的共享经济模式。

1726
来自专栏深入浅出区块链技术

分析比特币网络:一种去中心化、点对点的网络架构

15311
来自专栏极客编程

如何开发创建ERC20以太坊代币

可以把ERC20简单理解成以太坊上的代币协议,所有基于以太坊开发的代币合约都遵守这个协议。遵守这些协议的代币我们可以认为是标准化的代币,而标准化带来的好处是兼容...

1291

扫码关注云+社区

领取腾讯云代金券