Bitcoin Magazine
Análise da Trezor Safe 7: a carteira de hardware FOSS para autocustódia
Algumas carteiras de hardware buscam criar dispositivos isolados da rede que possam ser montados à mão pelos usuários finais ou adaptados a profissionais do setor, seguindo uma filosofia de software livre e de código aberto. Outras mantêm o código fechado e aspiram a se tornar a Apple ou a Macintosh das carteiras de hardware, liderando por meio de suas diretrizes de segurança para os usuários. A Trezor parece ter encontrado um meio-termo com a Safe 7.
O dispositivo transmite a sensação que você esperaria de um iPhone moderno: exterior metálico, tela ampla que se estende até as bordas do aparelho e resposta tátil claramente projetada para proporcionar satisfação ao usuário. A Safe 7 consegue dar a impressão — a experiência — de que o Bitcoin é algo real, algo físico, de uma forma que a maioria das outras carteiras não consegue.
A Trezor também navega muito bem pela divisão entre usuários de Bitcoin e de criptomoedas. Ela consegue isso oferecendo dois conjuntos diferentes de firmware e designs: a versão padrão compatível com várias moedas, disponível em preto e verde, e a versão somente para Bitcoin, na cor laranja. Os usuários podem alternar entre as versões quando quiserem, independentemente de qual comprarem. Mas os adeptos do Bitcoin que já sabem o que querem podem escolher a versão laranja e não precisarão fazer atualizações de firmware fora do caminho padrão. Ambos os tipos de usuários podem mudar para o outro tipo de firmware, se assim desejarem, independentemente da cor do dispositivo.
A escolha, no entanto, tem algumas consequências; muitas atualizações de firmware dizem respeito a moedas que não são Bitcoin. Como resultado, o firmware exclusivo para Bitcoin é mais enxuto; os artigos de suporte da Trezor explicam isso claramente: “Entre as vantagens adicionais de usar o firmware exclusivo para Bitcoin estão menos atualizações regulares (em comparação com o firmware Universal) e um risco menor de bugs ou problemas de segurança.”
As palavras mágicas
A primeira coisa que você vai notar, se já tiver alguma experiência com Bitcoin, mas nunca tiver usado uma Trezor, é o tamanho da lista de palavras. A Safe 7 usa 20 palavras para o backup da carteira, em vez de 12 ou 24, como a maioria das outras. Essa é uma escolha de design de segurança que a Trezor vem desenvolvendo há muitos anos.
O padrão de 20 palavras chamado SLIP-39 foi introduzido pela primeira vez pela Trezor em 2019, com o anúncio do recurso de backup Shamir. O Shamir permite que os usuários dividam as palavras-semente do backup da carteira em fragmentos, dos quais uma quantidade mínima pode ser usada para recriar a carteira Bitcoin, mas nenhum fragmento isolado é suficiente.
Considere, por exemplo, uma configuração Shamir de duas de três: os usuários anotam três listas de 20 palavras e as guardam em locais físicos separados: o banco, a casa e o escritório. Se um ladrão encontrar ou um incêndio ou uma inundação destruir qualquer uma delas, isso não representa uma perda catastrófica. Uma única parte não permite que ninguém acesse a carteira, e as outras duas permitem que o proprietário recupere o controle e transfira as moedas para uma nova configuração de carteira. Essa característica costuma ser chamada de «redundância» e também é obtida com carteiras com múltiplas assinaturas, embora envolva outras contrapartidas, como os custos de transação na blockchain. Os backups Shamir são baseados em um esquema criptográfico antigo e conhecido, chamado Compartilhamento de Segredo de Shamir, do qual a Trezor criou sua própria implementação.
As palavras extras, em comparação com o padrão mais popular de 12 palavras, não oferecem mais entropia aos usuários; a Trezor deixa claro que os usuários podem esperar os mesmos 128 bits de entropia que obtêm com sementes de 12 palavras. No entanto, segundo a Trezor, a lista de palavras usada no SLIP-39 foi cuidadosamente selecionada para evitar palavras confusas ou parecidas.
O SLIP-39 também permite algo que o BIP-39 não permite: a possibilidade de o expandir para o Shamir. Os utilizadores que inicialmente criam uma cópia de segurança de uma única seed com 20 palavras num dispositivo Trezor podem, mais tarde, criar um conjunto redundante de partes Shamir, como um esquema de três em cinco. Estas partes recriam a mesma carteira, o que significa que os utilizadores não precisam de fazer transações on-chain para transferir fundos. No entanto, devem considerar destruir a sua seed original de 20 palavras, uma vez que, por si só, também permite restaurar as carteiras em questão.
A Trezor disponibiliza uma FAQ completa que os utilizadores interessados podem consultar. O SLIP-39 é compatível com outras carteiras, como a Sparrow e a Electrum, embora a sua adoção seja muito inferior à do seu antecessor.
Experiência do utilizador de topo
O Safe 7 demonstra um profundo investimento em design e experiência do usuário, com uma série de recursos sutis, mas memoráveis. O mais icônico de todos, na minha experiência ao testar o dispositivo, foi a forma como ele responde a uma decisão importante de aprovação, como assinar uma transação ou alterar o código PIN de segurança. O usuário é solicitado a manter pressionado um botão digital na parte inferior da tela. O dispositivo começa a vibrar lentamente com um giroscópio interno, enquanto duas luzes verdes partem do botão e percorrem as bordas da tela. Quando as luzes chegam ao topo da tela e se encontram, o giroscópio acelera, produzindo um som mecânico e uma vibração cada vez mais intensos na sua mão. A experiência culmina com a moldura da tela totalmente iluminada e um pequeno LED verde acendendo na parte superior, confirmando a conclusão da ação. Toda a sequência acontece em um ou dois segundos, mas faz com que essa experiência, de resto bastante digital e abstrata, de movimentar bitcoin pareça bem real.
Em comparação com outros Trezors que testei, como o Model T e o clássico Trezor One, fica evidente o cuidado dedicado a tornar o uso de criptomoedas mais confortável. Os botões na tela, por exemplo, são muito maiores do que os do Model T, resolvendo os erros de digitação frequentes que podem ter consequências significativas, como ao inserir o PIN de segurança. Se um usuário inserir esse PIN incorretamente na maioria das carteiras de hardware, isso pode levar a consequências negativas, inclusive apagar a memória do dispositivo. Os botões digitais maiores, do tamanho de um dedo, aliviam esse estresse desnecessário. A carcaça de metal, sem dúvida, confere ao Safe 7 um ar de maturidade, deixando para trás o revestimento de plástico dos modelos mais antigos.
Um recurso curioso da interface é o “PIN de apagamento”: um código PIN especial que, quando inserido ao fazer login no dispositivo, apaga os dados do usuário. Esse recurso não é bem explicado na documentação pública da Trezor; sua função é mencionada, mas não seu propósito: que risco ou ameaça ele busca abordar? Em que situação seria útil? Os bitcoiners mais paranoicos já pediram recursos desse tipo como solução para cenários de baixa probabilidade, mas de grande impacto, como o infame “ataque da chave inglesa”, em que um ladrão força o usuário a abrir a carteira para roubar os fundos.
O problema com o PIN de apagamento do Trezor é que ele deixa bastante óbvio que você acabou de excluir o conteúdo da carteira, algo que provavelmente não agradaria a um invasor que usa força física nesse cenário. Pelo menos outra carteira de hardware implementou uma versão mais sofisticada desse recurso, que excluiria a carteira do usuário principal, mas abriria uma segunda carteira «isca», sem revelar o truque pela interface. Para quem é paranoico o bastante para pensar nisso, um PIN de apagamento mais avançado seria bem-vindo.
O Safe 7 também conta com conectividade Bluetooth e uma bateria interna que pode ser carregada por carregadores sem fio Qi2. O dispositivo pode ser usado com uma conexão USB-C e o Bluetooth desativado nas configurações. Esse modo de operação alternativo libera o usuário dos cabos — outra escolha de design sutil, mas poderosa, que reduz o estresse adicional durante a assinatura de uma transação. A natureza imutável e irreversível dos gastos com Bitcoin já faz com que cada decisão de assinatura tenha riscos elevados. Para usuários mais paranoicos, seria bom haver um interruptor físico para desligar a antena Bluetooth.
O princípio do isolamento
Nenhum modelo Trezor anterior ao Safe 7 vinha com bateria interna ou Bluetooth. Adicionar esse tipo de tecnologia ao dispositivo é uma decisão importante, que traz vantagens significativas ao atender às expectativas de um público consumidor mais amplo em relação a dispositivos modernos, mas também introduz alguns riscos potenciais.
Sabe-se que as baterias internas de muitos dispositivos deste tipo, desde carteiras de hardware a telemóveis, podem falhar com o tempo, dilatando-se e rompendo a caixa. Isto pode representar um perigo e destruir a memória ou impedir o acesso ao dispositivo. A Trezor aborda esta preocupação, explicando que escolheu baterias do tipo LiFePO₄, cuja «química é mais estável e segura do que a das baterias de iões de lítio comuns». Na sua documentação, afirma que «é extremamente improvável que dilatem».
Entretanto, integrar o Bluetooth significa acrescentar uma pilha de software e hardware amplamente fechada, que permite interagir com o dispositivo à distância, comprometendo os princípios de isolamento físico do armazenamento frio de bitcoin. Para resolver este problema, fabricantes de hardware como a Trezor tentam isolar a antena Bluetooth e utilizá-la apenas para enviar mensagens encriptadas de ponta a ponta. Para isso, a Trezor criou o Trezor Host Protocol, uma tecnologia que encripta os dados em trânsito até ao computador do utilizador e que também é utilizada através da ligação por cabo USB-C. A Trezor não confia dados não encriptados aos cabos USB nem à pilha Bluetooth.
Ainda assim, pode argumentar-se que esta ligação sem fios retira a Safe 7 da categoria de carteiras Bitcoin com isolamento físico ou de armazenamento frio, aproximando-a de uma carteira morna de alta segurança. Uma carteira quente, por sua vez, seria um computador ou servidor comum ligado à Internet e que guarda material de chaves privadas.
Visão geral do hardware e entropia
Se o hack da Coldcard nos ensinou alguma coisa, porém, é que o armazenamento a frio não significa nada sem uma boa entropia. A entropia deve ser uma entrada aleatória e imprevisível usada para criar um segredo em criptografia, como lançar dados 100 vezes e anotar os resultados. Os resultados dos dados são a entropia que passa por algoritmos criptográficos para gerar pares de chaves públicas e privadas, também conhecidos como palavras-semente.
A Trezor tem um artigo completo e detalhado sobre como gera e usa entropia para criar pares de chaves de carteira. No Safe 7, são usadas quatro fontes de entropia:
- A entropia do computador ou celular host.
- Um TRNG de hardware no microcontrolador STM32 — um dos chips de computador da Trezor.
- O elemento seguro Optiga, o segundo chip de computador no hardware da Trezor.
- O TROPIC01, seu mais recente chip de elemento seguro “auditável de forma independente”.
As quatro fontes independentes devem se combinar durante a geração da sua carteira. O firmware que gerencia essa lógica é de código aberto sob a licença GPL 3.
Atualmente, a Trezor não permite que o usuário forneça entropia própria durante a criação de uma carteira. Não é possível lançar dados, embora o usuário possa adicionar uma “frase secreta” ou “25ª palavra” às contas de pares de chaves já criados, o que cumpre uma função semelhante.
O CTO da Trezor, Tomas Susanka, explicou em uma conversa com Efrat Fenigson que a entropia gerada pelo usuário só importa se o código realmente a utilizar. Ele apontou que o bug da Coldcard não foi uma falha na entropia gerada pelo hardware, mas sim o fato de o firmware não ter usado essa entropia de alta qualidade em sua implementação de software, devido ao bug.
Danny Sanders, CCO da Trezor, concordou com essa ideia, embora tenha dito à Bitcoin Magazine que o tema da entropia adicionada pelo usuário já havia sido “muito discutido”, acrescentando que “não é uma recusa definitiva”. Em vez disso, a base de usuários mais ampla da Trezor, que, segundo Sanders, é “várias vezes maior” que a da Coldcard, “não pode ser obrigada a jogar dados”. Ele acrescentou que “eles já ficam mentalmente sobrecarregados só de anotar as palavras”, referindo-se ao backup da seed de 20 palavras. Embora os benefícios de segurança da entropia adicionada pelo usuário sejam marginais, isso só vale quando outras fontes de entropia da máquina são realmente usadas corretamente.
Fonte: BitcoinMagazine
