Verifiable Computation in Practice: Tools and Protocols