3 ms·The upper bound is arbitrary code, and validating arbitrary proofs.by kazagistar 9y agoThe upper bound is arbitrary code, and validating arbitrary proofs.