zk-SNARKs

「知識ゼロの簡潔な非対話的知識論証」-知識ゼロの証明の一形態。