Package crypto.constraints