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
Um modelo de segurança a analisar.
Leia componentes revistos com lacunas e trabalho previsto. O SEVA não tem garantia global de segurança ou preparação eleitoral.
Leia componentes revistos com lacunas e trabalho previsto. O SEVA não tem garantia global de segurança ou 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.
Separar criptografia e garantias
Existem implementações criptográficas. Provas de artefactos e verificação da contagem estão incompletas; a presença não garante integridade integral.
Avaliar privacidade em todo o fluxo
Separar identidade é um objetivo. Serviços, registos, tempos e dispositivos exigem revisão antes de afirmar impossibilidade de ligar voto e eleitor.
Examinar equipamento e operações
Não anuncie HSM, FIDO2, WORM físico nem isolamento universal completos com base em planos. A evidência real determina as afirmações.
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.