zk-snarks
非対話的ゼロ知識証明
の実現方法の一つ。
zero-knowledge succinct non-interactive argument of knowledgeの略である。日本語訳すると