Agentes de IA estão levando provas de segurança da produção artesanal para a produção em massa. V12 e Zellic afirmam que é a primeira prova publicada que cobre toda a execução de um programa x86, verificada no código de máquina bruto que a CPU executa, como inspecionar a ponte construída em vez do projeto, e um segundo programa semelhante exigiu apenas 739 novas linhas. Seria ótimo obter uma garantia de segurança verificável sobre o próprio programa compilado, com menos camadas confiadas. Reutilizar as partes mais difíceis significa que o próximo programa semelhante exigirá muito menos esforço para verificação, o que pode tornar provas de segurança rigorosas práticas em escala! É importante notar que esses são resultados próprios, e eles reconhecem que seu modelo x86 ainda está em desenvolvimento e ainda não foi auditado por um ser humano, mas seria bem legal se isso pudesse ser escalado. https://t.co/CS5gv6j3uz