Expand description

Proof utilities

Traits

Interface for providing block proving utilities.