@mmagician
ZKML is all about:
1. Correct Application - fixed model
2. Integrity of Parameters - not tampered with
3. Correct Execution - correct output, given some input and a fixed model
I like to think of bundling 1 & 2 as "Model integrity" (just semantics).
+ honored to have Hungry Cats featured in the landscape!