Pré-lançamento · conceção analisada no código
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.
O SEVA inclui componentes para boletins cifrados e apuramento controlado por depositários. Uma primitiva funcional é apenas uma parte: protocolo, dispositivos e artefactos publicados ainda exigem validação independente.
Escolhas cifradas
O código implementa ElGamal exponencial sobre Ristretto255. Cada criptograma contém dois pontos da curva; pontos e escalares usam codificações de 32 bytes. Cada escolha usa aleatoriedade criptográfica nova. Esse tamanho não representa uma garantia de segurança de 256 bits.
Provas sobre a estrutura do boletim
As primitivas Chaum–Pedersen verificam escolhas binárias e uma soma declarada. A transcrição Fiat–Shamir usa SHA-512 com separação de domínios. Associar estas verificações à disputa selada correta e aos seus limites requer integração adicional.
Um limiar de depositários
Os componentes de chaves distribuídas geram parcelas polinomiais, verificam compromissos e analisam reclamações. A decifragem combina contribuições por interpolação de Lagrange. O limiar é configurável; três em cinco é um exemplo de teste, não uma regra universal nem prova de custódia física.
Agregação antes da decifragem
A adição homomórfica pode combinar totais cifrados antes de recuperar os valores. O código inclui recuperação limitada e combinação dos depositários. Ainda são necessárias validação de provas, integração das cerimónias e simulações representativas para um apuramento público verificado de forma independente.
O que falta à verificação independente
O verificador separado em Go ainda não verifica completamente as provas e o apuramento. Continuam pendentes a revisão criptográfica externa, vetores comuns Rust/Go e um percurso eleitoral integralmente ensaiado. Mixnet, voto ordenado e candidaturas escritas não são capacidades disponibilizadas.
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.
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.