[lewiscollard]

> There's really no good practical solution to this problem.

Remote attestation via trusted execution environments is a thing. It is not a theoretical one either. See, for example, Graphene OS's Auditor app[0]. Solving this for voting machines in particular would be a matter of good design, not of solving fundamentally hard problems.

[0] https://attestation.app/