💻 computer science

MultiBallot: Verifiable and privacy-preserving E-Collecting in the Swiss setting

Este artigo propõe um protocolo seguro, que preserva a privacidade e é verificável para coleções de assinaturas eletrônicas na Suíça, aproveitando a natureza paralela de múltiplas coleções ativas para garantir a privacidade da participação sem exigir um canal anônimo.

Autores originais: Florian Moser, Léo Louistisserand

Publicado 2026-05-20

📖 5 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Florian Moser, Léo Louistisserand

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 a Suíça como uma praça de cidade gigante e movimentada, onde as pessoas propõem constantemente novas regras ou mudanças sobre como a cidade é gerida. Nesta cidade, os cidadãos não apenas aguardam um dia de eleição; eles podem iniciar uma "campanha de assinaturas" a qualquer momento para forçar uma votação sobre um assunto específico. Se o suficiente de pessoas se inscreverem, toda a cidade terá que votar sobre o assunto.

O problema? Atualmente, essas campanhas de assinaturas são feitas principalmente em papel. O papel é lento, fácil de perder e, às vezes, as pessoas tentam trapacear falsificando assinaturas. Os autores deste artigo, Florian Moser e Léo Louistisserand, desejam mover esse processo para o ambiente online, mas com duas regras muito estritas:

Privacidade: Ninguém deve saber qual causa específica você assinou.
Verificabilidade: Você deve ser capaz de provar que sua assinatura foi contada, e a cidade deve ser capaz de provar que a contagem final está correta.

Veja como a solução deles, chamada MultiBallot, funciona, explicada através de analogias simples.

O Grande Problema: A Assinatura "Silenciosa"

Em uma eleição normal, você vota "Sim" ou "Não". Se você vota "Sim", é óbvio que você votou. Mas em uma campanha de assinaturas, você só está votando "Sim". Se você assina uma petição, está dizendo "Eu apoio isso".

A parte complicada é que, na Suíça, muitas campanhas de assinaturas acontecem ao mesmo tempo. Talvez uma seja sobre construir um novo parque, outra sobre reduzir impostos e uma terceira sobre mudar o horário das escolas.

O Jeito Antigo: Se você assinar a petição do "Parque", o sistema saberá que você assinou a petição do "Parque". Se você não assinar as outras, o sistema saberá que você não assinou elas. Isso vaza sua privacidade.
O Jeito Novo (MultiBallot): O sistema trata todas as petições ativas como um único, grande "cardápio". Quando você interage com o sistema, você não escolhe apenas um item; você atualiza todo o seu cardápio.

O Truque de Magia Central: A Máscara de "Recriptação"

Imagine que você tem uma caixa trancada para cada petição ativa no país.

O Estado Padrão: Cada caixa está trancada e contém um "0" (significando "Ainda não assinei isso").
A Ação: Quando você quer assinar a petição do "Parque", você não abre apenas aquela caixa. Você pega todas as caixas do cardápio e troca os conteúdos.
- Para a caixa do "Parque", você troca o "0" por um "1" (significando "Assinado!").
- Para todas as outras caixas (Impostos, Escola, etc.), você pega o "0" existente, agita a caixa (recripta-a) e a devolve. Para um observador externo, a caixa parece completamente diferente, mas ainda contém um "0".

Por que isso é legal?
Porque você atualizou todas as caixas ao mesmo tempo, um estranho olhando para o seu cardápio não consegue dizer qual caixa você realmente mudou para um "1". Eles só veem que você atualizou todo o seu cardápio. Você poderia ter assinado a petição do Parque, ou a petição de Impostos, ou ambas. Para eles, é um mistério. É assim que eles escondem sua privacidade sem precisar de um túnel secreto e anônimo.

A Rede de Segurança de "Dois Dispositivos"

Para garantir que ninguém trapaceie, o sistema usa dois dispositivos diferentes para cada cidadão:

O Dispositivo de Participação (Seu Telefone): É aqui que você realmente clica para assinar. Você confia neste dispositivo para manter seu segredo seguro.
O Dispositivo de Auditoria (Um Tablet ou Computador Separado): É como uma impressora de recibos. Depois que você assina, você verifica este segundo dispositivo. Ele baixa as "caixas trancadas" do registro público e as desbloqueia apenas para você. Ele mostra a você: "Sim, você assinou a petição do Parque".

Se o seu telefone tentar trapacear (por exemplo, ele assina a petição de Impostos mas diz a você que assinou a do Parque), seu Dispositivo de Auditoria mostrará a verdade. Se o telefone e o Dispositivo de Auditoria concordarem, você sabe que sua assinatura está segura e foi contada.

