关于Libra项目,市场上并不缺少深入的分析,包括长期和短期理论,媒体的报道也五花八门。然而,这些分析当中,很多都集中在项目的愿景(与Facebook的业绩相比),或者是针对Libra白皮书本身的研究。而对于Libra源代码中隐藏的内容,却鲜有人提起。本报告旨在通过窥视Libra项目的代码库,了解其代码是否反映了Facebook提出的逐步实现“去中心化”Libra项目的意图。4 I+ a8 ]" }) a6 h2 t) \1 k
(注:原文作者是TD Research研究合伙人Raul Jordan,本文为译文)2 _5 ^* y. ]" }) s, d* N
基础知识8 C+ v) n& S! p) Z2 a1 b
Libra项目是由一个大型团队以完全中心化的方式构建的,这个团队可能拥有“无限”的预算,使用Facebook最高的开发和项目管理标准。因此,Facebook的工程师们,从一张白纸开始,花了大量时间了解其他密码货币项目的发展前景,以及它们的权衡和设计决策。% K5 Q3 X9 Z# s4 Y& V3 S+ l6 I
他们的任务不是“我们如何构建Libra”,而是“什么是一流的技术,例如P2P网络包、编程语言和RPC通信库,Facebook应该使用这些技术构建Libra,即使是牺牲了去中心化”。# |, _. I7 {: n# T
与以太坊最大处理400万个验证者不同,Libra不需要在这个约束下运行。因此,Libra的代码必须设计成更像一个性能良好的服务器,而不是一个完全去中心化、拜占庭式的容错系统。为了填补这些空白,Libra还可以自由地开发其名为"Move"的智能合约编程语言,并构建自己的内部软件和工具来完成这项工作。
* N% h3 h- Q) l) G4 w4 ?; j为什么这些决定很重要?! d. I2 P* I' [* D& a: _+ r/ C' @
这些决策很重要,它们与其他密码货币项目的软件治理思想形成了鲜明对比。Facebook不需要一个社区或一组核心开发人员的共识来决定将什么技术融入到Libra中。Facebook在构建Libra时不需要在不相关的团队之间构建多客户端网络或一致性测试来构建相同的协议。如果Libra 项目经理达成共识,即必须实施某项功能,必须使用某些技术,他们肯定会让自己的工程师来建造。
1 S8 R& e+ Z: t9 b3 H7 o而其他的密码货币项目则是在不同的约束下运行的,新一代的密码货币需要进行ICO,或进行种子轮融资,又或者仅仅是让社区自愿为项目进行贡献,而后者正遭受着公地悲剧的困扰。如果一个项目确实成功地通过了融资挑战,那么它现在必须迎合公共/私人投资者的群体,通过其网络,获得挖矿者/验证者群体的一部分,并在短时间内发布一个产品。对于已被构建为无需许可模型的项目,它们在进行软件改进时,通常会遇到协调困难问题,通常这需要不相关团队之间的很多讨论和协调来实现变更请求(RFC)。诚然,这种协调困难受益于无许可创新,任何工程师都可通过正确的论点和理由建议对协议进行改进,然后获得支持,并通过社区的共识将其纳入未来的硬分叉。如果Facebook真的决定走这条路,而Libra项目背后有一个更大的社区,它可能会面临其他密码项目所遇到的同样的治理难题。
% ?$ @; Z$ C G9 c9 c5 {! g/ V# k考虑到协议的无许可改进承诺,包含基于优点和共识的特性,那为何一些一流的技术并没有被那些密码货币项目所采用呢?主要原因在于去中心化的项目,想要实现共识是非常困难的。一旦很多团队实现了一个协议,就很难创建让每个人都满意的结果,从而导致更多的治理痛苦。例如,在Go语言中实现和标准化通用序列化库,可能要比在Rust等可访问通用类型的语言中要困难得多。: z$ W8 \* q5 H
考虑到Facebook只需维护一个客户端,并且已研究了一段时间的协议,它可以根据自己的协议设计,结合任意多的实现决策。结论是,以有效的方式构建真正去中心化的项目是非常困难的。与其他密码货币相比,不受此约束的Facebook,在为产品发布强大的代码库方面可能会占据优势。
@' t8 b9 s; r8 R9 E) ?3 R验证者 vs 公共节点运行者& A4 ?& |+ I4 }- a
Libra协会的网站上提到:# b. i5 @0 o$ [5 e4 l' s2 ?# C
“协会的一项任务是与社区合作,随时间的推移,使网络逐渐过渡到无许可模式。”% j* V8 A( |* I& S- ~
尽管这绝对应该是Libra项目的目标,但我们还是花时间去深入了解它的代码库,看看它的基础是否是为这个转换而建立,或者这是否需要从当前的实现中大幅度地脱离出来。 r9 {6 z( X6 u! u+ I
而第二件事,也许也是让我们对第一件事有最深入了解的一件事,就是特权验证者对网络的能见度,是否与普通节点用户的能见度不同。其中最关键的一点是,任何用户(不仅仅是特权验证者)是否能够自由下载和复制账本的整个状态,以独立地验证交易(译者注:这也是去中心化区块链全节点的功能)。
) G+ o% R B- o, N关于源代码之外的主题,我们能找到的最全面的信息是Libra的官方文档,它提供了该项目的鸟瞰图,以及关于如何运行和连接到运行中的测试网的说明。目前,Libra为用户提供了两个选项:
1 d( F5 ]( R+ D* f(1)运行连接至测试网验证者的本地客户端;
% R1 B9 Y& [9 L8 h(2)运行一条本地链上的本地验证者节点;/ ~9 g" @* u3 ]& `" Q: j5 f3 G& w% Z
对于选项(1),运行连接至验证者的本地客户端,Libra允许我们访问一个 CLI(命令行界面),它允许我们创建新账户、转移币,以及查看与测试网上帐户对应的状态/交易(或译为事务)信息。
1 i$ t9 T7 Z! a/ Y+ i/ }% {0 P也就是说,作为一名用户,我只能查询来自验证者的有限交易/状态信息,但是没有查看完整状态信息或新交易提交到账本的选项。1 L4 T8 B9 z4 B& f+ N3 ~4 p. [ x
# G! s( @ C! ~/ w/ g6 c/ u! H
libra% query txn_acc_seq 0 0 true
% @/ _* A: _8 c$ L3 j# M4 O>> Getting committed transaction by account and sequence number
, n! I& W& W' | v9 s6 \4 cCommitted transaction: SignedTransaction {
' c- K# Y' n+ P! t{ raw_txn: RawTransaction {
* Q2 e; q4 G8 v. {. Q) K9 e7 K3 `sender: 3ed8e5fafae4147b2a105a0be2f81972883441cfaaadf93fc0868e7a0253c4a8,
1 M: x: v5 D, J; J# D* a* X6 Esequence_number: 0,
3 S( z4 f0 ^: T1 W6 Q3 e/ Ypayload: {,- \! L: l5 |8 Z+ u/ F/ p8 v
transaction: peer_to_peer_transaction,( {# L J; N: C- H* r$ j
args: [
# |9 x* k) j# } U$ ?$ z{ADDRESS: 8337aac709a41fe6be03cad8878a0d4209740b1608f8a81566c9a7d4b95a2ec7},9 r' S2 o1 d: w7 P6 r4 d9 ?8 r; ^
{U64: 10000000},
$ K, Q! [3 e8 C; z7 d]0 V. r) p/ M; r) Y( E6 G, P7 s
},
+ ?$ ]* q3 Y! X e4 V. ]6 V尽管上面的CLI 告诉我们,这可能只是软件故意模糊化了可能存在的常规用户的信息。也就是说,在网络中读取每笔交易(或事务)的功能可能存在,但可能是被CLI工具隐藏了。也许可通过分叉项目并修改其代码,以使我们能够读取账本本身?我的本地客户端是否可以和测试网完全同步?让我们看看:
$ Q3 T) g- b- `6 u R( U: Y
7 F2 ^' C0 `/ M! P; @libra% h+ J E5 H1 ^1 |, G R4 o: X0 L
Connected to validator at: ac.testnet.libra.org:8000
5 J' h) d' V, V) R4 dusage: \ \$ K r" v. q, c& |
Use the following commands:# f% @) a3 D8 P6 d( ? v8 K" q
account | a. p, U5 n6 k' j! M d, J x
Account operations
* u0 d+ ?6 y3 C) r4 yquery | q
6 A5 X" ]+ a8 _3 U( N; {Query operations' V% L$ M. d) t3 }. P
transfer | transferb | t | tb
) w) Q& j3 `% O* t7 Z! z/ s: ESuffix 'b' is for blocking.
3 z! J# W' y" F7 q' I( KTransfer coins (in libra) from account to another. L4 U g9 t( i1 T/ A
submit | submitb | s | sb7 H6 k- ?, f# [* B7 h
\|\ \ Suffix 'b' is for blocking.
/ x; {' T; ~( a" K! `% B/ K6 n; mLoad a RawTransaction from file and submit to the network4 J$ w/ J2 o, d2 q6 ]) g# I
help | h6 U" W! r1 \) `5 Q/ l
Prints this help
( Y3 `- }2 R g2 i7 D6 i; D. fquit | q!& \$ F4 q7 t2 i3 b
Exit this client) h8 K2 Y( p4 y# N [
如果我们想从网络中查询事件,我们唯一能访问的信息是: N/ U8 g+ |( J! {4 Y1 ^: ^3 s
libra% q8 {* h0 B5 F2 [5 D
usage: q6 o& H% R! t9 {$ B4 M1 P0 C
Use the following args for this command:2 U7 J7 b$ [4 P/ l4 ^
balance | b |+ d6 C$ }6 x: n' U1 l4 |
Get the current balance of an account
& g' P/ B& z6 T& s- f) B& Vsequence | s |( m G/ M& l+ `+ @; h, Z' A2 [5 U
Get the current sequence number for an account9 ?+ V0 T( u' Y6 h+ \0 f( A' `" b
account_state | as |
- q, l U$ z/ o( D8 _% E# H/ x2 ?Get the latest state for an account# W; k; f% \# K3 s
txn_acc_seq | ts |
& a y7 \$ W' Q6 eGet the committed transaction by account and sequence number.
" k( i% K. W* {8 \) htxn_range | tr Get the committed transactions by version range.$ O" H3 J# Y+ z! [2 O0 I& }/ M
event | ev |# q" ~! j& s; c
Get events by account and event type (sent|received).
( c. U, R* d8 W6 Y. @% R* |因此,在检查了可使用这个CLI工具执行的多个命令后,我们发现该工具只能执行帐户创建、传输和查询验证者节点以获取特定信息的功能。可执行的查询信息,如余额、状态、提交的交易(事务)和交易(事务)类型。0 q* S) l! P3 c3 v8 e3 ^+ z! t. N' E
当我们连接到测试网时,我们的节点并没有同步。相反,它将RPC请求发送到ac.testnet.libra.org上的一个远程节点,该节点会返回信息,其要求我们完全信任接收到的数据,而不需要进行独立验证。目前,使用Libra CLI的用户只能查看这些内容。: W! }. V( G/ _, g* ^) O5 H `6 |
运行一个本地验证器) q' K* L$ k* r" k
Libra指定交易(事务)的生命周期,将其封装在验证器runtime,而客户端只是作为单个入口点工作。
5 L/ v% z! z+ [( R% W1 O0 J& D
8 M& E; p( E7 e' j: y7 Q% y m/ |来源:https://developers.libra.org/docs/life-of-a-transaction1 p' V! V$ k* X
Libra节点连接到一组可信共识对等节点,这些对等节点可依据公钥进行验证。目前,没有已知的方法可以生成一个可与其他在线测试网验证者对等的节点,这是因为trusted_peers配置选项当前为空。
/ r7 @: v6 @3 `0 Y2 uLibra公开的唯一端点(endpoint)是facebook拥有的公共访问控制RPC url,它可能在某些云基础设施上运行负载均衡器。虽然在下载状态/区块信息方面似乎没有访问控制,但有一些机制可根据配置选项在网络层验证共识对等节点。目前还不清楚在Libra主网发布时,其是否会模糊化对等节点的ID和IP地址,并且经身份验证的验证者,可以很容易地阻止生产中未经身份验证的对等节点。目前也不清楚验证者是否会被激励分享他们的账本信息,因为他们为上面提到的特权支付了大量资源。
- P- V) Q4 k, z; OLibra的术语经常将网络对等节点称为“验证者”,这进一步推动了仅运行RPC客户端的用户概念。. Z; m! _: g2 {
3 W% a3 _4 t0 E, g
pub fn gen_genesis_transaction>(5 F' t( e+ `7 l: O/ I6 Z2 X" d
path: P,' R9 w( Z- M6 |" w& e" E% c" o
faucet_account_keypair: &KeyPair,
; J2 R; E" r, m! }- rtrusted_peer_config: &TrustedPeersConfig,( }4 p1 }) m$ G0 u* |$ D
) -> Result<()> {6 ^9 u9 D# p9 a! P3 l1 [
let validator_set = trusted_peer_config
( H& U) J) _* }2 G" M! a6 h& x6 \- w.peers$ }# j3 y$ W' O: r" d, W- i
.iter()% W d' m4 _) y! I2 V+ h$ V2 g5 L
.map(|(peer_id, peer)| {
# Z \6 n- j& h9 S! n3 u0 _ValidatorPublicKeys::new(
0 b$ ]; r- Z8 M) tAccountAddress::try_from(peer_id.clone()).expect("[config] invalid peer_id"),( O8 E2 j6 p8 e+ }% e
peer.get_consensus_public(),
: ? D+ b) C S- Xpeer.get_network_signing_public(),
8 D9 D( E8 ]: T. {peer.get_network_identity_public(),
+ Y% Q9 |. J+ T) o9 s% M5 z)
2 T- t, O. x3 o$ W})
R, {$ P) X- w! G* T6 QSource: libra/config/config_builder/src/util.rs
7 \- X, d5 g% X) l$ L以及
9 g! X- V! T2 h" |' Q2 e
# G& J8 N; M3 i; d- k$ x/// Returns the key that establishes a validator's identity in the p2p network u3 e6 |" [, N' _# k
pub fn network_identity_public_key(&self) -> &X25519PublicKey {$ c# @4 ~2 J2 M9 _
&self.network_identity_public_key
% x9 [% i, `% V}
6 A( d: `4 X- O: s7 j8 \3 I来源:libra/types/src/validator_public_keys.rs
8 q2 E T5 Q( m( R( ]上面的validator_set 是从可信的p2p对等节点列表中构建的,这意味着一个网络和身份签名公钥可用于网络级别的访问控制。这意味着只有经身份验证的验证者,才可能被网络中的其他验证者视为受信任的对等节点。1 b' o: \6 g1 z2 D8 d8 l, v7 y! B& b
结论! U0 \' V% I4 K; A
综上所述,研究表明对于Libra区块链而言,普通用户和验证者拥有不同的读取权限,前者目前无法访问有关完整账本的信息。因此,普通用户不能完全复制Libra状态机,因为他们的客户端更多地是充当连接至实际运行网络的验证者节点的sidecar。我们不知道当Libra正式上线后是否还是这样的情况,或者这就是Libra项目仍在考虑的选择结果。此外,Libra的源代码经常将全节点命名为验证者,这添加了Facebook可能认定这种方向的进一步证据。一旦Libra网络以这种方式投入生产,对于每个支付了1000万美元的特权节点而言,他们也就没有什么动力允许未经身份验证的对等方,对账本和状态数据进行访问控制。
BitMere.com 比特池塘系信息发布平台,比特池塘仅提供信息存储空间服务。
声明:该文观点仅代表作者本人,本文不代表比特池塘立场,且不构成建议,请谨慎对待。