(zk-)SNARKs are essentially succinct (sub-linear / O(log)) arguments of knowledge. Essentially the arguments (proofs) boils down to the Schwartz-Zippel Lemma which states that two non-identical polynomials disagree on a random x-value w.h.p.
Its a rabbit hole but it is an interesting niche if you like this kind of stuff.
To get you started, you can read about the KZG scheme which is even O(1):
Its a rabbit hole but it is an interesting niche if you like this kind of stuff.
To get you started, you can read about the KZG scheme which is even O(1):
https://dankradfeist.de/ethereum/2020/06/16/kate-polynomial-...
and if you want more, I suggest you start with the zk-MOOC.