A segurança no ecossistema Linux pode estar diante de uma grande transformação. Lennart Poettering, a mente por trás do polêmico systemd, anunciou sua saída da Microsoft para fundar a startup Amatable, com uma missão ambiciosa: tornar o Linux matematicamente verificável.

A proposta da Amatable é desenvolver uma tecnologia capaz de provar que um sistema operacional não foi adulterado, desde o momento do boot até cada segundo de sua execução contínua. A ideia é criar um selo criptográfico que garanta a integridade do sistema de ponta a ponta.

Se esse selo for violado em algum momento, a tecnologia permitirá identificar com precisão onde e quando a falha de segurança ocorreu. Este movimento surge em um cenário de crescentes ameaças à cadeia de suprimentos de software, onde garantir a confiabilidade dos sistemas se tornou um desafio cada vez maior.

Apesar da credibilidade da equipe, que conta com nomes ligados ao systemd e Kubernetes, a reputação de Poettering na comunidade open source levanta debates. Para entender todos os detalhes desta proposta, os desafios técnicos e as implicações para o futuro do Linux, assista ao vídeo completo.