4 ms·

Well, they have to be verifiable offline (or sort-of offline) as a prerequisite. ZKP gives you the composition.