Протокол проверяемых вычислений

В криптографии протокол проверяемых вычислений (англ. verifiable computing) — это криптографический протокол, позволяющий освободить непроизводительный компьютер от сложных вычислений путём их частичного или полного переноса на один или несколько внешних более производительных компьютеров (англ. Outsource), сохраняя возможность проверки корректности возвращённого результата без дополнительного взаимодействия. Исполнители возвращают результат и доказательство корректности вычислений. В качестве внешней более производительной системы часто применяется система с распределёнными вычислениями. Например, такая, как облачные вычисления.

Протокол был сформулирован и его корректность была доказана Росарио Дженейро (англ. Rosario Gennaro), Грегом Гентри (англ. Craig Gentry) и Брайном Парно (англ. Bryan Parno) в статье.

Источник: Википедия

а б в г д е ё ж з и й к л м н о п р с т у ф х ц ч ш щ э ю я