ZK-SNARKs Osukeさんの資料から
Credit : https://speakerdeck.com/osuke/theory-and-practice-of-zk-snarks
入力値を明らかにせず知っている事実だけを証明する ex.パスワードを明らかにしないで、パスワードを知っていることだけを証明する。
数学的にはinput $ xを明らかにせず$ f(x)=yとなる$ xを知っていることを証明する。