论文标题
ZK-SECREC：一种针对零知识证明的特定领域语言
ZK-SecreC: a Domain-Specific Language for Zero Knowledge Proofs
论文作者
论文摘要
我们提出ZK-SECREC，这是一种针对零知识证明的特定领域语言。我们介绍了其设计，语法和语义的理由，并在许多非平凡的例子的基础上证明了其有用性。该设计具有类型系统，其中每个数据既分配了机密性和完整性类型，彼此之间并非正交。我们对其编译器在其规模方面产生的陈述进行经验评估。我们还显示了编译器与实施零知识证明技术的集成，并评估了供奉献者和验证者的运行时间。
We present ZK-SecreC, a domain-specific language for zero-knowledge proofs. We present the rationale for its design, its syntax and semantics, and demonstrate its usefulness on the basis of a number of non-trivial examples. The design features a type system, where each piece of data is assigned both a confidentiality and an integrity type, which are not orthogonal to each other. We perform an empiric evaluation of the statements produced by its compiler in terms of their size. We also show the integration of the compiler with the implementation of a zero-knowledge proof technique, and evaluate the running time of both Prover and Verifier.
