Capítulo 1: Fundamentos da Criptografia RSA 4

Capítulo 2: Aritmética Modular e Propriedades 8

Capítulo 3: Números Primos e Teste de Primalidade 12

Capítulo 4: Algoritmo de Euclides e Inverso Modular 16

Capítulo 5: Geração de Chaves RSA 22

Capítulo 6: Teoremas Fundamentais da Criptografia RSA 28

Capítulo 7: Cifragem e Decifragem de Mensagens 34

Capítulo 8: Técnicas Avançadas e Segurança 40

Capítulo 9: Aplicações e Exercícios Resolvidos 46

Capítulo 10: Conclusão e Perspectivas 52

Referências Bibliográficas 54

A criptografia RSA representa uma das conquistas mais significativas da matemática aplicada moderna, estabelecendo os alicerces da segurança digital contemporânea através da aplicação elegante de conceitos fundamentais da teoria dos números. Este sistema criptográfico revolucionário, desenvolvido por Ronald Rivest, Adi Shamir e Leonard Adleman em 1977, fundamenta-se na dificuldade computacional de fatorar números inteiros de grande magnitude.

O conceito central da criptografia RSA reside na distinção entre operações matematicamente simples em uma direção e computacionalmente complexas na direção oposta. Enquanto a multiplicação de dois números primos grandes pode ser realizada eficientemente, a fatoração do produto resultante apresenta desafios computacionais que crescem exponencialmente com o tamanho dos números envolvidos.

No contexto educacional brasileiro, especialmente no ensino médio, o estudo da criptografia RSA proporciona aplicação concreta e motivadora dos conceitos de teoria dos números previstos na Base Nacional Comum Curricular. A abordagem sistemática deste sistema criptográfico desenvolve competências relacionadas ao raciocínio lógico-matemático, resolução de problemas e compreensão das aplicações práticas da matemática na sociedade digital.

O primeiro princípio fundamental da criptografia RSA baseia-se na assimetria das chaves criptográficas. Diferentemente dos sistemas simétricos tradicionais, onde a mesma chave serve para cifrar e decifrar, o RSA utiliza um par de chaves matematicamente relacionadas: uma pública, que pode ser amplamente divulgada, e outra privada, mantida em absoluto sigilo pelo proprietário.

O segundo princípio relaciona-se com a função matemática de mão única com alçapão. A operação de exponenciação modular constitui a base desta função, onde calcular m elevado a e módulo n é computacionalmente eficiente, mas determinar o expoente quando conhecemos apenas o resultado e a base representa problema de complexidade exponencial.

O terceiro princípio fundamental envolve a fundamentação matemática rigorosa em teoremas clássicos da teoria dos números. O Teorema de Euler e o Pequeno Teorema de Fermat proporcionam as bases teóricas que garantem a reversibilidade do processo criptográfico, assegurando que uma mensagem cifrada possa ser corretamente decifrada apenas pelo detentor da chave privada correspondente.

A arquitetura matemática do sistema RSA fundamenta-se em quatro componentes principais que trabalham em harmonia para proporcionar segurança criptográfica. O primeiro componente consiste na seleção de dois números primos distintos de magnitude suficiente para resistir aos ataques de fatoração contemporâneos.

O segundo componente envolve o cálculo do módulo n como produto dos primos selecionados e da função totiente de Euler φ(n), que quantifica os números menores que n e coprimos com ele. Esta função desempenha papel central na determinação dos expoentes de ciframento e deciframento.

O terceiro componente estabelece a seleção do expoente de ciframento e, que deve ser coprimo com φ(n) e frequentemente escolhido como número primo pequeno para otimizar a eficiência computacional. O quarto componente determina o expoente de deciframento d através da relação de congruência e × d ≡ 1 (mod φ(n)).

A fundamentação teórica da criptografia RSA baseia-se em teoremas fundamentais da teoria dos números, particularmente o Teorema de Euler, que estabelece que para quaisquer inteiros a e n coprimos, tem-se a elevado a φ(n) ≡ 1 (mod n). Esta propriedade garante a existência de inversos multiplicativos modulares, essenciais para o funcionamento do sistema.

A demonstração deste teorema utiliza o fato de que e × d = 1 + k × φ(n) para algum inteiro k. Aplicando o Teorema de Euler, obtemos m elevado a e×d = m elevado a 1+k×φ(n) = m × (m elevado a φ(n)) elevado a k ≡ m × 1 elevado a k ≡ m (mod n), estabelecendo a correção do processo de cifragem e decifragem.

A aritmética modular constitui a linguagem matemática fundamental para compreensão e implementação da criptografia RSA. Este sistema aritmético, desenvolvido sistematicamente por Carl Friedrich Gauss, proporciona ferramentas elegantes para trabalhar com relações de congruência e propriedades de divisibilidade que são essenciais para a segurança criptográfica.

O conceito de congruência modular estabelece que dois inteiros a e b são congruentes módulo n se e somente se n divide a diferença a - b. Esta relação, denotada a ≡ b (mod n), define classes de equivalência que particionam o conjunto dos inteiros em n classes distintas, cada uma caracterizada pelo resto da divisão por n.

As propriedades fundamentais da aritmética modular incluem compatibilidade com adição, subtração e multiplicação. Se a ≡ b (mod n) e c ≡ d (mod n), então a + c ≡ b + d (mod n), a - c ≡ b - d (mod n), e a × c ≡ b × d (mod n). Estas propriedades garantem consistência nas operações aritméticas dentro do sistema modular.

A exponenciação modular representa operação fundamental na criptografia RSA, sendo utilizada tanto no processo de cifragem quanto de decifragem. O cálculo eficiente de a elevado a b módulo n para valores grandes de a, b e n requer algoritmos especializados que evitem o cálculo direto da potência, que rapidamente se torna impraticável computacionalmente.

O algoritmo de exponenciação rápida, também conhecido como método de quadrados sucessivos, fundamenta-se na representação binária do expoente. Esta abordagem reduz a complexidade computacional de O(b) para O(log b), tornando viável o cálculo de exponenciações modulares com expoentes de centenas ou milhares de dígitos.

O princípio do algoritmo baseia-se na decomposição do expoente em potências de 2. Para calcular a elevado a b mod n, expressamos b em notação binária e aplicamos repetidamente a propriedade (a²) mod n = ((a mod n)²) mod n, acumulando os resultados correspondentes aos bits 1 na representação binária de b.

