Недавно аспирант использовал сложность математических доказательств для создания мощного нового инструмента в криптографии.