{"id":111367,"date":"2023-11-08T03:10:14","date_gmt":"2023-11-08T01:10:14","guid":{"rendered":"https:\/\/prohoster.info\/blog\/novosti-interneta\/google-predstavil-proekt-open-se-cura-dlya-sozdaniya-zashhishhyonnyh-programmno-apparatnyh-sistem"},"modified":"2023-11-08T03:10:14","modified_gmt":"2023-11-08T01:10:14","slug":"google-predstavil-proekt-open-se-cura-dlya-sozdaniya-zashhishhyonnyh-programmno-apparatnyh-sistem","status":"publish","type":"post","link":"https:\/\/prohoster.info\/sk\/blog\/news\/google-predstavil-proekt-open-se-cura-dlya-sozdaniya-zashhishhyonnyh-programmno-apparatnyh-sistem","title":{"rendered":"Google predstavil projekt Open Se Cura na vytv\u00e1ranie zabezpe\u010den\u00fdch programov\u00fdch a hardv\u00e9rov\u00fdch syst\u00e9mov","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"

Spolo\u010dnos\u0165 Google predstavila programovo-hardware komplex Open Se Cura, zameran\u00fd na zjednodu\u0161enie vytv\u00e1rania zabezpe\u010den\u00fdch \u010dipov ur\u010den\u00fdch na rie\u0161enie \u00faloh s\u00favisiacich s strojov\u00fdm u\u010den\u00edm a umelou inteligenciou. Projekt zah\u0155\u0148a opera\u010dn\u00fd syst\u00e9m CantripOS a hardv\u00e9r zalo\u017een\u00fd na platforme OpenTitan a procesorovom jadre na b\u00e1ze architekt\u00fary RISC-V. Po\u010das v\u00fdvoja Open Se Cura a CantripOS sa vyv\u00edjali pod menami Sparrow a KataOS, ale na vyl\u00fa\u010denie krytia s in\u00fdmi projektmi boli fin\u00e1lne produkty premenovan\u00e9. V\u00fdstupy projektu, vr\u00e1tane zdrojov\u00fdch textov syst\u00e9mov\u00fdch slu\u017eieb a RTL sch\u00e9m (Register Transfer Level), s\u00fa distribuovan\u00e9 pod licenciou Apache 2.0. <\/p>\n

Opera\u010dn\u00fd syst\u00e9m CantripOS je zalo\u017een\u00fd na mikrojadre seL4, nad ktor\u00fdm be\u017e\u00ed syst\u00e9mov\u00e9 prostredie nap\u00edsan\u00e9 v jazyku Rust. Na syst\u00e9moch RISC-V bolo pre mikrojadro seL4 poskytnut\u00e9 matematick\u00e9 d\u00f4kaz o spo\u013eahlivosti, ktor\u00fd potvrdzuje, \u017ee k\u00f3d plne vyhovuje \u0161pecifik\u00e1ci\u00e1m stanoven\u00fdm vo form\u00e1lnom jazyku. Architekt\u00fara seL4 je pozoruhodn\u00e1 t\u00fdm, \u017ee oddelila \u010dasti na spr\u00e1vu zdrojov jadra do u\u017e\u00edvate\u013esk\u00e9ho priestoru a pou\u017e\u00edva na tak\u00e9to zdroje rovnak\u00e9 prostriedky pre rozdelenie pr\u00edstupu ako pre u\u017e\u00edvate\u013esk\u00e9 zdroje. <\/p>\n

Mikrojadro neposkytuje hotov\u00e9 vysoko\u00farov\u0148ov\u00e9 abstrakcie na spr\u00e1vu s\u00faborov, procesov, sie\u0165ov\u00fdch spojen\u00ed a podobne, namiesto toho poskytuje len minim\u00e1lne mechanizmy na riadenie pr\u00edstupu k fyzick\u00e9mu adresn\u00e9mu priestoru, preru\u0161en\u00edm a zdrojom procesora. Vysoko\u00farov\u0148ov\u00e9 abstrakcie a ovl\u00e1da\u010de na interakciu so hardv\u00e9rom s\u00fa realizovan\u00e9 oddelene nad mikrojadrom vo forme \u00faloh, ktor\u00e9 be\u017eia na u\u017e\u00edvate\u013eskej \u00farovni. Pr\u00edstup t\u00fdchto \u00faloh k zdrojom, ktor\u00e9 s\u00fa k dispoz\u00edcii mikrojadru, je organizovan\u00fd prostredn\u00edctvom definovania pravidiel. <\/p>\n

V\u0161etky komponenty opera\u010dn\u00e9ho syst\u00e9mu, okrem mikrojadra, s\u00fa p\u00f4vodne nap\u00edsan\u00e9 v jazyku Rust s pou\u017eit\u00edm bezpe\u010dn\u00fdch programovac\u00edch prakt\u00edk, ktor\u00e9 minimalizuj\u00fa chyby pri pr\u00e1ci s pam\u00e4\u0165ou. V Ruste, medzi in\u00fdm, s\u00fa nap\u00edsan\u00e9 zav\u00e1dza\u010d aplik\u00e1ci\u00ed v prostred\u00ed seL4, syst\u00e9mov\u00e9 slu\u017eby, r\u00e1mec pre v\u00fdvoj aplik\u00e1ci\u00ed, API pre pr\u00edstup k syst\u00e9mov\u00fdm volaniam, mana\u017e\u00e9r procesov a mechanizmus dynamick\u00e9ho pride\u013eovania pam\u00e4te. <\/p>\n

Na overen\u00fa zostavu sa vyu\u017e\u00edva n\u00e1stroj CAmkES, ktor\u00fd vyv\u00edja projekt seL4. Na v\u00fdvoj koncov\u00fdch aplik\u00e1ci\u00ed, ktor\u00e9 m\u00f4\u017eu by\u0165 dynamicky na\u010d\u00edtavan\u00e9 syst\u00e9mov\u00fdmi slu\u017ebami, sa odpor\u00fa\u010da pou\u017e\u00edva\u0165 SDK AmbiML, a na vykon\u00e1vanie modelov strojov\u00e9ho u\u010denia n\u00e1stroj IREE (Intermediate Representation Execution Environment). Komponenty v Ruste a syst\u00e9mov\u00e9 slu\u017eby s\u00fa navrhnut\u00e9 s pou\u017eit\u00edm r\u00e1mcov Cantrip. <\/p>\n

Medzi oblasti pou\u017eitia platformy patr\u00ed \u0161pecializovan\u00e9 \u010dipy, ktor\u00fdm je potrebn\u00fd osobitn\u00fd stupe\u0148 ochrany a potvrdenia o absencii por\u00fach. Napr\u00edklad platforma m\u00f4\u017ee by\u0165 pou\u017eit\u00e1 v produktoch strojov\u00e9ho u\u010denia, ktor\u00e9 s\u00favisia s spracovan\u00edm d\u00f4vern\u00fdch inform\u00e1ci\u00ed, ako s\u00fa syst\u00e9my na rozpozn\u00e1vanie os\u00f4b a spracovanie hlasov\u00fdch z\u00e1znamov. Kombin\u00e1cia logicky overen\u00e9ho jadra opera\u010dn\u00e9ho syst\u00e9mu s d\u00f4veryhodn\u00fdmi hardv\u00e9rov\u00fdmi komponentmi (RoT, Root of Trust) zaru\u010duje, \u017ee v pr\u00edpade poruchy v jednej \u010dasti syst\u00e9mu sa t\u00e1to porucha neroz\u0161\u00edri na zvy\u0161ok syst\u00e9mu, najm\u00e4 na jadro a kritick\u00e9 \u010dasti. <\/p>\n

Okrem spolo\u010dnosti Google na v\u00fdvoji n\u00e1stroja a prvkov infra\u0161trukt\u00fary spolupracovali neziskov\u00e1 organiz\u00e1cia lowRISC, ktor\u00e1 zodpoved\u00e1 za v\u00fdvoj slobodn\u00e9ho mikroprocesora na b\u00e1ze architekt\u00fary RISC-V, ako aj spolo\u010dnosti Antmicro a VeriSilicon. Procesor vyv\u00edjan\u00fd organiz\u00e1ciou lowRISC bol pou\u017eit\u00fd ako jadro na vytvorenie d\u00f4veryhodn\u00fdch hardv\u00e9rov\u00fdch komponentov (RoT, Root of Trust). Spolo\u010dnos\u0165 Antmicro poskytla projektu simul\u00e1tor Renode, ktor\u00fd umo\u017e\u0148uje testova\u0165 CantripOS a mikrojadro seL4 bez skuto\u010dn\u00e9ho hardv\u00e9ru. Spolo\u010dnos\u0165 VeriSilicon sa podelila o svoje sk\u00fasenosti v oblasti v\u00fdroby \u010dipov a v\u00fdvoja BSP (Board Support Package).
\n
Zdroj: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"

\u041a\u043e\u043c\u043f\u0430\u043d\u0438\u044f Google \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u0438\u043b\u0430 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u043d\u043e-\u0430\u043f\u043f\u0430\u0440\u0430\u0442\u043d\u044b\u0439 \u043a\u043e\u043c\u043f\u043b\u0435\u043a\u0441 Open Se Cura, \u043e\u0440\u0438\u0435\u043d\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0439 \u043d\u0430 \u0443\u043f\u0440\u043e\u0449\u0435\u043d\u0438\u0435 \u0441\u043e\u0437\u0434\u0430\u043d\u0438\u044f \u0437\u0430\u0449\u0438\u0449\u0451\u043d\u043d\u044b\u0445 \u0447\u0438\u043f\u043e\u0432, \u043f\u0440\u0435\u0434\u043d\u0430\u0437\u043d\u0430\u0447\u0435\u043d\u043d\u044b\u0445 \u0434\u043b\u044f \u0440\u0435\u0448\u0435\u043d\u0438\u044f \u0437\u0430\u0434\u0430\u0447, \u0441\u0432\u044f\u0437\u0430\u043d\u043d\u044b\u0445 \u0441 \u043c\u0430\u0448\u0438\u043d\u043d\u044b\u043c \u043e\u0431\u0443\u0447\u0435\u043d\u0438\u0435\u043c \u0438 \u0438\u0441\u043a\u0443\u0441\u0441\u0442\u0432\u0435\u043d\u043d\u044b\u043c \u0438\u043d\u0442\u0435\u043b\u043b\u0435\u043a\u0442\u043e\u043c. \u041f\u0440\u043e\u0435\u043a\u0442 \u0432\u043a\u043b\u044e\u0447\u0430\u0435\u0442 \u0432 \u0441\u0435\u0431\u044f \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u043e\u043d\u043d\u0443\u044e \u0441\u0438\u0441\u0442\u0435\u043c\u0443 CantripOS \u0438 \u0430\u043f\u043f\u0430\u0440\u0430\u0442\u043d\u043e\u0435 \u043e\u0431\u0435\u0441\u043f\u0435\u0447\u0435\u043d\u0438\u0435, \u043e\u0441\u043d\u043e\u0432\u0430\u043d\u043d\u043e\u0435 \u043d\u0430 \u043f\u043b\u0430\u0442\u0444\u043e\u0440\u043c\u0435 OpenTitan \u0438 \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u043e\u0440\u043d\u043e\u043c \u044f\u0434\u0440\u0435 \u043d\u0430 \u0431\u0430\u0437\u0435 \u0430\u0440\u0445\u0438\u0442\u0435\u043a\u0442\u0443\u0440\u044b RISC-V. \u0412 \u0445\u043e\u0434\u0435 \u0440\u0430\u0437\u0440\u0430\u0431\u043e\u0442\u043a\u0438 Open Se Cura \u0438 CantripOS \u0440\u0430\u0437\u0432\u0438\u0432\u0430\u043b\u0438\u0441\u044c […]<\/p>\n","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[702],"tags":[],"class_list":["post-111367","post","type-post","status-publish","format-standard","hentry","category-news"],"aioseo_notices":[],"aioseo_head":"\n\t\t\n\t\n\t\n\t\n\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\n","aioseo_head_json":{"title":"\ud83e\udd47Google predstavil projekt Open Se Cura na vytv\u00e1ranie zabezpe\u010den\u00fdch programovo-hardware syst\u00e9mov | ProHoster","description":"Spolo\u010dnos\u0165 Google predstavila programovo-hardware komplex Open Se Cura, zameran\u00fd na zjednodu\u0161enie vytv\u00e1rania zabezpe\u010den\u00fdch \u010dipov ur\u010den\u00fdch na rie\u0161enie \u00faloh s\u00favisiacich s strojov\u00fdm u\u010den\u00edm a umelou inteligenciou.","canonical_url":"https:\/\/prohoster.info\/sk\/blog\/news\/google-predstavil-proekt-open-se-cura-dlya-sozdaniya-zashhishhyonnyh-programmno-apparatnyh-sistem","robots":"max-image-preview:large","keywords":"","webmasterTools":{"miscellaneous":""},"schema":null,"og:locale":"sk_SK","og:site_name":"ProHoster | \u041a\u0443\u043f\u0438\u0442\u044c \u043d\u0430\u0434\u0435\u0436\u043d\u044b\u0439 \u0445\u043e\u0441\u0442\u0438\u043d\u0433 \u0434\u043b\u044f \u0441\u0430\u0439\u0442\u043e\u0432 \u0441 \u0437\u0430\u0449\u0438\u0442\u043e\u0439 \u043e\u0442 DDoS, VPS VDS \u0441\u0435\u0440\u0432\u0435\u0440\u044b","og:type":"article","og:title":"\ud83e\udd47Google \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u0438\u043b \u043f\u0440\u043e\u0435\u043a\u0442 Open Se Cura \u0434\u043b\u044f \u0441\u043e\u0437\u0434\u0430\u043d\u0438\u044f \u0437\u0430\u0449\u0438\u0449\u0451\u043d\u043d\u044b\u0445 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u043d\u043e-\u0430\u043f\u043f\u0430\u0440\u0430\u0442\u043d\u044b\u0445 \u0441\u0438\u0441\u0442\u0435\u043c | ProHoster","og:description":"\u041a\u043e\u043c\u043f\u0430\u043d\u0438\u044f Google \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u0438\u043b\u0430 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u043d\u043e-\u0430\u043f\u043f\u0430\u0440\u0430\u0442\u043d\u044b\u0439 \u043a\u043e\u043c\u043f\u043b\u0435\u043a\u0441 Open Se Cura, \u043e\u0440\u0438\u0435\u043d\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0439 \u043d\u0430 \u0443\u043f\u0440\u043e\u0449\u0435\u043d\u0438\u0435 \u0441\u043e\u0437\u0434\u0430\u043d\u0438\u044f \u0437\u0430\u0449\u0438\u0449\u0451\u043d\u043d\u044b\u0445 \u0447\u0438\u043f\u043e\u0432, \u043f\u0440\u0435\u0434\u043d\u0430\u0437\u043d\u0430\u0447\u0435\u043d\u043d\u044b\u0445 \u0434\u043b\u044f \u0440\u0435\u0448\u0435\u043d\u0438\u044f \u0437\u0430\u0434\u0430\u0447, \u0441\u0432\u044f\u0437\u0430\u043d\u043d\u044b\u0445 \u0441 \u043c\u0430\u0448\u0438\u043d\u043d\u044b\u043c \u043e\u0431\u0443\u0447\u0435\u043d\u0438\u0435\u043c \u0438 \u0438\u0441\u043a\u0443\u0441\u0441\u0442\u0432\u0435\u043d\u043d\u044b\u043c.","og:url":"https:\/\/prohoster.info\/sk\/blog\/news\/google-predstavil-proekt-open-se-cura-dlya-sozdaniya-zashhishhyonnyh-programmno-apparatnyh-sistem","og:image":"https:\/\/prohoster.info\/wp-content\/uploads\/2021\/11\/logo-350.jpg","og:image:secure_url":"https:\/\/prohoster.info\/wp-content\/uploads\/2021\/11\/logo-350.jpg","og:image:width":350,"og:image:height":350,"article:published_time":"2023-11-08T01:10:14+00:00","article:modified_time":"2023-11-08T01:10:14+00:00","article:publisher":"https:\/\/www.facebook.com\/prohoster","article:author":"https:\/\/www.facebook.com\/prohoster"},"aioseo_meta_data":[],"gt_translate_keys":[{"key":"link","format":"url"}],"_links":{"self":[{"href":"https:\/\/prohoster.info\/sk\/wp-json\/wp\/v2\/posts\/111367","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/prohoster.info\/sk\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/prohoster.info\/sk\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/prohoster.info\/sk\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/prohoster.info\/sk\/wp-json\/wp\/v2\/comments?post=111367"}],"version-history":[{"count":0,"href":"https:\/\/prohoster.info\/sk\/wp-json\/wp\/v2\/posts\/111367\/revisions"}],"wp:attachment":[{"href":"https:\/\/prohoster.info\/sk\/wp-json\/wp\/v2\/media?parent=111367"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prohoster.info\/sk\/wp-json\/wp\/v2\/categories?post=111367"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prohoster.info\/sk\/wp-json\/wp\/v2\/tags?post=111367"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}