【区块链】以太坊L2扩容方案与零知识证明

这篇具有很好参考价值的文章主要介绍了【区块链】以太坊L2扩容方案与零知识证明。希望对大家有所帮助。如果存在错误或未考虑完全的地方,请大家不吝赐教,您也可以点击"举报违法"按钮提交疑问。

以太坊L2扩容方案与零知识证明

简介

  • 简要概述以太坊L2层现有解决方案
  • 简要概述以太坊L2未来扩容的方向
  • 简要概述零知识证明的基本概念和零知识证明在以太坊的运用
  • 简要概述stark ware的两个产品,但并不推荐现有使用和研究
  • 简要概述polygon zkEVM,推荐使用和研究

zk-SNARK 与 zk-STARK

zk-SNARK 和 zk-STARK,是零知识证明底层技术。二者都是非交互式证明。

zk-SNARK,全拼Zero-Knowledge Succinct Non-Interactive Argument of Knowledge,即零知识简洁非交互证明。

zk-STARK,全拼Zero-Knowledge Scalable Transparent Argument of Knowledge,即零知识可扩展透明证明。

两者直观的区别在于,zk-SNARK 需要可信设置,zk-STARK 不需要。

以太坊L2 扩容方案

​ 有两种参数可以用来对 L2 扩容解决方案进行分类。其一是根据使用的加密证明分类,其二是看它们的数据可用性 (Data Availability, DA) 存储在链上还是链下。

两种主要的证明类型:

  • 有效性证明 (Validity Proofs) —— 这是一种利用零知识 (ZK, zero-knowledge) 密码学以确保交易有效性的数学证明
  • 欺诈证明 (Fraud Proofs) —— 这种证明引入了一种所谓的争议时间延迟 (Dispute Time Delay, DTD),一旦证明提交至 L2,验证者留有一定的时间以标记出无效的证明;无效证明可能包含着不正确的状态转换,因而会对涉及的验证者施加惩罚;随后状态回滚至最近的有效快照状态处

数据可用性存储在链上或链下:

  • 链上:状态数据连同所有交易的所有已执行的 calldata (智能合约函数调用、原生代币转移、签名) 一起放入交易捆/rollup 的加密证明中,这使得可以在链上访问和验证所有数据。
  • 链下:已执行的 calldata 和状态由 L2 处理并存储在链下。这使得这个方案不够安全和去中心化。然而,链下存储数据方案更容易将更多交易打包进一个 rollup 中,也因此比链上调用数据证明方案的速度快许多。

以太坊l2,区块链,零知识证明,ethereum,layer2

Rollup

​ Rollup是目前用于以太坊扩容的首选二层网络解决方案。通过使用Rollup,与一层网络相比,用户可以将燃料费减少多达 100 倍。

​ Rollup将数百笔交易捆绑(“打包”)为一层网络上的单笔交易。这将把一层网络的费用分摊给Rollup中的每一个人,因而对每个用户都更便宜。Rollup交易在一层网络之外执行,但交易数据会被发布到一层网络。通过将交易数据发布到一层网络,Rollup继承了以太坊的安全性。有两种不同方式可以实现Rollup:基于欺诈性证明的 optimistic Rollup,以及基于零知识证明的 zk Rollup。它们的主要区别在于如何将此交易数据发布到一层网络。

​ 基于 optimistic rollup 的 layer2 为 Optimism 和 Arbitrum,其优势在于:兼容 EVM 的难度不高,可以直接使用 solidity 部署智能合约,直接开发 Dapp;劣势在于:提款等待时间长,安全性、TPS和交易成本方面不如 zk-Rollup。

​ 基于 zk-Rollup 的 layer2 为 StarkNet 和 zkSync,其优势在于:安全性更高,交易确认的时效性更强,TPS和交易成本显著优于 optimistic rollup;但是其劣势在于不易兼容 EVM。

​ 目前业界正在开发 zkEVM 解决方案,现polygon团队已推出第一个开源的zkEVM解决方案polygon zkEVM。

stark ware

​ StarkWare 是目前业界技术领先的 zk-Rollup 扩容解决方案开发公司,其团队核心成员是两种算法的提出者和改进者,并以 zk Stark 技术为核心开发两条产品线:扩容服务引擎 StarkEx,二层扩容网络 StarkNet。

​ 对于StarkWare团队来说,可以从两方面理解它的这两个“产品线”。

