разработайте свою программу (гостевой код) соберите ее для RISC Zero zkVM и получите ее ID изображения запустите программу внутри zkVM -- создавая: журнал публичных выводов, печать, которая является криптографическим доказательством упакуйте это в квитанцию (журнал и печать) поделитесь квитанцией, где это необходимо проверьте, вызвав verify() с ожидаемым ID изображения результат? любой, у кого есть квитанция, может подтвердить, что выводы (журнал) происходят из неизмененного выполнения кода, соответствующего известному ID изображения, не перезапуская все вычисления самостоятельно.