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.

ezkl

Compile computational graphs into ZK circuits.

pip install ezkl

The backend.

lilith

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.

For transformers →

For trees →

Extend Blockchains

Handle complex computations on-chain.

For autonomous worlds →