desenvolva o seu programa (código do convidado) compile-o para o RISC Zero zkVM e obtenha o seu ID de Imagem execute o programa dentro do zkVM -- produzindo: um diário de saídas públicas, um selo que é a prova criptográfica agrupe tudo isso no recibo (diário e selo) compartilhe o recibo onde for necessário verifique chamando verify() com o ID de Imagem esperado resultado? qualquer pessoa com o recibo pode confirmar que as saídas (diário) vêm de uma execução inalterada do código que corresponde ao ID de Imagem conhecido, sem precisar reexecutar toda a computação por conta própria.