O "Livro-Razão Público" (O Quadro de Avisos)

Imagine um quadro-negro gigante com paredes de vidro na praça da cidade. Toda vez que alguém assina uma petição, eles escrevem sua atualização neste quadro.

Transparência: Qualquer pessoa pode olhar para o quadro.
Prova: Cada atualização vem com um "selo matemático" (uma Prova de Conhecimento Zero). Este selo prova: "Eu fiz a matemática corretamente", sem revelar o que era a matemática.
Sem Apagar: Uma vez que algo é escrito neste quadro, não pode ser apagado ou alterado. Isso previne fraudes.

Lidando com a Bagunça do "Mundo Real"

Os autores sabem que a vida não é perfeita. As pessoas se mudam, fazem 18 anos ou morrem.

A Lista de Elegibilidade: Há um "Chamado" confiável (como um registro eleitoral) que atualiza constantemente quem tem permissão para assinar. Se você se mudar para uma nova cidade, o sistema atualiza automaticamente sua permissão para assinar petições locais.
Papel + Digital: O sistema é projetado para funcionar mesmo se algumas pessoas assinarem em papel e outras online. As assinaturas em "Papel" são tratadas exatamente como as digitais, entrando no mesmo sistema de caixas trancadas para que possam ser contadas justamente ao lado dos votos digitais.

O Resultado

O artigo afirma que o MultiBallot alcança um cenário do "melhor dos dois mundos":

Privacidade: Esconde qual petição você assinou, escondendo-a entre todas as outras petições ativas.
Verificabilidade: Permite que você prove que sua assinatura foi contada e permite que o público prove que a contagem final está precisa.
Realismo: Não requer tecnologia impossível (como túneis de internet anônimos mágicos) e se encaixa no quadro legal suíço, onde muitas petições rodam ao mesmo tempo.

Em resumo, transforma uma pilha caótica de campanhas de assinaturas em um processo digital seguro, transparente e privado, onde seu "Sim" é contado, mas seu "Sim" específico permanece seu segredo.

Resumo Técnico: MultiBallot: Coleta Eletrônica Verificável e Preservadora de Privacidade no Contexto Suíço

Enunciação do Problema
O artigo aborda os desafios de segurança e privacidade inerentes aos sistemas de coleta de assinaturas eletrônicas (coleta eletrônica), especificamente no contexto suíço da democracia direta. Diferentemente da votação eletrônica (e-voting), onde as eleições são eventos discretos com eleitorados fixos, a coleta eletrônica envolve campanhas contínuas e paralelas, onde a elegibilidade muda dinamicamente (por exemplo, devido à idade, mudança de residência ou óbito).

Os sistemas existentes de coleta eletrônica, como o sistema da Iniciativa Cidadã Europeia (ECI) ou o futuro sistema cantonal de São Galo, carecem de garantias de segurança de última geração. Especificamente, eles frequentemente dependem de servidores totalmente confiáveis ou falham em fornecer verificabilidade ponta a ponta. Uma lacuna crítica identificada é a privacidade de participação: na coleta eletrônica, assinar uma petição equivale a um voto "sim", o que significa que o próprio ato de participação revela a posição do eleitor. As definições padrão de privacidade em votação eletrônica (que assumem uma escolha entre opções) não se aplicam diretamente. Além disso, alcançar privacidade de participação em votação eletrônica geralmente requer um canal anônimo, uma suposição forte e frequentemente irrealista. O artigo observa que, na Suíça, muitas coleções paralelas estão ativas simultaneamente, um fator atualmente não explorado para aprimoramento da privacidade.

Metodologia e Design do Protocolo
Os autores propõem o MultiBallot, um protocolo projetado para alcançar verificabilidade e privacidade de participação sem assumir um canal anônimo. A metodologia fundamenta-se em um modelo de confiança realista derivado das regulamentações suíças de votação eletrônica, utilizando componentes de controle distribuído (Quadro de Avisos, Contadores, Lista Eleitoral) em vez de um único servidor confiável.

A inovação técnica central é a estrutura de cédula paralela:

