议程表
链下扩容问题
扩展性技术
链下移动计算
数据可用性问题
经典区块链设计
冗余的作用
编码欺诈性证明
欺诈性证明权衡
规避欺诈性证明
展望
问题所在
以太坊等公共区块链上的每笔交易都需要由网络中的每个节点处理
那么交易吞吐量不能高于单个节点可以处理的数量
如果我们增加每个单独节点的处理工作量——例如增加块大小,并容纳更多交易——那么功能较弱的计算机可能无法参与运行区块链,导致矿工集中化
德国电信子公司建立Polygon验证节点:5月31日消息,德国电信子公司 Deutsche Telekom MMS 建立 Polygon 验证节点,并将提供质押服务。德国电信此前已支持以太坊、Celo 和 Chainlink 的基础设施。[2023/5/31 11:50:33]
更大的区块也意味着更高的传播延迟——导致中心化
这导致去中心化的缺失和潜在的区块链审查问题
扩展性技术-链上-链外
链上(Layer 1)
分片
区块链分为不同的部分
每个节点不必处理所有交易
链上计算(Layer 2)
印度电商巨头Flipkart与Meta和Polygon合作,推出元宇宙“Flipverse”:9月24日消息,印度电商巨头Flipkart宣布与Meta和Polygon合作在当地排灯节期间推出元宇宙产品“Flipverse”,消费者可以通过任何手机设备或浏览器访问Flipverse,并且用虚拟化身在元宇宙3D渲染商店内走动、购物。(thewatchdog)[2022/9/24 7:19:07]
基于欺诈证明的安全性
执行交易并在链上提交断言 - 有挑战期
任何人都可以在挑战期内挑战断言
链上争议判决以确定正确的状态
恶意行为者不愿意提供错误的断言或挑战
基于有效性证明的安全性
生成关于执行正确性的有效性证明——链上提交
链上合约真实性证明
有效性证明的稳健性能够保证执行的正确性,如果证明已验证
Polygon联手Immunefi完成网络漏洞修复:12月30日消息,Polygon宣布,其核心团队与白帽黑客以及Immunefi联手,成功修复网络漏洞,完成网络升级。Polygon已向两个白帽支付了约346万美元的奖金。(cryptopotato)[2021/12/31 8:15:32]
链上解决方案的两种范式都需要提供交易数据。
如果数据不可用怎么办?
基于欺诈证明的解决方案:如果数据丢失,任何参与者都无法计算状态——因此无法生成欺诈证明——这意味着他们无法质疑错误的断言。如果数据不可用,安全就会受到损害。
基于有效性证明的解决方案:如果数据丢失,参与者可以冻结余额,因为缺少见证人来访问该余额。仅仅知晓哪些被正确计算的余额是不够的。
提交所有交易数据作为以太坊上的调用数据。
可扩展性的上限——因为多个Rollups解决方案会出现争夺相同的块空间的情况。此外,提交 calldata 将变得昂贵。
价值约6444万美元TRX从Poloniex交易所转入未知钱包:Whale Alert数据显示,北京时间12月13日21:10,2,200,000,000枚TRX从Poloniex交易所转入以TTXeVE开头的未知钱包,价值约6444万美元,交易哈希为:34a7b4196d840a877b05810945852498859912ff1b17611d6f61a9782d6714d7。[2020/12/13 15:04:22]
区块链具有三种类型的节点:
验证节点:参与共识并产生区块。
全节点:同步整个区块,但不参与共识。
轻客户端:仅同步标头,偶尔向全节点索取交易包含证明。
但是,经典区块链无法为轻客户端提供良好的 DA 保证。为什么?
如果区块生产者隐藏了区块的一小部分,使用随机抽样方案的轻客户端很难知道被隐藏的区块。
风投基金Polychain Capital买入超300枚YFI 价值约460万美元:根据数据分析公司Nansen首席执行官Alex Svanevik推文,标记为Polychain Capital的钱包近期从币安交易所收到329枚YFI,价值约460万美元。据悉,Polychain Capital由Coinbase前一号员工Olaf?? Carlson-Wee创立,目前管理超3亿美元规模的资产,投资项目或公司包括Coinbase、Matrixport、Oasis Labs、Compound以及Nervos等。[2020/10/19]
全节点无能为力,因为数据不可用是一个不可避免的错误。
如果块生产者隐藏了块的 n 个块中的 1 个,轻客户端以概率 1/n 随机抽样捕获。
如果我们使用纠删码将 n 个块编码为 2n 个块,使得 2n 个块中的任何 n 个足以重建整个块,则:
块生产者需要隐藏(n+1 ) 个块以隐藏单个原始块。
轻客户端随机抽样发现数据丢失的可能性要高得多。
因此需要在块内引入冗余。
轻客户端独立知道数据可能丢失。
问题:修改块编码和引入冗余会有所帮助。但是如果编码本身是错误的呢?
示例:块生产者对块进行擦除编码——但如果擦除编码计算错误怎么办?
解决方案:同步整个区块的全节点可以检查和验证编码是否正确完成,如果没有可以生成欺诈证明。
欺诈证据可以传播给可以验证的轻客户端。
假设:
全节点不断检查错误。
轻节点至少有一个诚实的全节点邻居。
如果欺诈证明编码无误,证明可以是一个完整的块大小——轻客户端是资源受限的。
如果花费资源来验证欺诈证明,还不如充当全节点。
编码技术可以减少欺诈证明的大小——但轻客户端无法确定数据是否可用或欺诈证据是否尚未到达。
P2P 网络+ 欺诈证明仍然有效。
使用 KZG 多项式承诺 - 只有有效的编码才能被提交到区块头。
轻客户端要求提供数据证明——绑定属性确保区块生产者不能伪造证明。
大小恒定的证明格式,便于轻客户端进行验证。
冗余迫使生产者隐藏区块的大部分,只隐藏一小块——使他们容易被抓住。
如果我们构建一个以 DA 为中心的区块链,我们能实现什么?
链上扩展解决方案、侧链或独立链等应用程序可以在以 DA 为重点的区块链上提交数据。
应用程序无需托管完整节点即可使用以 DA 为重点的区块链。托管一个轻客户端就足够了 - 花费非常低的资源。
获得对数据可用性的高度信心并获取与其应用程序相关的所有事务。轻客户端所需的信任级别最低。
托管以 DA 为重点的区块链的验证者和完整节点可以随着参与者的增加而扩展区块。
展望更多
这对独立链意味着什么?
任何具有自定义逻辑的独立链都可以使用以DA为重点的链来确保可用性。
所有参与者都可以随意获取交易数据并应用自定义代码来确定应用程序状态。
新的独立链面临验证节点引导和以DA为重点的链上托管数据问题,从而避免了这种麻烦。
这对链上扩容解决方案意味着什么?
计算可以在链上完成,验证可以在像以太坊一样在 Layer1 上进行,以DA为重点的链上可以实现可用性。
官网:https://polygon.technology/
推特:https://twitter.com/0xPolygon
Github:https://github.com/maticnetwork
官方电报群:https://t.me/polygonofficial
官方中文电报群:
https://t.me/maticnetwork_china
公告频道:
https://t.me/PolygonAnnouncements
Polygon基础介绍和使用教程:
https://shimo.im/docs/zdkyBE9KxJfWgaA6/read
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。