[IshKebab]

The only output of the machine could be a bit of paper that you can view through a window and verify. Doesn't really matter if it's closed source.

[rapind]

So we don’t have to trust that the company wrote it correctly. https://www.wired.com/2009/08/diebold-audit-logs

[IshKebab]

Correct.

Not sure why you linked that?