Module record_commitment
leo_state::record_commitment
Returns a serialized DPCRecordValues type if the record commitment is valid given the system parameters.
DPCRecordValues