Sync with the recent changes in ark-algebra on pairing and testing

[weikengchen]

Description

This is a followup of #114. Simon Masson @simonmasson pointed out that a positive d, which in our formula should be negative, needs to be changed as well.

---

Before we can merge this PR, please make sure that all the following items have been
checked off. If any of the checklist items are not applicable, please leave them but
write a little note why.

• Targeted PR against correct branch (master)
• Linked to Github issue with discussion and accepted design OR have an explanation in the PR that describes this work.
• Updated relevant documentation in the code
• Re-reviewed Files changed in the Github PR explorer

N/A:

• Wrote unit tests
• Added a relevant changelog entry to the Pending section in CHANGELOG.md

[weikengchen]

I decided to do a force merge.

[weikengchen]

Ok. I actually cannot do a force merge. @Pratyush can you do so? The problem is that the no_std test appears to be surprising.

[Pratyush]

Hm there's a bunch of changes here; what's the main change?

[weikengchen]

Originally it was just to fix a typo, now I think it is to merge with the refactoring...

I know why those errors show up, and I am fixing them now...

[weikengchen]

Renamed.

[Pratyush]

I left a bunch of requests re: the LICENSE files

[Pratyush]

Thanks for handling this!

Small note, seems like the mul_by_a change hasn't propagated to the bandersnatch crate.

[weikengchen]

Now depending on arkworks-rs/algebra#465

Resolved