Rafael Cordón está preocupado sobre como vamos proteger a verdade na era da IA ​​e da desinformação. O CEO e engenheiro de tecnologia guatemalteco começou a pensar sobre essa questão após a interferência da Rússia na eleição presidencial dos EUA de 2016. Mas ele nunca considerou que poderia criar uma Tecnologia que protegeria uma eleição presidencial em seu país de ser prejudicada por uma tentativa flagrante de adulterar documentos de votação físicos. No entanto, foi isso que ele fez com Prova Simples, um sistema de manutenção de registros imutável que protege dados usando o blockchain do Bitcoin .

Quem é Rafael Cordón?

Cordón é um guatemalteco nativo que jovialmente se refere a si mesmo como um “nerd de computador”. Ele estudou engenharia mecânica para sua graduação e concluiu um mestrado em gestão de engenharia na Duke University no final dos anos 2000.

Frank Corva é o correspondente business-to-business da Bitcoin Magazine e apresentador do "nova capital renascentista" podcast.

Depois de trabalhar no departamento de TI da Accenture e prestar consultoria para grandes instituições financeiras, ele sentiu a necessidade de começar seu próprio projeto. Em 2017, enquanto pesquisava bancos de dados distribuídos, Cordón redescobriu o Bitcoin (ele leu o white paper do Bitcoin em 2011 e o descartou na época) e rapidamente caiu na proverbial toca do coelho do Bitcoin .

Um ano depois, ele conceituou a Simple Proof e comprou o domínio para ela. Nos anos subsequentes, enquanto fundava e atuava como CTO da ÍBEX, uma startup de pagamento em Bitcoin sediada na Guatemala, Cordón continuou a desenvolver o Simple Proof.

O que é Prova Simples?

Usos de Prova SimplesCarimbos de data/hora abertos, um protocolo de código aberto criado pelo desenvolvedor do Bitcoin CORE Peter Todd em 2016. O OpenTimestamps permite o carimbo de data/hora criptográfico, que é mais confiável do que o carimbo de data/hora Human , porque depende de algoritmos criptográficos para verificar informações em oposição a um processo Human . Veja como funciona nas palavras de Cordón:

“OpenTimestamps é um protocolo de internet que permite que um usuário interaja com o blockchain do Bitcoin para gerar carimbos de data/hora de documentos”, diz Cordón. “Uma impressão digital de um documento é incluída por meio Árvores Merkle em um lugar específico dentro de uma transação Bitcoin chamada função OP_RETURN. A OP_RETURN é onde você escreve um texto arbitrário em uma transação Bitcoin . É como o espaço 'memo' [em] um cheque. Este texto arbitrário em nosso caso é a prova do documento.”

O documento ao qual ele se refere é o Documento Número 4, o nome oficial de uma folha de contagem de votos nas eleições guatemaltecas.

Em 2022, Cordón providenciou com o governo guatemalteco que os Documentos Número 4 da próxima eleição presidencial fossem carimbados no blockchain do Bitcoin conforme chegassem. O Tribunal Eleitoral Supremo da Guatemala (TSE), a mais alta autoridade eleitoral na Guatemala, usaria o Simple Proof para preservar a integridade dos resultados das eleições.

Mas isso levanta a questão: como sabemos que as informações nas planilhas de contagem de votos que estão sendo carregadas no blockchain do Bitcoin são legítimas?

Eleições guatemaltecas, descentralizadas

Assim como o Bitcoin, as eleições guatemaltecas são descentralizadas.

O processo pelo qual os votos são coletados e contados nas eleições guatemaltecas é explicado no documentárioDemocracia Imutável, que conta a história de como o Simple Proof foi implementado na eleição presidencial guatemalteca de 2023.

Mais de 100.000 voluntários e 100.000 observadores de diferentes partidos políticos e da sociedade civil observam a criação e coleta de mais de 150.000 Documentos Número 4. Os cidadãos voluntários que compõem os Conselhos de Recepção de Votos observam enquanto os eleitores enviam cédulas nas mesas de votação. Em cada mesa, os voluntários contam os votos e transcrevem os resultados em seus Documentos Número 4. Outros voluntários e observadores observam enquanto os Documentos Número 4 são concluídos.

Os Documentos Número 4 são então enviados para o Centro de Operações do Processo Eleitoral. Lá, quase 25.000 caixas de materiais eleitorais, incluindo a camada superior dos Documentos Número 4 (cada um desses documentos se separa em três cópias: a cópia original branca e uma cópia carbono amarela e azul), são transferidos para os Conselhos Eleitorais Municipais. Cidadãos voluntários calculam os resultados neste nível. Esses totais são então transferidos para os Conselhos Eleitorais Distritais, onde voluntários contabilizam os resultados nos níveis distrital e nacional. As contagens dos resultados oficiais são então transferidas para o TSE, onde são classificados como resultados oficiais.

