Good job!
Question: Are you providing any kind of proofs client apps can easily check to be more certain that Vertex is not lying?
Or even better: with the request one could add some params as to how or what kind of proofs should be provided by such dvms, depending on use-case.
I might sound vague but you get the point I hope.
