added a proof to bls where we can now make the hash an inversion of the signature