Input two numbers between 0 and 5, inclusive. The two numbers must not be equal. We'll generate a ZK proof locally in the browser, and only the proof will be sent to the blockchain so that no one watching the blockchain will know the two numbers.