Если ваша система zkML требует полного доказательства модели, она не достигнет производства. Модульность побеждает. Распределение побеждает. DSperse + JSTprove побеждают.