Author here.

This is intentionally minimal and reproducible.

The goal wasn’t to build a new ZK system, but to demonstrate what a verifiable AI artifact could look like using existing tooling (Circom + Groth16 + Solidity verifier).

If something looks unclear or poorly structured, I’d genuinely appreciate feedback on how to make it more rigorous.