(zk-)SNARKs are essentially succinct (sub-linear / O(log)) arguments of knowledge. Essentially the arguments (proofs) boils down to the Schwartz-Zippel Lemma w

(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): https://dankradfeist.de/ethereum/2020/06/16/kate-polynomial-commitments.html https://dankradfeist.de/ethereum/2020/06/16/kate-polynomial-... and if you want more, I suggest you start with the zk-MOOC.