zkEVM

Polygon zkEVM PIL-STARK Spearbit审计报告解读（2023年6月版）

1.引言前序博客有：PolygonzkEVMHexens审计报告解读PolygonzkEVMSpearbit审计报告解读（2022年12月版本）PolygonzkEVMSpearbit审计报告解读（2023年1月版本）PolygonzkEVMSpearbit审计报告解读（2023年3月版本）PolygonzkEVMROMSpearbit审计报告解读（2023年6月DragonFruit升级版本）P
mutourend·2024-01-18 12:25

Polygon zkEVM PIL-STARK Spearbit审计报告解读（2023年3月版）

1.引言前序博客有：PolygonzkEVMHexens审计报告解读PolygonzkEVMSpearbit审计报告解读（2022年12月版本）PolygonzkEVMSpearbit审计报告解读（2023年1月版本）PolygonzkEVMSpearbit审计报告解读（2023年3月版本）PolygonzkEVMROMSpearbit审计报告解读（2023年6月DragonFruit升级版本）P
mutourend·2024-01-10 21:17

Polygon zkEVM Spearbit审计报告解读（2023年1月版本）

1.引言前序博客：PolygonzkEVMHexens审计报告解读PolygonzkEVMSpearbit审计报告解读（2022年12月版本）主要见：PolygonzkEVMSecurityReview:January2023EngagementPolygonzkEVM为提供（opcode层面兼容的）EVM等价zk-rollup，具有良好的用户体验并兼容现有以太坊生态和工具。本轮审计重点关注：1）
mutourend·2023-12-27 19:57

Polygon zkEVM Spearbit审计报告解读（2022年12月版本）

1.引言前序博客：PolygonzkEVMHexens审计报告解读（2022年12月至2023年2月版本）主要见：PolygonzkEVMSecurityReview:December2022EngagementPolygonzkEVM为提供（opcode层面兼容的）EVM等价zk-rollup，具有良好的用户体验并兼容现有以太坊生态和工具。主要关注：1）检查Ethereumstatetests和
mutourend·2023-12-22 09:36

Polygon zkEVM Goldilocks域各项运算性能

1.引言开源代码见：https://github.com/0xPolygonHermez/goldilocks（C++）goldilocks#./bench2023-12-18T02:06:43+00:00Running./benchRunon(128X2650MHzCPUs)CPUCaches:L1Data32KiB(x64)L1Instruction32KiB(x64)L2Unified512
mutourend·2023-12-19 18:04

Polygon zkEVM协议治理、升级及其流程

1.引言随着Polygon社区开发者和内部团队的测试深入，当前版本的PolygonzkEVM不可避免地需更新和某些升级。为激励开发者对PolygonzkEVM做battle-test，已启动了bug-bounty：RewardsbyThreatLevel由于zk-Rollup生态系统还处于萌芽阶段，预计升级频率会随着时间的推移而下降。与此同时，Polygon打算将其升级管理从目前的集中化方式转变为
mutourend·2023-11-20 10:20

eSTARK：Polygon zkEVM的扩展STARK协议——支持lookup、permutation、copy等arguments（1）

1.引言eSTARK：即extendedSTARK，为PolygonzkEVM团队在STARK协议的基础之上做了扩展——扩大了所支持的约束类型。其不仅支持polynomialequality约束，还额外支持：lookupargumentpermutationargumentcopy-constraints（又名connectionargument）自1985年Goldwasser等人论文Thekn
mutourend·2023-11-20 10:48

Polygon zkEVM递归证明技术文档（5）——附录：借助SNARKjs和PIL-STARK实现proof composition

前序博客有：PolygonzkEVM递归证明技术文档（1）【主要描述了相关工具和证明的组合、递归以及聚合】PolygonzkEVM递归证明技术文档（2）——PolygonzkEVM架构设计PolygonzkEVM递归证明技术文档（3）——代码编译及运行PolygonzkEVM递归证明技术文档（4）——C12PILDescription本文重点关注：附录：借助SNARKjs和PIL-STARK实现p
mutourend·2023-11-20 10:48

Polygon zkEVM递归证明技术文档（4）—— C12 PIL Description

