Две стороны медали — генерация доказательства вне блокчейна и проверка доказательства в блокчейне...

Описание: Две стороны медали
Внецепочечная генерация доказательств и внутрицепочечная проверка доказательств в сети Midnight

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

Ключевые понятия: Внецепочечная генерация против внутрицепочечной проверки

Слайд 1 - Две стороны медали - Мы сосредоточимся на критически важном разделении между внецепочечной генерацией доказательств и внутрицепочечной проверкой доказательств — двумя сторонами одной медали, которые обеспечивают как конфиденциальность, так и доверие в сети Midnight.

Слайд 2 - Основная концепция - Криптографические доказательства, включая доказательства с нулевым разглашением (ZK), имеют фундаментальное значение для обеспечения конфиденциальности и проверяемости без раскрытия конфиденциальных данных.


Архитектура: Внецепочечный доказывающий и внутрицепочечный верификатор

Слайд 3: Балансирование потоков конфиденциальности - Система построена на двух различных средах:

Внецепочечный доказывающий (генерация и вывод):
Выполняет основную работу: вывод ИИ и генерацию доказательств.

Работает в защищенной среде, часто обеспечиваемой аппаратным обеспечением.

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

Внутрицепочечный верификатор (проверка и расчеты):
Работает непосредственно в сети Midnight.

Получает только криптографические доказательства (доказательство), а не данные.

Его важная роль заключается в проверке доказательств и проведении транзакции в неизменяемом реестре.

Это разделение является ключом к объединению внецепочечных вычислений ИИ с внутрицепочечной проверкой доверия.

Вне блокчейна: Доказывающий механизм и типы доказательств

Слайд 4: Генерация доказательств - Доказывающий механизм генерирует криптографические доказательства для проверки процесса ИИ без утечки данных. Эти доказательства представлены в двух формах:

Подтверждение цифровой подписи: криптографически подписанное обязательство от доверенного механизма вне блокчейна, гласящее: «Я запустил этот процесс, и это результирующий хеш».

ZK-SNARK (доказательство с нулевым разглашением): математически подтверждает правильность всего процесса ИИ (от ввода до вывода), не раскрывая конфиденциальные входные данные.

Слайд 5: Внутри схемы ZK-SNARK - ZK-SNARK гарантирует три основные проверки:

Целостность набора данных: доказывает, что доступ к закрытым данным осуществляется через определенный, гарантированный корень Меркла, обеспечивая использование данных, защищенных от подделки.

- Вывод ответа: Подтверждает, что криптографический дайджест окончательного ответа правильно и математически выведен из хэша исходного запроса пользователя и полученных фрагментов данных.

Проверки предикатов: Позволяет проводить условную проверку внутри схемы ZK, например, доказывать, что «оценка достоверности ИИ превышает определенный порог», добавляя уровень проверяемого контроля без раскрытия базовых данных.

В блокчейне: Компактный слой Midnight

Слайд 6: VerifierContract.compact - Финальный уровень доверия — это VerifierContract.compact, развернутый в сети Midnight. Этот контракт является неизменяемым якорем доверия и действует как привратник, выполняя все необходимые математические и криптографические проверки.

Функции проверки:
verifyAttestation(sig, publicData, rootHash): Подтверждает, что подписанное обязательство действительно и получено от известной, доверенной внесетевой сущности.

verifyProof(proof, publicInputs): Выполняет сложную, но быструю математическую проверку ZK-SNARK. Если проверка верна, она обновляет состояние в блокчейне, предоставляя неизменяемую запись о том, что вычисления были выполнены правильно и честно, без доступа к конфиденциальным данным.
Такое разделение труда — интенсивная генерация вне блокчейна, быстрая проверка в блокчейне — делает эту систему масштабируемой и конфиденциальной.

Сторона 7 — Краткое сравнение — Чтобы кратко описать взаимосвязь между этими двумя компонентами, приведем краткое сравнение:

Основная роль внецепочечного доказывающего — генерация и вывод. Его действия заключаются в генерации ZK-SNARK и подписей. Этот процесс включает в себя необработанные, конфиденциальные данные.

Основная роль внутрицепочечного верификатора — проверка и расчеты. Его действия заключаются в выполнении функций проверки, таких как verifyProof. Важно отметить, что он всегда видит только непрозрачные доказательства и хеши.


В результате получается криптографическое подтверждение от Доказывающего и неизменяемая, многоуровневая запись доверия в сети Midnight от Проверяющего.

Слайд 8: Спасибо!

Спасибо за просмотр!

Мы призываем вас поддержать нашу разработку, проголосовав за наше предложение на Catalyst Find 15: «*Доказательство вывода для частного ИИ в сети Mi...