Another piece of advice, stop using your wallet! They might have your private keys. By continuing to use your old wallet you could pretty much be paying them without knowing it and they're just waiting for the perfect time to clean you out again.
So unless you have some solid proof please stop accusing a hardworking developer. Accusations on here without evidence is defamation and libel. It literally make HIM a victim. If you have (or think you have) sufficient evidence then go to law enforcement. Good luck with that.
BTW, with mining profitability starting to regain popularity I'd definitely be on your guard. We're all potential victims.
I no longer use that wallet.
Proving the theft of cryptocurrency in this world is not possible.
But it still happened neither earlier nor much later, as the miner was downloaded from the developer (although this was not the case before). But we are all human, and people have a weakness to succumb to greed. And the more they have, the more they want more.
(Sigh)
I don't think you're fully grasping anything that I (apparently wasted my time) have been trying to explain to you.
Look I'm very sorry for your ~$6,900 USD loss. I don't see ETH hitting $1,000 anytime soon though. FYI. I'd say in maybe 5+ years or so but anyway... you're wasting your time chasing something that didn't happen and defaming someone in the process.
Tell you what. Give us all your unprotected IP address and I'll show you how easy it is to steal your crypto. It probably won't happen immediately but it will happen! And it won't be from downloading a .bat file. The ONLY reason why any anti-viruses go off is because it's a MINER. I can't think of any that don't set off anti-virus software. I've come across WEBSITES that try to mine crypto.
Also, here's what didn't make sense to me. You have your wallet (JAXX) on your computer that you mine on? That doesn't make any sense. If you didn't, then why would you execute the software on a computer that you're not mining on? It's not adding up. Or are you suggesting that by simply downloading it (not executing) he was somehow able to hack your machine? Not saying it's impossible but highly unlikely. Or perhaps you installed it on your mining computers and he hacked a different computer on your network??? How would he do that when the virus isn't on that computer??? See what I mean? Too many issues with your accusations. There is no solid proof anywhere. You haven't provided a wallet address to where your funds went, no ip address, no method of attack. You said that JAXX just mysteriously opened up and sent your funds away before your eyes. I'm telling you the only way to do that is by RDP or something similar such as Teamviewer or Chrome Remote Desktop. But if you're so concerned about it happening again then uninstall all of your wallets and restore them as needed. Can't hack what isn't there, right?
Any case, I'm actually glad that it happened to you. Not to sound like a jerk but I think that's it's better to happen when you have 1 BTC stored in your wallet than 10 BTC. My guess is someone hacked your crap a while ago and already had access. They were just waiting for the perfect moment to strike. Maybe they thought, "He just downloaded something that runs a mining script. I bet he'll blame that instead of trying to track the real source! I'll do this now!" So while you're wasting time and energy defaming a hard working developer for something he didn't do the thief is transferring your funds and spending your money so even IF you could identify him/her you couldn't get it back.
But hey... what do I know? I'm only speaking from experience.