前序博客有：PolygonzkEVM递归证明技术文档（1）【主要描述了相关工具和证明的组合、递归以及聚合】PolygonzkEVM递归证明技术文档（2）——PolygonzkEVM架构设计PolygonzkEVM递归证明技术文档（3）——代码编译及运行6.C12PILDescription之前，已提供了c12算术化的高层功能概览，并标识了其通用属性以及某些PIL细节。本节的主要目标是：提供，FRI
mutourend·2023-11-20 10:18

Polygon zkEVM递归证明技术文档（2）—— Polygon zkEVM架构设计

前序博客见：PolygonzkEVM递归证明技术文档（1）【主要描述了相关工具和证明的组合、递归以及聚合】本文重点关注PolygonzkEVM的架构设计。4.PolygonzkEVM4.1架构本节，借助递归、聚合和组合，提供具体的blocks和steps来证明PolygonzkEVM中abatchoftransactions（或多个batches）的正确执行。如之前所属，生成proof分为2个阶段
mutourend·2023-11-20 10:18

Polygon zkEVM递归证明技术文档（1）

zkEVM的约束使用PIL语言定义多项式恒等式。然后，使用PIL规范来表示待证明executiontrace，来构建用FRI协议证明的STARK。问题是STARK会产生bigproofs。
mutourend·2023-11-20 10:48

Polygon zkEVM递归证明技术文档（3）——代码编译及运行

前序博客见：PolygonzkEVM递归证明技术文档（1）【主要描述了相关工具和证明的组合、递归以及聚合】PolygonzkEVM递归证明技术文档（2）——PolygonzkEVM架构设计本文重点关注如何使用PolygonzkEVM现有代码编译生成zkEVMproofs。5.BuildingzkEVMProofs运行proverjs来完成setupphase。在setupphase所生成的电路可根
mutourend·2023-11-20 10:48

Polygon zkEVM Trustless L2 State Management 技术文档

1.引言著名的区块链不可能三角由以太坊创始人VitalikButerin首次提出，具体为：去中心化安全性可扩展性以太坊面临的扩容问题即为不可能三角中的可扩展性问题。为此，针对以太坊有大量的Layer2（L2）扩容方案。这些扩容方案致力于：通过提升交易吞吐量来提升以太坊网络的可扩展性在不牺牲去中心化或安全性的前提下，降低交易手续费PolygonzkEVM为L2rollup解决方案，在L1（Layer
mutourend·2023-11-20 10:47

Polygon zkEVM zkProver基本设计原则 以及 Storage状态机

1.zkProver基本设计原则PolygonzkEVM采用状态机模型来模拟EVM（EthereumVirtualMachine），从而提供与以太坊相同的用户体验，并支持部署运行相同的以太坊智能合约。PolygonzkEVMzkRollup扩容策略在于：开发zkProver，输入abatchofmanytransactions，证明该batch内所有交易的有效性，然后仅发布最小化size的vali
mutourend·2023-11-20 10:17

Polygon zkEVM bridge技术文档

1.引言区块链互操作性是指链A与链B交互数据的能力。近年来区块链生态快速扩张，出现了大量具有不同属性的区块链网络，互操作性是区块链设计时的一个重要考虑指标。不具有互操作性，网络具有孤立于更大生态的风险，为此，激励了项目方研究和开发互操作性解决方案。每种互操作性解决方案具有不同的权衡和底层技术。本文由Polygon团队提供的解决方案，为PolygonzkEVML2网络提供了原生的互操作性。bridg
mutourend·2023-11-20 10:17

Polygon zkEVM RPC服务

1.引言PolygonzkEVM节点可提供如下服务：1）synchronizer服务：所运行zkEVM节点必须运行的基础服务，其它服务均需依赖于synchronizer服务。
mutourend·2023-11-20 10:17

Polygon zkEVM Prover的 RPC功能

1.引言https://github.com/0xPolygonHermez/zkevm-prover为PolygonzkEVM生成proof，其主要承担3类RPC功能：1）作为AggregatorRPCclient
mutourend·2023-11-20 10:17

Polygon zkEVM中的Recursive STARKs

