Hammster

Hammster is written in Halo2. It takes two 8-length vector inputs of binary digits and their Hamming distance and generates a proof that the two inputs are the claimed hamming distance away from each other. Please note that this currently does not work on mobile.
Input two 8-bit binary values below. Remember the calculated hamming distance value for the Verify section.
Input 0
Input 1
Hamming distance: 0
(remember this number!)