Hi 游客

更多精彩,请登录!

比特池塘 区块链技术 正文

模块化区块链: 数据可用性DA

何幕之之rl
214 0 0

, v% I5 t, X% u+ Z" k7 Y4 k( r# R讲到模块化区块链,数据可用性DA是一个绕不过去的主题。无论是 以太坊 大热的EIP-4844提案还是通用的DA层解决方案Celestia
$ _& H+ P% d* x5 Q2 N  f% p2 q& O. c9 I( @/ k  d
, 都跟DA 有着密不可分的关系。 那DA 到底是什么呢?为什么DA 方案能提升区块链网络的性能?6 T' N+ T0 w5 \
9 O7 Q2 I/ G5 G) d, U6 Z$ \% _0 X3 p& z
1671869579420763.jpg
* k# H& |: v# g( l1 P2 {0 m& `$ T
. L4 t7 [2 T* W在讲DA 之前,我们先来思考一个问题: 怎么确保区块中包含的交易是在链上实际发生的?换种说法,在区块链网络中实际发生的交易是否被真实地包含在区块中呢? DA 即保证数据在链上可用,让区块信息能真实反映实际的链上交易情况。
0 z1 Q- u  y1 Z: t' {% @( r$ _
1 x1 L2 e2 u3 y; E* f在区块链网络中通常包含2类节点:全节点和轻客户端。% n% V* [: g. l  B" f7 D

( ]& T9 Q( S& F( H& `7 c& C  F; {1) 全节点;下载区块中的所有数据进行验证,能够最大程度地保证DA.! W$ D' k" r0 g' ^2 z

4 |9 @4 Q' N: w; h1 V1 t; U" h, R2)轻客户端。只下载区块头进行验证,并假设区块包含的都是有效交易。 这里存在的问题是,恶意的区块生产者可以通过构建一个包含无效交易的区块,去欺骗轻客户端。# E! h/ F3 P4 e

. I6 j: ~. Z7 }& B5 I* h/ \ 1671869622227511.jpg
8 r& }' D, Y9 U7 c" y9 w5 N
; g2 Y; I! Z! J$ T/ F: l那竟然轻客户端的安全性较差,网络中全部运行全节点不就好了吗? 理想跟现实之间的差距在于成本,运行全节点需要下载全部的区块数据(存储、带宽等要求高)。 因此,除了专业的节点运营商,普通用户没有动力去运行全节点。. k6 E# N3 X) j  G

$ ]5 Z; d, J3 Z8 o那轻节客户端还有什么办法可以保证安全性呢? 聪明的开发者想到用欺诈证明解决轻客户端的安全性问题,简单来讲,与轻客户相邻的全节点可以通过发送欺诈证明,告知轻客户端区块无效。 因此,从理论上讲,轻客户端+欺诈证明能实现全节点级别的安全性(前提是至少有一个诚实全节点发送欺诈证明)。
# b) J, r# Y6 x
$ B5 k* ~. b; K* H" u+ |; z; \ 1671869629264713.jpg
( D( e: B; E, `& ^5 H7 n/ u0 A5 n5 T7 S3 z8 i$ A& s# l( D: f
那轻客户端的安全性问题就解决了吗?不。 原因是,恶意区块生产者可以选择扣留一部分数据不发布,此时诚实全节点会发出警告。如下图所示,区块生产者在T3 补全所有区块数据。+ g0 l: N1 T  i" d

% M$ w# H+ P! \, L2 c( ] 1671869636109019.jpg 0 P& p. o" D% y3 l% U+ k

2 C9 C8 T# W$ S因此,欺诈证明并不是有效的解决方案。 选择不发布数据不是唯一可归因错误。比如在T3 阶段,很难去证明到底是恶意区块生产者扣留了部分数据,还是检验节点的恶意误报。& C. P+ O# \0 l8 x$ _) O- Y
" A0 m7 x7 t  x) |$ X" |( X" ]
1671869642619825.jpg " g7 ^$ X9 w! H$ ?) j$ o: l
5 m1 E( s4 B' O
那么,验证节点对恶意区块的警告行为是否因受到激励? 此时就会面临一个三难困境。 1) 如果激励为正,此时恶意验证节点可以通过发出虚假警报获利; 2) 如果激励等于0,意味着恶意验证者能零成本发起DOS 攻击; 3) 如果激励为负,可能只有为爱发电的节点才愿意做。
6 G" `% `! L; `: q4 R7 R( t+ y, v6 o9 Z0 S, I; n6 @
1671869650780740.jpg
% l# T4 I1 h8 w5 d2 l0 d4 h
' c& E  e7 t, L. g7 e0 H说了这么多,到底有没有办法可以解决轻客户端的安全性问题?有。 就是我们接下来要讲的数据可用性抽样,即轻客户端只要随机下载一部分数据进行验证,就能确保数据的可用性。 关于DA Sampling 的底层技术实现,此推文不做深入探讨。通过一个简单的场景模拟,简单了解下它的逻辑实现。9 s7 @# w3 K/ y+ I/ r% u

! `& A; o0 G$ B3 C场景如下: 现在有2枚硬币:1枚两面都是数字;1枚一面是数字,另外一面是图案。 现在2枚硬币给到你,怎么确认哪枚是两面都是数字的呢?3 L0 _0 O) m. U$ J' V; N+ |% B: g) Y, N+ w
' b6 z, i. d1 g' d! P
1671869661737029.jpg
! ~* `- _- B2 K& K7 F; ^  P; W8 r
1 x( _& e8 L( a3 z2 I0 H! P其实很简单,我们只需要无差别地掷硬币记录情况即可。 如果前2次掷的都是数字,意味着这枚硬币有(1-0.5^2)的概率是2面都是数字的那枚。同样地,如果前n次掷的都是数字,此时2面都是数字的概率是(1-0.5^n). 只要重复这个过程20次,上述可能性将变成99.9999%。
, v0 E$ L3 B4 C- o. {
6 O. Q0 R( f1 ~, P 1671869668022217.jpg
' W9 U* S, m8 u& b* H1 R/ H$ e% C; W3 H: J' @1 l
DAS 的逻辑实现正是基于上述原理。 轻客户端无需下载所有的区块数据,只需要随机下载少量数据进行验证,就能保证数据可用性。 更直观地,如果区块的大小是4MB, 轻客户端进行随机20次1kb的数据抽样。意味着只需要下载0.5%的数据,就能够实现置信水平高达99.9999%的数据可用性。) e9 O; h9 w! l1 ~; ?
BitMere.com 比特池塘系信息发布平台,比特池塘仅提供信息存储空间服务。
声明:该文观点仅代表作者本人,本文不代表比特池塘立场,且不构成建议,请谨慎对待。
您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

成为第一个吐槽的人

何幕之之rl 小学生
  • 粉丝

    0

  • 关注

    0

  • 主题

    1