Supported Frameworks

Avilom integrates with cutting-edge ZK-AI tooling:

  • ZKTensor – Converts PyTorch/TensorFlow to R1CS

  • Halo2ML / Plonky2 – Efficient proof backends for deep nets

  • EZKL – Optimized for CNNs and decision-tree circuits

⚙️ Choose the framework that fits your model and latency requirements.