论文标题
Zkay V0.2：智能合约的实用数据隐私
zkay v0.2: Practical Data Privacy for Smart Contracts
论文作者
论文摘要
最近的工作介绍了Zkay，这是一种用于在智能合约中指定和执行数据隐私的系统。尽管Zkay的原始原型实施（V0.1）证明了该方法的可行性，但其概念验证实施的实施遭受了严重的限制，例如不安全的加密和缺乏重要的语言特征。 在本报告中，我们提出了Zkay v0.2，该报告解决了其前身的局限性。新的实施可显着提高系统的安全性，可用性，模块化和性能。特别是，Zkay V0.2支持最先进的不对称和混合加密，引入了许多新的语言功能（例如功能呼叫，私有控制流和扩展类型支持），允许不同的ZK-SNARKS后端，并减少编译时间和链式成本。
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 and lack of important language features. In this report, we present zkay v0.2, which addresses its predecessor's limitations. The new implementation significantly improves security, usability, modularity, and performance of the system. In particular, zkay v0.2 supports state-of-the-art asymmetric and hybrid encryption, introduces many new language features (such as function calls, private control flow, and extended type support), allows for different zk-SNARKs backends, and reduces both compilation time and on-chain costs.
