got one more thing working with bls proof
more improvements to bls proof
got another equiv QED
more progress, still working on it