Это третья и предпоследняя запись в серии о теоретических слабостях Fiat-Shamir, примененных к системам доказательств. Первая запись находится здесь, вторая запись находится здесь, и, вероятно, вам следует их прочитать. В предыдущих двух записях я дал немного информации по четырем темам: (1) интерактивным системам доказательств (для … Продолжение чтения Как доказать ложные утверждения? (Часть 3)