A função totiente de Euler, denotada φ(n), desempenha papel central na teoria dos números e constitui componente essencial do sistema RSA. Esta função conta a quantidade de inteiros positivos menores ou iguais a n que são coprimos com n, ou seja, que têm máximo divisor comum igual a 1 com n.

Para números primos p, a função totiente possui valor φ(p) = p - 1, pois todos os inteiros de 1 a p - 1 são coprimos com p. Esta propriedade fundamental deriva diretamente da definição de número primo e constitui base para o cálculo da função totiente para produtos de primos.

A propriedade multiplicativa da função totiente estabelece que se m e n são coprimos, então φ(m × n) = φ(m) × φ(n). Para o caso específico do RSA, onde n = p × q com p e q primos distintos, obtemos φ(n) = φ(p) × φ(q) = (p - 1)(q - 1), fórmula fundamental para geração das chaves criptográficas.

As congruências lineares da forma a × x ≡ b (mod n) constituem ferramentas fundamentais para determinação de chaves privadas no sistema RSA. A resolução dessas congruências requer compreensão dos conceitos de inverso multiplicativo modular e aplicação do algoritmo estendido de Euclides.

Uma congruência linear a × x ≡ b (mod n) possui solução se e somente se o máximo divisor comum de a e n divide b. Quando esta condição é satisfeita, a congruência possui exatamente mdc(a, n) soluções distintas módulo n. No contexto do RSA, trabalhamos tipicamente com casos onde a e n são coprimos, garantindo solução única.

O processo de resolução envolve encontrar o inverso multiplicativo de a módulo n, denotado a⁻¹, tal que a × a⁻¹ ≡ 1 (mod n). Uma vez determinado este inverso, a solução da congruência original é x ≡ a⁻¹ × b (mod n). Este procedimento é fundamental para calcular o expoente de deciframento d no sistema RSA.

Os números primos constituem os alicerces fundamentais da criptografia RSA, proporcionando a base matemática para a segurança do sistema através de suas propriedades únicas de indivisibilidade. Um número primo é definido como inteiro maior que 1 que possui exatamente dois divisores positivos: 1 e ele próprio. Esta aparente simplicidade conceitual esconde complexidades profundas que tornam os primos ferramentas poderosas para criptografia.

A distribuição dos números primos entre os inteiros apresenta padrões fascinantes estudados há milênios. O Teorema Fundamental da Aritmética estabelece que todo inteiro maior que 1 pode ser expresso de forma única como produto de potências de números primos, conferindo aos primos status de "átomos" da multiplicação inteira.

Para aplicações criptográficas, primos grandes (tipicamente com centenas de dígitos) são essenciais. O Teorema dos Números Primos, demonstrado independentemente por Hadamard e de la Vallée Poussin em 1896, estabelece que a densidade dos primos decresce logaritmicamente, garantindo abundância suficiente de primos grandes para aplicações práticas.

A determinação eficiente da primalidade de números grandes constitui desafio computacional fundamental para implementação prática do RSA. Métodos determinísticos tradicionais, como divisão por todos os números até a raiz quadrada, tornam-se impraticáveis para números com centenas de dígitos devido ao crescimento exponencial do tempo de execução.

O teste de primalidade de Miller-Rabin representa avanço significativo na detecção probabilística de números primos. Este algoritmo fundamenta-se em propriedades da exponenciação modular e no Pequeno Teorema de Fermat, proporcionando método eficiente que, embora probabilístico, oferece certeza prática suficiente para aplicações criptográficas.

O teste de Fermat, precursor histórico dos métodos modernos, baseia-se na observação de que se p é primo e a não é múltiplo de p, então a elevado a p-1 ≡ 1 (mod p). Embora este teste possua limitações (números de Carmichael), constitui introdução pedagógica valiosa aos conceitos de testes probabilísticos.

A geração segura de números primos para aplicações criptográficas requer atenção cuidadosa a diversos critérios de segurança além da mera primalidade. Primos utilizados no RSA devem satisfazer propriedades específicas que impedem ataques especializados e garantem robustez criptográfica a longo prazo.

O primeiro critério essencial é o tamanho mínimo dos primos. Para aplicações contemporâneas, primos de pelo menos 1024 bits cada são considerados seguros, com tendência crescente para 2048 bits ou mais. Esta expansão reflete o progresso contínuo da capacidade computacional e a necessidade de manter margem de segurança adequada.

Critérios adicionais incluem a diferença entre os primos (devem ser suficientemente distintos), propriedades de seus fatores p-1 e q-1 (para resistir a ataques específicos), e distribuição estatística adequada para evitar padrões previsíveis. O processo de geração típico envolve seleção aleatória seguida de testes rigorosos de primalidade e verificação de critérios de segurança.

A compreensão da distribuição dos números primos proporciona perspectiva essencial sobre a viabilidade prática da criptografia RSA. O Teorema dos Números Primos estabelece que a quantidade de primos menores ou iguais a x é aproximadamente x dividido por ln(x), indicando que primos tornam-se progressivamente mais raros à medida que os números crescem.

Esta distribuição logarítmica implica que, embora primos se tornem menos densos, sua abundância permanece suficiente para aplicações criptográficas. Por exemplo, entre números de 1024 bits, aproximadamente 1 em cada 700 números é primo, proporcionando espaço amplo para seleção de primos seguros.

Resultados mais refinados, como estimativas para lacunas entre primos consecutivos, informam estratégias práticas de busca. A Conjectura de Bertrand, demonstrada por Chebyshev, garante que para qualquer n > 1, existe pelo menos um primo entre n e 2n, proporcionando limite superior para busca de primos em intervalos específicos.

O algoritmo de Euclides representa uma das conquistas mais elegantes da matemática antiga, proporcionando método eficiente para determinar o máximo divisor comum de dois inteiros. Este algoritmo, descrito nos Elementos de Euclides cerca de 300 a.C., fundamenta-se no princípio de que o máximo divisor comum de dois números é igual ao máximo divisor comum do menor número e do resto da divisão do maior pelo menor.

A formulação moderna do algoritmo utiliza divisões sucessivas: para encontrar mdc(a, b) com a ≥ b, calculamos a = q₁b + r₁, depois b = q₂r₁ + r₂, e assim sucessivamente até obtermos resto zero. O último resto não-nulo é o máximo divisor comum procurado. Esta sequência de divisões sempre termina em número finito de passos.

