Чудовий додаток зі штучним інтелектом настільки потужний, наскільки його доведені висновки та виходи. Отже, ви можете задатися питанням: як я можу перевірити свою модель штучного інтелекту за допомогою DeepProve? Ось як це працює. 🧵

2. DeepProve починає верифікацію моделі штучного інтелекту (з файлу ONYX) за допомогою квантування. Під час цієї попередньої обробки, яка є одноразовою налаштуванням, вона перетворює числа з плаваючою комою вашої моделі на цілі числа. Він також генерує ключі перевірки/перевірки.

3. Потім DeepProve запускає два процеси паралельно: 1. Висновок моделі штучного інтелекту, але з цілими числами для кожного з вузлів нейронної мережі («трасування виконання») 2. Для кожного вузла він доводить, що обчислення було виконано правильно, а потім перетворює його в єдиний, лаконічний доказ ЗК.

4. Далі верифікація завершується за допомогою: → Вхід і вихід моделі → Прихильність моделі (яка однозначно представляє модель без розкриття базових даних) → Ключі перевірки

5. Якщо говорити простіше, то DeepProve працює так: 1. Виконайте одноразове налаштування 2. Створюйте докази 3. Перевіряйте висновки штучного інтелекту будь-де