Decisional Linear assumption