В теоретической криптографии (криптологии) — предположение о вычислительной сложности какой-либо математической задачи, на основе которого доказывается стойкость криптографических протоколов. Делятся на общие: о существовании односторонних функций, функций с секретом и т. п.; теоретико-числовые: о вычислительной трудности задачи дискретного логарифмирования или факторизации целых чисел; и прочие, например, о вычислительной трудности задачи о рюкзаке.