the concept of Zero-Knowledge Proof. it is at line $LINEA