用于关系的接口以及用于这些关系的 SNARK
SNARK 和关系特性
ark-snark: 为 zkSNARKs 提供通用特性此仓库提供了使用 arkworks 提供的简洁的论证系统的核心基础架构。想要针对各种感兴趣的问题生成论证的用户，首先将这些问题简化为一个 NP 关系，其中的各种示例定义在 ark-relations 编组中。然后，使用在该关系上定义的 SNARK 系统来生成简洁的论证。ark-snark 编组定义了一个 SNARK 特性，该特性封装了通用功能，以及各种类型的 SNARK 的特定特性（例如具有透明和通用设置的 SNARK）。arkworks 生态系统中的不同仓库实现了此特性，用于各种特定的 SNARK 构造，例如 Groth16、GM17 和 Marlin。
暂无开放 Issues，或尚未同步最近议题。