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

LINEA
LINEA
--
--