генерация доказательства zk на одном потоке процессора за дни