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.
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.