Module commitment

Structs

• BetaRing
  An element in a ring with a custom modulus this modulus must be < 2^64 so we can do modular multiplication using the u128 type.
• Vcs
  Instance of a vector commitment scheme. Contains functions for committing to a vector and verifying the commitment.