All these problems, like hiding the transfer amount , and anonymization, etc were solved (*) by my Appecoin protocol.
Appecoin proofs are relatively small, and fast to verify.
The fact that I didn't publish it (for a year) is that I still have moral doubts of enabling a completely anonymous payment system. Somebody has to proof that the benefit of such system outweigh the costs of its illegal use.
I hope Adam you're sure that you solved that dilemma when you finally build your own protocol.
(*) This is not completely true, since my paper has received little peer review, it might contain mistakes.