Сьогодні я спробував розглянути ідею zkVM, яка була новою для мене, і я насправді зрозумів, що вона не така складна, як здається.
zkVM подібний до комп'ютера, який може довести, що він правильно виконав свою роботу.
Він виконує ваш код, отримує відповідь, а потім створює доказ того, що все зроблено правильно. Щоб перевірити це, вам не потрібно робити все з самого початку. Вам просто потрібно перевірити доказ.
Це робить процес швидким. Крім того, це зберігає секрети в безпеці, оскільки доказ не показує всі маленькі кроки, які були зроблені для отримання відповіді.
@0xMiden побудований на ці
Переглянути оригінал