1.引言主要参看PolygonzkEVM创始人Jordi在2023年StarkWareSessions上的分享：StarkWareSessions23|RecursiveSTARKsinthezkEVMContext|JordiBaylina整个PolygonzkEVMcircuit为一个巨大的STARKcircuit。PolygonzkEVM目前采用的递归聚合方案为：其中：1）zkEVMbatc
mutourend·2023-11-20 10:47

Polygon zkEVM的gas定价

1.引言所有的zkEVM都存在一个有趣的问题：如何给gas定价？在EthereumVirtualMachine(EVM)中，gas通过为每个计算设置economicfee，来保持网络安全。
mutourend·2023-11-20 10:47

Polygon zkEVM 审计及递归证明

1.引言PolygonzkEVM自2022年12月1日已开始审计，为未来的主网上线做准备。审计公司有2个：Spearbit和Hexens，审计的内容有：PolygonzkEVM采用模块化设计，审计的内容主要分为：client端：包括RPC节点、sequencer和生成证明的aggregator。executor：负责将交易作为输入，使用以zkASM语言编写的ROM程序指令集来创建execution
mutourend·2023-11-20 10:46

Polygon zkEVM发布公开测试网2.0

1.引言PolygonzkEVM发布公开测试网2.0，相比于10月份发布的公开测试网1.0版本，做了如下改进：支持递归证明（testnet1.0采用的是onebatchoftransactions对应oneproof）：从而支持多个provers并行工作，提升可扩展性。在testnet2.0中，证明生成得更快，用户的交易手续费可低于0.04$，未来可进一步降低。L2Batchsize由400万ga
mutourend·2023-11-20 10:46

Polygon zkEVM Merkle tree的circom约束

1.引言前序博客有：PolygonzkEVM中的MerkletreePolygonzkEVM中Goldilocks域元素circom约束代码见：https://github.com/0xPolygonHermez/pil-stark/tree/main/circuits.gl2.Poseidon哈希circom约束3.LinearHashcircom约束templateLinearHash(nIn
mutourend·2023-11-20 10:16

Polygon zkEVM中的子约束系统

1.引言前序博客有：PolygonzkEVM工具——PIL和CIRCOMPLONK:permutationsoverlagrange-basesforoecumenicalnoninteractiveargumentsofknowledge学习笔记PLONK+PLOOKUPPLOOKUPV神博客UnderstandingPLONKPolygonzkEVM中主要设计了3种子约束系统：1）Permut
mutourend·2023-11-20 10:16

Polygon zkEVM交易解析

1.引言前序博客有：EthereumEVM简介揭秘EVMOpcodes剖析Solidity合约创建EVMbytecodePolygonzkEVMzkASM与以太坊虚拟机opcode对应集合zkevm-rom
mutourend·2023-11-20 10:16

Polygon zkEVM中的Merkle tree

1.引言前序博客有：Merkletree及其在区块链等领域的应用以https://github.com/0xPolygonHermez/pil-stark为例，PolygonzkEVM中实现了2种Merkletree（二者均采用Poseidon哈希函数）：1）基于Goldilocks域的Merkletree：1.1）其Poseidonhash实现借鉴了https://github.com/file
mutourend·2023-11-20 10:46

Polygon zkEVM FFT和多项式evaluate计算的circom约束

1.引言前序博客：PolygonzkEVM中Goldilocks域元素circom约束代码见：https://github.com/0xPolygonHermez/pil-stark/tree/main/circuits.gl2.FFT运算的circom约束constpgroup_c=F.ifft(pgroup_e);//AdjustableparameteesconstmaxBlockBits=
mutourend·2023-11-20 10:46

Polygon zkEVM中Goldilocks域元素circom约束

1.引言前序博客有：Goldilocks域Goldilocks域p=264−232+1p=2^{64}-2^{32}+1p=264−232+1。PolygonzkEVM中Goldilock域元素circom约束，代码见：https://github.com/0xPolygonHermez/pil-stark/tree/main/circuits.gl2.Goldilocks域元素转换为二进制将Go
mutourend·2023-11-20 10:16

Polygon zkEVM zkASM 与 以太坊虚拟机opcode 对应集合

