💻 computer science

Audit-or-Cast: Enforcing Honest Elections with Privacy-Preserving Public Verification

O artigo apresenta o protocolo ACE, que garante eleições eletrônicas com verificação pública, privacidade e resistência à coerção, eliminando a necessidade de clientes confiáveis e protegendo a integridade do voto sem revelar resultados parciais.

Autores originais: Aman Rojjha, Gaurang Tandon, Varul Srivastava, Kannan Srinathan

Publicado 2026-04-22

📖 5 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Aman Rojjha, Gaurang Tandon, Varul Srivastava, Kannan Srinathan

Artigo original sob licença CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo

Imagine que você está organizando uma eleição para escolher o líder de um grande condomínio. O grande dilema é este: como garantir que a contagem dos votos seja verdadeira e pública (para que ninguém roube a eleição), mas ao mesmo tempo garantir que ninguém saiba como você votou (para que ninguém possa te ameaçar ou comprar seu voto)?

A maioria dos sistemas atuais falha em um desses dois pontos: ou eles mostram todos os votos (quebrando o segredo) ou exigem que você confie cegamente no computador onde vota (o que é perigoso se o computador for hackeado).

O artigo que você enviou apresenta uma solução chamada ACE (Election Audit-Cast). Vamos explicar como funciona usando analogias simples:

1. O Problema: O "Papel Mágico" vs. O "Computador Confiável"

Em eleições antigas, usávamos urnas de vidro e papel. Era transparente, mas difícil de escalar.
Em eleições digitais atuais, muitas vezes usamos "computadores mágicos" que dizem: "Confie em nós, nós contamos certo". O problema é: e se o computador for malicioso? E se o eleitor for coagido a mostrar como votou para um chefe ou um bandido?

O sistema ACE resolve isso sem precisar de "computadores confiáveis". Ele usa matemática e um jogo de "Auditou ou Votou".

2. A Solução: O Jogo de "Auditou ou Votou" (Audit-or-Cast)

A parte mais genial do ACE é como ele impede que o eleitor seja coagido. Imagine que você está votando em um quiosque (seu computador/celular).

O sistema funciona assim:

Você escreve seu voto em um pedaço de papel invisível (criptografado) e o entrega para os contadores (chamados de Talliers).
Os contadores fazem uma "mágica" matemática no papel (re-randomização) e colam uma cópia na parede pública (uma Blockchain), mas sem revelar o que está escrito.
Aí vem o pulo do gato: O sistema pergunta a você: "Você quer Auditar ou Votar?"

Opção A: Auditou (Auditar)
Você diz: "Quero ver se eles não trapacearam".
Os contadores são obrigados a revelar o segredo do papel que você entregou. Você verifica se o que está na parede pública corresponde ao que você escreveu.
- Resultado: Se estiver tudo certo, você descarta esse voto e tenta de novo com um novo papel. O voto anterior é jogado no lixo.
- Por que isso é bom? Isso garante que os contadores não podem alterar seu voto sem você perceber. Se eles tentarem, você descobre na hora.
Opção B: Votou (Cast)
Você diz: "Está tudo bem, quero que esse seja meu voto final".
Nesse momento, o sistema "trava" esse voto. Os contadores não podem mais mudar nada.
- O Segredo da Privacidade: Como você pode ter escolhido "Votou" sem que o bandido saiba? Porque, no mundo real, um bandido não pode estar ao seu lado o tempo todo para ver qual botão você apertou. Se ele te coage, você pode fingir que "Auditou" (e o sistema descarta o voto) e depois, em segredo, "Votar" de verdade. O bandido só vê que você "Auditou" e que o voto foi descartado. Ele nunca sabe qual foi o voto real que você enviou na segunda tentativa.

3. O "Mágico" que Esconde o Resultado (Tally-Hiding)

Outro problema de eleições públicas é que, às vezes, saber exatamente quantos votos cada candidato teve pode ser ruim (ex: um candidato perde por apenas 2 votos, o que gera instabilidade, ou ganha por uma margem absurda, o que gera desconfiança).

O sistema ACE usa uma técnica chamada Re-randomização.
Imagine que cada voto é um pacote de presentes. Os contadores misturam esses pacotes em uma caixa gigante. Eles somam o conteúdo, mas trocam a "etiqueta" da caixa várias vezes.

