VerSum: Verifiable Computations Over Large Public Logs [pdf]people.csail.mit.edu13 pointsmonort12 years ago