Garbled circuits can be used for the ZKP protocol, and in this case the circuit would just be a single AND gate. https://www.math.ucla.edu/~tdokos/notes_files/

Garbled circuits can be used for the ZKP protocol, and in this case the circuit would just be a single AND gate. https://www.math.ucla.edu/~tdokos/notes_files/garbledCircuits.pdf https://www.math.ucla.edu/~tdokos/notes_files/garbledCircuit...