A eficiência computacional do algoritmo de Euclides é notável, requerendo no máximo cinco vezes o número de dígitos do menor número para completar o cálculo. Esta propriedade torna o algoritmo viável mesmo para números de milhares de dígitos, essencial para aplicações criptográficas modernas.

O algoritmo estendido de Euclides amplia o método clássico para encontrar não apenas o máximo divisor comum de dois números, mas também os coeficientes da identidade de Bézout. Esta extensão determina inteiros x e y tais que ax + by = mdc(a, b), propriedade fundamental para cálculo de inversos multiplicativos modulares.

O processo estendido mantém registro dos coeficientes durante as divisões sucessivas, propagando as relações lineares através de substituições retroativas. Iniciando com os coeficientes triviais para a e b, o algoritmo atualiza sistematicamente os valores até expressar o máximo divisor comum como combinação linear dos números originais.

Para aplicações no RSA, o caso mais importante ocorre quando mdc(a, b) = 1, situação em que obtemos ax + by = 1. Reduzindo módulo b, encontramos ax ≡ 1 (mod b), estabelecendo que x é o inverso multiplicativo de a módulo b. Este cálculo é essencial para determinação da chave privada no sistema RSA.

O inverso multiplicativo modular constitui conceito central para funcionamento do sistema RSA, permitindo a reversibilidade das operações de cifragem através de propriedades algébricas fundamentais. Para inteiros a e n com mdc(a, n) = 1, o inverso multiplicativo de a módulo n é o único inteiro b no intervalo [1, n-1] tal que ab ≡ 1 (mod n).

A existência do inverso multiplicativo está garantida pelo teorema de que a congruência ax ≡ 1 (mod n) possui solução única módulo n se e somente se mdc(a, n) = 1. Esta condição é automaticamente satisfeita na geração de chaves RSA, onde trabalhamos com números primos e seus produtos, assegurando a coprimalidade necessária.

O cálculo prático do inverso utiliza o algoritmo estendido de Euclides para determinar os coeficientes da identidade de Bézout. Uma vez obtida a relação ax + ny = 1, o coeficiente x representa o inverso de a módulo n, possivelmente após redução ao intervalo apropriado. Este processo é fundamental para derivar a chave privada d a partir da chave pública e no RSA.

As propriedades algébricas dos inversos multiplicativos modulares proporcionam estrutura matemática rica que fundamenta a correção e eficiência do sistema RSA. O conjunto dos inteiros coprimos com n, denotado Z*ₙ, forma grupo abeliano sob multiplicação modular, onde cada elemento possui inverso único.

Propriedades fundamentais incluem unicidade do inverso: se ab ≡ 1 (mod n) e ac ≡ 1 (mod n), então b ≡ c (mod n). Esta propriedade garante que a chave privada d no RSA seja univocamente determinada pela chave pública e. Adicionalmente, o inverso do inverso é o elemento original: (a⁻¹)⁻¹ ≡ a (mod n).

A distributividade dos inversos sobre produtos estabelece que (ab)⁻¹ ≡ a⁻¹b⁻¹ (mod n), propriedade útil para cálculos eficientes com múltiplos fatores. Estas propriedades algébricas conferem ao sistema RSA robustez matemática e permitem otimizações computacionais importantes em implementações práticas.

A implementação computacional eficiente do algoritmo estendido de Euclides requer atenção cuidadosa a aspectos de precisão numérica, complexidade temporal e estabilidade algoritmica. Para números de grande magnitude utilizados no RSA, considerações de implementação tornam-se cruciais para viabilidade prática do sistema.

Algoritmos iterativos geralmente são preferidos sobre versões recursivas para evitar limitações de profundidade de pilha com números grandes. A versão iterativa mantém variáveis auxiliares para rastrear os coeficientes da combinação linear, atualizando-os sistematicamente a cada divisão sem necessidade de substituições retroativas complexas.

Otimizações importantes incluem detecção precoce de casos especiais (como quando um dos números é 1), uso de aritmética de precisão múltipla para números grandes, e técnicas de redução de divisões para minimizar operações custosas. Estas considerações são fundamentais para implementações criptográficas de qualidade industrial.

A geração segura de chaves RSA constitui processo sistemático que combina teoria matemática rigorosa com implementação computacional cuidadosa. Este procedimento fundamental determina a segurança de todo o sistema criptográfico, exigindo atenção meticulosa a cada etapa para garantir resistência contra ataques conhecidos e futuros.

O processo inicia com seleção de dois números primos grandes e distintos, p e q, seguida pelo cálculo do módulo n = pq e da função totiente φ(n) = (p-1)(q-1). A escolha do expoente público e deve satisfazer a condição de coprimalidade com φ(n), frequentemente sendo selecionado como primo pequeno para otimizar operações de cifragem.

A determinação do expoente privado d através da resolução da congruência ed ≡ 1 (mod φ(n)) completa a geração das chaves. A chave pública (n, e) pode ser divulgada amplamente, enquanto a chave privada (n, d) deve ser mantida em absoluto sigilo. Os primos p e q devem ser destruídos após o cálculo de φ(n) para prevenir comprometimento futuro.

A segurança das chaves RSA depende não apenas da dificuldade de fatoração, mas também de critérios específicos que previnem ataques especializados. Estes critérios evoluíram através de décadas de pesquisa criptanalítica e representam conhecimento consolidado da comunidade de segurança sobre vulnerabilidades potenciais do sistema.

Os primos p e q devem ter magnitude similar mas não idêntica, com diferença suficiente para prevenir ataques que exploram proximidade dos fatores. Adicionalmente, p-1 e q-1 devem possuir fatores primos grandes para resistir ao método de fatoração p-1 de Pollard e ataques similares que exploram estrutura específica destes valores.

O expoente público e deve ser escolhido cuidadosamente: valores muito pequenos (como e = 3) podem permitir ataques quando mensagens pequenas são cifradas, enquanto valores muito grandes reduzem eficiência computacional. A prática contemporânea favorece e = 65537 = 2¹⁶ + 1, que oferece boa combinação de segurança e eficiência.

A qualidade da aleatoriedade utilizada na geração de números primos determina fundamentalmente a segurança do sistema RSA. Geradores pseudoaleatórios convencionais, adequados para simulações e jogos, são completamente inadequados para aplicações criptográficas devido à previsibilidade de suas sequências e vulnerabilidade a ataques estatísticos.

