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.

Founder, cryptography engineer and stack architect.

https://twitter.com/m2magician

We're entering a phase where provers for special relations are becoming commonplace. E.g. existence of a value in a table is a good example of such a relation. Evaluations of a polynomial over {0,1}^n is another.