Common misconception: ZKP is not always about 'circuits'. Actually, what we are proving are 'relations'. It just happens that most of the early deployed SNARKs were for relations that were best expressed by (arithmetic) circuits. So, the name caught on.

Wake up babe new @dberenzon article just dropped

(Mans known for his category primers)

https://archetype.mirror.xyz/Lov-dI8FOueUt4J4MXPH9gXLyS4VXfHCdEmSg67jzoM

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!

Founder, cryptography engineer and stack architect.

https://twitter.com/m2magician

Marti

@mmagician