Non-repudiation implies that the sources of the information content of each step in a process should not be able to deny their involvement with the steps that represent their data through the digests. The tool we will use to address this is the digital signature.
Both Alice and Bob need to be recorded as responsible for their guesses and replies in the game in such a way they they are accountable for their actions and thus the game’s result. The record of their identities can be established by having them digitally sign the digest of each guess and reply in the process, and then storing those signatures and their public keys along with the digest in the step. Anyone who has access to the proof can use public key verification methods to ascertain whether or not Alice or Bob is truly responsible for a step.
In this way we enable identity management and ownership to demonstrate the factual element of who.