Frontier AI кажется пугающим только потому, что большая часть из него все еще работает как черный ящик с красивым логотипом сверху. То, что делает @inference_labs с DSperse + JSTprove, по сути, говорит: "хорошо, докажите это." Я вернулся к статье по DSperse, где они описывают это как стратегическую криптографическую проверку высокоценных подсчетов вместо полного моделирования SNARK. Части модели становятся независимо проверяемыми единицами, так что вы можете заблокировать защитные механизмы, детекторы аномалий или приватные головы, не затаскивая всю сеть в ад ZK. С другой стороны, JSTprove плюс открытый репозиторий в их GitHub организации предоставляет вам конвейер от начала до конца на бэкенде Polyhedra’s Expander: подайте модель ONNX, CLI выдаст доказательства и проверяемые артефакты, без необходимости глубоких знаний в криптографии. ❯ DSperse решает, что стоит доказывать ❯ JSTprove обрабатывает, как это доказывается и раскрывается Большинство стеков "frontier AI" все еще просят вас доверять бенчмаркам, а не поведению. Эта комбинация переворачивает это: вы выбираете режимы отказа, на которые не хотите рисковать, и подключаете доказательства именно туда. Если вы строите серьезные системы в робототехнике, финансах или в мире агентов, следующий честный шаг прост: составьте свою модель угроз, а затем спросите, какие части вы действительно направили бы через DSperse + JSTprove. Если ответ "никакие", вы еще не стремитесь к доверию #zkML