​ 一方面,从技术上来看,两者都是以zk Stark技术为基础的解决方案,同时两者的区别在于,StarkEx提供了一系列基础组件,专门为以太坊链上应用(DApp)提供程序服务。具有定制化的特点,因此能满足专用应用的高可扩展性的需求。2020 年 6 月,该产品正式部署在以太坊主网上;而StarkNet的定位与之相反,它采用的是通用的二层扩容解决方案,满足用户对区块链交易效率和交易成本优化的需求,也满足不同应用的兼容性和可组合性需求,但是可扩展性(TPS,Gas费优化)不如定制化的StarkEx引擎。

​ 另一方面,从商业模式上看,StarkEx面向的是B端合作项目方,赚取服务费用或项目分成;而StarkNet面向的广大的C端用户、开发者、sequencer、prover等生态参与者,通过tokenomics以及技术支撑做大L2生态来盈利。所以无论从技术上或者商业上,两个“产品线”都互为补充。

​ 特别注意:starkNet 智能合约并不兼容EVM,而是使用的自开发Cairo语言

  • stark ware官网:Homepage - Starkware

  • starknet合约代码: https://etherscan.io/address/0xE267213B0749Bb94c575F6170812c887330d9cE3#code

  • stark ware介绍以及starkEx架构:基于零知识证明系统的定制化引擎和layer2扩容方案StarkEx与StarkNet研究

  • starkEx Github: starkware-libs/starkex-core (github.com)

polygon zkEVM

​ Polygon zkEVM 是第一个提供源代码的 zk-Rollup,一个零知识证明以太坊虚拟机,也是第一个此类 L2 可扩展性解决方案。提供完整的 EVM 操作码等效性,以实现流畅的用户体验和以太坊的安全性。最初项目名为Hermez,在2021年8月Hermez被Polygon收购后更名为Polygon zkEVM。在V神的EVM兼容性等级分类中,当前Polygon zkEVM与Scroll并列为第三级,超过其他ZK Rollup,在EVM兼容性方面处于目前的ZK Rollup里的前列。

强大且去信任

  • zk-SNARKs 保证以太坊级别的安全性
  • 2000 TPS 的高吞吐量
  • 非托管架构
  • 资产的完全所有权和控制权(抗审查)
  • 以太坊主网上的数据可用性

唯一去中心化的zk-rollup

  • 完全开源和社区驱动
  • 与 Hermez REST API 无缝集成
  • 无许可的协调者网络
  • 带有验证奖励代币的去中心化拍卖模型
  • 治理最小化战略

简化代币转移

  • 简单的网络和移动应用程序钱包
  • 低成本代币转移
  • 原子交换(Atomic swaps)
  • 以单一货币支付的费用
  • 几分钟内快速高效的退出(提款)

  • polygon zkEVM官网:Polygon | Ethereum's Internet of Blockchains - Polygon

  • polygon zkEVM 官方文档:Polygon zkEVM Documentation | Polygon Wiki

  • polygon zkEVM GitHub:Polygon zkEVM (github.com)文章来源地址https://www.toymoban.com/news/detail-716855.html

到了这里,关于【区块链】以太坊L2扩容方案与零知识证明的文章就介绍完了。如果您还想了解更多内容,请在右上角搜索TOY模板网以前的文章或继续浏览下面的相关文章,希望大家以后多多支持TOY模板网!

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处: 如若内容造成侵权/违法违规/事实不符,请点击违法举报进行投诉反馈,一经查实,立即删除!

领支付宝红包 赞助服务器费用

