Expand description

Errors related to proving and verifying proofs.

Enums