2 n9 R: |5 x) W7 S
更有野心的是,交易所可以建立一个未经储户同意无法提取储户资金的系统。我们可以尝试探索「不作恶」有职业素养的 CEX 与「无法作恶」却泄漏隐私的低效链上 DEX 之间的界限。这篇文章将深入探讨让 CEX 更加去信任的历史尝试,与其采用技术的局限性,以及一些依赖 ZK-SNARKs 等先进技术的有力手段。3 j9 L5 ]+ [" `
余额表和 Merkle 树:传统的可偿付证明交易所试图用密码学来证明自己没有欺骗用户的最早尝试可以追溯到很久以前。2011 年,当时最大的比特币交易所 MtGox 通过发送一笔移动 424,242 个 BTC 到预先公布地址的交易来证明他们拥有该笔资金。2013 年,大家开始讨论如何解决该问题的另一面:证明用户存款的总规模。如果你证明用户的存款等于 X (负债证明 proof of liabilities),并证明拥有 X 个代币的私钥(资产证明 proof of assets),那么就提供了可偿付证明(proof of solvency):你证明了交易所有足够的资金偿还给储户。
提供存款证明的最简单方法是公布一个列表。每个用户都可以检查他们在列表中的余额,而且任何人都可以检查完整的列表:(i)每项余额都是非负的;(ii)总额是宣称的金额。
/ B3 ~8 ~( ?3 u% X2 L
当然,这会破坏隐私,所以我们可以稍微改变一下该方案:发布一个 列表,并私下给用户发送 salt 值。但即使这样也会泄漏余额与其分布。为了保护隐私,我们采用了后续技术:Merkle 树技术。
绿色:Charlie 的节点。蓝色:Charlie 收到用于证明的节点。黄色:根节点,向所有人公布
& P' l* `6 U" d5 \6 e
Merkle 树技术会将用户余额表放进 Merkle 总和树。在 Merkle 总和树中,每个节点都是对。底层叶子节点表示各个用户的余额以及用户名的加盐哈希。在每个更高层的节点中,余额是下面两个节点余额的总和,而哈希是下面两个节点的哈希。Merkle 总和证明和 Merkle 证明一样,是一个由叶子节点到根节点路径上所有姐妹节点组成的「分支」。0 k9 b3 Q- q) j5 Y" @$ T; `
0 C: B2 @+ Y# \5 i/ e( `4 N
首先,交易所会向每个用户发送一份其余额的 Merkle 总和证明。然后,用户能够确定其余额作为总额的一部分而被正确地包含。可以在这里找到简单的示例代码。% q. X; v, F, o& w) D
- # The function for computing a parent node given two child nodes6 C' g0 T! \& V [% I$ j
- - A/ t: a% q: p6 ^# b
- def combine_tree_nodes(L, R):9 _% z! v4 N8 P$ b( H! c
- % c1 S) \. y: f6 I
- L_hash, L_balance = L
- $ r. C3 H0 T5 `
- R_hash, R_balance = R* z0 f1 T: T, g7 Z# B9 V+ ]4 ]
- ' m, c" B$ s) ^2 {/ C7 n, k% w5 k# q
- assert L_balance >= 0 and R_balance >= 0
- 7 u; m) Y% b3 @6 Z, n. z; q4 @
- new_node_hash = hash(
- L_hash + L_balance.to_bytes(32, 'big') +
- 5 l+ l( z% Z2 W4 M9 z& P; u: \
- R_hash + R_balance.to_bytes(32, 'big'), O; a1 Z* @9 B- k5 e& ~6 U
- * D2 q4 ?( y/ K9 s& k9 b/ G
- )( r; |: `: X0 v Z7 b
- 4 f% s! s+ `- d
- return (new_node_hash, L_balance + R_balance)) j) M* w2 G d* g; s/ b1 U
- ^! c! l; e. \
- # Builds a full Merkle tree. Stored in flattened form where
- # node i is the parent of nodes 2i and 2i+1, |& s# _5 l. c/ _2 B
- * W: H( s0 }9 ~* F- e& P0 l
- def build_merkle_sum_tree(user_table: "List[(username, salt, balance)]"):! h4 @: t. M# `/ G. a. n; O9 X& |5 u) c
- tree_size = get_next_power_of_2(len(user_table))
- h% @# f( \) y% @
- tree = (2 M! C( |% n5 i4 Z! y
- [None] * tree_size +
- ' J2 l2 ~; Q3 y; N
- [userdata_to_leaf(*user) for user in user_table] +( o) ?/ C. m0 f8 N0 K" i
- [EMPTY_LEAF for _ in range(tree_size - len(user_table))]7 a+ G! ?+ [* r, L- ^9 \- F
- )
- 7 c' I. l! L/ f# d
- for i in range(tree_size - 1, 0, -1):4 y" b* }& W9 ?. E. y
- ; t! ?* E. m! n8 q) s0 V+ N; ]2 p
- tree = combine_tree_nodes(tree[i*2], tree[i*2+1])* `) j' `& \' f t2 e+ M% U0 F
- return tree$ I& O/ r8 y+ W5 f- n2 t0 p
- . \8 F- J0 ?3 S8 ?8 k
- # Root of a tree is stored at index 1 in the flattened form
- 0 I& e, [' w, H' v% m/ L
- def get_root(tree):& c) P& [3 f: ~ K( J7 @
- 0 {2 V8 d, c8 f% C( n# F
- return tree[1]4 |, T* _- z; i$ k: H4 x7 m
- # Gets a proof for a node at a particular index
- % W4 |5 }& T/ @" t. `2 F+ Q
- def get_proof(tree, index):, \' B4 x3 J9 a* }' t
- branch_length = log2(len(tree)) - 1
- # ^ = bitwise xor, x ^ 1 = sister node of x
- : Y9 M$ Y1 f4 p* d# T* o" p
- index_in_tree = index + len(tree) // 23 `, l8 W5 Y: w
- ! \! |7 d/ P9 d2 y9 C) T7 K; ^$ c
- return [tree[(index_in_tree // 2**i) ^ 1] for i in range(branch_length)]9 [! F. \* M5 ]1 }' w
- # Verifies a proof (duh)
- ; R0 k3 M9 E# P
- def verify_proof(username, salt, balance, index, user_table_size, root, proof):
- leaf = userdata_to_leaf(username, salt, balance), N. K( m; T* x* c# x5 u9 p
- 3 |8 ^, ?. p: E3 t" c! E
- branch_length = log2(get_next_power_of_2(user_table_size)) - 1
- for i in range(branch_length):
- - r8 r/ y% X: E- l
- if index & (2**i):
- - C9 B% u3 X) g" T
- leaf = combine_tree_nodes(proof, leaf)
- else:7 F% ?+ f& n0 C( h) ?9 V0 x
- 1 X' \4 L0 a3 [# y0 s) E( k
- leaf = combine_tree_nodes(leaf, proof) n. L2 {- I3 l& k' U
- / G: F! Q: I2 D3 d6 Z& l
- return leaf == root