Hi 游客

更多精彩,请登录!

比特池塘 区块链前沿 正文
在区块链世界中,人们普遍认为,在可用性方面,帐户模型比 UTXO 模型更有优势,我一直在努力弥合区块链 [1] 中的 UTXO 模型和帐户模型之间的差异。
5 {9 U( v/ E0 R/ ]. T
) M: w5 \6 ?0 ?2 `9 x1 o关于这个问题,有一些初步尝试 [2]。3 f$ R. x% w8 A

* ?8 Y' A1 O: s; p  I但是最近,我开始觉得 UTXO 模型和账户模型本质上是一样的,或者如果我们用术语来重新表述的话,UTXO 模型只是一个软件定义的版本的账户模型。如果你对此感到疑惑,我将在下面详细解释。
5 `. Z( y. z8 L# Q  V$ D! w+ [, g6 W& e* W; N
为了使事情更容易理解,在这篇文章中,我将只使用 UTXO 模型的说法。了解我们的人都知道,我们将 UTXO 模型推广到了 cell 模型。cell 模型的附加优势在这里并不重要。下面我将讨论任何能够存储数据的 UTXO 模型 (比如 CKB 的 cell 模型,或者在使用 OP_PUSHDATA 的老式普通的比特币的 UTXO 模型),在编程模型方面都可以与帐户模型等价。
- @5 I4 @6 ^: `* u9 z* i% }% U. \4 }8 Z
什么是账户模型?在基于账户模型的区块链中,交易只说明操作或带有参数的函数调用。实际的状态,是从区块链中计算和推导出来的,如下图所示 :6 T/ w+ T/ e6 J" J5 N; ~
  T. s0 J3 Z) U4 k7 o3 Z
而在基于 UTXO 的区块链中,状态都包含在交易中。你直接在交易中放入你想要的数据。通常,多个 UTXO 可以一起工作来提供整个状态的一部分。当你希望更改一部分数据时,你可以将该部分的 UTXO 作为交易中的输入包括进来,并提供一个包含更新数据的新 UTXO。- [% G- g3 v* q/ m: m

8 C+ ^% R6 W! b) u0 H如下图所示:% V1 T: E* z" _$ F

# y* [% M) n& ?! B关于这两种模型的争论已经有一段时间了。一个明显的考虑是,账户模型的交易体积更小,但作为交换,必须在基于账户的区块链中计算状态,更糟糕的是,同一账户的交易需要顺序执行。另一方面,基于 UTXO 的区块链只需要进行验证工作,以确保提交的数据格式正确,访问同一账户不同部分的交易也可以并行验证,以获得更好的性能。但是,我们要付出交易体积比较大的代价,因为交易需要包含实际的数据。
5 }6 U0 [& G& O+ j$ N+ t
1 I9 X9 M* P9 ?! Z但这不是本文的重点,每种解决方案都有避免各自缺点的方法。人们普遍认为,在构建 DApp 时,账户模型比 UTXO 模型更具有优越性。另一种说法是,基于 UTXO 的区块链不能使用帐户模型拥有 DApps。这是真的吗 ? 让我们在这里找到答案。
3 \! S. m" m  \* H8 l# V' {9 T8 R8 ?1 f) k# y* Z  [" O8 E
一个小转换我们将在这看到一个类似于 ERC20 的 token 的转账操作。在帐户模型中,通常有一个 token 帐户存储所有用户的 token 余额。当有人想要转账时,只需要提交说明 from, to 和 balance 的交易以进行转帐:
& C9 J+ ~4 d$ d7 n" w" |+ X# T. S' a3 E; k. l' h5 {9 [1 q4 c
然后,区块链执行链上的交易,并更新包含更改的内部状态。' C% v) Q2 c; g7 t

8 R: i6 a; k( f! m2 W8 T我们如何在 UTXO 模型中表示它?一种观察是,典型的基于帐户模型的通过键-值存储表示整个帐户状态。我们可以接受同样的抽象概念:
# h, J% E- w2 f1 m% w) O3 U( s2 K5 g  m: g; q& b/ T# |
为每个帐户创建预定好的一定数量的 cell(注:可理解为格子)。实际上,你只需要定义这里的数字,缺少的 cell 可以解释为虚拟的 cell。* v7 G4 g7 _/ g* [5 s% V" ~9 O

" R( Z* J7 `5 R5 P$ f7 _% x# D每个单元格都将整个空间的一部分存储在键-值中;
# o2 X" D6 ?2 L3 F; E
3 K5 K7 {9 h( X# p. N% z# P  J1 E4 F如果交易需要更新某个值,它首先查找包含该值的键的 cell,并将相应的 cell 作为交易输入,然后提供一个包含更新数据的新的 cell;下图显示了这种交易示例:
6 G' |$ P/ R! S3 [# J" g2 h% W  M/ A; W; V) U
这里整个帐户状态包含 4 个 cell,但是由于只需要更新 2 个 cell,所以交易只包含这 2 个 cell。* \9 _3 o0 F0 @. u' h

9 t8 B# _( d4 z3 }  Z( X' L你可能会注意到,这看起来很像数据库和文件系统中使用的 B-tree[3] 数据结构。在 B-tree 结构中,你希望最小化实际修改的 page,这与我们基于 UTXO 的设计完全相同:你希望在交易中包含和修改尽可能少的 cell。这意味着虽然我们拥有一个简单的设计,但是你可以利用在 B-tree 领域积累的丰富的研究来构建更好的设计,从而提供更好的结果。
. E+ a4 x3 N8 k
* V' u& N. r! D/ H+ i  M" }  s如果我们考虑这里的方案,它实际上并没有利用任何特定于应用程序的知识,唯一的假设是帐户模型使用键-值存储,现在已经是这种情况了。这意味着我们可以在 UTXO 模型的基础上构建一个账户模型 generator:
5 {0 t5 a- d6 G- T* r
" C7 K. e1 v# w6 c5 k# z9 M+ G* F# @generator 响应来自 DApp 开发者的读取请求,查询该账户当前活动的 cell,提取所提供的键的值;, b4 s5 W& e4 r8 e$ m  B$ `
4 H6 W) i! x9 w1 E2 v& d
generator 还接受帐户模型风格的函数调用,它使用当前的活动的 cell 运行该函数,并生成包含更新 cell 的交易,将交易传递给区块链以供接受。为了提高灵活性,我们可以在这里引入 账户模型风格的虚拟机,如 EVM、Move 等 ;
/ X' K- P- k3 U: c9 ^9 C- F7 E! @, q3 Q6 B# c( \
然后,链上智能合约 可以运行由 generator 运行的相同代码,以验证生成的数据是否正确。如果使用了 EVM 或 Move 这样的 VM,我们可以将相同的 VM 移植到链上智能合约,并在这里执行相同的操作。当然,需要构建这个新的 generator,使基于 UTXO 的区块链的行为类似于基于帐户的区块链。我在这里的观点是,这是一条完全可行的路线,这意味着基于 UTXO 的设计,永远不会妨碍基于帐户模型构建的 DApp。
7 p2 o: d6 ?  o9 o4 @8 D- q4 S1 G9 F7 T, r
在 Generator 中复制逻辑不是一个坏主意对这条路线的不断批评,也是我之前所担心的,是我们在链外 generator 部分和链上智能合约中都复制了逻辑。但最近,我一直在质疑这一点:这真的是一个问题吗?在区块链的世界里,一个被广泛遵循的原则是「不要相信它,去验证它」(don't trust, verify)。一项交易中包含的智能合约不仅会在单个节点上运行,还将在每个区块链节点上运行。我们已经执行了 N 次相同的智能合约,如果 generator 再执行一次,并使其成为 N + 1,这真的很重要吗?我们都知道 N + 1 和 N 没有区别。我个人认为 generator 部分只是另外一个轻量级客户端节点,可以再次验证智能合约。这不会给我们现有的区块链设计带来任何问题。
% x( n% f2 j9 x3 g, \- ^7 F8 q6 z5 N- t7 k$ b  Y
如果你仍然对此感到疑惑,那么实际上还有另外一个观点:除基于键值存储的帐户模型外,以上设计均基于其他假设。当我们谈论特定的 DApp 时,很有可能会利用某些属性,因此链上智能合约不必运行与链下 generator 完全相同的代码。例如,在一个 ERC20 token 例子中,实际上只有 2 条规则需要在链上验证:; p+ D% e% L- N% V7 V) |/ F

  ?/ d2 b, d* {交易具有有效的签名;
# p3 o3 Q4 c* t8 _: U; O' a/ S" g6 D/ i' r
正常交易不能发出大于当前发行量的 token。一旦满足了这两个规则,ERC20 相关代码的其余部分就可以在链下安全地运行了。这意味着你不必再次在链上重新运行相同的代码。但这只是针对特定 DApp 的优化,我甚至会质疑是否有必要进行优化。对我来说,前面的更通用的解决方案已经工作得很好了。* N6 i2 U8 Z7 H8 A+ T$ j( D( v

+ W( P# @& E( A' V3 r: N" ~# u软件定义世界当然以上描述的 generator 部件需要进一步开发。但是,如果我们将目光投向区块链世界之外,再看看一般的软件行业,我们会注意到一种不可阻挡的趋势:
+ V! ^2 g8 ~  O6 v  T3 z
6 G; `- p$ C! [; OCPU 从 CISC[4] 设计转移到 RISC[5] 设计,使用基于软件的编译器来填补 RISC 中缺失的部分。2 i  @8 E% C" C% U6 @2 v, c9 n" i
3 t( C/ V- A$ @7 {+ C! h
高度专业化的基于硬件的交换机正在被利用复杂软件 [6] 的普通计算机吃掉" P1 l3 X- C* W9 F! ~
9 u# ^; }( q* P& x% a% k) w  \, s
附加存储或存储区域网络的传统网络已被采用软件定义的存储 [7] 的商品云所取代
) l! a# l$ U! ]2 V- P
4 M3 z) B3 s2 n+ m9 [即使在通讯塔中,也已经部署了更多软件 [8] 提供更好的性能你注意到一个模式了吗?我们看到的是一个复杂的硬件被简单的硬件迅速取代的世界。越来越多地使用高度专业化的软件来补充过去硬件中的功能。在 Nervos Network 中,我们认为区块链更像是硬件而不是软件,并且,如果我们看看 UTXO 模型与帐户模型的争论,我们会看到类似的冲突:
! P% K1 a7 d$ Q' _
1 l  B/ C- B3 P' m* v6 F9 N; ^0 `基于帐户的区块链在区块链(硬件)部分增加了更多逻辑;
( h. r) L2 l' \4 |1 N, q1 f4 F
+ u2 d6 B. y$ l* ~" C基于 UTXO 的区块链在区块链(硬件)部分中加入了更少的逻辑,并利用软件来补充更多的特性。如果我们只看到一种或两种情况,这可能只是一个异常,但我们看到的是:从行业角度来看,看到了更多从硬件向更多软件的转变。我不确定你的看法,但我个人认为,我们这个行业的所有聪明人都做出了正确的选择
BitMere.com 比特池塘系信息发布平台,比特池塘仅提供信息存储空间服务。
声明:该文观点仅代表作者本人,本文不代表比特池塘立场,且不构成建议,请谨慎对待。
您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

成为第一个吐槽的人

深圳林妙可 初中生
  • 粉丝

    0

  • 关注

    0

  • 主题

    33