No final, eles revelam apenas o vencedor (quem ganhou a eleição).
Ninguém consegue saber quantos votos cada um teve, nem mesmo os contadores (a menos que todos os contadores se unam para trapacear, o que é improvável).
É como se você soubesse que "O Candidato X venceu", mas não soubesse se ele venceu por 10 votos ou por 10.000.

4. Resumo dos Benefícios (A "Trindade Sagrada")

O paper diz que o ACE consegue o impossível: ter os três pilares juntos, que antes eram incompatíveis:

Verificabilidade Pública: Qualquer pessoa pode checar na parede pública (Blockchain) se a contagem final está correta, sem precisar confiar em ninguém.
Sigilo Total (Receipt-Freeness): Você não consegue provar para ninguém como votou. Isso mata o mercado de venda de votos e a coação. Você não tem "recibo" do seu voto.
Sigilo do Resultado Parcial (Tally-Hiding): O público só sabe quem ganhou, não a contagem exata de cada um.

Conclusão

O sistema ACE é como um jogo de cartas onde ninguém pode trapacear, mas ninguém também pode ver a mão do outro.

Se o "banco" (os contadores) tentar mudar suas cartas, você pode exigir uma auditoria e eles são pegos.
Se alguém tentar te obrigar a mostrar suas cartas, você pode fingir que jogou fora a mão e jogar outra, sem que o bandido saiba a diferença.
No final, todos veem quem ganhou a partida, mas ninguém sabe quantos pontos cada jogador fez individualmente.

É uma forma de usar matemática avançada para garantir que a democracia seja segura, privada e transparente ao mesmo tempo, sem precisar de "computadores confiáveis" ou de confiar em autoridades cegas.

Resumo Técnico: Protocolo ACE (Audit-Cast Election)

1. Problema e Motivação

Os sistemas de votação eletrônica enfrentam um dilema fundamental: equilibrar a verificabilidade pública (garantir que o resultado é correto e auditável) com a privacidade do eleitor (garantir que o voto não possa ser vinculado ao eleitor) e a resistência à coerção (impedir que o eleitor prove como votou para um terceiro).

Os protocolos criptográficos existentes geralmente falham em satisfazer simultaneamente três propriedades críticas ("A Santíssima Trindade" da votação segura):

Ocultação do Total (Tally-Hiding): O público não deve ver contagens parciais ou totais detalhadas antes do fim, apenas o resultado final, para evitar danos à reputação de candidatos ou manipulação de percepção pública.
Sigilo do Recibo (Receipt-Freeness): O eleitor não deve poder gerar uma prova transferível de como votou, prevenindo a venda de votos ou coerção.
Verificabilidade de Ponta a Ponta (E2E-V): Qualquer parte deve poder verificar que os votos foram contados corretamente sem revelar os votos individuais.

Sistemas anteriores (como Helios, Prêt à Voter, Ordinos) frequentemente exigem dispositivos de cliente confiáveis, revelam distribuições de votos ou permitem recibos transferíveis, comprometendo a privacidade ou a segurança em cenários de eleições nacionais.

2. Metodologia e Arquitetura do Protocolo ACE

O artigo propõe o protocolo ACE (Audit-Cast Election), que utiliza uma combinação de primitivas criptográficas avançadas e um mecanismo interativo para resolver o problema sem depender de clientes confiáveis.

Componentes Principais:

Comprometimento Vetorial de Pedersen (Pedersen Vector Commitments): Utilizado para comprometer as partes do voto (shares) de forma perfeitamente oculta. Isso garante que, mesmo com colusão de todos os contadores (talliers), a privacidade seja mantida (segurança informacional), desde que pelo menos um contador seja honesto.
Re-randomização no Lado do Contador (Tallier-side Re-randomization): Os contadores (Talliers) re-randomizam os compromissos dos votos antes de publicá-los na Painel de Avisos Público (PBB). Isso quebra qualquer vínculo persistente entre o eleitor e o registro público.
Mecanismo Audit-or-Cast (Auditar ou Votar): Inspirado no desafio de Benaloh, mas adaptado para um ambiente sem confiança no cliente.
- Após o contador re-randomizar o compromisso e publicá-lo, o eleitor deve escolher aleatoriamente entre duas ações:
  1. AUDITAR (Audit): O eleitor desafia o contador a revelar o fator de re-randomização. O eleitor verifica se o compromisso original corresponde ao compromisso re-randomizado. Se houver discrepância, o contador é expulso e o processo é reiniciado.
  2. VOTAR (Cast): Se o eleitor estiver satisfeito (ou escolher não auditar), ele envia um sinal de "CAST". A partir desse momento, o compromisso é finalizado e o eleitor envia a abertura (o voto real e a aleatoriedade) para o contador.
