Are there specific commands for convert zkasm file to cpp prover code?

[ZeroKPunk]

Version

main

Description

Hi teams! I'm a newbie about zkevm-rom, after some research from polygon docs and zkevm-techdocs, I'm still a little confused about the releation between zkevm-rom and zkevm-prover. The evm's opcodes are iterpret by zkasm, but the acutal zkevm-prover contains only cpp source, so there should be some specific commands for converting zkasm to cpp code, right?

Best wishes!

[obynonwane]

the zkEVM ROM is a zkASM program designed to prove computations for stating the correct Layer 2 State transitions
from a given batch of L2 transactions.

The prover can prove that an execution of a set of L2 transaction is correct, the set of L2 transactions being proved is called a batch.

zkASM is the language developed by the team that is used to write the program that a compiler will build and the executor will interpret in order to build the execution trace.

The L2 State is organized as a Merkle Tree, being its root a cryptographic summary of the current state data referred to as the State Root. Hence, the ROM must have the capability to correctly execute CRUD (Create, Read, Update, and Delete) operations on the Merkle Tree representing the current state.

[ZeroKPunk]

Tree

so how can I connect with the zkevm-room and zk-prover?