More explanation of Zerocash:

https://www.youtube.com/watch?v=FXU65XsLiFk#t=605

This is how I figured it worked. In fact, I had recently figured out that Pinnochio could be used with hashes and a hash accumulator. So they implemented it.