zk-SNARKs
Zero-Knowledge Succinct Non-Interactive Argument of Knowledge
proverとverifier間で対話を必要としない
ゼロ知識証明
の亜種