Ми створюємо zkVM на основі графів на основі системи @ziskvm. Наша мета: переосмислити архітектуру Prover з перших принципів, щоб розблокувати кращу продуктивність, портативність і безпеку. 🧵

ZKP Proofing вступає в еру «швидкість понад усе». Майже кожен провер тепер підтримує прискорення GPU (CUDA, Metal тощо). Але архітектура, що стоїть за апаратним перевантаженням, має не менше значення, ніж сире обладнання.

Сьогодні існує два основні підходи: - Режим HAL: ті ж виклики функцій, різні апаратні сервери. - Режим графа: кодування всього процесу доведення у вигляді обчислювального графа, потім оптимізація та компіляція для кожної платформи.

Розкол очевидний: - Системи штучного інтелекту → режимі графа - Більшість ZKP-тестувальників → HAL Mode (з історичних, орієнтованих на CPU) причини) HAL зручний, але приховує глобальну структуру обчислень.

Режим Graph робить повний провер очевидним і підлягає перевірці, що дозволяє глибшу оптимізацію, кросплатформенне виконання та підвищити безпеку та аудитуваність. У наступному дописі ми поділимося, як цей дизайн формує наш графовий zkVM і що він відкриває. ⚡️