Browsing: verifiable computations