Криптографические протоколы - Задача о вычислении определителя

ЗАДАЧА О ВЫЧИСЛЕНИИ ОПРЕДЕЛИТЕЛЯ		Протокол DС
Протокол интерактивного доказательства	Протокол доказательства с нулевым разглашением

Постановка задачи

Пусть - квадратная матрица большого порядка, - вещественное число. утверждает, что (т.е. обладает достаточными вычислительными ресурсами, чтобы вычислить ), не может самостоятельно вычислить (не обладает достаточными ресурсами). хочет убедить в истинности этого утверждения, не раскрывая вычислений (по разным причинам), а хочет быть уверенным, что число действительно является значением .

Описание протокола

Основные сведения

Формальное определение

Информация пока отсутствует

Авторы

Информация пока отсутствует

Свойства

Информация пока отсутствует

Атаки

Информация пока отсутствует

Оценка сложности

Информация пока отсутствует

История

Информация пока отсутствует

Применение

Информация пока отсутствует

Исходники

Информация пока отсутствует

Ссылки

Бекенов М.И., Оспанов Р.М. Пример протокола интерактивного доказательства. Международная конференция "МАЛЬЦЕВСКИЕ ЧТЕНИЯ" (Новосибирск, 11–15 ноября 2013 г.) Тезисы докладов. С.28