Composição da Cédula: Para cada coleção ativa ( $C_1, C_2, \dots, C_n$ ), um eleitor mantém uma única cédula contendo um texto cifrado dedicado para cada coleção.
Mecanismo de Participação: Para assinar uma coleção específica, o dispositivo do eleitor criptografa o valor 1 para o texto cifrado dessa coleção. Para todas as outras coleções ativas, o dispositivo realiza uma re-cifragem (randomização) dos textos cifrados existentes.
Provas de Conhecimento Zero (ZKP): O eleitor gera uma ZKP provando que, para cada coleção, o novo texto cifrado é ou uma criptografia de 1 (assinatura) ou uma re-cifragem do texto cifrado anterior (não assinatura). Crucialmente, a prova não revela qual operação foi realizada para qual coleção.
Indistinguibilidade: Como muitas coleções rodam em paralelo, um observador não pode distinguir se um eleitor assinou a Coleção A, a Coleção B ou nenhuma delas, pois a cédula do eleitor sempre contém textos cifrados válidos para todas as coleções ativas. A participação em uma coleção específica fica oculta dentro do conjunto de todas as coleções ativas.

Principais Contribuições

Derivação de Cenário Realista: O artigo estabelece um cenário formal para coleta eletrônica baseado nas leis suíças de votação eletrônica, considerando operação contínua, elegibilidade dinâmica (via Lista Eleitoral) e ausência de revogação.
Privacidade sem Canais Anônimos: O protocolo alcança privacidade de participação explorando a natureza paralela das coleções. Ele oculta uma participação específica entre participações potenciais em outras coleções ativas, eliminando a necessidade da forte suposição de um canal anônimo.
Verificabilidade: O sistema fornece Verificabilidade Ponta a Ponta (E2E):
- Verificabilidade Individual: Os eleitores podem verificar, por meio de um Dispositivo de Auditoria independente, se sua cédula contém suas escolhas pretendidas (descriptografando os textos cifrados associados à sua chave pública).
- Verificabilidade Universal: A apuração final é computada agregando homomorficamente os textos cifrados para cada coleção e realizando uma descriptografia distribuída pelos Contadores. O resultado é auditável por terceiros.
Suporte Híbrido: O protocolo é projetado para funcionar em um cenário híbrido onde assinaturas físicas (papel) são convertidas em entradas digitais por um Canal Híbrido (HC). Os Contadores podem auditar essas entradas para garantir que não ocorra "enchimento" (assinaturas falsas) ou "descarte" (omissão), sem aprender os detalhes específicos de participação dos eleitores que não utilizaram o canal híbrido.
Elegibilidade Dinâmica e Rotação de Chaves: O protocolo suporta operação contínua, permitindo a rotação de chaves dos eleitores e mudanças na elegibilidade (por exemplo, um eleitor mudando para um novo município) sem interromper a integridade das coleções em andamento.

Resultados e Alegações de Segurança
O artigo fornece uma análise formal de segurança sob um modelo de adversário Dolev-Yao.

Verificabilidade: O protocolo garante que, se um eleitor verificar sua participação, ela será contabilizada. A verificabilidade universal mantém-se desde que a Lista Eleitoral, o Canal Híbrido (se utilizado) e os Contadores sejam honestos.
Privacidade: A privacidade de participação é garantida assumindo que o Dispositivo de Participação e o Dispositivo de Auditoria são honestos. As ZKPs asseguram que o adversário não possa distinguir entre uma re-cifragem e uma criptografia de 1.
Suposições de Confiança: O sistema requer uma configuração distribuída onde apenas um componente por grupo de controle (por exemplo, um Contador honesto, um nó honesto do Quadro de Avisos) precisa ser confiável. Ele evita explicitamente a necessidade de um servidor totalmente confiável.

Significado e Limitações
O artigo afirma que o MultiBallot eleva a segurança da coleta eletrônica ao nível dos sistemas de votação eletrônica de última geração. Seu significado principal reside em resolver o problema da privacidade de participação em um cenário realista, sem depender de canais anônimos impraticáveis.

No entanto, os autores são modestos quanto às limitações deste modelo de privacidade. Eles reconhecem que, embora o protocolo oculte qual coleção um eleitor assinou, ele não oculta totalmente se um eleitor participou de alguma forma. Se uma coleção tiver um período único de alta popularidade ou se a apuração ocorrer com frequência, uma análise estatística ainda pode permitir que um adversário infira a participação em coleções específicas. Adicionalmente, o artigo observa que alcançar uma privacidade mais forte (ocultar a participação total) exigiria que os eleitores realizassem ações regulares de "falso" (re-cifrar sem assinar), o que apresenta desafios de usabilidade, ou exigiria suposições de confiança mais fortes (por exemplo, um canal oculto para uma autoridade), que o protocolo atual evita.

Em resumo, o MultiBallot oferece um framework prático, verificável e preservador de privacidade para coleta eletrônica que está alinhado com os requisitos legais suíços e aproveita a estrutura paralela única das campanhas de assinatura para aprimorar a segurança.