Pré-lançamento · conceção analisada no código
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 privacidade depende de todo o ambiente eleitoral. O SEVA separa credenciação e boletins no seu modelo, mas metadados, dispositivos e acessos privilegiados continuam a fazer parte da avaliação de ameaças.
Elegibilidade e credenciação
Operações autorizadas do caderno e exceções supervisionadas. Os dados de identidade pertencem a este lado da fronteira.
Separar responsabilidades. Validar o percurso completo.
Preenchimento e cifra do boletim
Um quiosque emparelhado apresenta as disputas configuradas. Os componentes criptográficos processam as escolhas; a garantia integrada continua em avaliação.
Encerrar, reconciliar e rever
Os controlos do ciclo, componentes dos responsáveis, reconciliação em papel e resultados têm funções distintas. O verificador independente está incompleto.
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.
Etapas distintas, dados distintos
A credenciação trata a elegibilidade; os boletins usam credenciais e escolhas cifradas. Permissões separadas limitam o acesso direto entre funções. Esta separação existe no código, mas não prova que nenhum componente, registo ou administrador possa correlacionar atividade.
Credenciais cegas de elegibilidade
Os componentes Schnorr cegos permitem emitir uma credencial sem mostrar ao emissor a sua forma final. Um identificador derivado controla a utilização. Proteger emissão, entrega de cartões e votação exige revisão e testes operacionais; a primitiva não garante anonimato universal.
Planear o ciclo de vida dos dados
A avaliação deve definir os dados de elegibilidade necessários, quem os consulta, a conservação e a eliminação. As permissões excluem caderno e boletins do canal restrito de cópia na nuvem. Confirme permissões, exportações e recuperação instaladas; não pressuponha limites iguais em todas as cópias.
Explicar os limites com clareza
Dispositivos comprometidos, correlação temporal, sistemas privilegiados, metadados e observação física exigem controlos explícitos. O fluxo de prova inclui uma soma de escolhas declarada. Não se garante resistência à coação, eliminação completa da memória ou impossibilidade universal de associação. Ensaie as explicações ao eleitor e os procedimentos em papel.
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.