Secure machine learning systems

Prover-verifier layer for more secure client-server systems, powered by zero knowledge.

Generate proofs with our open source libraries.

The engine.


Compile computational graphs into ZK circuits.

pip install ezkl

The backend.


Run proofs at scale with custom hardware.

coming soon

Build robust control systems with zk.

Monitor Models

Govern the remote AI models you rely on.

Extend Blockchains

Handle complex computations on-chain.