added some stuff to the bls proof
more updates to the bls proof
updated bls proof (good shell now, need to remove admits)