> > в протоколе N2 не ясно такое равенство c*y=c*z.. > > > > в левой части вроде как два вектора длины n, а в > правой > > вектор помноженный на бит > > там написано "binary vector z of weight 1", тоесть вес > хемминга (число единичных битов) равен 1.. > а размер всех векторов x, y, z и c - n бит.. > кстати вес x и y обязательно равен log n, там насколько я > понял на этом доказательство какой-то леммы строится.. > большое спасибо.
только вот непонятно, почему такие условия для веторовx,y накладываются..
вроде как в случаных последовательностях(последовательностях Бернулли с параметром 1/2) число нулей и единиц дожно быть примерно одинаково..
не знаю как насчет лемм, но протоколы 1 и 2 такие условия не улучшат.. так ведь?
т.е я правильно понял?, что что операция c*x означает, что мы складываем по модулю 2 соответсвующие координаты веторов, а потом опять суммируем по модулю 2 результаты, чтобы получить скаляр (нолик или единичку)
> в протоколе N2 не ясно такое равенство c*y=c*z.. > > в левой части вроде как два вектора длины n, а в правой > вектор помноженный на бит
там написано "binary vector z of weight 1", тоесть вес хемминга (число единичных битов) равен 1..
а размер всех векторов x, y, z и c - n бит..
кстати вес x и y обязательно равен log n, там насколько я понял на этом доказательство какой-то леммы строится..
статья A Secure Human-Computer Authentication Scheme (Hopper, Blum)21.11.02 21:51 Автор: erdes Статус: Незарегистрированный пользователь Отредактировано 22.11.02 16:30 Количество правок: 1
> > в протоколе N2 не ясно такое равенство c*y=c*z.. > > > > в левой части вроде как два вектора длины n, а в > правой > > вектор помноженный на бит > > там написано "binary vector z of weight 1", тоесть вес > хемминга (число единичных битов) равен 1.. > а размер всех векторов x, y, z и c - n бит.. > кстати вес x и y обязательно равен log n, там насколько я > понял на этом доказательство какой-то леммы строится.. > большое спасибо.
только вот непонятно, почему такие условия для веторовx,y накладываются..
вроде как в случаных последовательностях(последовательностях Бернулли с параметром 1/2) число нулей и единиц дожно быть примерно одинаково..
не знаю как насчет лемм, но протоколы 1 и 2 такие условия не улучшат.. так ведь?
т.е я правильно понял?, что что операция c*x означает, что мы складываем по модулю 2 соответсвующие координаты веторов, а потом опять суммируем по модулю 2 результаты, чтобы получить скаляр (нолик или единичку)
статья A Secure Human-Computer Authentication Scheme (Hopper, Blum)23.11.02 12:14 Автор: zelych Статус: Member
> только вот непонятно, почему такие условия для веторовx,y > накладываются..
да, кстати, прямым текстом там про это не сказано.. надо подумать..
в леммах там тоже про это не говорится..
> вроде как в случаных > последовательностях(последовательностях Бернулли с > параметром 1/2) число нулей и единиц дожно быть примерно > одинаково..
ну, это здесь совсем непричём.
> не знаю как насчет лемм, но протоколы 1 и 2 такие условия > не улучшат.. так ведь?
тоже не факт, просто увеличивается информация о х и у..
> т.е я правильно понял?, что что операция c*x означает, что > мы складываем по модулю 2 соответсвующие координаты > веторов, а потом опять суммируем по модулю 2 результаты, > чтобы получить скаляр (нолик или единичку)
неправильно, сначала умножаем..
вопрос: ты собираешься это где-то использовать??
статья A Secure Human-Computer Authentication Scheme (Hopper, Blum)23.11.02 15:46 Автор: erdes Статус: Незарегистрированный пользователь