Geradores criptograficamente seguros devem satisfazer critérios rigorosos de imprevisibilidade, incluindo resistência a predição tanto para frente quanto para trás na sequência. Estes geradores frequentemente utilizam fontes de entropia física, como ruído térmico, intervalos entre teclas digitadas, ou movimento do mouse, como sementes para algoritmos deterministicos seguros.

Testes estatísticos especializados, como a suíte NIST para aleatoriedade, verificam propriedades essenciais como distribuição uniforme, independência entre bits, e ausência de padrões detectáveis. A falha em qualquer destes testes pode indicar vulnerabilidades que comprometem a segurança das chaves geradas.

A validação rigorosa das chaves RSA geradas constitui etapa crucial que verifica tanto a correção matemática quanto a adequação dos critérios de segurança. Este processo multifacetado inclui verificações algébricas, testes de primalidade, e avaliação de vulnerabilidades específicas conhecidas.

Testes básicos incluem verificação de que ed ≡ 1 (mod φ(n)), confirmação da primalidade de p e q através de múltiplos testes independentes, e validação de que n = pq. Testes adicionais verificam propriedades como coprimalidade de e com φ(n) e magnitude apropriada de todos os parâmetros.

Testes de segurança específicos incluem verificação da diferença entre p e q, análise dos fatores de p-1 e q-1, e avaliação da resistência a ataques conhecidos como método de Wiener e ataques de baixo expoente. Implementações robustas também incluem testes de sanidade que cifram e decifram mensagens conhecidas para verificar funcionamento correto.

O gerenciamento seguro do ciclo de vida das chaves RSA estende-se muito além da geração inicial, abrangendo armazenamento seguro, distribuição controlada, uso apropriado, e destruição certificada. Cada fase apresenta desafios específicos que devem ser endereçados através de políticas e procedimentos rigorosos.

O armazenamento de chaves privadas requer proteções múltiplas contra acesso não autorizado, incluindo criptografia das próprias chaves com senhas fortes, uso de módulos de segurança de hardware quando apropriado, e controles de acesso baseados em autenticação multifator. A distribuição de chaves públicas deve incluir mecanismos de autenticação para prevenir ataques de substituição.

Políticas de renovação estabelecem ciclos de vida apropriados para as chaves, considerando fatores como evolução da capacidade computacional, criticidade dos dados protegidos, e regulamentações aplicáveis. A revogação e destruição segura das chaves ao final de sua vida útil requer procedimentos especializados que garantem irrecuperabilidade dos dados sensíveis.

O Teorema de Euler constitui alicerce fundamental da criptografia RSA, estabelecendo propriedades essenciais da exponenciação modular que garantem a reversibilidade do processo criptográfico. Este teorema, formulado por Leonhard Euler no século XVIII como generalização do Pequeno Teorema de Fermat, afirma que para quaisquer inteiros a e n coprimos, tem-se a elevado a φ(n) ≡ 1 (mod n).

A aplicação direta deste teorema no contexto RSA demonstra que para qualquer mensagem m coprima com n, temos m elevado a φ(n) ≡ 1 (mod n). Esta propriedade fundamental permite construir pares de expoentes e e d tais que ed ≡ 1 (mod φ(n)), garantindo que (m elevado a e) elevado a d ≡ m (mod n) para qualquer mensagem válida.

A demonstração do teorema utiliza propriedades do grupo multiplicativo Z*ₙ, onde φ(n) representa a ordem deste grupo. A aplicação repetida da operação de multiplicação por a, sendo a coprimo com n, gera ciclo que retorna ao elemento identidade após exatamente φ(n) passos, estabelecendo a congruência fundamental.

O Pequeno Teorema de Fermat representa caso especial do Teorema de Euler quando o módulo é número primo, estabelecendo que se p é primo e a não é múltiplo de p, então a elevado a p-1 ≡ 1 (mod p). Este resultado, descoberto por Pierre de Fermat no século XVII, constitui ferramenta fundamental para compreensão da estrutura multiplicativa módulo números primos.

Para números primos p, a função totiente assume valor φ(p) = p - 1, reduzindo o Teorema de Euler ao caso fermatiano. Esta especialização é particularmente relevante para aplicações do RSA com módulos que são produtos de dois primos, onde as propriedades individuais de cada primo contribuem para o comportamento global do sistema.

A aplicação prática do Pequeno Teorema de Fermat na criptografia RSA inclui otimizações computacionais baseadas no Teorema Chinês do Resto, onde cálculos módulo n = pq são decompostos em cálculos separados módulo p e módulo q, explorando as propriedades fermatianas de cada primo individual.

O Teorema Chinês do Resto proporciona método poderoso para resolver sistemas de congruências simultâneas, oferecendo otimizações significativas para operações RSA através da decomposição de cálculos módulo n = pq em cálculos separados módulo p e módulo q. Esta abordagem pode acelerar operações de decifragem em até quatro vezes comparado aos métodos diretos.

Para o sistema RSA, a decifragem de uma mensagem cifrada c pode ser calculada através de: mₚ = c elevado a dₚ (mod p) e mᵩ = c elevado a dᵩ (mod q), onde dₚ = d mod (p-1) e dᵩ = d mod (q-1). O resultado final é obtido combinando mₚ e mᵩ através da fórmula de reconstrução do teorema.

A implementação prática requer pré-cálculo de coeficientes auxiliares durante a geração das chaves, incluindo os expoentes reduzidos dₚ e dᵩ, e o coeficiente de combinação qᵢₙᵥ = q⁻¹ mod p. Estas otimizações são especialmente valiosas em aplicações que realizam grandes volumes de operações de decifragem.

O Teorema Fundamental da Correção do RSA estabelece rigorosamente que o processo de cifragem seguido de decifragem recupera exatamente a mensagem original, proporcionando fundamentação matemática completa para o funcionamento do sistema. Este resultado central unifica os teoremas precedentes em demonstração elegante da correção algorítmica.

A demonstração considera dois casos principais. Quando mdc(m, n) = 1, aplica-se diretamente o Teorema de Euler: como ed = 1 + kφ(n) para algum k, temos m elevado a ed = m × (m elevado a φ(n)) elevado a k ≡ m × 1 elevado a k ≡ m (mod n). Quando m compartilha fator com n, a demonstração utiliza o Teorema Chinês do Resto para tratar separadamente os casos módulo p e módulo q.

