Defcon 2024 rozetinde ilk büyük dağıtım: nedir ve neden önemlidir
27.000 Defcon 2024 katılımcısı, boynuna taktığı rozette üç yıllık donanım geliştirme sürecinin sonucunu taşıyor: Baochip-1x, Andrew Bunnie Huang'ın tasarladığı, büyük ölçüde açık kaynak bir mikrodenetleyici. Bu, çipin ilk ciddi dağıtımı—öncesinde yalnızca küçük geliştirme sürümlerinde kullanılmıştı. Rozet, Defcon kurucusu Jeff Moss'un istediği gibi konferanstan sonra da kullanılabilir bir donanım güvenlik tokenı olarak işlev görüyor: QR kod taraması, zamana dayalı tek kullanımlık şifre desteği, MicroPython tabanlı programlanabilirlik.
Baochip-1x'i alışılmış mikrodenetleyicilerden ayıran özellik, GitHub'da yayınlanan işletim sistemi, firmware, işlemci core, kriptografik motorları ve I/O sistem tasarımları. Huang'ın hedefi, silisyonun siyah kutu olmaktan çıkmasını sağlamak: infrared-şeffaf paket sayesinde, çipin içindeki silisyon yapılar görsel olarak incelenebiliyor ve yayınlanan tasarımla karşılaştırılabiliyor. Bu, geleneksel opak plastik muhafazalara sarılmış çiplerde mümkün olmayan bir doğrulanabilirlik.
Ancak Huang açıkça söylüyor: onlarca bin dolar harcayan saldırganlara karşı dayanıklı, ama milyonlarca dolar ve sofistike laboratuvar kapasitesine sahip rakiplerin muhtemelen geçebileceğini kabul ediyor. Açık tasarım, saldırıyı daha pahalı ve zaman alıcı yapıyor, ancak imkansız kılmıyor.
İnfrared-şeffaf tasarım: silisyon doğrulanabilirliği nasıl çalışıyor
Çoğu çip, siyah plastik veya epoksi muhafaza içinde geliyor. İç yapısını görmek için pahalı ve yıkıcı X-ray veya decap işlemleri gerekiyor. Baochip-1x, infrared ışığa şeffaf bir paket kullanarak bu sorunu tersine çeviriyor: silisyon yapılar, uygun dalga boyunda infrared ışıkla görülebiliyor. Böylece kullanıcı veya bağımsız denetçi, çipin içindeki fiziksel yerleşimi, GitHub'da yayınlanan tasarım şemalarıyla görsel olarak karşılaştırabiliyor.
Bu yöntem, görsel olarak fark edilebilir değişiklikleri tespit etmeyi kolaylaştırır. Eğer üretim sırasında beklenmedik bir bileşen eklenirse, infrared inceleme ile fark edilme olasılığı artar. Ancak bu, tam bir doğrulama değil—tasarımla fiziksel uygulama arasında uyumluluğu görebilirsiniz, ama her transistörün davranışını doğrulayamazsınız. Fonksiyonel ama ince manipülasyonlara karşı sınırlıdır.
Kısmi açıklık: RISC-V açık, TSMC kapalı
Baochip-1x'i "tamamen açık kaynak" olarak tanımlamak yanıltıcı olur. GitHub'da yayınlanan OS, firmware, işlemci core (RISC-V açık mimarisi), kriptografik motorlar ve I/O sistemi açık kaynak. Ancak TSMC'nin 22-nanometre üretim sürecine ait bazı alt seviye öğeler kapalı kalıyor. Bu, üretim süreçlerinin ticari sırrı olan, fablara özgü standart cell kütüphaneleri, analog blok detayları ve üretim optimizasyon parametrelerini kapsıyor.
Huang'ın yaklaşımı, mükemmel açıklıktan çok, anlamlı bir yön değişikliği: ARM gibi kapalı işlemci core'ları yerine açık RISC-V, kapalı OS'ler yerine açık Rust tabanlı işletim sistemi. Bu, donanımın büyük bölümünü bağımsız denetçilere ve kullanıcılara açıyor, ancak chip tasarımının her katmanını değil.
Pratik anlamda bu ne demek? Saldırganlar işlemci mantığını, kriptografik motorların davranışını, bellek yönetimini inceleyebilir. Ancak üretim sürecinin kendisine müdahaleyi veya üretim sırasında eklenen analog manipülasyonları tespit etmek için ek araçlar ve derin malzeme bilimi gerekir.
FIDO tokenı olarak kullanım
Defcon rozetinin çıkarılabilir modülü, konferans sonrasında FIDO donanım güvenlik tokenı olarak işlev görüyor. Düşük çözünürlüklü kamera ile QR kod taraması yapabiliyor, zamana dayalı tek kullanımlık şifre (TOTP) üretiyor, güvenli boot zinciri ve resistive RAM (RRAM) ile fiziksel veri çıkarma saldırılarına karşı direnç sağlıyor.
Teknik özellikler: 350 MHz RISC-V işlemci, 2 MB SRAM, 4 MB RRAM. MicroPython çalıştırıyor; Huang, Linux'u çalıştırmanın "sınırında" olduğunu söylüyor—yani mümkün, ama rahat değil. Bu, günlük kullanım için yeterli, ancak masaüstü uygulama seviyesinde değil.
Pratik olarak Google, GitHub, finansal hizmetler gibi FIDO destekli platformlarda iki faktörlü kimlik doğrulama (2FA) için taşınabilir bir token olarak kullanılabiliyor. Açık kaynak olması, mutlak bir güvenlik garantisi vermiyor, ancak davranışını denetleyebilme olanağı sağlıyor. Eğer güvenlik araştırmacıları firmware'i inceler ve backdoor veya zayıflık tespit ederse, topluluk bunu öğrenebilir.
Baochip-1x kimlere uygun, kimlere değil
Huang'ın güvenlik tahminleri, kimin bu cihazdan faydalanabileceğini netleştiriyor. Tehdit modeliniz sıradan kötü amaçlı yazılım, phishing, fiziksel hırsızlık seviyesindeyse, Baochip-1x FIDO tokenı ticari alternatiflere göre daha denetlenebilir bir seçenek sunuyor: açık kaynak firmware'i inceleyebilirsiniz, GitHub'daki tasarımı doğrulayabilirsiniz.
Ancak devlet düzeyinde izleme veya hedefli saldırı riski taşıyorsanız, Huang'ın açık kabulü belirgindir: bu çip mutlak koruma garantisi vermiyor. Milyonlarca dolar bütçeli ve sofistike laboratuvar kapasitesine sahip saldırganlar, elektron mikroskobu, odaklı iyon ışını (FIB), yan kanal analizi gibi araçlarla, açık kaynak tasarımı devre dışı bırakabilir veya üretim sürecindeki kapalı öğeleri istismar edebilir.
Baochip-1x, açık donanımın niş bir deneyden gerçek kullanıcı eline ulaşan bir ürüne evrilmesini gösteriyor. Ancak endüstriyel benimsenme için çözmesi gereken zorluklar var: TSMC 22nm üretim süreci pahalı—Huang üç yıl boyunca kişisel bütçeyle finanse etti. Üretim detayları ticari sır olarak korunduğu sürece, fab düzeyindeki manipülasyonlar tespit edilemeyecektir. Büyük ölçekli açık kaynak donanım üretimi, bu engelleri aşabilecek ticari yatırım veya açık fab süreçlerine geçiş gerektiriyor.
