I am looking into libSTARK and specifically TinyRAM and I cannot find out how to provide private inputs in a TinyRAM program. As private input I mean a variable that only the prover knows; i.e. the verifier has zero-knowledge of it.
In the DNA profile match (DPM) example that is described in "Scalable, transparent, and post-quantum secure computational integrity", both the DNA fingerprint database and the suspect's fingerprint are supposed private. However, the DPM example is not implemented in TinyRAM and there is no TinyRAM example with private inputs. Also, by looking at the code, I could not find a command or a way to "hide" the value of a specific variable from the verifier.