I wonder if his condition would allow him to use a zero-knowledge proof.
Although he probably doesn’t know what it is (nor Shelley, for that matter).