9 ms·

search, verifiability and compute