Top cryptographers can't agree on Bitcoin's biggest quantum question