(Implementations of) verifiable computation and succinct arguments: survey and wishlist Michael Walfish NYU.