Coin Center’s Peter Van Valkenburgh also dropped the bombshell that while U.S. citizens may not be able to use Tornado Cash, the government still can.