Какие предположения обычно используются при разработке блочных шифров?

Какие стандартные предположения делаются при демонстрации безопасности блочного шифра?
Например, принято ли считать, что $P\не=NP$? С этой целью существуют ли какие-либо блочные шифры, безопасность которых не основывается на предположении, что $P\не=NP$, и если да, то какие предположения?
Кроме того, существуют ли какие-либо блочные шифры, которые доказуемо безопасны при некотором наборе предположений?

Существование безопасного блочного шифра доказывает, что существуют односторонние функции, а существование односторонних функций доказывает $\text{P} \ne \text{NP}$. То есть, если они не эквивалентны, то возможно, по крайней мере теоретически, разработать идеальный блочный шифр (но мы можем не знать, как это сделать). Но даже если $\text{P} = \text{NP}$ доказано, незащищенный блочный шифр все еще может быть безопасным на практике, если доказательство неконструктивный.