desarrolla tu programa (código de invitado) compílalo para el RISC Zero zkVM y obtén su ID de imagen ejecuta el programa dentro del zkVM -- produciendo: un diario de salidas públicas, un sello que es la prueba criptográfica agrupa esto en el recibo (diario y sello) comparte el recibo donde sea necesario verifica llamando a verify() con el ID de imagen esperado ¿resultado? cualquiera con el recibo puede confirmar que las salidas (diario) provienen de una ejecución no alterada del código que coincide con el ID de imagen conocido, sin tener que volver a ejecutar toda la computación ellos mismos.