{"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\/pl\/blog\/news\/google-predstavil-proekt-open-se-cura-dlya-sozdaniya-zashhishhyonnyh-programmno-apparatnyh-sistem","title":{"rendered":"Google zaprezentowa\u0142 projekt Open Se Cura w celu stworzenia zabezpieczonych system\u00f3w programowo-sprz\u0119towych","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"

Firma Google zaprezentowa\u0142a kompleks sprz\u0119towo-programowy Open Se Cura, skoncentrowany na uproszczeniu tworzenia zabezpieczonych chip\u00f3w, kt\u00f3re maj\u0105 na celu rozwi\u0105zanie zagadnie\u0144 zwi\u0105zanych z uczeniem maszynowym i sztuczn\u0105 inteligencj\u0105. Projekt obejmuje system operacyjny CantripOS oraz sprz\u0119t oparty na platformie OpenTitan i rdzeniu procesora zbudowanym na architekturze RISC-V. Podczas rozwoju Open Se Cura i CantripOS u\u017cywano nazw Sparrow i KataOS, jednak aby unikn\u0105\u0107 nak\u0142adania si\u0119 z innymi projektami, fina\u0142owe produkty zosta\u0142y przemianowane. Materia\u0142y projektu, w tym kody \u017ar\u00f3d\u0142owe us\u0142ug systemowych oraz schematy RTL (Register Transfer Level), s\u0105 dystrybuowane na podstawie licencji Apache 2.0. <\/p>\n

System operacyjny CantripOS oparty jest na mikroj\u0105drze seL4, na kt\u00f3rym dzia\u0142a \u015brodowisko systemowe napisane w j\u0119zyku Rust. Na systemach RISC-V mikroj\u0105dro seL4 ma matematyczne dowody niezawodno\u015bci, kt\u00f3re potwierdzaj\u0105 ca\u0142kowite zgodno\u015b\u0107 kodu ze specyfikacjami okre\u015blonymi w j\u0119zyku formalnym. Architektura seL4 charakteryzuje si\u0119 przeniesieniem niekt\u00f3rych cz\u0119\u015bci zarz\u0105dzania zasobami j\u0105dra do przestrzeni u\u017cytkownika i zastosowaniem tych samych narz\u0119dzi ograniczenia dost\u0119pu do zarz\u0105dzania zasobami, co w przypadku zasob\u00f3w u\u017cytkownika. <\/p>\n

Mikroj\u0105dro nie udost\u0119pnia gotowych, wysokopoziomowych abstrakcji do zarz\u0105dzania plikami, procesami, po\u0142\u0105czeniami sieciowymi itp., zamiast tego zapewnia jedynie minimalne mechanizmy do zarz\u0105dzania dost\u0119pem do fizycznej przestrzeni adresowej, przerwa\u0144 i zasob\u00f3w procesora. Wysokopoziomowe abstrakcje i sterowniki do interakcji ze sprz\u0119tem s\u0105 realizowane oddzielnie, na poziomie u\u017cytkownika, w postaci zada\u0144, kt\u00f3re s\u0105 wykonywane w tym \u015brodowisku. Dost\u0119p tych zada\u0144 do zasob\u00f3w mikroj\u0105dra jest organizowany poprzez okre\u015blenie zasad. <\/p>\n

Wszystkie komponenty systemu operacyjnego, z wyj\u0105tkiem mikroj\u0105dra, zosta\u0142y pierwotnie napisane w j\u0119zyku Rust, z zastosowaniem bezpiecznych praktyk programowania, minimalizuj\u0105cych b\u0142\u0119dy w pracy z pami\u0119ci\u0105. W j\u0119zyku Rust napisano m.in. \u0142adowark\u0119 aplikacji w \u015brodowisku seL4, us\u0142ugi systemowe, framework do rozwoju aplikacji, API do dost\u0119pu do wywo\u0142a\u0144 systemowych, mened\u017cera proces\u00f3w oraz mechanizm dynamicznego zarz\u0105dzania pami\u0119ci\u0105. <\/p>\n

Aby zweryfikowana kompilacja mog\u0142a by\u0107 wykorzystana, u\u017cyto narz\u0119dzi CAmkES, rozwijanych przez projekt seL4. Do tworzenia aplikacji ko\u0144cowych, kt\u00f3re mog\u0105 by\u0107 dynamicznie \u0142adowane przez us\u0142ugi systemowe, zaleca si\u0119 korzystanie z SDK AmbiML, a do realizacji modeli uczenia maszynowego u\u017cywa si\u0119 narz\u0119dzia IREE (Intermediate Representation Execution Environment). Komponenty w Rust i us\u0142ugi systemowe zosta\u0142y stworzone z wykorzystaniem framework\u00f3w Cantrip. <\/p>\n

Zastosowania platformy obejmuj\u0105 wyspecjalizowane chipy, kt\u00f3re wymagaj\u0105 szczeg\u00f3lnego poziomu ochrony oraz weryfikacji braku awarii. Na przyk\u0142ad, platforma mo\u017ce by\u0107 stosowana w produktach uczenia maszynowego zwi\u0105zanych z przetwarzaniem poufnych informacji, takich jak systemy rozpoznawania os\u00f3b i przetwarzania nagra\u0144 g\u0142osowych. Po\u0142\u0105czenie logicznie zweryfikowanego j\u0105dra systemu operacyjnego z godnymi zaufania komponentami sprz\u0119towymi (RoT, Root of Trust) gwarantuje, \u017ce w przypadku awarii jednej cz\u0119\u015bci systemu, awaria ta nie rozprzestrzeni si\u0119 na reszt\u0119 systemu, w szczeg\u00f3lno\u015bci na j\u0105dro i cz\u0119\u015bci krytyczne. <\/p>\n

Opr\u00f3cz Google w rozwoju narz\u0119dzi i element\u00f3w infrastruktury udzia\u0142 wzi\u0119\u0142a organizacja non-profit lowRISC, kt\u00f3ra nadzoruje rozw\u00f3j otwartego mikroprocesora opartego na architekturze RISC-V, a tak\u017ce firmy Antmicro i VeriSilicon. Rozwijany przez organizacj\u0119 lowRISC procesor zosta\u0142 wykorzystany jako rdze\u0144 do budowy godnych zaufania komponent\u00f3w sprz\u0119towych (RoT, Root of Trust). Firma Antmicro dostarczy\u0142a projektowi symulator Renode, kt\u00f3ry pozwala testowa\u0107 CantripOS i mikroj\u0105dro seL4 bez rzeczywistego sprz\u0119tu. Firma VeriSilicon podzieli\u0142a si\u0119 swoim do\u015bwiadczeniem w zakresie tworzenia chip\u00f3w i opracowywania BSP (Board Support Package).
\n
\u0179r\u00f3d\u0142o: 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\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 zaprezentowa\u0142 projekt Open Se Cura do tworzenia zabezpieczonych system\u00f3w programowo-sprz\u0119towych | ProHoster","description":"Firma Google zaprezentowa\u0142a zintegrowany system Open Se Cura, kt\u00f3ry ma na celu uproszczenie tworzenia zabezpieczonych chip\u00f3w do zada\u0144 zwi\u0105zanych z uczeniem maszynowym i sztuczn\u0105 inteligencj\u0105.","canonical_url":"https:\/\/prohoster.info\/pl\/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":"pl_PL","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\/pl\/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\/pl\/wp-json\/wp\/v2\/posts\/111367","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/prohoster.info\/pl\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/prohoster.info\/pl\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/prohoster.info\/pl\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/prohoster.info\/pl\/wp-json\/wp\/v2\/comments?post=111367"}],"version-history":[{"count":0,"href":"https:\/\/prohoster.info\/pl\/wp-json\/wp\/v2\/posts\/111367\/revisions"}],"wp:attachment":[{"href":"https:\/\/prohoster.info\/pl\/wp-json\/wp\/v2\/media?parent=111367"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prohoster.info\/pl\/wp-json\/wp\/v2\/categories?post=111367"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prohoster.info\/pl\/wp-json\/wp\/v2\/tags?post=111367"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}