• WAP手机版 加入收藏  设为首页
最新资讯

基于区块链的流量共享与分布式存储系统 OutsT

时间:2019/7/18 13:41:36   作者:   来源:   阅读:15   评论:0
内容摘要:基于区块链的流量共享与分布式存储系统OutsT ≔ {y1≤i≤2|yi = pi(pj(p4(T))), 1 ≤ j ≤mT}}。 同样地,OutsT 的每一个元素也都是上文所定义的输出。我们把 Λ ≔ {T|T是一个交易} 记为交易空间 (space ...

基于区块链的流量共享与分布式存储系统

 

OutsT ≔ {y1≤i≤2|yi = pi(pj(p4(T))), 1 ≤ j ≤mT}}。 同样地,OutsT 的每一个元素也都是上文所定义的输出。我们把 Λ ≔ {T|T是一个交易} 记为交易空间 (space of transactions)。令 SCRSIG 表示所有签名脚本的空间。 那么 PKS 则是一个二元函数PKS ∶SCRSIG → {0, 1}。 在后面的【Part4-1.4】中,我们将使用该二元函数以指定和例举各种交易。 1.3、标记状态转移系统 在上一节的基础上,我们便可以把标记状态转移系统 (S, Λ, →) 定义为一 个满足下面性质的系统。即 (S, Λ, →) 满足: 1、S是一个由一系列状态构成的集合,集合的每一个元素 s ∈ S 都是由 数组 (Id, O) 构成的有限集,其中 Id 是一个 TXID,O是一个输出列表。 2、Λ 是一个交易空间。 3、→⊆ S × Λ ×S 是一个由标记状态转移函数构成的集合。集合的确切表达 为:→≔ {(p, t, q) ∈S × Λ × S| (p, t, q) 满足以下三个条件。} (i)存在一个(有限) 子集 U ⊆ p,对于这个子集存在一个一一映射 f:U→InsT对于所有u ∈ U满足 即:T 种的引用 (reference) 都引自于 p 中的元素。cloudtoken

