zkay
zkay: Specifying and Enforcing Data Privacy in Smart Contracts Samuel
https://github.com/eth-sri/zkay
limitations
Incompleteness of NIZK proofs
for loopなどconstraintsベースだと厳しい
knowledege restrictions
AliceはBobのprivate dataにアクセスすることができない
Obfucated Logic
Obfucated Leaks