Sources
On this page
- BZkonduit Inc. (2026). zkonduit/ezkl (GitHub repository). GitHub. Source recordSupports: what EZKL proves, ONNX input, halo2 backend, quantization note, maintainer (provider-reported) · README
- BT. South et al. (2024). Verifiable evaluations of machine learning models using zkSNARKs. arXiv. Source recordSupports: verifiable evaluation attestations with EZKL; model sizes, proving and verification times, proving-key sizes; proving key as the main limit · abstract; §6.1 Table 1
- BF. Casal et al. (2025). Zkonduit EZKL Security Assessment. Trail of Bits (prepared for Zkonduit Inc.). Source recordSupports: independent audit: scope, soundness and contract findings, quantization backdoor, coverage limits, production use of the contracts, fix review · Executive Summary; Project Coverage; TOB-EZKL-4 to 6, 13 to 17, 34; App. D