1.引言结合：以太坊黄皮书https://ethereum.github.io/yellowpaper/paper.pdfhttps://github.com/comitylabs/evm.codes（以太坊虚拟机opcodes交互索引）PolygonzkEVM的虚拟机支持的opcode为：【基本与以太坊虚拟机opcode对应】opcodenamecnt_arithcnt_binarycnt_me
mutourend·2023-11-20 10:15

Polygon zkEVM zkROM代码解析（1）

：PolygonzkEVMzkASM中的函数集合PolygonzkEVMzkASM语法PolygonzkEVMzkROM代码库为：https://github.com/0xPolygonHermez/zkevm-rom
mutourend·2023-11-20 10:15

Polygon zkEVM公式梳理

constresP=awaitstarkGen(comPols,constPols,constTree,starkInfo)其中输入有：1）comPols：为commit多项式tracedomainevaluation值2）constPols：为常量多项式tracedomainevaluation值3）constTree：为常量多项式LowDegreeExtensiondomainevaluati
mutourend·2023-11-20 10:15

Polygon zkEVM可验证计算简单状态机示例

Nextweshowthearithmetizationprocessofamorecomplexbutyetsimplestatemachine.UnliketheFibonaccistatemachine,oursimplestatemachinetransitionsfromonestatetothenextinresponsetocertainexternalinstructions.Se
mutourend·2023-11-20 10:14

Polygon zkEVM Memory Align状态机

1.引言前序博客有：PolygonzkEVMArithmetic状态机PolygonzkEVM中的常量多项式PolygonzkEVMBinary状态机PolygonzkEVMMemory状态机MemoryAlign状态机为PolygonzkEVM的六个二级状态机之一，该状态机内包含：executorpart：sm_mem_align.js：负责生成executiontrace，为常量多项式和隐私多
mutourend·2023-11-20 10:44

Polygon zkEVM zkROM代码解析（3）

1.引言PolygonzkEVMzkROM代码库为：https://github.com/0xPolygonHermez/zkevm-romzkROM的基本流程为：1）A：加载输入变量；2）B：设置batchstoragestate-tree
mutourend·2023-11-20 10:44

Polygon zkEVM Memory状态机

1.引言前序博客有：PolygonzkEVMArithmetic状态机PolygonzkEVM中的常量多项式PolygonzkEVMBinary状态机Memory状态机为PolygonzkEVM的六个二级状态机之一，该状态机内包含：executorpart：sm_mem.js：负责生成executiontrace，为常量多项式和隐私多项式赋值。验证规则集PIL：mem.pil：定义了约束系统，检查
mutourend·2023-11-20 10:14

Polygon zkEVM zkASM语法

1.引言前序博客有：PolygonzkEVM中的常量多项式PolygonzkEVMzkASM编译器——zkasmcomzkASM语法重点参看：https://github.com/0xPolygonHermez/zkasmcom/blob/main/src/zkasm_parser.jison（zkASMCompiler项目）https://github.com/0xPolygonHermez/z
mutourend·2023-11-20 10:14

Polygon zkEVM Binary状态机

1.引言前序博客有：PolygonzkEVMArithmetic状态机PolygonzkEVM中的常量多项式Binary状态机为PolygonzkEVM的六个二级状态机之一，该状态机内包含：executorpart：sm_binary.js：负责生成executiontrace，为常量多项式和隐私多项式赋值。验证规则集PIL：binary.pil：定义了约束系统。相应的testvectors见：b
mutourend·2023-11-20 10:13

Polygon zkEVM Arithmetic状态机

1.引言前序博客有：PolygonzkEVMPIL编译器——pilcom代码解析PolygonzkEVMzkASM编译器——zkasmcomPolygonzkEVM中将某类特定的计算表示为状态机。Arithmetic状态机为PolygonzkEVM的6个二级状态机之一，主要由2大部分组成：1）Executor部分：有2个版本，Javascript版本和C/C++版本。https://github.
mutourend·2023-11-20 10:13

Polygon zkEVM zkASM编译器——zkasmcom

https://github.com/0xPolygonHermez/zkevm
mutourend·2023-11-20 10:43

Polygon zkEVM中的常量多项式

1.引言具体见：https://github.com/0xPolygonHermez/zkevm-proverjs/blob/main/pil/l2.Global.pil中的常量多项式PolygonzkEVM
mutourend·2023-11-20 10:43