A cópia carbono amarela, uma cópia não oficial dos resultados, é escaneada e carregada digitalmente para um sistema cujo nome se traduz em Transmissão de Resultados Eleitorais Preliminares (TREP). Duas pessoas diferentes escaneiam cada um desses documentos amarelos para validar que as informações em cada um dos documentos foram carregadas sem distorção. A primeira pessoa escaneia esta folha na mesa de votação. A segunda pessoa escaneia no nível do Conselho Eleitoral Municipal. Se as duas escaneamentos coincidirem, os resultados são publicados emGTpara os cidadãos guatemaltecos auditarem.

Quando perguntei a Cordón se ele confia nesse processo, ele respondeu o seguinte:

“Você tem 125.000 voluntários contando os votos, e você tem observadores eleitorais dos partidos políticos, que provavelmente são outras 25.000 a 50.000 [pessoas]”, diz Cordón. “Além disso, você tem observadores eleitorais externos da sociedade civil local e organizações internacionais. Você está falando de 200.000 pessoas [que] estão envolvidas na eleição. T sei como você pode criar uma conspiração entre 200.000 pessoas.”

A prova simples

Conforme as versões digitais não oficiais das contagens de votos chegam, um hash, ou “Impressão Digital”, como Cordón coloca em Immutable Democracy, é gerado para elas. O hash é então salvo por meio do OpenTimestamps, que registra os dados no blockchain do Bitcoin .

Através doGT site, qualquer um pode auditar os Documentos Número 4. No portal, eles podem clicar em um botão cujo texto traduzido diz “Verificar Hash” e ser levado ao site da Simple Proof, onde podem encontrar o hash e o bloco de Bitcoin que contém o documento, bem como a hora exata em que o documento foi recebido.

Documentar o momento exato da verificação é importante porque os votos são contados e carregados em tempo real, e uma folha de contagem de votos que é carregada muito depois que os votos foram contados tem mais chances de ser fraudulenta.

Invalidação dos resultados das eleições

O vencedor inesperado das eleições presidenciais guatemaltecas de 2023 foi Bernardo Arévalo, um candidato progressista que concorreu com umaplataforma anticorrupção. Pouco depois de o TSE declarar a vitória de Arévalo, sua rival, Sandra Torres, entrou com ações judiciais para tentar anular a eleição, alegando fraude na contagem dos votos, segundoTempo.

O partido de Torres, UNE, reivindicou X que alguns votos foram carregados antes do fechamento dos centros de votação. Isso T era verdade, no entanto. A captura de tela da contagem publicada no X foi tirada em um fuso horário com uma diferença de uma hora em relação ao horário em que o centro de votação em questão estava localizado. La Hora, um dos maiores veículos de notícias online da Guatemala, relatadoque a alegação da UNE era falsa, citando informações do portal Simple Proof como evidência.

Em meio ao protesto de Torres e seu partido, a UNE, contra a eleição, agentes da Procuradoria-Geral da República invadiram as dependências do TSE, abriram urnas e fotografaram seu conteúdo, segundo informaçõesPA-AP. E duas semanas depois disso, um agente do Ministério Público Nacional apreendeu uma caixa de documentos eleitorais, incluindo os Documentos Número 4, cuja filmagem é apresentada em Immutable Democracy.

A última resistência da democracia

Como mencionado, Cordón não previu o que aconteceu após a eleição presidencial. Ele ficou tão surpreso quanto qualquer outra pessoa ao Aprenda o quão frágil era a democracia de seu país. Ao contar a história, ele parece mais perturbado pelo que aconteceu do que feliz que a Simple Proof desempenhou um papel na proteção de informações da eleição.

“Eu nunca pensei que essa seria a última resistência da democracia porque os documentos foram levados embora”, diz Cordón. “Eles poderiam ter simplesmente editado [os documentos] e dito, 'Ei, você cometeu fraude. Nós encontramos o documento real [e] não é o que você carregou no sistema TREP.' Eu T acho que essas pessoas entenderam o que a [Prova Simples] quis dizer quando eles violentamente pegaram os documentos. Eles só perceberam depois que não havia nada que pudessem fazer em termos de alterar os documentos.”

Outros governos usarão o Simple Proof?

Cordón e sua equipe estão falando com diferentes governos interessados ​​em usar o Simple Proof para verificar informações eleitorais. No entanto, ele alerta que implementar o Simple Proof T é uma panaceia.

“Quero que isso seja usado da maneira correta. T quero fazer blockchainwash de algo que não foi feito corretamente”, diz Cordón. “Se um líder autoritário quiser usar o Simple Proof, T quero fazer parte disso.”

Além disso, atores políticos ainda podem usar IA ou desinformação para distorcer o que as pessoas veem na mídia ou por meio de outras lentes digitais, o que pode afetar a forma como as pessoas votam.

“À medida que consumimos mais informações por meios digitais, como sabemos o que é e o que T é verdade?”, diz Cordón. “Precisamos criar ferramentas para proteger as pessoas, para nos proteger, para proteger a verdade. O Simple Proof é uma solução que achamos útil, mas espero que mais pessoas se envolvam na solução desse enorme problema.”