No idea if this will work, but feeling fairly good about it.
Next, verifier, and testing on some randomly generated stuff