zk-SNARKs

"Argumento sucinto no interactivo de conocimiento cero": una forma de prueba de conocimiento cero.