作者:zkvalidator;编译:Kate, Marsbit
ZK技术已广泛用于隐私和扩展目的。尽管如此,新一波的项目正在利用这种加密解决方案的特点来解决区块链行业最引人注目的问题之一:跨链桥。
采用ZK进行桥接的原因之一是其无需信任的加密性质,它解决了中心化桥接解决方案的弱点之一,而中心化桥接解决方案是2022年大规模黑客攻击的中心。
桥的问题
当前跨链桥面临两个重要问题:可扩展性和安全性。由于桥需要跟踪两条链的状态,因此它们需要强大的计算能力和存储能力。为了避免这种开销,许多桥已经转向了基于委员会的方法,在这种方法中,一小部分验证者(甚至只是多签名持有者)签署状态转移,从而变得容易受到攻击。
在2022年期间,由于桥攻击漏洞,超过16亿美元的资产损失。但是这个数字可以有两种解释。一方面,通过桥的传输流量表明对互操作性的市场需求正在增加。另一方面,如此重要的一块拼图代表了更大的区块链生态系统中最薄弱的环节之一。安全问题的三个主要领域是代码中的bug、架构中的盲点(例如缺少故障安全)和委员会/验证器接管。
Digital Insights Ventures 创始人:为了使Web3成功,人们需要了解辅助系统将如何蓬勃发展:金色财经现场报道,在Coinlive举办的峰会上,新加坡区块链协会 (BAS) 可持续发展与影响小组委员会创始主席兼Digital Insights Ventures 创始人 Krishna Ramachandra 以主题演讲“Web3 和人工智能 (AI):助力去中心化技术的代币化和可持续性。”他分享了 Digital Insights 采用的核心见解:交互、互操作性、集成和互连。
此外,他还谈到了网络的语义,并解释说Web3,当你分解它时,它只是指你对数据使用方式的控制。他解释说,为了使Web3成功,人们需要了解辅助系统将如何蓬勃发展。他在演讲结束时说,如果有影响力或权力的人不帮助可持续发展的叙述,我们将永远不会看到Web3的全部力量。[2022/12/22 22:00:35]
英格兰银行正在探讨如何将CBDC引入现有市场:英格兰银行(BoE)正在权衡发行以英镑为单位的央行数字货币(CBDC)的利弊。他们刚发布了一份长达57页的报告,探讨了如何将CBDC引入现有市场,既充当价值存储又用于日常交易。据悉,英国中央银行逐渐意识到,数字英镑可能会破坏当前的银行体系。但是,数字货币可以利用最新的金融科技,使消费者更轻松快捷地进行交易。(Cointelegraph)[2020/3/13]
2022年的大规模黑客攻击推动了ZK桥的发展
这导致开发人员开始探索替代解决方案——特别是那些依赖于密码学的解决方案。使用zk-SNARKs固有的属性消除了对委员会模型的需求,同时仍然可以扩展网络。
ZK是怎么玩的?
为了在没有共享安全性的情况下验证另一个区块链(目标链)上的一个区块链(源链)的状态,你可以为在目标链上运行的源链使用链上轻客户端。轻客户端或轻节点是一个连接到全节点以与区块链交互的软件。
这使你在目标链的执行环境中验证源链的共识,而无需超出每个链共识所需的额外信任假设。然后,目标链将有一些关于源链的信息融入到自己的共识中。
声音 | 陈纯:除了研究区块链技术本身外 还需要研究如何监管:1月12日,中国工程院院士陈纯在CCF通讯刊文《联盟区块链关键技术与区块链的监管挑战》,文中提到,区块链作为重要的底层基础设施,在其快速发展的过程中,我们要高度重视安全问题。因此,我们除了研究区块链技术本身外,还需要研究区块链如何监管。公有链已经成为新媒体的传播媒介,因为公有链本身具有去中心化、不可篡改、不可删除、低成本的特点。利用区块链去传播有害信息、网络谣言、煽动性与攻击性信息,会给区块链技术的产业布局和发展带来不利影响,同时给监管部门带来很大的挑战。[2020/1/13]
这是对ZK桥如何工作的简单解释
通过使用零知识证明系统,特别是SNARK的“简洁性”属性,现在可以使用链上轻客户端有效地执行此验证过程。还可以验证链上的状态转换和共识,以获得最大的安全性,类似于运行全节点。
声音 | 奥斯汀市雇员退休制度CIO:应关注加密资产如何适应现有的投资组合:据coindesk消息,今日在彭博社举办的Institutional Crypto会议上,美国德州奥斯汀市雇员退休制度首席投资官(CIO)David Veal表示:“我不确定加密资产是否需要被定位为可替代资产,我们应该看看它如何适应现有的投资组合。加密资产可以通过使如此多事物获得流动性来消除非流动性。我们的投资组合多样化正慢慢受到侵蚀,而加密可以带来回报。”[2018/10/16]
我们确定了至少四个项目在不同的生态系统和开发阶段致力于ZK桥解决方案。
简洁实验室(Succinct Labs)
https://youtu.be/cMSayTJA1B4
Succinct Labs开发了一个系统,允许Gnosis和以太坊2.0之间的信任最小化连接,以太坊2.0是一个权益证明共识区块链。该系统使用SNARKS来有效地验证Gnosis链上共识证明的有效性。
美国银行分析师解释比特币如何像常规货币:据CCN报道,美国圣路易斯联邦储备银行内容策略师Christine Smith认为,比特币不像人们想象的那样异乎寻常,比特币的两个用例是作为价值和货币存储的,史密斯论证比特币与普通货币没有区别的三大理由:
1.比特币和美元都没有实物资产支持;
2.“稀缺”是美联储货币体系稳定战略的核心,因为“为了保持其价值,货币必须供应有限”,而比特币的数量也是有限的。
3.比特币“纯粹的电子现金对等版本可以让在线支付从一方直接发送到另一方,而无需通过金融机构”,这与现金花费方式有相似性,即“不需要中间人处理交易”。[2018/5/1]
以太坊2.0网络有一个由512名验证者组成的委员会,每27小时随机选择一次,负责在此期间签署每个区块头。如果至少有2/3的验证者签署了给定的区块头,以太坊网络的状态就被认为是有效的。验证网络状态有效性的过程包括存储和检查验证者的512个BLS公钥,以及展示他们的签名和块头和验证者的Merkle证明。
这个过程在计算上成本很高,所以轻客户端使用SNARK来创建一个恒定大小的证明,可以在Gnosis链上进行有效地验证。证据是使用链下计算创建的,其中包括构建电路来验证验证者及其签名,然后生成SNARK证明。然后将证明和区块头提交给Gnosis链上的智能合约,由后者执行验证。使用SNARK有助于减少存储开销和电路复杂性,并降低信任假设。然而,这种方法是特定于以太坊2.0共识协议和EVM的,因此可能需要更容易推广到其他链上。
zkIBC由Electron Labs开发
https://youtu.be/f4kBUe2n0Qk
Electron Labs正试图在Cosmos SDK生态系统(用于构建特定区块链应用程序的框架)和以太坊之间建立连接。具体来说,zkIBC 正在寻求模拟 Cosmos 主权链使用的无需信任的通信协议,名为区块链间通信协议(IBC),并将其扩展到以太坊。
然而,在以太坊上使用Cosmos SDK的轻客户端会带来一些挑战。Cosmos SDK中使用的Tendermint轻客户端在Ed25519曲线上运行,以太坊区块链本身不支持该曲线。这使得在以太坊 BN254 曲线上验证 Ed25519 签名既昂贵又低效。Electron Labs计划通过创建一个基于zkSNARK的系统来解决这个问题,该系统可以生成链下签名有效性的证明,并且只在以太坊链上验证证明。
这种方法可以在不引入任何新的信任假设的情况下,高效、廉价地验证以太坊区块链上Cosmos SDK的Ed25519签名。这种方法的一个问题是延迟,因为证明生成过程需要跟上Cosmos SDK的高区块生产率。Electron Labs计划通过使用多台机器并行生成证明并将它们组合成单个zkSNARK证明来解决这个问题。
zkBridge由BerkleyRDI设计
zkBridge是一个框架,允许创建可以在不同区块链网络之间通信的应用程序。它使用中继节点和智能合约系统来促进通信。zkBridge与其他行业主导的方法之间的主要区别在于,它只需要中继网络中存在一个诚实节点,并且假设zkSNARK是可靠的。
zkBridge使用deVirgo,这是Virgo zkSNARK证明系统的并行版本,它具有较小的证明大小,并且不需要可信设置。它依赖于一个名为GKR的协议和一个多项式承诺方案来生成验证多个签名的电路的证明。然后使用Groth16证明器压缩deVirgo证明,并通过目标区块链上的更新合约进行验证。总的来说,这种证明系统的组合在zkBridge中实现了高效的跨链通信,而无需外部信任假设。
=nil;基础无信任数据可访问性
关键数据管理(例如桥接),通常需要在完全控制下的可信环境中完整复制数据。但如果这是不可能的,或者提供起来非常昂贵,组织可能会转向值得信赖的数据提供商,例如 AWS 或 Infura,来访问他们所需的数据。
但正如我们在这篇文章的引言中提到的,信任数据提供者可能会导致审查或数据泄露问题。
这里=nil;的无信任数据管理解决方案。通过使用基于“DROP DATABASE *”系统的状态和查询证明,该解决方案允许无信任桥接。在这种情况下,协议可以使用从协议中检索到的数据和SNARK正确性证明来将数据从不同的协议数据库相互传输。
结论
由于ZK桥接空间仍处于起步阶段,我们预计在未来几年,跨链应用程序的研究突破、智能实现和采用将呈指数级增长。由于我们知道对互操作性的需求正在增长,我们可以期待更多安全和可扩展的桥接技术的发展,这反过来可能会进一步推动ZK技术的发展。
MarsBit
媒体专栏
阅读更多
金色财经
金色荐读
Block unicorn
金色财经 善欧巴
区块链骑士
Foresight News
深潮TechFlow
今年的加密市场,遭遇了前所未有的困境。外有全球央行,尤其是美联储的加息与缩表(尚未停下步伐),场外流动性减少,增量资金不足;内有美国 SEC 起诉 Binance、Coinbase 等头部交易平台,引起大范围恐慌,做市商撤退,场内流动.
1900/1/1 0:00:00DeFi数据 1、DeFi代币总市值:476.03亿美元 DeFi总市值及前十代币 数据来源:coingecko2、过去24小时去中心化交易所的交易量38.
1900/1/1 0:00:00来源:世优科技虚拟人 原标题:《数字人赛道火热,虚拟人定制技术结合虚拟场景撬动更大商业价值》自去年以来,借着元宇宙的“东风”,国内虚拟人行业热度明显上升,阿里系、字节、网易等凭借自身的技术优势以及对新兴行业的前瞻性判断.
1900/1/1 0:00:00国家互联网信息办公室 中华人民共和国国家发展和改革委员会 中华人民共和国教育部 中华人民共和国科学技术部中华人民共和国工业和信息化部 中华人民共和国部 国家广播电视总局 令 第15号 《生成式人工智能服务管理暂行办法》已经20.
1900/1/1 0:00:00来源:一品汽车 作者:栾树 当下,元宇宙是一个热度持续上升的新概念,社会各界都对其广泛关注,企业可以通过元宇宙概念吸引资本市场的关注,同时也可以借助元宇宙概念进行营销革新和用户体验革新等.
1900/1/1 0:00:00引言 Cyberspace.Aconsensualhallucinationexperienceddailybybillionsoflegitimateoperators,ineverynation.
1900/1/1 0:00:00