Polygon zkEVM zkASM语法
Posted mutourend
tags:
篇首语：本文由小常识网(cha138.com)小编为大家整理，主要介绍了Polygon zkEVM zkASM语法相关的知识，希望对你有一定的参考价值。
1. 引言
前序博客有：
zkASM语法重点参看：
2. zkASM寄存器
zkASM语言支持的寄存器有：
| 寄存器名 | 说明 | 备注 |
|---|---|---|
| A | ASSERT操作符仅作用于A寄存器 | 如B : ASSERT，表示断言A寄存器中的值与B寄存器中的值相等 |
| B | ||
| C | ||
| D | ||
| E | ||
| SR | ||
| CTX | ||
| SP | ||
| PC | ||
| GAS | ||
| RR | ||
| zkPC | ||
| STEP | 只读寄存器 | |
| MAXMEM | ||
| HASHPOS | ||
| ROTL_C | 只读寄存器，仅作用于C寄存器，将其4个字节左移 |
ROTL_C只读寄存器仅作用于C寄存器，用于将其4个字节左移，如：
0x101112131415161718191A1B1C1D1E1F202122232425262728292A2B2C2D2E2Fn => C
ROTL_C => A
0x1415161718191A1B1C1D1E1F202122232425262728292A2B2C2D2E2F10111213n: ASSERT
参考资料
附录：Polygon Hermez 2.0 zkEVM系列博客
- ZK-Rollups工作原理
- Polygon zkEVM——Hermez 2.0简介
- Polygon zkEVM网络节点
- Polygon zkEVM 基本概念
- Polygon zkEVM Prover
- Polygon zkEVM工具——PIL和CIRCOM
- Polygon zkEVM节点代码解析
- Polygon zkEVM的pil-stark Fibonacci状态机初体验
- Polygon zkEVM的pil-stark Fibonacci状态机代码解析
- Polygon zkEVM PIL编译器——pilcom 代码解析
- Polygon zkEVM Arithmetic状态机
- Polygon zkEVM中的常量多项式
- Polygon zkEVM Binary状态机
- Polygon zkEVM Memory状态机
- Polygon zkEVM Memory Align状态机
- Polygon zkEVM zkASM编译器——zkasmcom
- Polygon zkEVM哈希状态机——Keccak-256和Poseidon
以上是关于Polygon zkEVM zkASM语法的主要内容，如果未能解决你的问题，请参考以下文章
Polygon zkEVM zkASM编译器——zkasmcom