dunno if y'all heard this yet...but i just found out and im selling a few etc for ETH ...enjoy guys
https://www.reddit.com/r/ethereum/comments/4v2ug3/zksnarks_zero_knowledge_proofs_now_possible_via/[–]vbuterinJust some guy 33 points 10 hours ago
Basically you will be able to use this to verify arbitrary (computable) claims about information, eg. statements of the form F(x) = y for a known F and y (though x can be private). This can compete with interactive verification as a tool for cheaply verifying expensive computations and serve similar use cases (though sometimes the interactive verification approach is still much more efficient), but the zero-knowledge component also allows for
powerful privacy-preserving protocols on top of Ethereum. Examples include:
Cryptographic mixers - essentially,
the ZK-SNARK verification enforces the rule that if you put one coin in you can take one coin and only one coin out, but the input-output mapping is completely hidden. Hawk - essentially, smart contracts with encrypted state, where the full power of the blockchain is still used to verify that state transitions are correct because anyone updating the state needs to include a ZK-SNARK proving that the change from the old encrypted state to the new encrypted state is a valid state transition (proving all of this without revealing what the decrypted old or new states, or the decrypted transaction data, is!).
Only on ETH
Etc will have it too