Две ближайшие функции шагов, которые приходят в ZK - OpenVM V2 от @openvm_org - Готовые к производству авто-препроцессоры от команды @powdr_labs Сочетайте оба этих решения с открытым рынком доказательств, таким как @boundless_xyz, и реальное применение ZK готово сделать еще один шаг вперед.