zk-SNARKs
or just
SNARKs