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.