DAVINCI: o protocolo de votação que cumpre os critérios para uma adoção universal

Em 2018, fundámos a Vocdoni depois de identificarmos algumas falhas na forma como as pessoas votam. Os boletins de voto tradicionais em papel podem ser lentos de contar, difíceis de auditar e vulneráveis a adulteração. A votação onchain resolve alguns desses problemas, mas acrescenta outros, como taxas elevadas, privacidade fraca, compra de votos, pressão de «seguir a multidão» e limites ao número de eleitores que consegue processar.

Inspirados pela forma como o Bitcoin e o Ethereum abriram as finanças a qualquer pessoa com ligação à internet, perguntámo-nos: porque não fazer o mesmo pela democracia? A nossa primeira resposta foi uma blockchain concebida para votação. Desde então, já sustentou centenas de eleições para câmaras municipais, clubes desportivos, DAOs, partidos políticos e muito mais.

Mas a tecnologia nunca fica parada. Novas ferramentas criptográficas permitem-nos agora proteger a privacidade e escalar para milhões de eleitores em simultâneo. Por isso, decidimos começar de novo, desenhando de raiz um protocolo de votação que pudesse tornar-se a referência mundial para uma votação segura, privada e económica.

Conheça o DAVINCI: o padrão universal para votação segura¶

O protocolo de votação DAVINCI [Decentralized Autonomous Vote Integrity Network with Cryptographic Inference] troca as contagens lentas em papel e as taxas caras de blockchain por um sistema permissionless, à prova de adulteração, privado e suficientemente barato para qualquer pessoa o usar. Em resumo: Decentralized Autonomous mantém a rede aberta, Vote Integrity Network prova cada passo e Cryptographic Inference protege cada boletim e o escrutínio final.

Decentralized Autonomous¶

• Aberto a todos, propriedade de ninguém. O DAVINCI corre em contratos públicos no Ethereum e numa rede descentralizada de Sequencers, pelo que nenhum governo ou empresa pode suspender ou censurar uma eleição.
• Sem gas para os eleitores. As taxas são agrupadas e pagas uma única vez por lote, permitindo aos cidadãos votar sem gastar um cêntimo.
• Rede imparável. Qualquer operador pode assumir o papel de Sequencer (o ator que verifica e agrega boletins) bastando colocar tokens em stake como garantia, o que mantém o sistema ativo mesmo que alguns nós desapareçam. Em caso de comportamento correto, os Sequencers são recompensados.

Vote Integrity Network¶

• Auditabilidade ponta a ponta. Cada boletim, escrutínio e regra vive num contrato inteligente (smart contract) no Ethereum; qualquer pessoa pode reexecutar as provas para confirmar o resultado.
• Rollups de conhecimento zero para escalar. Milhões de votos são agrupados off-chain e depois é publicada on-chain uma pequena prova zk, o que reduz os custos mantendo a mesma segurança.
• Adapta-se a qualquer estilo de votação. Voto preferencial, quadrático, de transferência única ou qualquer outro método de votação são possíveis. O formato de boletim do DAVINCI não impõe um esquema fixo, pelo que os organizadores escolhem as regras que lhes convêm.

Cryptographic Inference¶

• Encriptação homomórfica de limiar. Cada voto é selado com uma chave repartida por vários escrutinadores independentes, pelo que nenhuma parte isolada pode ver ou alterar um boletim. Quando a votação encerra, só um mínimo predefinido de Sequencers, juntando os seus fragmentos de chave, consegue desbloquear o escrutínio final agregado - nunca as escolhas individuais.
• Ausência de comprovativo (receipt-freeness) e anticoação. Os boletins são re-encriptados, os eleitores podem substituir silenciosamente o seu próprio voto e «nullifiers» privados impedem capturas de ecrã como prova de voto - tornando inútil o suborno ou a intimidação.
• Anonimato sem enviesamento. Cada boletim é encriptado e impossível de associar ao seu autor, pelo que ninguém consegue ligar uma escolha a uma pessoa - protegendo a privacidade e resguardando os eleitores de pressões ou represálias.

