Componentes revistos no código
Criptografia dos boletins
Existe código ElGamal exponencial sobre Ristretto255, adição homomórfica e combinação por limiar. A sua presença não prova a segurança do percurso eleitoral completo.
SparkGlim SEVA · Pré-lançamento
Uma eleição precisa de mais do que um ecrã.
Explore o desenho SEVA revisto no código para eleições locais supervisionadas. Continua em pré-lançamento e ainda não é adequado a qualquer eleição.
Elegibilidade e credenciação
Separar responsabilidades. Validar o percurso completo.
Preenchimento e cifra do boletim
Encerrar, reconciliar e rever
A segurança depende da implementação completa, operações de confiança e evidência revista. Não se alega certificação nem auditoria independente.
As eleições formais têm outro modelo operacional.
Separar responsabilidades. Analisar ligações.
Explore o modelo previsto Master e Kiosk, os serviços locais, a separação dos dados e a verificação ainda incompleta.
Explorar SEVAProcura votação pública para prémios?
SparkGlim Awards & Digital Voting tem campanhas, nomeados e percurso de pagamento próprios. SEVA é avaliado separadamente para eleições institucionais supervisionadas.
SparkGlim Awards & Digital VotingUm propósito distinto
O SEVA aborda eleições controladas. Prémios públicos, votos pagos e angariação usam outros produtos SparkGlim.
Responsabilidades distintas
A arquitetura separa configuração, elegibilidade, voto, autoridades e revisão de evidência. Cada limite exige testes de integração.
Compreender o existente
Existem componentes criptográficos no código. A verificação de provas de artefactos e contagem continua incompleta; diagramas não garantem o conjunto.
Começar com uma conversa técnica
Só as equipas de Segurança e Técnica SparkGlim autorizam acesso operacional. Uma consulta não aprova implementação nem preparação eleitoral.
Segurança
Criptografia, com limites claros.
Conheça as primitivas de cifragem e de depositários implementadas no SEVA e a verificação necessária antes de uma eleição.
Registos que podem ser analisados.
Como a configuração selada, os registos encadeados, as assinaturas e os controlos de repetição sustentam a integridade prevista do SEVA.
Separar a identidade do boletim.
Analise a separação prevista entre identidade e boletim, as credenciais cegas, a conservação e os limites de privacidade do SEVA.
A segurança também está na sala.
Avalie os limites de dispositivos, operadores, transporte e recuperação antes de planear um ambiente eleitoral supervisionado.
Processo
Um ciclo eleitoral com decisões explícitas.
Preparar a eleição
Defina governação, locais, elegibilidade e evidência com as equipas autorizadas.
Atribuir funções e dispositivos
Separe administração, credenciação, quiosque, responsáveis e monitorização.
Rever o caderno elegível
Resolva elegibilidade, duplicados e exceções supervisionadas antes da participação.
Configurar e selar o boletim
Reveja disputas, candidatos, ordem e escolhas permitidas com a autoridade eleitoral.
Autorizar a abertura
A abertura é uma decisão supervisionada da autoridade após revisão, não um botão público.
Selecionar, rever, depositar ou auditar
O percurso previsto separa o boletim depositado do aberto para auditoria.
Monitorizar e gerir incidentes
Reveja participação e alertas operacionais; mantenha os totais por candidato fora da vista de votação.
Encerrar e reconciliar
Encerre a participação e reconcilie papel, dispositivos e operações segundo o procedimento da autoridade.
Rever artefactos de resultados autorizados
Os componentes de responsáveis e apuramento apoiam o processo após encerramento. A verificação independente completa permanece inacabada.
Preservar evidência e rever
Defina custódia, retenção, acesso de observadores e recuperação antes de qualquer implementação proposta.
Pré-lançamento
Uma visão fiel da aplicação.
O quiosque integra um desenho supervisionado. Código e imagens não demonstram uma aplicação publicada e pronta.
Instituições
Comece pelas responsabilidades da eleição.
Um cenário de avaliação, não uma implementação aprovada.
Eleições estudantis começam pela elegibilidade.
Avaliar representação estudantil com registos, revisão do boletim e participação supervisionada.
Uma eleição associativa exige governação responsável.
Preparar eleições sem confundir a organização com angariação ou votos de popularidade.
Uma eleição interna precisa de um mandato definido.
Avaliar eleições internas com autoridade, elegibilidade e responsabilidades de evidência claras.
Uma eleição institucional exige mais do que um ecrã.
Avaliar representação na educação com autoridade, operações controladas e acessibilidade.
Ser membro é elegibilidade, não uma sessão iniciada.
Avaliar eleições associativas com responsabilidade pelo registo e participação supervisionada.
Jurisdições diferentes. Um modelo local controlado.
Avaliar necessidades entre locais sem implicar voto remoto pela internet ou aprovação regulamentar.
Preparação atual
Evidência e limites
A revisão do código confirma a existência de um componente. Não demonstra garantia de segurança independente, testes de implementação concluídos ou autorização para realizar uma eleição.
Componentes revistos no código
Primitivas de prova e responsáveis
As provas Chaum–Pedersen, verificações primitivas da soma de seleções e componentes de geração distribuída de chaves têm testes no código. Não foram executados nesta auditoria do site.
Componentes revistos no código
Fronteiras de elegibilidade e credenciais
A emissão de credenciais cegas e o armazenamento de anuladores usados estão implementados. A identidade, reemissão e credenciação concorrente ainda exigem testes de integração.
Componentes revistos no código
Regras explícitas do ciclo
A máquina de estados restringe transições e impede saída de rede em Open e Paused. Sessões, cerimónias e controlos de rede devem ser validados em conjunto.
Componentes revistos no código
Registos separados e cadeias de auditoria
Permissões de base de dados por função e registos ligados por hash apoiam a separação de tarefas. Confiança no anfitrião, custódia, registos e recuperação continuam no modelo de ameaças.
Testes de integração necessários
Verificação independente dos resultados
O verificador de artefactos ainda não completa as verificações integradas das provas dos boletins e do apuramento. O seu resultado não constitui garantia eleitoral completa.
Testes de integração necessários
Identidade dos operadores e custódia das chaves
Existem adaptadores de autenticação, assinatura e chaves de hardware, mas a integração operacional está incompleta. Não se alega garantia universal FIDO2, custódia HSM não exportável ou biometria.
Testes de integração necessários
Ensaios de implementação e evidência
Bloqueio de hardware, impressão e custódia, recuperação, eleições simuladas integradas e revisão externa exigem evidência de aceitação. Manuais e módulos não são certificação.
Planeado ou em desenvolvimento
Distribuição Master e Kiosk
A direção de duas aplicações instaladas é proposta. O código ainda contém várias interfaces e executáveis; não está estabelecida uma distribuição publicada de duas aplicações.
Planeado ou em desenvolvimento
Tecnologias adicionais de boletim
O processamento por mistura e cenários ordenados ou de escrita livre permanecem adiados. Uma opção de compilação ou roteiro não demonstra um protocolo ou tipo de boletim suportado.
Pedir consulta
Definir o âmbito antes do compromisso
Apenas avaliação. Ainda não é adequado para qualquer eleição real. A implementação e operação exigem as equipas de Segurança e Técnicas autorizadas da SparkGlim.
O contexto do país orienta a consulta. Não demonstra aprovação jurisdicional, conformidade regulamentar ou disponibilidade do produto.