zkSync Era Prover

WHAT IT DOES

zkSync Era Prover enables developers to generate and submit proofs to the zkSync Era network. It reads and displays proof generation status showing pending, generating, or complete states, proof verification status for validation, proof submission status for on-chain acceptance, transaction hash for tracking, proof data for audit, verification key for proof validation, proof input for verification, proof output for result, proof time for performance, proof size for efficiency, gas usage estimation for cost planning, prover configuration for setup, circuit information for context, witness generation status for verification, setup parameters for configuration, proving key for proof generation, verification key ID for identification, proof generation logs for debugging, error messages for troubleshooting, warning messages for potential issues, proof optimization settings for performance, compressed proof size for efficiency, proof verification result for acceptance, submission transaction receipt for confirmation, chain ID for verification, account balance for fee coverage, nonce for transaction ordering, proof submission events for monitoring, verification success for finality, proof retry count for reliability, and proof cache status for performance. The tool provides a streamlined interface for proof generation and submission with gas estimation and transaction signing.

HOW TO USE

Connect your wallet to the tool and select the network where your zkSync Era prover is configured. Enter the proof input data in the text area. Select the prover configuration (Standard, Optimized, or Compressed). Click "Generate Proof" to start the proof generation process. The tool will simulate proof generation with witness computation and circuit processing. Review the generated proof size, generation time, gas estimate, verification key, and proof hash. Click "Submit Proof" to sign and submit the proof verification transaction. The tool will show the transaction hash immediately, then update with the verification status once confirmed. The tool works with any zkSync Era-compatible network.

THE MECHANISM

zkSync Era Prover performs client-side simulation of the proof generation and submission pipeline. The tool first processes the input data and simulates witness generation by parsing the input and preparing it for circuit computation. It then simulates circuit execution to generate the proof, producing a proof hash and proof size. The tool applies optimization settings based on the selected configuration — standard, optimized, or compressed — which affect proof size and generation time. Gas estimation is performed by analyzing the complexity of the proof and the size of the verification transaction. When submitting the proof, the tool constructs a transaction containing the proof data and verification key, attaches the appropriate gas limit, and sends it using the connected wallet's signer. Transaction confirmation is tracked using wait() with appropriate confirmations. The tool also monitors verification status by checking the transaction receipt and events emitted by the verification contract. Proof retry logic is simulated by tracking submission attempts and providing feedback on verification success or failure.

WHAT IT CANNOT SEE

zkSync Era Prover cannot verify that the proof is actually correct without running the full verification algorithm independently, as the tool uses simulation rather than actual cryptographic verification. The tool cannot guarantee that the proof will be accepted by the zkSync Era contract on the first submission, as acceptance depends on the contract's verification logic. It cannot detect if the prover service is compromised or returning invalid proofs, as that requires independent verification. The tool cannot predict proof generation time accurately, as generation time depends on circuit complexity and hardware. It cannot prove that the underlying circuit logic is secure or free from vulnerabilities, as security requires formal verification and auditing. The tool also cannot detect if the verification contract has been updated or if the verification key has changed.

PLEASE NOTE

zkSync Era Prover supports EVM-compatible chains only. The tool uses the zkSync Era prover interface and requires the target network to support proof verification. Always verify proof data and verification keys from official sources before submission. The tool is free to use and does not store or transmit any proof data off-device. Always test proof generation and submission on test networks before mainnet.