Парадигма Фиата — Шамира

🔄 Как гомоморфное шифрование сделало неинтерактивные доказательства надежными?