Este teorema garante que mensagens são perfeitamente recuperáveis independentemente de suas propriedades aritméticas, estabelecendo a robustez matemática fundamental do sistema RSA. A universalidade deste resultado é crucial para aplicações práticas onde mensagens podem ter estruturas arbitrárias.

A segurança do sistema RSA fundamenta-se na assimetria computacional entre operações diretas e inversas: enquanto a multiplicação de primos e exponenciação modular são computacionalmente eficientes, a fatoração de números grandes e o cálculo de logaritmos discretos apresentam complexidade exponencial com os melhores algoritmos conhecidos.

O problema da fatoração de inteiros, base da segurança RSA, não possui algoritmo conhecido que execute em tempo polinomial em computadores clássicos. Os melhores algoritmos atuais, como o General Number Field Sieve, possuem complexidade subexponencial mas ainda impraticável para números suficientemente grandes, requerendo recursos computacionais proibitivos.

Esta assimetria computacional permite que operações legítimas (cifragem e decifragem com as chaves apropriadas) sejam realizadas eficientemente, enquanto ataques de força bruta permanecem computacionalmente inviáveis. A evolução da capacidade computacional requer aumento correspondente do tamanho das chaves para manter níveis equivalentes de segurança.

As extensões teóricas do RSA exploram generalizações que mantêm as propriedades fundamentais de segurança enquanto oferecem funcionalidades adicionais ou melhor eficiência. Estas variações incluem sistemas baseados em módulos com mais de dois fatores primos, uso de grupos algébricos alternativos, e adaptações para computação em nuvem e ambientes distribuídos.

O RSA multi-primo utiliza produtos de três ou mais primos distintos, oferecendo vantagens computacionais através do Teorema Chinês do Resto generalizado, mas requerendo análise cuidadosa dos trade-offs de segurança. Sistemas baseados em curvas elípticas proporcionam segurança equivalente com chaves menores, embora utilizem estruturas matemáticas diferentes.

Extensões funcionais incluem esquemas de limiar que permitem decifragem colaborativa por múltiplas partes, assinaturas cegas que preservam privacidade, e protocolos de conhecimento zero que permitem verificação sem revelação de informações secretas. Estas extensões demonstram a versatilidade dos princípios matemáticos subjacentes ao RSA.

O processo de cifragem RSA transforma mensagens em texto claro em texto cifrado através da aplicação de exponenciação modular usando a chave pública do destinatário. Esta operação unidirecional garante que apenas o detentor da chave privada correspondente possa recuperar a mensagem original, estabelecendo canal seguro de comunicação entre partes que nunca precisaram trocar segredos previamente.

Para cifrar uma mensagem m usando chave pública (n, e), calcula-se c = m elevado a e mod n. A mensagem original deve satisfazer 0 ≤ m < n e, idealmente, deve ser coprima com n para garantir aplicabilidade dos teoremas fundamentais. Na prática, mensagens são frequentemente processadas em blocos de tamanho apropriado e submetidas a preenchimento criptográfico antes da cifragem.

A eficiência computacional da cifragem beneficia-se da escolha de expoentes públicos pequenos, como e = 65537, que minimizam o número de multiplicações modulares necessárias. Algoritmos de exponenciação rápida reduzem a complexidade de O(e) para O(log e), tornando a cifragem prática mesmo para chaves de grande magnitude.

A decifragem RSA constitui processo inverso da cifragem, utilizando a chave privada para recuperar a mensagem original a partir do texto cifrado. Esta operação, computacionalmente equivalente à cifragem em termos de complexidade, requer proteções adicionais devido à natureza sensível da chave privada e vulnerabilidades potenciais a ataques de canal lateral.

Para decifrar um texto cifrado c usando chave privada (n, d), calcula-se m = c elevado a d mod n. A correção desta operação é garantida pelos teoremas fundamentais discutidos anteriormente, especificamente pela relação ed ≡ 1 (mod φ(n)) que assegura (m elevado a e) elevado a d ≡ m (mod n) para qualquer mensagem válida.

Otimizações práticas incluem uso do Teorema Chinês do Resto para acelerar cálculos, implementação de contramedidas contra ataques de temporização, e validação de entrada para detectar tentativas de exploração de vulnerabilidades. A implementação segura da decifragem requer atenção cuidadosa a aspectos que vão além da correção matemática básica.

Os esquemas de preenchimento constituem componente essencial da segurança prática do RSA, transformando o algoritmo básico de "livro-texto" em sistema robusto contra diversos ataques. O RSA puro, aplicado diretamente a mensagens sem preenchimento, é vulnerável a ataques determinísticos, maleabilidade, e exploração de estruturas específicas das mensagens.

O padrão OAEP (Optimal Asymmetric Encryption Padding) representa estado da arte em preenchimento seguro, utilizando funções de hash e geração de aleatoriedade para transformar mensagens determinísticas em entradas pseudoaleatórias indistinguíveis. Este esquema proporciona segurança semântica e resistência contra ataques de oráculo de decifragem escolhido.

Implementações práticas devem utilizar esquemas padronizados como PKCS#1 v2.1 ou superiores, evitando esquemas obsoletos como PKCS#1 v1.5 que apresentam vulnerabilidades conhecidas. A escolha do esquema de preenchimento afeta fundamentalmente a segurança do sistema, sendo tão crítica quanto a geração adequada das chaves.

O RSA, sendo algoritmo de chave pública, apresenta limitações práticas para cifragem direta de mensagens grandes devido às restrições de tamanho impostas pelo módulo n e à menor eficiência computacional comparado a algoritmos simétricos. A prática padrão envolve uso híbrido onde RSA cifra chaves simétricas que, por sua vez, cifram os dados propriamente ditos.

Em esquemas híbridos, gera-se chave simétrica aleatória para cada sessão ou mensagem, cifra-se esta chave usando RSA, e cifra-se a mensagem usando algoritmo simétrico rápido como AES. O destinatário primeiro decifra a chave simétrica usando sua chave privada RSA, depois usa esta chave para decifrar a mensagem principal. Este approach combina segurança do RSA com eficiência dos algoritmos simétricos.

Alternativamente, mensagens podem ser divididas em blocos de tamanho adequado para processamento direto pelo RSA, embora esta abordagem seja menos eficiente e requeira cuidado especial com dependências entre blocos e proteção contra ataques que exploram estruturas repetitivas.