- Este mecanismo força os contadores a agirem honestamente, pois qualquer tentativa de alterar o voto terá uma probabilidade de ser detectada pelo eleitor durante a fase de auditoria.

Fluxo do Protocolo:

Geração de Voto: O eleitor divide seu voto em shares (partes) usando compartilhamento secreto de limiar e gera compromissos de Pedersen para cada parte.
Submissão Cega: O eleitor envia os compromissos para os contadores.
Re-randomização e Publicação: Os contadores re-randomizam os compromissos e publicam no PBB.
Desafio Audit-or-Cast: O eleitor decide auditar ou finalizar o voto.
Abertura e Verificação: Se "Cast", o eleitor revela os dados. Os contadores verificam a integridade e geram assinaturas de limiar.
Agregação e Resultado: Um contador designado ( $T_{des}$ ) agrega os shares, remove a re-randomização global e gera uma prova de conhecimento zero (NIZK) para provar que o resultado final corresponde aos compromissos públicos, sem revelar os votos individuais.

3. Contribuições Chave

Unificação de Propriedades: O ACE é o primeiro protocolo a alcançar simultaneamente Ocultação do Total, Sigilo do Recibo e Verificabilidade de Ponta a Ponta sem exigir clientes confiáveis.
Privacidade Informacional: Graças à re-randomização de Pedersen e à suposição de que pelo menos um contador é honesto, a privacidade é garantida de forma informacional (teórica), e não apenas computacional, mesmo contra colusão total dos contadores.
Eliminação de Confiança no Cliente: O mecanismo Audit-or-Cast substitui a necessidade de confiar no dispositivo do eleitor, permitindo que ele verifique a integridade do registro público antes de finalizar o voto.
Resistência à Coerção: O protocolo impede a criação de recibos transferíveis. Mesmo que um coercitor obtenha todos os segredos do eleitor após a votação, ele não pode provar como o eleitor votou, pois o compromisso público no PBB é perfeitamente oculto em relação à entrada do eleitor devido à re-randomização desconhecida pelo coercitor.

4. Resultados e Análise de Segurança

O artigo formaliza a segurança do ACE e apresenta as seguintes garantias:

Verificabilidade (S1-S5): Qualquer auditor pode verificar que o resultado final foi computado corretamente a partir dos votos válidos, sem revelar os votos individuais.
Privacidade Pública (P1-P2): Os contadores não podem vincular eleitores a candidatos, e o total de votos (exceto o resultado final) permanece oculto do público.
Sigilo do Recibo (P3): O eleitor não pode produzir uma prova que vincule seu voto a uma escolha específica para um terceiro.
Imutabilidade e Prevenção de Duplo Voto: Garantidos pela persistência e imutabilidade do Painel de Avisos Público (PBB), implementado em blockchain.
Análise Comparativa: A Tabela II do artigo demonstra que, ao contrário de Helios (vaza o total), Ordinos (permite recibos) ou Kryvos (falha em sigilo do recibo), o ACE satisfaz todas as propriedades de privacidade e segurança listadas.

5. Significado e Impacto

O protocolo ACE representa um avanço significativo na criptografia aplicada a eleições democráticas.

Viabilidade para Eleições Nacionais: Ao resolver o problema de "confiança vs. privacidade", o ACE oferece um modelo viável para eleições de grande escala onde a transparência e a segurança contra coerção são críticas.
Alternativa aos Dispositivos Confiáveis: O trabalho desafia o paradigma de que a segurança da votação eletrônica depende de hardware ou software confiável no lado do eleitor, propondo em vez disso uma verificação interativa e criptográfica robusta.
Futuro: O trabalho abre caminho para a implementação de sistemas de votação que são simultaneamente auditáveis pelo público, resistentes a ataques de coerção e que protegem a privacidade dos resultados intermediários, fortalecendo a confiança pública nos processos democráticos digitais.

Em suma, o ACE demonstra que é possível construir um sistema de votação onde a transparência do processo não compromete a privacidade do indivíduo, utilizando desafios interativos e compromissos criptográficos perfeitamente ocultos.