Proof Generation and Validation
TLDRProof generation balances security, cost, and speed. The time taken to generate proofs ensures L2 transactions are secure, valid and timely. This is why withdrawals from Sophon Mainnet can only be completed once a proof becomes available on Ethereum.
- Proof Complexity: L2 blockchains create complex cryptographic proofs (which take time and resources to complete) to validate transactions without revealing all the details.
- Transaction Batching: L2 chains group transactions into one proof to save on costs. This batching means waiting for enough transactions before a proof can be generated.
- Processing Power: L2 blockchains rely on sequencers or validators to handle transactions and proofs. If these systems become overloaded or slowed up, proof generation can take longer.
Transaction Execution Delay
Sophon is an L2 blockchain built using the ZKsync Stack. This means that transactions first have to be processed on Sophon Mainnet and then on Ethereum. To ensure nothing can go wrong, the following processes are necessary:- ZKsync’s team constantly monitors blocks for suspicious activity, such as large withdrawals or rapid outflows.
- If a hacker finds a critical bug, it cannot be exploited as security measures are in place to detect any anomalies, allowing for the necessary action to be taken.
For more info on withdrawal delays, see ZKsync’s docs.