Os quatro circuitos que alimentam o DAVINCI¶

O DAVINCI é uma máquina de estados baseada em zk-SNARKs, operada por uma rede descentralizada de Sequencers offchain. No seu núcleo estão quatro circuitos encadeados: cada um verifica a prova produzida pelo passo anterior e acrescenta a sua própria. Como os zk-SNARKs são recursivos e sucintos, cada boletim, regra e escrutínio acaba por colapsar numa única prova minúscula, que o Ethereum consegue verificar em milissegundos.

1. Circuito de boletim - encriptação conforme as regras O eleitor encripta as suas escolhas com El Gamal de limiar e prova, em conhecimento zero, que o boletim cumpre as regras da eleição (p. ex., «escolher até duas de cinco opções»).
2. Circuito de elegibilidade - assinatura + prova de Merkle Um Sequencer prova que o eleitor está autorizado, verificando uma assinatura ECDSA e uma prova de Merkle contra a lista de eleitores publicada.
3. Circuito de agregação - muitos votos, uma prova Até N boletins são comprimidos num único zk-SNARK. O tamanho da prova mantém-se quase constante, pelo que milhões de votos podem viajar até ao Ethereum pelo preço de um.
4. Circuito de escrutínio - atualização de estado Os textos cifrados agregados são somados homomorficamente ao escrutínio encriptado e a nova raiz de estado é provada como correta, incorporando a prova de agregação anterior para manter a cadeia intacta.

Quando o quarto circuito termina, a prova recursiva final (apenas algumas centenas de bytes) é enviada para um contrato inteligente no Ethereum. Se o verificador a aceitar, todo o lote da eleição torna-se imutável; caso contrário, é rejeitado. O Sequencer seguinte iniciará o processamento do seu lote a partir do que ficou liquidado no Ethereum.

Um protocolo sustentável e imparável¶

A Vocdoni está a impulsionar o desenho e o desenvolvimento do DAVINCI como um protocolo permissionless e imparável, alimentado por um token nativo. Os organizadores usam o token para lançar eleições, enquanto os sequencers o colocam em stake como garantia e recebem recompensas por processar votos. Votar é sempre gratuito, garantindo que a participação se mantém aberta e acessível a todos.

O protocolo foi concebido para separar a execução da verificação: as eleições são definidas no Ethereum, enquanto os votos são emitidos e agregados offchain pela rede descentralizada de sequencers, e apenas as provas criptográficas verificadas são registadas onchain. O resultado é um sistema transparente, seguro e escalável por conceção.

Apoiado por figuras de referência da Web3¶

A ronda de financiamento de 1 milhão de dólares da Vocdoni atraiu o apoio de figuras-chave do ecossistema blockchain, incluindo Jordi Baylina e membros de organizações como a Ethereum Foundation, a Polygon, a OpenZeppelin, a Giveth e a Privado ID.

O seu envolvimento não é apenas financeiro: sinaliza a necessidade de uma tecnologia de governação melhor e a confiança que depositam em nós para a liderar.

O que se segue*¶

• Junho de 2025: lançamento da testnet pública com uma interface simples + início das pré-vendas do token
• Julho de 2026: lançamento previsto da mainnet e TGE
• 4.º trimestre de 2026: início da migração das organizações que utilizam o Vocdoni Protocol para o DAVINCI

Junte-se ao futuro da votação¶

📝 Junte-se à lista de espera aqui para se manter informado sobre a próxima testnet pública em junho. Os primeiros participantes poderão experimentar o protocolo, operar um sequencer e poderão receber vantagens exclusivas pelo seu envolvimento.

* Para oferecer uma implementação completa e comprovada do protocolo, o roteiro poderá sofrer alterações.