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.