[P1][verifiable] Демо: conformance-векторы → ZK-witness (verifiable inference)

[gHashTag]

Цель

Показать связку «детерминированный decode-закон GoldenFloat → ZK-доказательство корректности вычисления». ZKML называет агрессивную квантизацию угрозой доверия — conformance-векторы дают воспроизводимый субстрат для верификации.

Что сделать

• Выбрать формат с decode-HW Tier-E (напр. GF16 / gf10 / gf14)
• Сгенерировать witness из conformance-векторов
• Прототип layerwise ZK-proof на 1 слое (референс NANOZK arXiv:2603.18046)
• Оценить overhead

Статус

[открытая гипотеза, стратегическая] — демонстратор аудируемости, не production.
Приоритет P1, реализует сильную сторону S5.