jadi, hmm, kami mengandalkan firmware yang tidak dapat kami periksa, kompiler yang tidak kami buat, LLM sumber tertutup, kantong berpemilik, pembaruan jarak jauh, dll. Masing-masing lapisan ini adalah target dan lebih banyak lagi yang akan bergabung di tahun/dekade mendatang. Di dunia yang kompleks ini (dan kerumitan ini adalah buatan kita sendiri!), bagaimana kita bahkan memverifikasi bahwa kita aman? Jika Anda bertanya kepada saya, verifikasi tidak pernah lebih kritis atau lebih mustahil.