相关文章

  • 【区块链 | 智能合约】Ethereum源代码(10)- 以太坊Downloader源码分析

    上一节分析到Fetcher用于同步网络节点的新区块和新的交易数据,如果新区块和本地最新的区块相隔距离较远,说明本地区块数据太旧,Fetcher就不会同步这些区块。这时候就要借助Downloader来同步完整的区块数据。 一,启动Downloader handler 初始化的时候会进行Downloader的初始化:

    2024年02月15日
    浏览(45)
  • 【区块链 | L2】作为Layer2赛道的领跑者,如何理解 Arbitrum?

    上周我们介绍了以太坊L2扩展解决方案Optimism,本周我们继续介绍另一个L2解决方案——Arbitrum。 Arbitrum 是以太坊的一个 Optimistic Rollup L2 可扩展性解决方案。 Arbitrum 是一个构建在以太坊之上的区块链网络。你可以使用 Arbitrum 链来做任何在以太坊上做的事情——使用 Web3 应用程

    2024年02月09日
    浏览(52)
  • 【区块链 | 智能合约】Ethereum源代码(8)- Ethereum服务和以太坊P2P协议发送广播源码分析

    在“【区块链 | 智能合约】Ethereum源代码(2)- go-ethereum 客户端入口代码和Node分析”一文中,我们提到Ethereum作为一个service,被Node 注册进去。Node start的时候会启动其注册的所有服务,Ethereum service也是一样。 初始化方法

    2024年01月21日
    浏览(54)
  • 【区块链 | 智能合约】Ethereum源代码(11)- 以太坊核心BlockChain源码分析

    前面几节都在分析以太坊的通信协议,怎么广播,怎么同步,怎么下载。这一节讲讲以太坊的核心模块BlockChain,也就是以太坊的区块链。 一,BlockChain的初始化 Ethereum服务初始化func init() 的时候会调用core.SetupGenesisBlock来加载创始区块。顾名思义,创始区块就是以太坊区块链中

    2024年02月08日
    浏览(48)
  • 什么是Ethereum以太坊(ETH)?以及以太坊的一些基础知识

    Ethereum以太坊(ETH)是由Vitalik Buterin所创建,一种允许智能合约和去中心化应用程序(dapps)在其网络上运行的加密货币。 以太坊是仅次于比特币的第二大加密货币,它是一个基于区块链的平台,用于创建去中心化应用程序(dapps)。 比特币被设计成一种货币和价值储存手段,而

    2024年02月03日
    浏览(38)
  • 【区块链 | 智能合约】Ethereum源代码(3)- 以太坊RPC通信实例和原理代码分析(上)

    上一节提到,以太坊在node start的时候启动了RPC服务,以太坊通过Rpc服务来实现以太坊相关接口的远程调用。这节我们用个实例来看看以太坊 RPC是如何工作的,以及以太坊RPC的源码的实现 1,RPC启动命令 : go-ethereum的RPC服务默认地址:http://localhost:8545/ 通过以下命令修改默认地

    2024年02月02日
    浏览(70)
  • 辅助驾驶功能开发-功能规范篇(22)-6-L2级辅助驾驶方案功能规范

     1.3.6 ELK 系统功能定义         ELK全称Emergency Lane Keeping,即紧急车道保持。当车辆与道路边界护栏(包含隔离带护栏、路锥、水马) 有碰撞危险或当车辆正偏出道路边沿且存在“对向来车”或“后向来车”与本车有碰撞风险时,通过给与转向反力矩进行车辆横向运动介入

    2024年02月06日
    浏览(38)
  • 【区块链技术开发语言】在ubuntu18 系统环境下命令操作配置以太坊go-ethereum环境

    项目简介: 以太坊是一个基于区块链技术的分布式平台,用于构建去中心化应用程序(DApps)。go-ethereum 是以太坊官方开发团队维护的 Go 语言实现的以太坊客户端,也被称为 Geth。它提供了一个完整的以太坊节点,用于参与以太坊网络,执行智能合约,进行交易等。 前提条件

    2024年02月21日
    浏览(45)
  • 北大肖臻老师《区块链技术与应用》系列课程学习笔记[20]以太坊-权益证明

    目录 一、为什么要转入权益证明         1.比特币系统的相关数据          2.以太坊的统计数据         3.比特币和以太坊当成一个国家 二、思考         1.矿工为什么要挖矿?         2.为什么要给矿工这些收益,这些出块奖励呢?         3.矿工具体

    2023年04月25日
    浏览(42)
  • 新版以太坊Ethereum库ethersV5.0配合后端Golang1.18实时链接区块链钱包(Metamask/Okc)以及验签操作

    区块链去中心化思想无处不在,比如最近使用个体抗原自检替代大规模的中心化核酸检测,就是去中心化思想的落地实践,避免了大规模聚集导致的交叉感染,提高了检测效率,本次我们使用Ethereum最新的ethersV5.0以上版本链接去中心化区块链钱包,并且通过后端Golang1.18服务进

    2024年02月02日
    浏览(62)

觉得文章有用就打赏一下文章作者

支付宝扫一扫打赏

博客赞助

微信扫一扫打赏

请作者喝杯咖啡吧~博客赞助

支付宝扫一扫领取红包,优惠每天领

二维码1

领取红包

二维码2

领红包