What if a powerful proof was taken from a backdoor?
If Hutchins is using a modern CPU he could have been monitored through undocumented features of his Intel CPU, the dreaded IME or a similar tool in AMD, the PSP.
If that's where the proof came from, then it won't be divulged and another alternative would be used, like posting your code in a blog would be the claim just to cover up the real source, which is the modern backdoors in CPU's.