Em trânsito
Assinado e selado para uma placa
Criptografado com a chave própria da placa receptora, assinado pela loja e acompanhado de um tíquete de uso único. Viaja via USB a partir da página da Store ou via MQTTS, e o mesmo código na placa o abre.
Segurança
Como o BENTO mantém os modelos seguros.
O BENTO existe para levar AI aos dispositivos com segurança. Esta página mostra o que funciona hoje nas versões públicas, o que foi demonstrado em bancada e o que ainda está por vir.
Nossas regras para afirmações de segurança
Identificar a placa
Toda declaração de segurança diz a qual placa se aplica. Um recurso que funciona em uma placa de bancada não é descrito como já lançado.
Medir antes de publicar
Só publicamos um número depois de medi-lo, e dizemos onde e quando.
Minimizar o que circula
A inferência roda no dispositivo, e os Highlights guardam os resultados sem as gravações.
Construir sobre silício comprovado
Construímos sobre o Infineon PSOC™ Edge E84 e sua arquitetura de segurança, em vez de inventar nossas próprias raízes de confiança.
Hoje
Nas versões públicas, agora.
Estes itens estão no firmware e nos serviços que as pessoas usam hoje.
- Hoje
Inferência no dispositivo, offline: os modelos rodam na NPU da placa e não precisam de conexão com a nuvem.
- Hoje
O áudio só é gravado para treinamento com o consentimento de quem fala, dado na página. Os Highlights trazem resultados, não gravações.
- Hoje
As versões atuais do firmware trazem um registro de identidade e um manifesto, para que o instalador no navegador coloque a compilação certa em cada placa.
- Hoje
As placas são registradas ao proprietário pelo ID do chip na Edge AI Store, com liberação e transferência feitas na própria Store.
- Hoje
A Store, o Trainer e este site são servidos apenas por HTTPS; os pagamentos com cartão, quando abertos, são processados pela Stripe e nunca chegam aos nossos servidores.
- Hoje
Entrega selada e armazenamento criptografado de modelos no BENTO HMI Kit: cada pacote é criptografado com a chave própria daquela placa, com um tíquete de uso único, via USB ou MQTTS.
Como o BENTO entrega um modelo
Hoje
Seis etapas da loja até a placa.
Esta cadeia de entrega selada funciona hoje no BENTO HMI Kit. Cada etapa fecha uma forma de atacar um modelo.
- 1
A loja assina
Todo modelo traz a assinatura da loja, para que uma placa possa dizer de onde veio sua AI.
Um modelo alterado é detectado.
- 2
A placa emite um tíquete
A própria placa emite um tíquete de uso único.
Um pacote capturado não pode ser reenviado, porque seu tíquete já foi usado.
- 3
Selado para uma placa
O pacote é criptografado com a chave própria da placa receptora.
Um pacote copiado não abre em nenhuma outra placa.
- 4
USB ou MQTTS
O mesmo código na placa abre um pacote que chegue por qualquer uma das duas rotas.
Uma interceptação na transmissão obtém apenas texto cifrado.
- 5
O núcleo seguro abre
O pacote é aberto dentro do núcleo seguro da placa, onde fica a sua chave.
Objetivo: a chave nunca sai do núcleo seguro. Imagens de aplicação assinadas e o bloqueio do console, próximos itens do roteiro, vão completar isso.
- 6
Verificar antes de gravar
A assinatura da loja é verificada na placa antes de o modelo ser gravado.
Um modelo não assinado ou alterado não é gravado.
Criptografado e assinado com algoritmos padronizados e publicados. O projeto da selagem em si não é publicado.
Em repouso
Texto cifrado na placa
Armazenado na placa de forma criptografada, sob uma chave que pertence apenas àquele chip, de modo que um arquivo copiado não abre em nenhum outro lugar. Em uma leitura feita em um BENTO HMI Kit em 27 de setembro de 2026, o arquivo armazenado não continha nenhum dos 21.817 fragmentos do modelo.
Em uso
Descriptografado apenas dentro do chip
Descriptografado apenas na memória interna do chip para a NPU Ethos™-U55; um único byte alterado impede o carregamento do modelo.
HojeEm funcionamento no BENTO HMI Kit: implantações seladas via MQTTS desde 21 de setembro de 2026 e via USB a partir da Edge AI Store, com armazenamento criptografado, desde 27 de setembro de 2026. Secure boot e porta de depuração fechada são configurados em todo dispositivo BENTO que entregamos. Até que o bloqueio do console seja lançado, código executado pelo próprio console de uma placa ainda pode alcançar um modelo em execução.
Na entrega, e a seguir
Configurado em todo dispositivo que entregamos.
- Hoje
Secure boot: a imagem do núcleo seguro é verificada com nossa OEM key antes de iniciar, em todo dispositivo BENTO que entregamos.
- Hoje
O estado de ciclo de vida de produção, com a porta de depuração do detentor da chave fechada, em todo dispositivo que entregamos.
- Roteiro
A seguir: imagens de aplicação e do Cortex®-M55 assinadas, e um console bloqueado.
- Hoje
Modelos assinados e selados obrigatórios, em todo dispositivo que entregamos.
O silício
Infineon PSOC™ Edge E84.
O BENTO roda no PSOC™ Edge E84 da Infineon: um Arm® Cortex®-M55 com NPU Arm® Ethos™-U55, ao lado de um Arm® Cortex®-M33. As certificações de segurança pertencem ao silício da Infineon; o BENTO se apoia nelas e não as reivindica como próprias.
Relatar uma vulnerabilidade
Fale primeiro conosco.
Se você acredita ter encontrado um problema de segurança no BENTO, na Edge AI Store, no Edge AI Trainer ou neste site, informe-nos em privado antes de contar a qualquer outra pessoa.
- Descreva o que encontrou, como reproduzir e o que um invasor poderia fazer com isso.
- Não acesse, altere nem exclua dados que não sejam seus, e não execute testes que degradem o serviço para outras pessoas.
- Dê-nos um prazo razoável para corrigir antes de divulgar.
Confirmaremos o recebimento do seu relato, manteremos você informado e daremos o crédito, se desejar.