Has Bitcoin Been Manipulated by Jane Street? Ex-Wall Street Market Maker Disagrees