Prover

Overview of the prover implementation.

The ZKsync Prover is a subsystem responsible for generating ZK proofs. The subsystem consists of several parts responsible for different steps of the proof generation.

Detailed information about ZKsync Prover can be found in the ZKsync Prover book.

Server

Overview of the sequencer node implementation.

Block explorer

Explore the functionality of Block Explorer, a comprehensive tool for monitoring activities on your ZK chain.