Badge do DEF CON traz chip aberto Baochip-1x que também é chave de segurança

O chip Baochip-1x no badge da DEF CON

O badge da DEF CON deste ano, criado pelo hacker de hardware Andrew "bunnie" Huang, inclui um chip open source chamado Baochip-1x, desenvolvido ao longo de três anos. O módulo central do badge é removível e funciona como um token de segurança de hardware independente após o evento - podendo atuar como chave FIDO, gerador de senhas de uso único (TOTP) e gerenciador de senhas.

Transparência verificável até o silício

O diferencial do Baochip-1x é a possibilidade de inspeção física do silício. Diferentemente de chips convencionais encapsulados em plástico opaco, o Baochip permite que luz infravermelha atravesse o verso do die, revelando estruturas internas como arrays de RAM. Pesquisadores podem comparar o que veem com o design publicado no GitHub (código do SO, firmware, core do processador, engines criptográficos e sistema de I/O). Huang afirma que é "provavelmente o primeiro token de segurança open source do mundo que pode ser inspecionado até o nível dos transistores".

Como foi fabricado

Huang conseguiu viabilizar a fabricação por meio de um acordo com a empresa Crossbar, que queria criar um chip seguro e open source. Ele "pegou carona" na corrida de fabricação da Crossbar, colocando seu CPU no mesmo wafer. O resultado é um chip que contém tanto o microprocessador da Crossbar (core ARM proprietário, desativado na versão de Huang) quanto o core RISC-V open source de Huang. Alguns elementos de design físico e do processo de fabricação TSMC de 22 nm permanecem proprietários.

Especificações e segurança

O chip roda um sistema operacional escrito em Rust, com secure boot, gerador de números aleatórios verdadeiro e recursos de hardening contra ataques. Usa RRAM (memória resistiva não volátil) em vez de flash, dificultando a extração física de dados. O processador é um RISC-V de 350 MHz com 2 MB de SRAM e 4 MB de RRAM, além de 4 cores PicoRV32 a 700 MHz para I/O. Já roda MicroPython e tem kits de desenvolvimento em C e Rust; Huang diz que está "no limite de conseguir rodar Linux".

Huang estima que o chip resiste a ataques com dezenas de milhares de dólares em recursos, mas um adversário com milhões e um laboratório sofisticado provavelmente o derrotaria. Ele espera que os participantes da DEF CON encontrem vulnerabilidades e ajudem a melhorar o design.

Vida além da conferência

O módulo removível inclui uma câmera de baixíssima resolução (apenas para ler QR codes, sem armazenamento de fotos). Os badges também mantêm a tradição de interação entre participantes: LEDs com padrões de cores diferentes por tipo de badge (participante, palestrante, goon, Uber badge) que evoluem quando badges se comunicam entre si. Os 27.000 badges da DEF CON representam a primeira distribuição em escala do Baochip-1x.