Pré-lançamento · conceção analisada no código
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.
A integridade exige um registo fiável e uma forma de o contestar. O SEVA contém controlos para o preservar; a verificação completa e as referências operacionais de confiança ainda precisam de ser estabelecidas.
Uma referência de configuração selada
A configuração tem um hash canónico e os controladores comparam os pedidos com o selo guardado. Isto pode identificar configurações antigas, mas não substitui testes de cada regra, transição e modelo de boletim autorizado no percurso completo.
Registos encadeados e de adição apenas
Os componentes de auditoria e publicação encadeiam entradas com SHA-256. A base rejeita alterações e eliminações normais dos boletins. Isto ajuda a detetar alterações relativamente a referências fiáveis; não impede toda a intervenção privilegiada nem cria um registo de consenso público.
Controlo de credenciais de utilização única
A transação regista um identificador de utilização derivado da credencial, único por eleição, antes de adicionar o boletim. Uma credencial já usada é rejeitada. São também necessários testes de elegibilidade, emissão concorrente, substituição de cartões e procedimentos da equipa antes de garantir um voto por pessoa.
Artefactos assinados e verificações independentes
Os componentes Ed25519 identificam artefactos assinados e verificam manifestos. Uma assinatura não demonstra que o apuramento está correto. Faltam verificações completas no verificador Go integrado; são necessárias publicação fiável, validação das provas e reconciliação 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.