zkay v0.2: Practical Data Privacy for Smart Contracts

• Main Authors: Baumann, Nick, Steffen, Samuel, Bichsel, Benjamin, Tsankov, Petar, Vechev, Martin
• Format: Journal Article
• Language: English
• Published: 02.09.2020
• Subjects: Computer Science - Cryptography and Security; Computer Science - Programming Languages

Recent work introduces zkay, a system for specifying and enforcing data privacy in smart contracts. While the original prototype implementation of zkay (v0.1) demonstrates the feasibility of the approach, its proof-of-concept implementation suffers from severe limitations such as insecure encryption...