EZKL (by Zkonduit Inc.) is a developer-friendly engine for verifiable AI and analytics that generates zero-knowledge proofs (ZK-SNARKs, Halo2) for machine learning model inference. Given a model in ONNX format and sample input, EZKL automatically compiles a proving circuit and produces a cryptographic proof that a computation ran correctly without… - View it on GitHub