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

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

Используй ИИ

Содержание

1. 12 отношения: Folding@home, GIMPS, SETI@home, Trusted Platform Module, Ключ (криптография), Аутсорсинг, Теорема PCP, Число Мерсенна, Яо, Эндрю, Закрытый ключ, Безопасный криптопроцессор, Гомоморфное шифрование.

2. Распределённые вычисления

Folding@home

Folding@Home (F@H, FAH) — проект распределённых вычислений для проведения компьютерного моделирования свёртывания молекул белка.

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

GIMPS

Логотип GIMPS GIMPS (Great Internet Mersenne Prime Search) — широкомасштабный проект добровольных вычислений по поиску простых чисел Мерсенна.

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

SETI@home

SETI@home (от Search for Extra-Terrestrial Intelligence at Home — поиск внеземного разума на дому́) — научный некоммерческий проект добровольных вычислений на платформе BOINC, использующий свободные вычислительные ресурсы на компьютерах добровольцев для анализа радиосигналов, полученных проектом SETI.

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

Trusted Platform Module

В вычислительной технике Trusted Platform Module (TPM) — название спецификации, описывающей криптопроцессор, в котором хранятся криптографические ключи для защиты информации, а также обобщенное наименование реализаций указанной спецификации, например, в виде «чипа TPM» или «устройства безопасности TPM» (Dell).

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

Ключ (криптография)

Ключ — это секретная информация, используемая криптографическим алгоритмом при зашифровании/расшифровании сообщений, постановке и проверке цифровой подписи, вычислении кодов аутентичности (MAC).

Посмотреть Протокол проверяемых вычислений и Ключ (криптография)

Аутсорсинг

Аутсо́рсинг (от outsourcing: (outer-source-using) использование внешнего источника и/или ресурса) — передача организацией, на основании договора, определённых видов или функций производственной предпринимательской деятельности другой компании, действующей в нужной области.

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

Теорема PCP

В теории вычислительной сложности теорема PCP (probabilistically checkable proofs — вероятностно проверяемое доказательство) утверждает, что любое решение задачи в классе сложности NP имеет вероятностно проверяемое доказательство (доказательство, которое можно проверить с помощью рандомизированного алгоритма) постоянной и логарифмической сложности случайности (использует логарифмическое число случайных бит).

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

Число Мерсенна

Числа Мерсе́нна — числа вида M_n.

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

Яо, Эндрю

Эндрю Яо Цичжи (Andrew Chi-Chih Yao,, 24 декабря 1946 года, Шанхай, Китай) — учёный в области теории информатики, профессор университета Цинхуа в Пекине.

Посмотреть Протокол проверяемых вычислений и Яо, Эндрю

Закрытый ключ

Закрытый ключ — сохраняемый в тайне компонент ключевой пары, применяющейся в асимметричных шифрах, то есть таких шифрах, в которых для прямого и обратного преобразований используются разные ключи.

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

Безопасный криптопроцессор

Безопасный криптопроцессор — это система на кристалле или микропроцессор, предназначенный для проведения криптографических операций и обеспеченный мерами физической защиты, дающими ему некоторую возможность противодействия несанционированному доступу.

Посмотреть Протокол проверяемых вычислений и Безопасный криптопроцессор

Гомоморфное шифрование

Гомоморфное шифрование — форма шифрования, позволяющая производить определённые математические действия с зашифрованным текстом и получать зашифрованный результат, который соответствует результату операций, выполняемых с открытым текстом.

Посмотреть Протокол проверяемых вычислений и Гомоморфное шифрование

См. также

Распределённые вычисления

• GIOP
• HATEOAS
• Spanner (СУБД)
• Tox
• Алгоритмы предотвращения взаимной блокировки
• Ботнет
• Двойное расходование
• Децентрализованная автономная организация
• Жадное вложение графа
• Объединение (Информационные технологии)
• Параллельные вычислительные системы
• Протокол проверяемых вычислений
• Распределённые вычисления
• Теорема CAP
• Теорема PACELC
• Удалённый вызов процедур

Юнионпедия это понятие карту или семантическая сеть организована как энциклопедия или словарь. Это дает краткое определение каждому понятию и его отношений.

Это гигантский онлайн ментальная карта, которая служит в качестве основы для концептуальных диаграмм или синтетических фотографий. Это бесплатно в использовании и каждый элемент или документ может быть загружен. Это инструмент, ресурс или ссылка для изучения, исследования, образование, обучение, учителя могут использовать, учителей, профессоров, преподавателей, учеников или студентов; или школа для академического мира, в школу, начальное, среднее, средней, колледж, технической степени, университет, студентов, магистров или докторские степени; для бумаг, отчетов, документов, проектов, идей, документации, резюме, обследований или диссертации. Вот определение, объяснение, описание, или смысл каждого значительным, на котором вам нужна информация, а также список или перечень соответствующих концепций, как кажется глоссарий. Доступна на русский, английский, испанский, португальский, японский, китайский, французский, немецкий, итальянский, польский, нидерландский, арабский, хинди, шведский, украинский, венгерский, каталанский, чешский, иврит, датский, финский, индонезийский, Норвежский, румынский, турецкий, вьетнамский, корейский, тайский, греческий, болгарский, хорватский, словацкий, литовский, филиппинский, латышский, эстонский и словенский. Другие языки в ближайшее время.

Информация основана на статьях Википедии и других проектах Викимедиа, и доступна по лицензии Creative Commons Attribution-ShareAlike.

Юнионпедия не одобрена Фондом Викимедиа и не связана с ним.

Google Play, Android и логотип Google Play являются товарными знаками корпорации Google Inc.

Политика конфиденциальности