fixed repository url

Co-Authored-By: Pratyush Mishra <pratyushmishra@berkeley.edu>

Co-Authored-By: Pratyush Mishra <pratyushmishra@berkeley.edu>

Updates the requirements on [derivative](https://github.com/mcarton/rust-derivative) to permit the latest version.
- [Release notes](https://github.com/mcarton/rust-derivative/releases)
- [Changelog](https://github.com/mcarton/rust-derivative/blob/master/CHANGELOG.md)
- [Commits](https://github.com/mcarton/rust-derivative/commits

)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>

The new interface supports non-homomorphic polynomial commitments (e.g. FRI-based commitments) in a better way.

Add `Equation` struct, and new default methods to `PolynomialCommitment` trait for opening and checking proofs of equation satisfaction