Can’t you generate your own provable randomness with 256 dice rolls with the cold card? Seems Matt is way off-base here.