STARK>SNARKを反証する有効な議論はありません