AI Potluck
Back to Gap Map Product / UX / Assurance & compliance evidence

EZKL

Zkonduit
source available / Overall score: 3.4

EZKL turns a neural network exported to ONNX into a zero-knowledge circuit and proves that an inference was run on that model, without revealing the inputs or weights the prover chooses to keep private. Proofs use the Halo2 proof system and verify in a browser, on a device or on-chain in the Ethereum Virtual Machine. Zkonduit maintains it as a Rust library with Python bindings, and publishes a JavaScript engine package on npm.

Tagged independently verifiable: a verifier checks the proof itself. The repository carries no license grant, so the code can be read but not freely reused.

Openness

2 high confidence
2.0
license
none-declared(no LICENSE file, no license field in Cargo.toml or pyproject.toml
source
public(Rust library and Python bindings)

The full source is public, but the repository grants no license: there is no LICENSE file and neither package manifest names one, so by default all rights stay with the authors. That makes EZKL readable rather than open source, whatever its contributor agreement says about incoming code. No license is declared anywhere the publisher could declare one, so the license tier is unstated.

Adoption

1 medium confidence
1.0

Downloads of the product's own packages measure its use: the Python package, its GPU build and the JavaScript engine on npm.

Capability

5 medium confidence
5.0

A proof lets anyone confirm that a specific model produced a specific output without trusting the party that ran it, which puts EZKL beside NVIDIA's hardware attestation at the top of the category.

Verified 2026-09-26