Zero-Knowledge Succinct Non-Interactive Argument of Knowledge

Els zk-SNARKs exploten tècniques algebraiques i criptogràfiques avançades per crear proves difícils de falsificar però fàcils de verificar. La idea central és transformar un problema computacional en un problema de verificació polinomial. El demostrador demostra el coneixement d'un secret (com una clau privada) proporcionant una prova que satisfà una equació polinomial sense revelar el secret mateix. El verificador comprova l'equació utilitzant operacions criptogràfiques com els emparellaments de corbes el·líptiques, però l'estructura algebraica garanteix que la prova no revela res sobre el secret subjacent.