Dal_common.Commitmentval dummy_commitment :
?on_error:
([ `Invalid_degree_strictly_less_than_expected of
(int, int) Cryptobox.error_container
| `Prover_SRS_not_loaded
| `Slot_wrong_size of Helpers.slot ] ->
Cryptobox.commitment * Cryptobox.commitment_proof) ->
Cryptobox.t ->
string ->
Cryptobox.commitment * Cryptobox.commitment_proofval to_string : Cryptobox.commitment -> stringval of_string : string -> Cryptobox.commitmentval proof_to_string : Cryptobox.commitment_proof -> stringval proof_of_string : string -> Cryptobox.commitment_proof