Andrew Huang (), saurang aktivis anu meunang pangajén anu kasohor pikeun hardware gratis , platform buka"", dirancang pikeun nyieun konsép pikeun alat sélulér anyar. Sarupa sareng kumaha Raspberry Pi sareng Arduino ngamungkinkeun anjeun nyiptakeun alat pikeun Internét of Things, prékursor tujuanana pikeun nyayogikeun kamampuan ngarancang sareng ngumpul sababaraha alat sélulér pikeun ngabéréskeun masalah anjeun ku panangan anjeun nyalira.
Beda sareng proyék-proyék sanés, Prekursor nawiskeun para peminat sanés ngan ukur papan, tapi prototipe siap-siap tina alat portabel kalayan kotak aluminium ukuran 69 x 138 x 7.2 mm, layar LCD (336x536), batré (1100 mAh Li-Ion). , kibor miniatur, spiker, motor geter, akselerometer sareng giroskop. Modul komputasi henteu nganggo prosésor anu siap-siap, tapi kalayan SoC anu didefinisikeun ku parangkat lunak dumasar kana Xilinx XC7S50 FPGA, dumasar kana émulasi CPU RISC-V 32-bit anu beroperasi dina frékuénsi 100 MHz. dikelompokeun. Dina waktos anu sami, henteu aya larangan dina émulasi komponén hardware anu sanés, contona, operasi rupa-rupa prosesor tiasa ditiru, ti 6502 sareng Z-80 ka AVR sareng ARM, ogé chip sora sareng sagala rupa pengendali. Papan kalebet 16 MB SRAM, 128 MB Flash, Wi-Fi Silicon Labs WF200C, USB tipe C, SPI, I²C, GPIO.
Fitur anu aya hubunganana sareng kaamanan kalebet ayana dua generator angka pseudo-acak hardware. Narikna yén alat dina dasarna asalna tanpa mikropon anu diwangun - kahartos yén panarimaan sora ngan mungkin upami headset disambungkeun sacara eksplisit, sareng upami headset dipegatkeun, sacara fisik teu mungkin pikeun ngatur eavesdropping, sanaos alatna. software geus compromised.
Chip pikeun komunikasi nirkabel (Wi-Fi) nyaéta hardware anu diisolasi tina sesa platform sareng beroperasi dina lingkungan anu misah. Pikeun ngajagaan tina aksés anu teu sah, ogé dianggo kotak anu tiasa dikonci, RTC anu misah pikeun ngawaskeun integritas, sareng ngawaskeun gerak dina modeu sayaga (salawasna dina accelerometer sareng giroskop). Aya ogé ranté ngancurkeun diri sareng ngabersihan instan sadaya data, diaktipkeun nganggo konci AES.
Basa FHDL dipaké pikeun ngajelaskeun komponén hardware (Basa Pedaran Hardware Fragméntasi), dumasar kana Python. Migen kaasup kana kerangka , nu nyadiakeun infrastruktur pikeun nyieun sirkuit éléktronik. SoC rujukan parantos disiapkeun dumasar kana Prekursor nganggo FPGA sareng LiteX , kaasup 100 MHz VexRISC-V RV32IMAC CPU, kitu ogé controller embedded
Bettrusted-EC kalawan 18 MHz LiteX VexRISC-V RV32I inti.
SoC Betrusted nyayogikeun set primitif kriptografi anu diwangun sapertos generator nomer pseudo-acak, AES-128, -192, -256 sareng modeu ECB, CBC sareng CTR, SHA-2 sareng SHA-512, dumasar kana kurva elliptic Curve25519. Mesin crypto ditulis dina SystemVerilog sareng dumasar kana kernels crypto tina proyék éta .
Prekursor diposisikan salaku platform pikeun nyieun sarta verifying prototipe, bari Betrusted mangrupakeun salah sahiji alat mobile siap-dijieun diwangun dina luhureun prékursor. Kusabab enclaves tradisional dipaké pikeun neundeun terasing konci crypto teu ngajaga ngalawan serangan tingkat luhur kayaning ngumpulkeun kecap akses maké keyloggers atawa ngakses pesen ngaliwatan screenshotting, Bettrusted nambahkeun elemen interaksi pamaké kana palaksanaan enclave (,Human-Computer Interaction), mastikeun yén data sénsitip anu bisa dibaca ku manusa teu pernah disimpen, ditampilkeun, atawa dikirimkeun ka luar alat anu aman.
Bettrusted henteu nyobian ngagentos telepon sélulér, tapi nyiptakeun enclave anu aman kalayan input sareng kaluaran anu tiasa diaudit. Contona, hiji smartphone éksternal bisa dipaké ngaliwatan Wi-Fi salaku saluran data non-dipercanten, tapi pesen énkripsi dikirimkeun ngan diketik dina alat Betrusted urang diwangun-di keyboard, sarta pesen nu ditampa dipintonkeun ngan dina layar diwangun-di. .
Sadaya komponén Prekursor sareng Betrusted mangrupikeun sumber terbuka sareng sayogi pikeun modifikasi sareng ékspérimén dina lisénsi , meryogikeun sadaya karya turunan dibuka dina lisénsi anu sami. Kaasup muka jeung dokuméntasi proyék lengkep , palaksanaan siap и (). Model sadia pikeun percetakan 3D perumahan. Éta ogé ngembang dina bentuk proyék kabuka sarta husus Xous dumasar kana microkernel.
sumber: opennet.ru