As assinaturas digitais RSA proporcionam mecanismo criptográfico para autenticação, integridade e não-repúdio de mensagens, utilizando a propriedade de reversibilidade das chaves pública e privada. Diferentemente da cifragem, onde a chave pública cifra e a privada decifra, nas assinaturas a chave privada "assina" e a chave pública "verifica".

Para assinar uma mensagem, calcula-se primeiro um hash criptográfico da mensagem usando função como SHA-256, depois aplica-se a chave privada ao hash: s = Hash(m) elevado a d mod n. A verificação envolve aplicar a chave pública à assinatura e comparar com o hash da mensagem: Hash(m) ?= s elevado a e mod n.

Esquemas de assinatura modernos utilizam preenchimento especializado como PSS (Probabilistic Signature Scheme) para proporcionar segurança demonstrável contra ataques sofisticados. A combinação de função de hash segura com preenchimento apropriado garante que assinaturas sejam únicas, não-forjáveis, e vinculem inequivocamente o signatário à mensagem específica.

A validação rigorosa de implementações RSA requer bateria abrangente de testes que verificam correção funcional, conformidade com padrões, resistência a ataques conhecidos, e comportamento adequado em condições adversas. Este processo multifacetado é essencial para garantir que implementações teóricamente corretas também sejam seguras na prática.

Testes funcionais básicos incluem verificação de que mensagens cifradas são corretamente decifradas, assinaturas válidas são aceitas e inválidas rejeitadas, e operações produzem resultados consistentes entre múltiplas execuções. Testes de conformidade verificam aderência a padrões como PKCS#1 e compatibilidade com implementações de referência.

Testes de segurança incluem resistência a ataques de temporização, proteção contra vazamento de informações através de canais laterais, comportamento adequado com entradas malformadas, e validação de que implementações não introduzem vulnerabilidades além das limitações teóricas conhecidas do algoritmo.

A análise sistemática de vulnerabilidades do RSA revela que, embora matematicamente sólido, o sistema pode ser comprometido através de ataques que exploram aspectos implementacionais, escolhas inadequadas de parâmetros, ou uso impróprio do algoritmo. Compreender estas vulnerabilidades é essencial para desenvolver contramedidas efetivas e utilizar o RSA com segurança apropriada.

Ataques matemáticos incluem métodos de fatoração como algoritmo de Pollard, método de Wiener para expoentes privados pequenos, e ataques de baixo expoente público quando mensagens são cifradas com expoente pequeno para múltiplos destinatários. Estes ataques motivam critérios específicos na geração de chaves e escolha de parâmetros.

Ataques implementacionais exploram vazamentos de informação através de canais laterais como temporização de operações, consumo de energia, emissões eletromagnéticas, ou análise de falhas induzidas. Estes ataques podem revelar informações sobre chaves privadas mesmo quando o algoritmo é corretamente implementado do ponto de vista funcional.

As contramedidas de segurança para implementações RSA englobam técnicas algorítmicas, arquiteturais e procedimentais que mitigam vulnerabilidades conhecidas sem comprometer a eficiência ou funcionalidade do sistema. Estas proteções devem ser integradas desde as fases iniciais de design, pois retrofitting de segurança frequentemente é inadequado ou impraticável.

Contramedidas contra ataques de canal lateral incluem implementação de algoritmos de tempo constante que executam sempre o mesmo número de operações independentemente dos valores processados, uso de técnicas de mascaramento que obscurecem valores intermediários através de aleatoriedade, e implementação de arquiteturas resistentes que minimizam vazamentos físicos.

Proteções contra ataques de falha incluem verificação de integridade de cálculos através de redundância, detecção de condições anômalas de operação, e estratégias de recuperação segura que previnem exploração de estados corrompidos. Implementações críticas podem utilizar hardware especializado que proporciona proteções físicas adicionais.

As otimizações de performance para RSA equilibram eficiência computacional com requisitos de segurança, explorando propriedades matemáticas específicas e técnicas algorítmicas avançadas para minimizar tempo de execução e uso de recursos. Estas otimizações são especialmente críticas em aplicações de alto volume ou dispositivos com recursos limitados.

Técnicas de multiplicação rápida incluem algoritmos de Karatsuba e FFT para operações com números de milhares de dígitos, redução de Montgomery para aritmética modular eficiente, e janelamento deslizante para exponenciação que reduz o número médio de multiplicações necessárias. Estas técnicas podem acelerar operações RSA em ordens de magnitude.

Otimizações específicas do RSA incluem pré-computação de valores auxiliares durante geração de chaves, uso otimizado do Teorema Chinês do Resto com balanceamento de carga entre processamentos paralelos, e seleção inteligente de representações numéricas que minimizam operações custosas durante cálculos modulares.

A implantação de RSA em ambientes de larga escala apresenta desafios únicos relacionados ao gerenciamento massivo de chaves, distribuição segura de certificados, balanceamento de carga computacional, e manutenção de níveis consistentes de segurança através de infraestruturas heterogêneas. Estes desafios requerem arquiteturas especializadas e processos operacionais sofisticados.

Infraestruturas de chave pública (PKI) proporcionam framework para gerenciamento centralizado de chaves RSA, incluindo autoridades certificadoras hierárquicas, distribuição automatizada de certificados, verificação de status de revogação, e políticas de renovação coordenadas. Estas infraestruturas são fundamentais para aplicações como comércio eletrônico e comunicações governamentais.

Considerações de escalabilidade incluem particionamento de operações criptográficas entre múltiplos servidores, cache inteligente de chaves públicas frequentemente utilizadas, otimização de protocolos de comunicação para minimizar overhead criptográfico, e implementação de monitoramento contínuo para detectar anomalias de performance ou segurança.

A interoperabilidade entre implementações RSA de diferentes fornecedores e plataformas depende fundamentalmente da aderência a padrões internacionais bem estabelecidos e da compatibilidade cuidadosa entre formatos de dados, protocolos de comunicação, e políticas de segurança. Esta padronização permite que o RSA funcione como base universal para segurança digital.

Padrões fundamentais incluem PKCS#1 para formatos de chave e esquemas de cifragem/assinatura, X.509 para certificados digitais, TLS/SSL para comunicações seguras, e S/MIME para email criptografado. Cada padrão especifica detalhes precisos de codificação, processamento, e validação necessários para garantir interoperabilidade consistente.

Desafios de interoperabilidade incluem diferenças em interpretação de padrões, variações em implementação de algoritmos auxiliares, incompatibilidades em políticas de validação, e evolução desigual de capacidades entre diferentes sistemas. Testes de conformidade rigorosos e certificação por organizações independentes ajudam a mitigar estes problemas.

