Privacy-Preserving Casper FFG using Traceable Ring Signatures

I updated the post. The surround vote case, I don’t think, can be fit into this framework in a straight forward fashion.