Compartilhe este artigo
BTC
$107,967.22
+
2.11%ETH
$2,438.63
+
0.08%USDT
$1.0005
-
0.00%XRP
$2.2046
-
0.34%BNB
$647.76
+
0.80%SOL
$144.60
+
0.56%USDC
$0.9998
+
0.00%TRX
$0.2731
-
0.38%DOGE
$0.1662
+
1.39%ADA
$0.5728
-
1.80%HYPE
$37.46
-
1.32%WBT
$48.03
+
0.19%BCH
$485.30
+
7.24%SUI
$2.7754
+
0.47%LINK
$13.24
-
0.77%LEO
$8.9922
+
0.08%XLM
$0.2431
-
1.81%AVAX
$17.76
-
1.59%TON
$2.8567
-
0.90%SHIB
$0.0₄1170
+
0.98%O sistema de 'criptografia Fiat' do MIT automatiza o processo de proteção de quase tudo
Os dias de criptografia manual acabaram, pois os pesquisadores do MIT criaram uma maneira de gerar algoritmos de segurança automaticamente.
Por Daniel Kuhn
Laboratório de Ciência da Computação e Inteligência Artificial (CSAIL) do MITprojetou um sistemapara executar algoritmos matemáticos complexos para proteger a comunicação online. "Fiat Cryptography", como o código é chamado, atualmente protege cerca de 90 por cento das comunicações do Google Chrome.
Os pesquisadores apresentaram seuspapel no Simpósio EEE sobre Segurança e Política de Privacidade em maio, embora a Tecnologia tenha sido originalmente teorizada e implantada nos laboratórios do MIT em 2018.
A História Continua abaixo
Não perca outra história.Inscreva-se na Newsletter Crypto Daybook Americas hoje. Ver Todas as NewslettersAo se inscrever, você receberá emails sobre os produtos da CoinDesk e concorda com os nossos termos de uso e política de privacidade.
A Criptografia Fiat foi projetada para gerar automaticamente — e verificar simultaneamente — algoritmos criptográficos otimizados para todas as plataformas de hardware, um processo que costumava ser feito manualmente.
Você ouviu direito: há apenas um ano, a criptografia de dados da Internet era obtida por um grupo de criptógrafos que escreviam e reescreviam algoritmos, avaliando manualmente várias técnicas matemáticas e arquiteturas de chips para otimizar o desempenho.
Além do problema óbvio de bugs introduzidos por humanos e algoritmos não ideais, com o tempo, a matemática ou a arquitetura do chip para os quais os algoritmos foram escritos se tornariam obsoletos, o que significa que a caneta teria que rabiscar o papel novamente.
Os pesquisadores buscaram uma solução primeiro na programação C e nas linguagens de montagem, e transferiram essas técnicas para sua biblioteca de códigos — uma lista de algoritmos de melhor desempenho para cada arquitetura.
Usando um compilador para converter linguagens de programação em código, os algoritmos são então automaticamente provados com Coq, um provador de teoremas matemáticos. Cada iteração é testada antes que a de melhor desempenho ONE selecionada para uma arquitetura de chip específica.
Durante o processo, os pesquisadores aproveitaram o conjunto de códigos escritos por Human já existentes e descobriram que o processo automatizado de geração de chaves e certificados para criptografia de dados corresponde ao desempenho do melhor código escrito à mão, mas é concluído muito mais rápido.
"É basicamente como pegar um processo que ocorre no cérebro Human e entendê-lo bem o suficiente para escrever um código que imite esse processo", disse Adam Chlipala, pesquisador do CSAIL que trabalhou no projeto, em uma entrevista ao MIT News.
A criptografia Fiat foi implantada pelo BoringSSL do Google, uma biblioteca criptográfica de código aberto usada pelo Google Chrome, aplicativos Android e outros programas.
Chlipala foi acompanhado pelos alunos de pós-graduação do CSAIL, Andres Erbsen, como primeiro autor, e Jade Philipoom e Jason Gross, como coautores, além de Robert Sloan, um aluno de pós-graduação em engenharia.
Os pesquisadores estão atualmente trabalhando em maneiras de fazer seu compilador rodar ainda mais rápido na busca por algoritmos otimizados.
Imagem via ShutterStock
Daniel Kuhn
Daniel Kuhn was a deputy managing editor for Consensus Magazine, where he helped produce monthly editorial packages and the opinion section. He also wrote a daily news rundown and a twice-weekly column for The Node newsletter. He first appeared in print in Financial Planning, a trade publication magazine. Before journalism, he studied philosophy as an undergrad, English literature in graduate school and business and economic reporting at an NYU professional program. You can connect with him on Twitter and Telegram @danielgkuhn or find him on Urbit as ~dorrys-lonreb.
Principais Histórias