A ameaça futura de computadores quânticos de larga escala motivou desenvolvimento intensivo de algoritmos criptográficos resistentes a ataques quânticos, iniciando processo gradual de transição que eventualmente substituirá o RSA em aplicações críticas. Esta transição representa um dos maiores desafios da criptografia contemporânea, requerendo coordenação global e planejamento cuidadoso.

Algoritmos pós-quânticos candidatos incluem sistemas baseados em reticulados (lattice-based), códigos corretores de erro, funções de hash, sistemas multivariados, e isogenias de curvas elípticas. Cada abordagem oferece trade-offs diferentes em termos de tamanho de chave, eficiência computacional, e nível de confiança na segurança a longo prazo.

Estratégias de transição incluem hibridização onde sistemas clássicos e pós-quânticos operam simultaneamente, criptografia ágil que permite atualização flexível de algoritmos, e desenvolvimento de infraestruturas que suportam múltiplos sistemas criptográficos concorrentemente. O planejamento antecipado é essencial devido ao longo ciclo de vida de sistemas criptográficos.

Esta seção apresenta aplicação sistemática dos conceitos de teoria dos números subjacentes ao RSA através de problemas típicos do ensino médio brasileiro, demonstrando como conceitos aparentemente abstratos possuem aplicações práticas concretas em tecnologias cotidianas. O objetivo é estabelecer conexões claras entre matemática teórica e aplicações tecnológicas contemporâneas.

Problemas envolvendo aritmética modular, função totiente de Euler, e algoritmo de Euclides aparecem frequentemente em olimpíadas matemáticas e vestibulares, proporcionando contexto natural para introduzir conceitos criptográficos. A capacidade de resolver estes problemas desenvolve intuição matemática essencial para compreensão profunda dos fundamentos do RSA.

Exercícios progressivos começam com cálculos básicos de congruências e avançam gradualmente para problemas que requerem síntese de múltiplos conceitos, espelhando a complexidade crescente encontrada em aplicações reais de criptografia. Esta progressão pedagógica facilita assimilação gradual de conceitos desafiadores.

Esta seção apresenta sequência estruturada de exercícios que progridem sistematicamente desde operações básicas de aritmética modular até implementação completa de sistemas RSA simplificados. Cada problema é projetado para consolidar conceitos específicos enquanto prepara fundamentos para tópicos subsequentes.

Solução: Usar algoritmo estendido de Euclides

• 15 = 2 × 7 + 1, então 1 = 15 - 2 × 7

• Logo, (-2) × 7 ≡ 1 (mod 15), então 7⁻¹ ≡ -2 ≡ 13 (mod 15)

Solução: Testar com base a = 2

• 2⁹⁰ mod 91: 91 = 7 × 13, φ(91) = 6 × 12 = 72

• 2⁹⁰ = 2⁷² × 2¹⁸ ≡ 1 × 2¹⁸ (mod 91) se 91 fosse primo

• Mas 2⁹⁰ ≡ 64 (mod 91) ≠ 1, logo 91 é composto

Solução: Geração completa de chaves

• n = 11 × 13 = 143, φ(n) = 10 × 12 = 120

• Escolher e = 7 (coprimo com 120)

• 7d ≡ 1 (mod 120): d = 103

• Chaves: pública (143, 7), privada (143, 103)

A criptografia RSA exemplifica como conceitos matemáticos abstratos encontram aplicações transformadoras em múltiplas áreas do conhecimento, desde ciência da computação e engenharia até economia, direito e ciências sociais. Esta interdisciplinaridade demonstra a importância da matemática como linguagem universal para resolução de problemas complexos.

Exemplo: HTTPS utiliza RSA para estabelecer chaves simétricas seguras entre navegador e servidor, protegendo transações financeiras online. O processo envolve troca de certificados X.509 contendo chaves públicas RSA, verificação de assinaturas digitais, e estabelecimento de sessões criptografadas.

Exemplo: Sistemas de pagamento digital dependem de PKI baseada em RSA para autenticar identidades, garantir integridade de transações, e proporcionar não-repúdio. Bancos centrais e processadores de pagamento operam autoridades certificadoras que emitem certificados RSA para validar participantes do ecossistema financeiro.

Exemplo: Legislações como a MP 2.200-2/2001 no Brasil reconhecem assinaturas digitais baseadas em RSA como equivalentes a assinaturas manuscritas para fins legais, habilitando contratos eletrônicos, certificação de documentos, e processos judiciais digitais.

Os projetos práticos proporcionam oportunidades para aplicar conhecimentos teóricos em implementações concretas, desenvolvendo competências de programação, debugging, e análise de performance enquanto consolidam compreensão dos algoritmos fundamentais. Estes projetos podem ser adaptados para diferentes níveis de complexidade conforme o background dos estudantes.

Objetivos: (1) Implementar geração de chaves com primos pequenos, (2) Criar funções de cifragem e decifragem, (3) Desenvolver interface para teste interativo, (4) Validar correção com casos de teste conhecidos, (5) Medir performance para diferentes tamanhos de chave.

Metodologia: Implementar versões deliberadamente vulneráveis do RSA (expoentes pequenos, geração de primos previsível, temporização não-constante) e desenvolver ataques correspondentes. Documentar vulnerabilidades encontradas e implementar contramedidas efetivas.

Escopo: Implementar múltiplas variações (exponenciação binária vs. janelamento, Montgomery vs. aritmética clássica, CRT vs. cálculo direto) e comparar performance, uso de memória, e resistência a ataques de canal lateral.

O domínio completo da criptografia RSA beneficia-se de recursos educacionais diversificados que complementam o estudo teórico com experiências práticas, visualizações interativas, e acesso a implementações de referência. Esta seção orienta estudantes sobre ferramentas disponíveis e como utilizá-las efetivamente.

• OpenSSL: Biblioteca padrão da indústria com utilitários de linha de comando para geração de chaves, cifragem, e teste de funcionalidades RSA.

• SageMath: Sistema de álgebra computacional com suporte nativo para teoria dos números, incluindo implementações eficientes de algoritmos de fatoração e testes de primalidade.

• Wolfram Alpha: Motor de computação que resolve problemas de aritmética modular, calcula funções totientes, e visualiza propriedades de números primos.