基于区块链的流量共享与分布式存储系统 ( ii) 等 式 对于全部u ∈ U 成立,即输入脚本的签名必须包含于 之内。 (iii)不等式 成立。即T输出量的总量必须小于U中输出的总量。 (iv)等式 成立。这意味着在InsT 中引用的P 的元素被与T的输出相对应的元组替换。 本文将使用 P →T q ≔ (p,T, q) ∈→ 来表示集合 →⊆ S × Λ × S 的元素。 1.4、脚本 现在我们来构建各种 ScrSig 和 PKS 函数。对于标记状态转移函数 中的输入脚本必须位于 PKS 的 1 次逆像中。这些输入脚 本和 PSK 函数都终将由代码来定义和实现,一系列具有实用价值的协议便可以 被这些代码构架并实现出来。需要注意的是,尽管以下示例仅仅用比特币 Script 语言编写,但是由于比特币脚本本质上代表了用 Solidity 语言 (以太坊脚本语言) 所编写的脚本的一个子集,因此以下的每个语句也都同样适用于 Solidiyt 脚本。 1.4.1、多重签名合约 令 1 ≤ n, m ∈ N。n-m-多重签名合约,或者说 n-m-多重签名就是一个具备
基于区块链的流量共享与分布式存储系统 如下形式的 PKS 输出: 一个2-2-多重签名PKS 可以在脚本中这样实现: 2< Q_ 1 > < Q_2 > 2 OP_CHECKMULTISIG 与之相应的ScrSig(另一个引用包含上述 PKS 的输出的交易) 则可以写成: OP_0 < sgn_Q_ 1 > < sgn_Q_2 > 1.4.2、哈希锁合约 哈希锁合约 (HashLocked contract),简称 HLC 是一个具备以下PKS形式的输出 其中 H 是加密散列函数。下面是一个比特币 script 语言中哈希锁合约 PKS 的例子: [HASHOP]
基于区块链的流量共享与分布式存储系统 < H(x ) > OP_EQUAL 在这里[HASHOP]既可以是OP_SHA256也可以是OP_HASH160。相应的ScrSig 是单行代码:cloudtoken < x > 1.4.3、 哈希时间锁合约 哈希时间锁合约 (Hashed TimeLock contract),简称 HTLC 是一个具有非零 时间锁的交易T,即 lT≥ 0,此外还应有至少一个输出具有 PKS 形式 其中 H 是加密散列函数。比特币脚本中的 HTLC 结构可以写成: OP_ IF [HASHOP] <diges t> OP_EQUALVERIFY OP_DUP OP_HASH160 <sel ler pubkey hash> OP_ELSE <num> [TIMEOUTOP]cloudtoken
基于区块链的流量共享与分布式存储系统 OP_DROP OP_DUP OP_HASH160 <buyer pubke hash> OP_ENDIF OP_EQUALVERIFY OP_CHECKSIG 这里[TIMEOUTOP]或者是 OP_CHECKSEQUENCEVERIFY,或者是OP_CHECKLOCKTIMEVERIFY。 2、技术架构及功能 2.1、整体网络架构 2.2、TNG 系统架构
基于区块链的流量共享与分布式存储系统 2.3、产品功能 3、技术特点 3.1、跨链闪电网络 TNG区块链的核心功能之一就是跨链闪电交易。为了阐释该功能,我们首先 来就跨链闪电交易的两大基本理论基础,即原子跨链交易和闪电网络分别展开讨 论。3.1.1、原子跨链交换 原子跨链交换 (atomic cross-chain swap) 简称 ACCS,是一份旨在实现把 属于两个不同区块链上的代币进行交换目的的协议。本文所使用的 ACCS 协议
基于区块链的流量共享与分布式存储系统 是被 Noel Tiernan 首先提出的 [ACCS]。 假设 (S, Λ, →) 和 (S′, Λ′, →′) 是两个不同的区块链。交易方 p1 想要把自 己在区块链 (S, Λ, →) 上的 0 ≤ n ∈ N 个代币与交易方 p2 在区块链 (S′, Λ, →′)上的 0 ≤ m ∈ N 个代币进行交换。为此,每个交易方都要在格子的持币 区块链上生成两个交易:p1 生成τ1, τ2 ∈ Λ,p2 生成τ′3, τ′4∈ Λ′ 。令 0 ≤ 2c ∈ N,设 x ∈ Z 是由 p1 生成的一个加密随机整数。在不考虑手续费、交易 Id 和交易版本号的情况下,由 p1 和 p2 生成的上述四个交易框架如下: 需要注意的是,交易双方需要把 τ2 和 τ4 进行互换,以便确保输入都包 含必要的签名。 τ1 和 τ3 再由交易方提交给两个交易各自所属的区块链。此后, 如果 p1 公开 x 并生成一个花费τ3 输出的交易,p2 则也可以通过同样的操作 花费掉τ1 的输出。否则,交易双方也可以通过分别推送 τ2 和 τ4 来找回各自的 资金。下面是 τ1 输出脚本的一个代码示例:

基于区块链的流量共享与分布式存储系统 OP_IF // Refund for Q_1 2 < Q_1 > < Q_2 >2 OP_CHECKMULTISIGVERIFY OP_ELSE // Ordinary claim for Q_2 OP_HASH160 < H(x) > OP_EQUAL < Q_2 > OP_CHECKSIGVERIFY OP_ENDIF τ2 的退款交易代码是一个输出映射到 p1 地址的 2-2-多重签名输入脚本。 3.1.2、闪电通道 Poon 和 Dryja 在文章cloudtoken [lightning_network] 中描述了“闪电网络”的概念, 闪电网络的具体实行详情参见[BOLTS]。简而言之,交易双方开放一个所谓的“闪 电通道”,并且在闪电通道上冻结双方区块链上一定数量的资金作为交易基金。 各交易方通过“闪电通道”生成脱链交易,以重新定义基金中各方所占有的份额。 通道通过 HTLCs 被连接在一起,并且速度能够达到即时交易的程度。尽管交易 各方都关闭各自的通道 (对每个通道都执行双侧关闭) 是更加经济的操作,但是 单方进行单侧通道关闭也是完全可以的。cloudtoken

基于区块链的流量共享与分布式存储系统_OutsT


相关评论