Enums

An abstraction layer to enable a circuit-specific SRS or universal SRS. Forward compatible with future assumptions that proof systems will require.

Traits

Defines a trait that describes preparing from an unprepared version to a prepare version.