• CryptoClub: Ambiente interativo para experimentação com algoritmos criptográficos, incluindo demonstrações passo-a-passo do RSA.

• Crypto Interactive: Simuladores web que permitem explorar vulnerabilidades e contramedidas em tempo real.

• FIPS 186-4: Padrão oficial do NIST com especificações detalhadas para implementação segura.

• RFC 8017: Especificação técnica completa do PKCS#1 v2.2 com algoritmos e formatos padronizados.

A avaliação efetiva do aprendizado em criptografia RSA requer métodos que testem tanto compreensão conceitual quanto habilidades práticas de aplicação. Esta seção sugere abordagens pedagógicas que equilibram rigor matemático com relevância prática, proporcionando feedback construtivo para estudantes e educadores.

Básico: Compreensão de aritmética modular, cálculo de MDC e função totiente, execução manual de algoritmos com números pequenos.

Intermediário: Implementação de algoritmos fundamentais, análise de segurança básica, aplicação em problemas práticos simplificados.

Avançado: Otimização de implementações, análise de vulnerabilidades, design de sistemas seguros, investigação de extensões teóricas.

• Exercícios Graduados: Progressão sistemática desde cálculos básicos até implementação completa de sistemas RSA.

• Projetos Práticos: Desenvolvimento de implementações funcionais com documentação técnica e análise de performance.

• Estudos de Caso: Análise de vulnerabilidades históricas e desenvolvimento de contramedidas apropriadas.

• Apresentações: Comunicação de conceitos técnicos para audiências com diferentes níveis de conhecimento.

Este volume apresentou desenvolvimento sistemático e rigoroso da criptografia RSA, desde fundamentos matemáticos da teoria dos números até aplicações práticas em sistemas de segurança contemporâneos. A progressão cuidadosa desde aritmética modular básica até técnicas avançadas de implementação reflete a estrutura natural do conhecimento matemático e proporciona base sólida para estudos futuros em criptografia e segurança computacional.

Os conceitos fundamentais que permeiam todo o desenvolvimento incluem a elegância matemática dos números primos, a potência da exponenciação modular, e a assimetria computacional que torna possível a criptografia de chave pública. Estes princípios universais transcendem o contexto específico do RSA, proporcionando fundamentos para compreensão de sistemas criptográficos mais amplos.

A integração de rigor teórico com aplicações práticas reflete a convicção de que matemática profunda e matemática útil são aspectos complementares do empreendimento científico. Esta perspectiva é especialmente relevante no contexto educacional brasileiro, onde a preparação para aplicações tecnológicas deve ser balanceada com desenvolvimento de compreensão conceitual duradoura alinhada com a BNCC.

O domínio dos fundamentos da criptografia RSA proporciona base excepcional para progressão em múltiplas direções de estudo e pesquisa. Esta seção delineia algumas dessas possibilidades, orientando estudantes sobre como os conceitos desenvolvidos neste volume conectam-se com áreas avançadas da matemática, ciência da computação, e tecnologia.

Em Criptografia Avançada, o conhecimento de RSA facilita compreensão de sistemas de curvas elípticas, protocolos de acordo de chaves, esquemas de limiar, e criptografia homomórfica. A familiaridade com problemas de dificuldade computacional proporciona fundamentos para análise de novos sistemas criptográficos.

Em Teoria dos Números Computacional, algoritmos de fatoração, testes de primalidade, e computação de estruturas algébricas representam extensões naturais dos conceitos fundamentais. Áreas como teoria analítica dos números e álgebra computacional oferecem ferramentas poderosas para problemas relacionados.

Em Segurança de Sistemas, princípios de design seguro, análise de protocolos, e arquiteturas de segurança aplicam conceitos criptográficos em contextos mais amplos. A compreensão de primitivas criptográficas facilita design e análise de sistemas complexos de segurança.

Bibliografia Fundamental

BRASIL. Ministério da Educação. Base Nacional Comum Curricular: Ensino Médio. Brasília: MEC, 2018.

COUTINHO, Severino Collier. Números Inteiros e Criptografia RSA. 2ª ed. Rio de Janeiro: IMPA, 2014.

HOFFSTEIN, Jeffrey; PIPHER, Jill; SILVERMAN, Joseph H. An Introduction to Mathematical Cryptography. 2ª ed. New York: Springer, 2014.

KOBLITZ, Neal. A Course in Number Theory and Cryptography. 2ª ed. New York: Springer, 1994.

MENEZES, Alfred J.; OORSCHOT, Paul C. van; VANSTONE, Scott A. Handbook of Applied Cryptography. Boca Raton: CRC Press, 1996.

RIVEST, Ronald L.; SHAMIR, Adi; ADLEMAN, Leonard. A Method for Obtaining Digital Signatures and Public-Key Cryptosystems. Communications of the ACM, v. 21, n. 2, p. 120-126, 1978.

STINSON, Douglas R.; PATERSON, Maura. Cryptography: Theory and Practice. 4ª ed. Boca Raton: CRC Press, 2018.

Bibliografia Complementar

APOSTOL, Tom M. Introduction to Analytic Number Theory. New York: Springer, 1976.

COHEN, Henri. A Course in Computational Algebraic Number Theory. Berlin: Springer, 1993.

HEFEZ, Abramo. Aritmética. Rio de Janeiro: SBM, 2016.

MARTINEZ, Fabio Brochero et al. Teoria dos Números: Um Passeio com Primos e Outros Números Familiares pelo Mundo Inteiro. 3ª ed. Rio de Janeiro: IMPA, 2017.

SHOUP, Victor. A Computational Introduction to Number Theory and Algebra. 2ª ed. Cambridge: Cambridge University Press, 2009.

Padrões e Especificações Técnicas

IEEE Std 1363-2000. IEEE Standard Specifications for Public-Key Cryptography. New York: IEEE, 2000.

NIST FIPS 186-4. Digital Signature Standard (DSS). Gaithersburg: NIST, 2013.

RFC 8017. PKCS #1: RSA Cryptography Specifications Version 2.2. IETF, 2016.

Recursos Eletrônicos

CRYPTO++. Crypto++ Library. Disponível em: https://www.cryptopp.com. Acesso em: jan. 2025.

OWASP. Cryptographic Storage Cheat Sheet. Disponível em: https://owasp.org/www-project-cheat-sheets. Acesso em: jan. 2025.

SAGE MATHEMATICS. SageMath. Disponível em: https://www.sagemath.org. Acesso em: jan. 2025.