I couldn't understand how this magic works. Imagine that I send to a DVM a list of numbers and it performs the sum and returns the result along with a "hash" proving that the computation was correct. I'm a developer, so I ask you to make a post explaining this simple case in detail.