Blockchain, Cryptography, Zero Knowledge Proofs, Zksnark, Mathematics.
maps all possible input values to an element in the set of possible output values and it is not trivially reversible. Note: from first glance, such limitation must only impede a dependent functionality, ironically in the zk-SNARK case it is a paramount property on which security of the scheme