zkML мощный — но доказательство целых моделей медленное, требующее много памяти и редко практично за пределами демонстраций. Реальному миру нужен более умный способ: доказательства там, где это имеет наибольшее значение, скорость везде остальное. Мы работали над чем-то, что решает именно эту задачу. Скоро больше информации.