O que é Elliptic Curve Discrete Logarithm Problem (ECDLP)?
O Elliptic Curve Discrete Logarithm Problem (ECDLP) é a tarefa de encontrar um número secreto k quando se conhecem apenas dois pontos numa curva elíptica, G e P, onde P é igual a k multiplicado por G. Ir de k para P é fácil e rápido, mas voltar de P para k é como tentar desmanchar um batido. Sabe bem, difícil de inverter.
Uma opinião comum é que o Elliptic Curve Discrete Logarithm Problem (ECDLP) é igual ao clássico problema do logaritmo discreto, por isso qualquer atalho o resolve. Nem por isso: as curvas introduzem particularidades, e nenhum ataque subexponencial é conhecido para este caso em criptografia.
Como funciona o Elliptic Curve Discrete Logarithm Problem (ECDLP)
Segue o processo que realmente usa quando cria um par de chaves ou verifica uma transação numa curva.
- Passo 1: Escolhe um número secreto k e um ponto base público G numa curva segura.
- Passo 2: Calcula P igual a k vezes G usando adição de pontos repetida. Pense em G como um salto e em P como o lugar onde aterras depois de k saltos.
- Passo 3: Todos podem ver G e P. O desafio é recuperar k a partir deles. Esse desafio é o problema difícil.
- Passo 4: Os ataques conhecidos escalam com a raiz quadrada do tamanho do grupo, o que continua sendo astronomicamente lento para curvas reais.
- Passo 5: Esta via de sentido único é o que dá força à criptografia de curva elíptica (ECC) com chaves curtas.
Versão curta: fácil na frente, brutalmente difícil no retorno.
Porque o Elliptic Curve Discrete Logarithm Problem (ECDLP) importa
Porque deve interessar-se? Porque isto afecta mais as suas moedas e os seus logins do que imagina.
- Benefício: Permite que blockchains usem chaves mais curtas para a mesma segurança, o que poupa bytes e acelera a verificação.
- Perspectiva: Bitcoin, Ethereum e muitas carteiras dependem de assinaturas digitais que se baseiam nesta dificuldade para manter os fundos protegidos.
- Relevância: Encontra-o sempre que um nó verifica uma transação, uma dapp valida uma mensagem ou uma carteira multisig assina.
Proteja a sua aleatoriedade e nunca reutilize nonces de assinatura, e trate as suas chaves criptográficas como joias da coroa. Aleatoriedade descuidada pode vazar k sem que alguém resolva o problema difícil.
Características principais do Elliptic Curve Discrete Logarithm Problem (ECDLP)
O que o distingue, à primeira vista:
- Difícil: Dado G e P, encontrar k é computacionalmente brutal para curvas e tamanhos padrão.
- Compacto: Segurança forte com tamanhos de chave mais curtos que RSA, o que mantém blocos e mensagens leves.
- Quântico: Um grande computador quântico a correr o algoritmo de Shor poderia quebrá-lo, por isso o trabalho pós-quântico está activo.
Variações
O problema aparece em diferentes famílias de curvas. Mesma ideia, diferentes nuances matemáticas.
- Primas: Curvas sobre campos primos são comuns no Bitcoin e no Ethereum.
- Binárias: Curvas sobre campos binários aparecem em alguns protocolos e em cenários centrados em hardware.
- Edwards: Curvas do tipo Edwards oferecem aritmética rápida e segura e fórmulas limpas.
- Koblitz: Curvas especiais que permitem acelerações mas exigem escolhas de parâmetros cuidadosas.
A segurança vem de escolhas seguras de curvas e de implementações corretas. Comprometer uma configuração fraca não condena todas as curvas, e erros nos nonces de assinaturas podem vazar segredos mesmo que o problema difícil se mantenha difícil.
Exemplo
Quando uma carteira Bitcoin deriva uma chave pública ao multiplicar um número privado k pelo ponto base G da curva, pode partilhar a chave pública livremente porque recuperar k a partir dessa chave pública está fora do alcance computacional.
Curiosidade
Investigadores já resolveram desafios em curvas de brincar com grupos de cerca de cem bits, muitas vezes com grandes equipas e meses de computação, enquanto curvas populares como secp256k1 estão muito além dessa zona de conforto. Além disso, um salto quântico no futuro poderia virar a situação, por isso assinaturas pós-quânticas recebem grande atenção.
Resumo
Considere-o como matemática de sentido único que permite às cadeias confiar na matemática em vez de intermediários, Rolex encontra discussões do Reddit.
