55、以太坊可扩展性:ZK-rollups与ZK-EVM深度解析

以太坊可扩展性:ZK-rollups与ZK-EVM深度解析

在区块链技术的发展中,以太坊的可扩展性一直是备受关注的问题。ZK-rollups作为一种解决方案,为提高以太坊的交易吞吐量提供了有效的途径。同时,ZK-EVM的出现则进一步拓展了其应用范围。下面将详细介绍ZK-rollups和ZK-EVM的相关知识。

1. ZK-rollups概述

ZK-rollups系统由链上L1汇总智能合约和链下虚拟机组成。交易在以太坊第1层完成最终确认和结算,只有当L1汇总合约接受第2层协调器(证明者)提交的有效性证明时,交易才会被结算。这种证明确保了交易的完整性,所有交易都需经第1层批准,从而消除了恶意操作者提交欺诈性交易的风险。

1.1 构建ZK-rollups的技术

构建ZK-rollups主要使用两种技术:ZK-SNARKs和ZK-STARKs。它们的特点对比如下:
| 技术 | 证明大小 | 证明者时间 | 验证者时间 |
| ---- | ---- | ---- | ---- |
| ZK-SNARKs | 小 | 中等 | 小 |
| ZK-STARKs | 大 | 小 | 中等 |

  • ZK-STARKs :具有透明性,无需可信设置。证明时间接近线性,验证时间为对数级,设置简洁,最多需要对数级大小。证明大小较大,具有后量子安全性。基于STARK的第2层的典型例子有StarkNet和Polygon Miden。不过,由于证明大小较大,需要更多的调用数据空间(约50KB),验证时需要更多的gas,对用户来说成本更高。而且,STARK基于80位安全性,存在1
【博士论文复现】【阻抗建模、验证扫频法】光伏并网逆变器扫频稳定性分析(包含锁相环电流环)(Simulink仿真实现)内容概要:本文档是一份关于“光伏并网逆变器扫频稳定性分析”的Simulink仿真实现资源,重点复现博士论文中的阻抗建模扫频法验证过程,涵盖锁相环和电流环等关键控制环节。通过构建详细的逆变器模型,采用小信号扰动方法进行频域扫描,获取系统输出阻抗特性,并结合奈奎斯特稳定判据分析并网系统的稳定性,帮助深入理解光伏发电系统在弱电网条件下的动态行为失稳机理。; 适合人群:具备电力电子、自动控制理论基础,熟悉Simulink仿真环境,从事新能源发电、微电网或电力系统稳定性研究的研究生、科研人员及工程技术人员。; 使用场景及目标:①掌握光伏并网逆变器的阻抗建模方法;②学习基于扫频法的系统稳定性分析流程;③复现高水平学术论文中的关键技术环节,支撑科研项目或学位论文工作;④为实际工程中并网逆变器的稳定性问题提供仿真分析手段。; 阅读建议:建议读者结合相关理论教材原始论文,逐步运行并调试提供的Simulink模型,重点关注锁相环电流控制器参数对系统阻抗特性的影响,通过改变电网强度等条件观察系统稳定性变化,深化对阻抗分析法的理解应用能力。
评论
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符  | 博主筛选后可见
 
红包 添加红包
表情包 插入表情
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值