search, verifiability and compute