I know interesting title, but I copied it from the article
To the article about ETH and how it was proved the zero-knowledge succinct non-interactive arguments of knowledge works