partial commit with some modifications to the bls proof