ZoKrates

ZoKrates 简介

ZoKrates 是以太坊上 zkSNARKs 的工具箱，是一个概念验证实现，尚未经过生产测试。零知识证明，能够在不泄露数据本身的情况下证明有关数据的陈述，从而增强用户隐私。 然而，这些证明系统极其复杂且难以使用。ZoKrates 提供了一种简单的特定于域的语言，其语法接近 Python，简化了 ZKP 开发并使其更易于编程和推理。这使得在链上链下创建隐私保护应用更加容易。