Частина 5 «Від 0 знань до нульових знань» виходить у прямому ефірі. Як код насправді стає доведеним? Що таке zkVM і чому це важливо? 🧵

Системи доказів ZK працюють із математичними рівняннями. Розробники пишуть код. Щоб подолати цю прогалину, раніше потрібно було писати арифметичні схеми вручну. Потужні, але це могли робити лише експерти. zkVMs це змінили. Пишіть звичайний Rust, отримайте докази. Експертиза з електричними схемами не потрібна.

Згадайте, як розвивався розвиток ШІ. До TensorFlow потрібно було писати низькорівневий код GPU. Лише спеціалісти могли будувати нейронні мережі. Фреймворки абстрагували цю складність. Мільйони розробників приєдналися до них. ZKVM роблять те саме для нульового знання.

Не всі ZKVM однакові. Кожна команда приймає архітектурні рішення, виходячи з того, що вона оптимізує. Дехто надає пріоритет прозорості. Дехто надає пріоритет дешевій онлайн-верифікації. Дехто надає пріоритет доведення швидкості. Не можна оптимізувати для всього. Компроміси неминучі.