zksk：一个可组合的零知识证明库
zksk: A Library for Composable Zero-Knowledge Proofs
摘要：
零知识证明是许多隐私保护系统中必不可少的组成部分。然而，实现这些证明是繁琐和容易出错的。在本文中，我们介绍了zksk，一个文档齐全的Python库，用于定义和计算sigma协议：最流行的一类零知识证明。在zksk中，证明组合：程序员可以将较小的证明转换为构建块，然后将其组合成更大的证明。zksk是一种现代的基于Python的领域特定语言。这使得在不学习新的自定义语言的情况下定义证明成为可能，并从丰富的Python语法和生态系统中受益。该库可在https://github.com/spring-epfl/zksk上获得
英文摘要：
Zero-knowledge proofs are an essential building block in many privacy-preserving systems. However, implementing these proofs is tedious and error-prone. In this paper, we present zksk, a well-documented Python library for defining and computing sigma protocols: the most popular class of zero-knowledge proofs. In zksk, proofs compose: programmers can convert smaller proofs into building blocks that then can be combined into bigger proofs. zksk features a modern Python-based domain-specific language. This makes possible to define proofs without learning a new custom language, and to benefit from the rich Python syntax and ecosystem. The library is available at https://github.com/spring-epfl/zksk
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
