Questions related to tx signature verification in prover.

[Koll-Stone]

Are signatures in transactions verified before constructing proofs for L2 block? I only found circuits that validate opcode execution correctness. Signatures should be verified to ensure transaction correctness. Besides, it is computing-intensive which should be done in L2, I guess. It would be very helpful if someone clarifies this, I appreciate!

[EmilLuta]

cc: @perekopskiy

[nathanlwb]

Signature verification in zkSync occurs prior to the construction of zk-SNARK proofs and is an integral part of ensuring the security and integrity of transactions on the Layer 2 network. This approach not only secures the network against unauthorized transactions but also optimizes the computational load by preventing invalid transactions from entering the proof generation stage.