ezkl
EZKL是一个开源库和命令行工具,用于在零知识证明系统中执行深度学习模型和计算图推理。该工具支持将PyTorch或TensorFlow模型转换为ONNX格式,并生成ZK-SNARK电路以验证模型推理的正确性。EZKL采用Halo2作为后端证明系统,能够在区块链、浏览器或设备上实现高效验证。这一项目为零知识机器学习应用提供了灵活且功能强大的解决方案。