Practical delegation of computation using multiple servers
A note on efficient zero-knowledge proofs and arguments (extended abstract)