Теория сложности доказательств, структурная теория сложности, дифференциальная приватность.