nobody is going to hand count millions of ballets... its always gonna be a machine.

I think the solution is multiple machines from different companies.

Say 3 different machines all verifying the others. If there is a cheat happening somehow I'm guessing its gonna show up.

unless somehow they corrupt all machines equally.

The most basic machine should be used as the final check, likely the slowest one, and also runs after the advanced machine runs. More like a backup machine that take its time and doesn't make mistakes.