Mecanismo de auditoria pública utilizado pela Justiça Eleitoral para verificar a correta contabilização dos votos e a segurança do software eleitoral