Чи знає будь-яка організація, якась хороша довідка щодо значення прямолінійного моделювання? В даний час я заглиблююся в основу Universal Composability (UC) компанії Canetti, але не можу знайти жодної корисної орієнтації на значення прямолінійної імітації. Будь-яка допомога вдячна.
Відповіді:
Тут "пряма лінія" протиставляється "перемотування". Симулятор "прямолінійний", якщо він не "перемотує" ту сторону, для якої це моделювання.
Наприклад, у протоколі з нульовим знанням симулятор, як правило, перемотує "перевіряльник". У прямолінійному розумінні цього перемотування не відбувається.
Я вперше побачив термін "прямолінійний симулятор" в роботі Рафаеля Пасса ( Про деніабілітаційність у загальних референтних рядках та випадкових моделях оракул. (CRYPTO'03) ) та магістра. теза ( Альтернативні варіанти доказів нульових знань ).
Редагувати: Я знайшов раніше статтю: Паралельне нульове знання: Зменшення потреби в обмеженнях часу Сінтії Дворк та Аміт Сахай, яке починається з 1998 року. Докладніше вказуйте коментар Алона Розена нижче.
Не існує офіційного визначення того, що означає бути симулятором прямолінійної лінії. Це лише інтуїтивна ідея, яка може бути використана для опису речей у неофіційній формі. Я дуже скептично ставлюсь до того, чи можна навіть визначити, що означає не перемотувати машину. Дійсно, перемотування машини - це сам неофіційний термін! Що ми насправді маємо на увазі під перемотуванням машини, це те, що ми можемо дослідити безліч можливих шляхів виконання машини з заданого стану. Тоді формальні аргументи ґрунтуються на кількості таких страт, які нам потрібно вивчити, перш ніж ми зможемо отримати трап або іншу інформацію, необхідну для подальшого продовження доказів.