Polygon zkEVM的pil-stark Fibonacci状态机初体验

1.引言前序博客：PolygonzkEVM基本概念第5章“一个例子——Fibonaccistatemachine”实操主要见：2022年8月8日JordiBaylina（Iden3合伙人，PolygonHermezzkEVM技术负责人）在Zcon3分享ToolingforbuildingzkEVM:PILandCircom-JordiBaylinaatZcon3第24分钟。相关代码见：pil-st
mutourend·2023-11-20 10:42

Polygon zkEVM工具——PIL和CIRCOM

1.引言前序博客有：ZK-Rollups工作原理PolygonzkEVM——Hermez2.0简介PolygonzkEVM网络节点PolygonzkEVM基本概念PolygonzkEVMProver2022年8月8日JordiBaylina（Iden3合伙人，PolygonHermezzkEVM技术负责人）在Zcon3分享ToolingforbuildingzkEVM:PILandCircom-J
mutourend·2023-11-20 10:42

Polygon zkEVM PIL编译器——pilcom 代码解析

1.引言开源代码见：https://github.com/0xPolygonHermez/pilcom（JavaScript）pilcom为PolygonzkEVM的PIL（PolynomialIdentityLanguage）编译器。以test/examples下的arrays.pil代码为例：namespaceArrays2(2**16);polconstantd[2];polcommitc;
mutourend·2023-11-20 10:12

Polygon zkEVM节点代码解析

1.引言前序博客：PolygonzkEVM网络节点相关代码：https://github.com/0xPolygonHermez/zkevm-node（Go语言）PolygonzkEVM节点提供的主要服务模块有
mutourend·2023-11-20 10:11

Polygon zkEVM的pil-stark Fibonacci状态机代码解析

1.引言前序博客有：PolygonzkEVM的pil-starkFibonacci状态机初体验STARKsandSTARKVM:ProofsofComputationalIntegrity开源代码见：https://github.com/0xPolygonHermez/pil-stark（Javascript）中的test/sm_fibonacci/Fibonacci状态机，对应的序列为：1,2,
mutourend·2023-11-20 10:11

Polygon zkEVM 基本概念

1.引言前序博客有：ZK-Rollups工作原理PolygonzkEVM——Hermez2.0简介PolygonzkEVM网络节点PolygonzkEVM为zk-rolluplayer2扩容方案，其：executesmartcontractstransparentlypublishzero-knowledgevalidityproof与以太坊虚拟机opcode完全兼容——为此需重建所有EVMopc
mutourend·2023-11-20 10:11

Polygon zkEVM Prover

Hermez2.0简介PolygonzkEVM网络节点PolygonzkEVM基本概念PolygonzkEVMProver开源代码见：https://github.com/0xPolygonHermez/zkevm-prover
mutourend·2023-11-20 10:11

Polygon zkEVM——Hermez 2.0简介

1.引言前序博客有：ZK-Rollups工作原理近期，Polygon团队开源了其Hermez2.0zkEVM代码，公开测试网即将上线：https://github.com/0xpolygonhermez
mutourend·2023-11-20 10:41

Polygon zkEVM网络节点

1.引言前序博客有：PolygonzkEVM——Hermez2.0简介PolygonzkEVM网络节点代码见：https://github.com/0xPolygonHermez/zkevm-node（
mutourend·2023-11-20 10:41

Polygon zkEVM的Dragon Fruit和Inca Berry升级

1.PolygonzkEVM的DragonFruit升级2023年8月31日，PolygonzkEVM团队宣称启动了其MainnetBeta的DragonFruit升级的10天timelock，预计将于2023年9月11日激活。DragonFruit升级点有：改进了网络支持了最新的以太坊opcode——PUSH01.1DragonFruit升级点DragonFruit，又名ForkID5，包含了2
mutourend·2023-11-20 10:37

为Web3生态创新赋能，ETH Hong Kong 2023圆满落幕

摘要：10月22日至24日，由以太坊原生zkEVM扩容方案Scroll与Web3技术风投公司NewmanGroup共同举办的首届以太坊香港盛会“ETHHongKong2023”在数码港成功举行，、ABCDE
沉睡者IT·2023-11-04 18:20
上一页 1 2 下一页
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他