No one has any hard proof i've seen, only speculation. given ABC's devs public attacks on SV devs, but when asked silence some infer they may work for Bitmain. who knows.