zk-SNARKs

“Zero-Knowledge Succinct Non-Interactive Argument of Knowledge” – a form of zero-knowledge proofs.