Штучний інтелект Frontier здається страшним лише тому, що більшість його досі працює як чорна скринька з гарним логотипом зверху. Те, що @inference_labs робить з DSperse + JSTprove, фактично каже: «Добре, доведи це». Я повернувся до статті DSperse, де це описують як стратегічну криптографічну перевірку високоцінних підобчислень, а не як повноцінний косплей SNARK. Частини моделі стають незалежно доведеними одиницями, тож можна заблокувати захисні ворота, детектори аномалій або приватні голови, не затягуючи всю мережу в пекло ZK. З іншого боку, JSTprove плюс відкритий репозиторій у їхній GitHub організації дають вам наскрізний конвеєр на бекенді Expander від Polyhedra: вводиш модель ONNX, CLI видає докази та артефакты для аудиту, глибокий криптофон не потрібен. ❯ DSperse вирішує, що варто доводити ❯ JSTprove вирішує, як це доведено і викрито Більшість стеків «frontier AI» все ще вимагають довіряти бенчмаркам, а не поведінці. Ця комбінація перевертає ситуацію: ви обираєте режими відмови, на які відмовляєтеся грати, і встановлюєте дротові докази саме там. Якщо ви створюєте серйозні системи в робототехніці, фінансах чи агентській сфері, наступний чесний крок простий: складіть карту своєї моделі загроз, а потім запитайте, які частини ви фактично прокладаєте через DSperse + JSTprove. Якщо відповідь — «жодного», ти ще не ганяєшся за довірою #zkML