more changes to bls proof
moving forward with bls proof, still stuck on same general thing