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.