Pedersen + IPA library for Verkle Cryptography API in Nim.

[agnxsh]

Currently, as per the Verkle Cryptography API specs, we need to implement IPA + Pedersen Commitments as a Multipoint/Index Vector Commitment Scheme.

Here are some the important links to proceed with the implementation:

1. Inner Product Arguments by Dankrad Feist, which includes creating IPA for a polynomial in Coefficient Form
2. Multipoint Vector Commitment Scheme that is to be used for Verkle Tries
3. Eliminating Lagrange Polynomial form with Barycentric form, precomputing it's barycentric weights, and also addressing the dividing by zero point, in Lagrangian basis
4. Proof optimization checklist
5. Reference implementation in Go
6. Reference implementation in Rust
7. Reference specs in python

Todos will be stated in the linked PR.