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.
Pré-lançamento · conceção analisada no código
A prontidão demonstra-se, não se promete por data.
Distinga componentes analisados, lacunas de integração e testes, e trabalho futuro do SEVA, sem datas de lançamento prometidas.
O SEVA está em pré-lançamento. Este plano distingue o que pode ser analisado, o que precisa de demonstração e o que está previsto. Nenhuma etapa autoriza uma eleição real nem substitui a aceitação institucional.
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.
Componentes analisados no código
O código analisado inclui primitivas de cifragem e prova, credenciais cegas, limiares, registos encadeados e controlos locais. Existem definições de testes unitários. Esta análise não os executou nem estabeleceu uma versão validada de forma independente; presença e funcionamento verificado são evidências diferentes.
Integração e testes ainda necessários
Complete verificação independente, identidade persistente e autorização de depositários. Demonstre regras seladas, emissão concorrente, recuperação e operações autenticadas. Depois ensaie com hardware real, reconciliação em papel e participantes supervisionados antes de solicitar aceitação independente.
O previsto não é capacidade disponibilizada
A direção proposta Master/Kiosk precisa de integração operacional coerente e aceitação. Mixnet, voto ordenado e candidaturas escritas continuam adiados; uma etiqueta não demonstra outro motor de curvas implementado. As novidades exigem revisão, vetores de teste e decisões explícitas de suporte.
Critérios de aceitação em aberto
Revisões externas de criptografia e segurança, ensaios representativos e aprovações operacionais são requisitos. Não se afirma certificação, auditoria independente concluída, instalação eleitoral ou data. Peça uma avaliação de requisitos e evidências; não representa aprovação eleitoral.
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.