Agen AI sedang mengambil bukti keselamatan dari pembuatan manual ke penghasilan berjumlah besar. V12 dan Zellic mengatakan ini adalah bukti pertama yang diterbitkan yang merangkumi keseluruhan larian program x86, diperiksa pada kod mesin mentah yang dijalankan oleh CPU, seperti memeriksa jambatan yang telah dibina bukan hanya pelan rekaannya, dan program serupa kedua hanya mengambil 739 baris baru. Akan sangat bagus jika mendapat jaminan keselamatan yang boleh diperiksa mengenai program yang telah dikompilasi itu sendiri, dengan lebih sedikit lapisan yang dipercayai. Menggunakan semula bahagian paling sukar bermakna program serupa seterusnya memerlukan lebih sedikit usaha untuk disahkan, yang boleh menjadikan bukti keselamatan yang ketat praktikal dalam skala besar! Perlu diperhatikan bahawa ini adalah hasil mereka sendiri, dan mereka mengakui model x86 mereka masih dalam pembangunan dan belum diaudit oleh manusia, tetapi akan sangat menarik jika ini boleh diskalakan. https://t.co/CS5gv6j3uz