简介

欢迎来到Salus 以太坊ZK安全知识库

目录

1. zkSNARKs基础知识 zkSNARKs基本概念 证明系统 证明者 验证者可计算性

2.zkSNARKs构建步骤 电路设计 约束系统 生成证明 验证证明（提供示例代码和算法说明，帮助读者理解每个步骤的具体实现。）

4. zkSNARKs的安全性和限制：讨论zkSNARKs的安全性假设和攻击模型，以及可能的攻击方法和限制。提供关于zkSNARKs安全性的最新研究和进展，帮助读者了解zkSNARKs的可信度和适用性。

5. 工具和库（介绍可用于构建和验证zkSNARKs的工具和库） Zokrates snark-js

zkSNARKs的最佳实践和注意事项：提供关于如何设计和实现安全的zkSNARKs系统的最佳实践和注意事项。包括电路设计、参数选择、密钥管理、安全审计等方面的建议，以确保系统的安全性和正确性。