b/ Open source works well for very complicated pieces of software.
c/ As we saw in the case of Ethereum, assuming you can buy due diligence with money alone is a mistake.
Please let me know what specific topic of zkSNARK you find challenging to explain and we can write a blog post about it.
- "MPF (Mental Poker Framework): A new family of practical and secure Mental Poker protocols" http://www.dc.uba.ar/inv/tesis/licenciatura/2010/lerner
- MAVEPAY: a new lightweight payment scheme for peer to peer currency networks: https://bitslog.files.wordpress.com/2012/04/mavepay1.pdf
- Strict Memory Hard Hashing Functions: http://www.hashcash.org/papers/memohash.pdf referenced in the Ethereum original paper: http://gavwood.com/paper.pdf
The last link is more formal, and talks about models of computation, but once again does not provide any reductions.
a) the mechanics of the proof generation, including outlining the time for proof generation.
b) How the trusted setup works; for extra credit describe in detail how zcash plans to do it.
c) an ELI5 explanation of zkSNARKS
d) a comparison of the Ben-sasson and Parno implementations.
Since there's no cryptographically provable way to know they won't do this, well, we have to assume it's what they'll do. Distrust is the basis for cryptocurrencies afterall.
Moreover, having worked with some of them, I can assure they're not shady no-gooders...
But these guys are much less likely to be scammers than the typical no-name GitHub/Twitter/Bitcoinforums accounts promoting a new revolutionary coin.