本文翻译自:https://multicoin.capital/2018/02/23/models-scaling-trustless-computation/
翻译时间:2018-05-15
每一个主流的智能合约平台都在做一组独特的权衡,这些权衡不是简单的某些特定功能的有无,而是从根本上决定了去信任计算平台(公链)的类型。
这篇文章旨在提供一个连贯的思维框架,通过这个框架人们可以理解这些权衡的原因以及这些权衡是如何影响目前加密领域中的一些主流概念的,例如数字黄金(digital gold),可编程货币(programmable money),抗审查(censorship resistance)以及无需许可(permissionless-ness)。
下面我们明确一些定义:
-
抗审查(censorship resistance):完全的言论自由。偏技术化的描述就是,提交任意的记录到区块链的能力。
-
无需许可(permissionless-ness):无需在第三方许可便可访问区块链网络以及验证链的完整性的权利。
本文不探索可扩展性相关的解决方案,如Lightning, Raiden, and Plasma。
译者备注:
闪电网络(Lighting):将大量高频小额交易放到比特币区块链之外进行,针对比特币的解决方案。
雷电网络(Raiden):类似闪电网络,不过是针对以太坊的解决方案。
Plasma: 简单来说,就是通过大量的“子区块链”来减少存储在区块链上的数据量,并使用某种名为“欺诈证明”的技术将“子区块链”和“主区块链”连接在一起,从而实现扩容。
但首先,我们需要针对 “ 去信任 ” 这个词建立好理解一致的语境。Nick Szabo 将 去信任 描述为技术效率的一个逆函数。也就是说,计算机的效率越低,它被操控的难度就越高;它被操控的难度越高,你就越可以相信它。从而实现去信任。
也就是说,区块链为了追求社会化的可扩展性而牺牲了技术上的效率。
加密领域的最终表现形式可不只是一个去信任的数据库(或区块链),在这个去信任的数据库中,所有人对当前的状态都达成一致。加密领域的最终表现形式是一个去信任的通用计算平台,是一个数据库的超集。这可能有点难理解,可以这样想,如果区块链让这个世界上的每个人都对世界的状态达成共识,那去信任通用计算平台所能做的就已经超越它了,它不只能知道世界的状态,而且还能证明特定的计算是正确运行的。
虽然从技术上讲比特币是可编程的——通过其脚本语言来支持通用计算,但实际上比特币只是一个去信任的数据库。即使有很多项目在为完善比特比做努力(如 MAST, taproot, scriptless scripts, and RSK),但至今没有一个能投入生产环境中使用。说白了,开发者已经逐渐舍弃比特币选择更好的发展平台了。
译者备注:
MAST:扩展了智能合约的灵活性;改善了可扩展性;加强了隐私保护的一种协议。
RSK的目标是实现智能合约,及时支付以及更高的可扩展性,为比特币生态系统增加价值和实用性。
以太坊提供了第一个可访问平台,在这个平台上开发者可以去信任地运行任意的计算。目前,以太坊已经拥有了在加密领域最大的开发者数量。
许多人把以太坊称为一个“世界电脑”。虽然在技术上这是对的,但实际上却不是。两个原因:吞吐量和成本。在以太坊运行一个计算的成本比在亚马逊云服务(AWS)上贵 一亿倍。
可扩展性的三难选择
可扩展去信任计算的挑战可以认为是一个三难选择。可扩展性的三难选择认为,对于合格的区块链(即各节点能够正常处理每次计算,针对这些计算的顺序所有节点都能达成一致)只能拥有安全性、可扩展性以及区块生产者的去中心化(DBP)这三个属性中的其中两个。
- DBP 指的是区块生产者的数量。
- 可扩展性指的是单位时间内系统可以处理的交易量,即TPS 。
- 安全性指的是解决拜占庭攻击的成本(影响系统活力以及交易顺序)。注意这里的安全性并不是指加密数字签名的集成,或者由第三方用公钥生成私钥。
是什么导致一个系统需要实现一组这样的权衡?是共识机制与系统架构的结合。文章接下来的部分将会讨论这些概念,文末也会涉及一些有关链下计算的有意思的东西。
在追求可扩展去信任计算的过程中,下面的每个系统都得做出一组不同的权衡。在这篇文章中,我将使用这些数字来代表不可能三角形的每一条边。
三难选择第四个维度:最终一致性耗时 (Time To Finality)(也叫作延迟)
虽然这不是可扩展的三难选择中的一部分,但在去信任计算系统进行扩展时,需要考虑最终一致性耗时(TTF),它将直接影响系统的延时。有些系统从不保证最终一致性,而只是大概率地接近最终一致性(例如比特币)。有些系统得经过一段时间后才能保证最终一致性。最终一致性非常重要,不仅可以避免双重支付,而且最终一致性对于跨链通信是很必要的。最终一致性耗时越长,跨链通信延时越长。
三角边 1 :无需许可的工作量证明(比特币,以太坊 1.0 等)
在比特币之前,所有的电子现金系统都面临同样的基本缺陷:用户必须信任一个第三方机构去管理这个系统。这个第三方机构可以审查系统交易。设计一个任何人都可以验证链的完整性以及没有单点第三方机构可以审查交易记录的系统便成了比特币的主要设计目标。工作量证明共识机制使一个抗审查、无需许可的账本成为了可能。
优化支持抗审查的缺点就是,由于没有中心化区块生产者,所以目前的 PoW 系统不具备可扩展性。这种基本的权衡最终导致了比特现金的分叉,相对于比特币,比特现金则是中心化了区块的生产(尽管有对于这种做法的争论)。
在这篇文章中涉及到的共识机制中,PoW 是最无需许可的。也就是说任何人拥有一台联网的电脑就可以开始挖矿。理论上这也最大化了 DBP 。
实际上,所有无需许可的 PoW 系统最终都会导致一定程度的中心化区块生产。经验得知,由于挖矿的规模经济,所有基于 PoW 机制的区块链挖矿最终都会形成一定程度的中心化。目前,不超过 20 个组织/矿池控制着比特币和以太坊全网的主要算力。鉴于历史来看,似乎基于 ASIC 和 GPU 挖矿算法的区块生产者都会有一定程度的中心化。
基于 PoW 机制的系统也面临着最终一致性耗时长的问题。从设计上来说,它们并不能保证最终一致性。反而,当新的区块加入到基于 PoW 机制的链中后,旧的交易记录更有可能称为最终结果。这也是为什么比特币交易得经过 6 个额外的区块确认交易后才能确认交易成功的原因。鉴于 10 分钟出一个区块的原因,确认一笔比特币需要等待一个小时或者更长。基于这一点,想重组比特币区块链的可能性就几乎为零了。
实际上,因为 PoW 挖矿的规模经济(削弱了 DBP 的数量),Pow 机制的区块链落在了不可能三角形的右下方。!
PoW chain链网 PoW(Kadena)
Kadena 是我知道的唯一一个尝试去使用 PoW 机制解决可扩展三难选择的一个系统。Kakena 的实现方式是生成一个“辫子”式的区块链,也叫链网。在链网中,每条链为了生产新的区块,除了验证自己链上的交易外,还需要验证一些预先指定好的链的区块头。
为了跨链转播消息和价值,用户需要提交默克尔证明,在链网中将一条链的状态声明到另一条链上,因为并不是所有链都存在直接连接,所以用户可能必须“跳”几次才能将信息从链转播到另一条链上。
乍一看,这个好像是以太坊提倡的分片,然而,以太坊分片将交易排序和验证各自分离到辐条链(spoke chains)和一个单独的 hub 链,Kadena 没有将交易确认和达成共识分开。在链网中,每条链维护着自己的共识机制,Kadena 提出了一个独特的方式。
Kadena 将链网可视化为如下:
链网链网的一个独特的特征是,扩展系统能显著地增强系统的安全性,为什么呢?因为不断增加的链会使用 51%的攻击变得更难,而且每个链都是引用别的链的区块。在这个模型中,撤销链上的一笔交易要求撤销这个系统其他所有链的交易。考虑到这些链原先的相互缠绕,随着链的数量的增长,撤销交易的难度将会指数型增长。这与区块链三角形的三难选择形成鲜明对比。
这个设计基本上解决了可扩展性的三难选择,但也有一个主要的权衡:TTF 和 跨链延迟。
一条链可能得要很多此跳跃才能达到另外一条链。Kadena 目的是在 PoW 机制下提供小于 1 分钟的 TTF 。在整个链网上发送消息将进行一些 “跳”,需要几分钟。
尽管有这个局限性,Kadena 还是提出了一个真正的解决方案,去解决建立在 PoW
共识机制模型上的可扩展性三难选择。尽管编织(braiding)为整个系统中增加了一种新的动力学(即跳跃),但每条链都是一个 PoW 链。PoW 相比 PoS 经历了更多的详细审查。它用了数年的时间证明了这种共识机制的安全性。也因为这点,对于 Kadena 来说,建立基于 PoW 共识机制的可扩展性系统是有价值有机会的。
在不可能三角形中,Kadena 处于这样的位置:
Kadena权益证明(PoS)
上文中提到的共识机制是基于工作量证明(PoW),接下来将会讲解基于权益证明(PoS)的共识机制。
事实上,相对于纯粹的无需许可的工作量证明机制,所有 PoS 系统在设计上都集中了区块的生产。这是出于区块生产者的数量和吞吐量之间的本质权衡。(V 神的这篇文章详细的阐述了这一点权衡)
但是,这并不意味着所有 PoS 方案都以相同的数量集中生产区块。正如我们所见,使用 PoS 方案,但区块生产者(DBP)的数量也是各有不同。
在现实生产环境中,PoS 机制没有像 PoW 机制那样久经考验。例如,第一个基于 PoS 共识机制的项目,Peercoin, 面临 nothing-at-stake 攻击等。因此,应该认为 PoS 共识机制的风险更大。
三角边 2:集中区块生产(EOS,Cardano,NEO 等)
当意识到 PoW 机制最终会由于挖矿的规模经济自然而然的走向中心化,委托权益证明(DPoS)便接受了“中心化”。鉴于 PoW 的这种现实情况,BM 发明了 DPoS,该机制接受了区块链不管怎样最终都会走向一定程度的中心化的事实,故利用这点来实现可扩展性。
例如,EOS,BM 最近投入的并受大众吹捧的系统,该系统只会有 21 个区块生产者,预计,随着时间的推移,在数据中心运行 EOS 节点也是有可能的。
通过限定区块生产者的数量,我们可以想象每一个区块生产者能拥有更多的资源。此外,在拜占庭算法中,区块生产者数量的减少可以降低系统的延迟,因为通常需要 N 的 2 次方次消息的传播才有办法达成共识。因此,DBP 的较少可以显著提高可扩展性。
基于 DPoS 的区块链不仅提供高扩展性,而且低延迟。EOS 的出块时间为 5 秒,这在其他共识机制中是无法达到的。这也是 DPoS 系统的最主要的优势。许多应用程序都要求低延迟高吞吐。
举个例子,去中心化交易所。随着 0x 生态在以太坊上慢慢成熟,这一点就变得非常明显了。0X 其中一个最大的问题是订单冲突的数量急剧上升,主要的原因是因为以太坊出块时间慢并且延迟高。0x 团队已经提出了 解决方案。但目前还不确定该方案的有效性,毕竟还是被限制于以太坊固有的底层区块链。而鉴于 DPoS 系统的快速出块,高吞吐低延迟,这些将都不是问题。
总的来说,对 DPoS 的押注其实就是对一些这些事情的押注:
-
市场的一些应用程序有对高吞吐低延迟的去中心化数库的需求。
-
并不是所有的分布式系统都需要如比特币那样才能经受住正面的政府攻击。
在三角形中, DPoS 系统沿着三角形底部聚集。需要注意,相对上文说的两个三角形,即对应的是最终一致性耗时长的系统,而 DPoS 系统提供了更快的 TTF,因此在三角形中使用了更深点的背景色。
image三角形边 3:一个由多条链组成的链网 (Cosmos, AION, ICON, Ark)
Cosmos, AION, ICON, 和 Ark 这些团队相信以后的区块链肯定会有成千上万甚至百万条链相互交织通信,而不是单一链,如以太坊和 EOS。这些基于三角边 3 建立项目的团队认为,不同的应用没有必要一定要共享一组单一的验证节点,相反,它们应该有独自的验证节点群。
译者备注:而在PoS中,块是已经铸造好的(这里没有“挖矿”的概念,所以我们不用这个词来证明股份),铸造的过程是基于每个节点(Node)愿意作为抵押的令牌(Token)数量。这些参与抵押的节点被称为验证者(Validator),注意在本文后续内容中,验证者和节点的概念是等同的!令牌的含义对于不同的区块链平台是不同的,例如,在以太坊中,每个验证者都将Ether作为抵押品。
在可扩展三难选择的这种情况下,基于三角边 3 的系统上的每条链都包含更少的价值。在 PoW 和 PoS 这两种机制中,安全性与价值成正比。然而,做出了这样的妥协:通过换取额外的风险,每条链获得了自主权、可扩展性和快速的 TTF。
为什么自主权是有价值的呢?下面几个例子能让我们更容易地去理解。当国家出于行政管理的目的接纳了区块链,那么他们将会想要拥有自己的验证节点群去执行他们的社会价值,而不是与其他国家或者全球共同使用的验证节点群。例如,以太坊和以太经典就不应该共享验证节点。
与自主权类型的区块链案例相反地是以太坊。在 2013 年,V 神开始着手搭建以太坊,因为他意识到当时在加密领域的所有 app 开发者都面临着挖矿和共识机制的难题。它意识到了将这些将复杂过程抽象成底层平台的机会,这样开发者就可以专注于应用层的开发。
这与云计算的发展历史,恰巧有着有趣的相似之处。在二十世纪初,一台服务器通常都托管着多个网站。只要某个站点请求过于频繁,服务器就会挂掉,这样那些托管在这台主机的站点也会被拖下水。
在很多方面,以太坊就像早期的托管主机,很容易将太多东西绑定在一起,创建了一个总体上不怎么稳定的系统。当一个应用程序破坏了系统,其他的应用程序也会跟着遭殃。
这个托管主机问题的解决方案是虚拟机(VM)。通过将每个应用程序隔离到各自的虚拟机中,这样一个服务器就可以运行多个应用程序,保持完整性的同时还能最大化硬件使用率和降低成本。当出现访问高峰时,只有对应的虚拟机会宕机,而不是所有。随着时间的推移,虚拟机可以在物理服务器上移植,进一步增加系统冗余备份和安全性。再加上与支持大规模水平扩展的系统集成,VM 已经成为云计算的关键组件之一。最近,Docker 容器已经慢慢取代了 VM,但 Docker 容器根本上也没有改变这一类比。
如果分布式 app 由于上述的原因必须运行在隔离的链上,那么这对于那些基于三角形边 3 的系统将会是一个机会。
为了支持这样的未来,基于三角边 3 的系统必须让新链的加入以及链之间的操作变得简单。Cosmos 正在通过 Ethermint使这一愿景成为现实。Ethermint 完全开源免费,它是一个基于 Tendermint 之上的运行着以太坊虚拟机,由 Cosmos 主导的半中心化、高吞吐低延迟的空模板链,通过这个让开发者轻松地创建新链,Cosmos 也希望开发人员能做到这一点。AION, ICON 和 Ark 拥有相同的愿景并一起合作希望以提供模板集合的方式帮助开发者轻松快速创建新链。(请注意,虽然 Wanchain 经常被列为一个“互操作链”解决方案,实质上它跟本节的所说的都不同,也提供不一样的功能。)
请注意,这些系统都提供了快速的 TTF,这是因为每条链都是相对中心化,允许低延迟。尽管每条链相对中心化,但总体上系统是去中心化的,因为许多链都是有独立的验证节点群,每个验证节点群都可以使用新的共识机制。
在三角形中,许多更小型,可互操作的链的愿景可以可视化为如下:
链网分片 Sharding(以太坊 2.0 , Polkadot)
V 神和 Gavin Wood 已经公开讨论对以太坊进行分片很多年了。(详情看 这里 和 这里
)
每一个分片基本上是一条独立的链。以太坊的分片跟 Cosmos 生态中的独立的链的区别在于,在 Cosmos 中,每条链都必须管理自己的共识(和安全等级),而以太坊的分片却不是这样的。对于以太坊的分片来说,所有的分片的共识和安全会进行汇聚,并由主切片通过验证节点管理合约进行管理。大部分情况下,集中的安全要比许多安全性较低的链要好。
至今还没有人将区块链切片这种技术应用到生产中(Zilliqa声称过,但是他们的实现并不是完整的状态分片技术)
分片解决了可扩展性的三难选择,虽然代价是牺牲了链的自主权。此外,跨片通信是有延迟的。从根本上看,延迟在每个分片上是共识算法的一个功能。
以太坊打算使用Casper来实现每个分片,即时具体的参数至今还未设置。看起来似乎 Casper 将会提供以分钟为单位的 TTF,使以太坊变成一个高延迟的系统。
使用一种新的叫阈值中继(threshold relay)的共识算法, Dfinity 和 Algorand 旨在为单个分片提供 DBP,安全性,比以太坊更优的扩展性(虽然跟 DPoS 提供的扩展性还差得远)以及更快的 TTF。如果阈值中继这个算法在实际生产中的效率能想在测试环境中一样,那我们就有希望看到 Dfinity 和 Alogrand 对他们的链进行分片,利用快速的 TTF 和低延迟来提供高效的跨片通信。
Polkadot 将作为一个切片网络启动,使用 TBA BFT 共识算法来实现快速的最终一致性,不过是以 DBP 为代价(类似 Tendermint)。然而,Polkadot 想要在以太坊和 Dfinity 之前启动切片网络。不像以太坊和 Dfinity,Polkadot 不要求分片使用特定的状态机,如 EVM 或者 WebAssebly(WASM)。相反,Polkadot 允许每链定义自己的状态机。这将允许像 Stellar 一样的协议,专注于发行任意的具备智能合约功能的数字资产,或者是 Zcash ,要求一个高度优化的状态机去处理 SNARK证明,将其独立完整的共识系统移植到 Polkadot 。
综上所述:
完全的状态切片是一个尚未解决的计算机科学难题。在生产环境的规模下,可能没有人能把它实现。然而,如果可能,它或许提出了一个最佳路径来解决可扩展性三难选择,同时也提供了快速的 TTF 和低延迟。
在三角形中,切片的 PoS 可视化为如下:
可证实的链下计算
假如不引入低效率来实现去信任,用户只是要求单个计算机去信任的执行计算可行吗?是否存在一种方法来证明计算是被正确执行的,而不用询问数十上百的计算机是否执行相同的计算呢?在摆脱区块链的本质特征——大量的技术低效率,我们可否实现一些正确性的保证?
Truebit 正在试图通过一个 验证人(prover-verifier) 游戏来实现这个愿景。这将通过一个交互式的,证明者响应(prover-response)的协议来实现。在预期的不受质疑的结果中,每个计算都在本地完成,无需网络开销以及单个出块节点(solver)和少量的验证节点(verifiers)。在一个不太可能的挑战中,出块节点和验证节点将需要重新运行一个基于 WASM 的虚拟机来确定谁是恶意的捣乱者。
这个交互性验证协议将基本链的透明性、安全性和不可篡改与链下计算的高效率结合在一起。随着 Truebit 在交互式回合中进行的,它也是概率性的,所以在需要低TTF的环境中它可能并不高效。Truebit运行在第一个“全体一致”的共识机制上,它要求每个任务至少有一个合理的验证节点数量来保证安全。
译者备注:
SNARKs:可验证交易的真实性。
STARKs:证明私密信息的有效性。
随着时间的推移,我们可能会看到Truebit或竞争对手使用“ SNARKs ”和“ STARKs ”来验证任意计算的准确性,而不是使用交互式证明。如果这是可能的,Truebit将减少TTF,增加无信任的链下计算的设计空间。然而,作为一般用途的“ SNARKs ”和“ STARKs ”,对任意计算的零知识证明仍然是高度推测性的、未经证实的、技术上效率低下的,并且可能最终无法实现它们的潜力。
开源,复制和政策
从长远来看,主流链有可能从小众链中吸取更好的技术。例如,以太坊采用了 zkSNARKs,这是 Zcash 中支持私密交易的主要技术。此外,V 神曾经宣布他想要将以太坊移植到 WASM ,在这之前 EOS 和 Dfinity 已经采用了这种技术。以太坊神教者提供 Plasma 作为以太坊所有缺陷的解决方案,因为它允许在以太坊生态下选择不同的共识算法和状态机。
鉴于这些和 智能合约网络效应谬论,链该如何进行区分?
政策,意识形态,信仰
假设没有人能在完全不妥协的基础上解决可扩展性三难选择,那么不同的人与交易会需要更加适合手头任务的独特的链。
最终,媒体将会把这作为一场宗教辩论,区块链将变成宗教,因为他们的信徒是传教士,有动机去传播他们的福音并使他人皈依。
用户会选择那些最大化去中心化和抗审查的链吗?即使是以性能和高昂的手续费为代价?或者是他们会接受较低的抗审查门槛?如果是,这个门槛是多少?
抗审查的数字黄金
通过本文提出的框架,我们可以对数字黄金和可编程货币在可预见的未来可能独立的方式和原因进行客观的评估。
比特币核心团队将最大化 DBP 和交易验证作为首要任务,即使是牺牲可扩展性和其他形式的实用性。通过使比特币变得非常低效,它将更加具弹性。比特币核心团队似乎没有受到限制说一定要用技术效率来换取社会可扩展性。
你可以争辩说,即使考虑到他们的信念,比特币核心团队也被误导了。例如,PoS 的支持者认为 PoS 比 PoW 更安全,因为如果一个恶意攻击者被识别出来,她就可以立即被砍去。这与 PoW 方案形成了鲜明的对比,在 PoW 模式下,恶意的一方可以继续攻击网络。
我们不知道从长期看,PoS 方案是否会比 PoW 方案更抗政府侵犯。这两种方式都有很好的理由。然而,我们知道 PoW 是久经市场考验的。考虑到比特币核心的首要任务是最大化审查阻力,从我们的经验来看,比特币的核心开发者做出了正确的决定。
有一些观点认为比特币的核心观点太极端了,比特币为了多余的审查阻力,牺牲了真正的实用性,缺乏实用性最终会导致比特币变得无关紧要。
目前的问题是,多少 DBP 才是足够的?如果你认为这种设计约束不是为了“抵挡来自美国,中国和俄罗斯的正面、合作的攻击”,而只是为了一些较低的门槛,那么设计去信任计算平台的空间会宽广很多。
在 90 年代,许多人认为互联网最终将民主化权利,它将以从未有过的方式将人们连接在一起,从而解散旧媒体公司和专制政府。事实证明,多半是大公司和政府利用互联网聚集权利和力量。
因为所有的去信任计算系统都是无需许可的,这就意味着政府可以利用他们来获得优势。或者,不是正面的攻击,而是我们将会看到政府接纳加密行业,以一种新的不可预知的方式来强化他们对社会的控制而不是松手。
异源去信任计算平台
在可预测的未来,当加密领域生态经历了一个寒武纪的实验,上文描述的所有可扩展去信任计算模型都将共存并开花结果。通往稳定未来的道路暂不清晰,相反,在区块链生态变得更加和谐之前,技术发展会变得更加多样化和相互交织。
例如:开发人员可以在 Polkadot 上进行构建,结果却发现单个的 Polkadot 中继链达到了极限。Polkadot 中继链可以连接到其他的 Polkadot 中继链,它可以通过 Cosmos Hub 连接到 EOS、Ethereum 和 Kadena 链。每一个链都可能被切分。各种Ethereum 分片可能包含使用 DPoS 和权威证明(PoA)共识。
在这些主要系统中,合同将能够调用 Truebit 进行链下计算,使上面提及的所有事情都变得更模糊。有多少工作将能够被加载到 Truebit,以及如何集成基础链和侧链?
目前还不清楚这些系统的价值在哪里以及如何累积。有一种情况是,如果 Cosmos’s ATOM tokens不会变成门格尔商品,那么像 Cosmos 这样的互操作性链条将不会获得那么多的价值(也许是数十亿美元)。Polkadot 's DOT tokens 也面临着同样的风险。
随着时间的推移,我希望看到的是实质性的融合,可以不是完全的融合。考虑到主权对某些链条的基本价值(例如,由政府控制的),我预计像 Cosmos 这样的系统将总会有一席之地,即使另一个链条是最大的赢家。
区块链中文字幕组
致力于前沿区块链知识和信息的传播,为中国融入全球区块链世界贡献一份力量。
如果您懂一些技术、懂一些英文,欢迎加入我们,加微信号:w1791520555。
本文译者简介
马祝平 程序员,区块链技术爱好者,欢迎加微信号: qwer82261615P
欢迎关注译者币乎 平兄
本文由币乎社区(bihu.com)内容支持计划赞助。
早赞声明:为方便早赞、避免乱赞,“BH好文好报群”为点赞者、写作者牵线搭桥,实行“先审后赞、定时发表”的规则,也让作品脱颖而出、速登热门!加群微信:we01230123(天平)。
如有侵权,请联系译者
版权所有,转载需完整注明以上内容。
网友评论