Verifiable Computation with Massively Parallel Interactive Proofs

Justin Thaler Mike Roberts Michael Mitzenmacher Hanspeter Pfister

Published in: CoRR (2012)

Keyphrases

massively parallel
parallel computers
parallel computing
fine grained
high performance computing
parallel machines
sufficient conditions
parallel computation
parallel architectures
theorem prover
mesh connected
processing elements
blue gene