4 ms·

The client verifies the proofs!