Correlation intractability

🔐 Парадигма Фиата — Шамира и неинтерактивные доказательства с нулевым разглашением