Open Se Cura, okvir otvorenog koda za razvoj sigurnih AI sistema

Otvorite Se Cura

Open Se Cura je da razvije skup alata za dizajn otvorenog koda i IP biblioteka

Nedavno Google predstavio kroz post na blogu, pokretanje novog projekta, koji je nazvan Otvori Se Cura, čiji je cilj pojednostaviti stvaranje sigurnih čipova dizajniranih za riješiti probleme vezane za el mašinsko učenje i veštačka inteligencija.

Napominje se da su među područjima primjene Open Se Cura specijalizovani čipovi koji zahtijevaju poseban nivo zaštite i potvrdu odsustva kvarova. Na primjer, platforma se može koristiti u proizvodima za strojno učenje koji se odnose na obradu osjetljivih informacija, kao što su sistemi za prepoznavanje ljudi i obrada glasovnih snimaka.

Ranije interno poznat kao Project Sparrow, Project Open Se Cura je dokaz naše posvećenosti razvoju otvorenog koda. Naš cilj sa Open Se Cura je da razvijemo set alata za dizajn otvorenog koda i IP biblioteka koje će ubrzati razvoj kompletnih sistema sa radnim opterećenjem mašinskog učenja kroz zajednički dizajn i razvoj. Ovo će nam omogućiti da bolje fokusiramo sistemske dizajne na sigurnost, efikasnost i skalabilnost, pokretajući sljedeću generaciju AI iskustava.

O Open Se Cura

Otvorite Se Cura pod svojom haubom ima CantripOS operativni sistem, dok na hardverskoj strani jeste baziran na OpenTitan platformi i procesorsko jezgro zasnovano na arhitekturi RISC-V.

Operativni sistem CantripOS Zasnovan je na mikrokernelu seL4, na kojoj radi sistemsko okruženje napisano na Rust jeziku. U RISC-V sistemima, matematički dokaz pouzdanosti je obezbeđen za mikrokernel seL4, što ukazuje da kod u potpunosti ispunjava specifikacije navedene u formalnom jeziku. Arhitektura seL4 ističe se pomicanjem dijelova za upravljanje resursima kernela u korisnički prostor i primjenom istih alata za kontrolu pristupa za te resurse kao i za korisničke resurse.

Mikrokernel ne pruža apstrakcije visokog nivoa za upravljanje datotekama, procesima, mrežnim vezama i slično; umjesto toga, pruža samo minimalne mehanizme za kontrolu pristupa fizičkom adresnom prostoru, prekidima i resursima procesora.

Apstrakcije i kontroleri visokog nivoa za interakciju sa hardverom implementiraju se odvojeno na vrhu mikrokernela u obliku zadataka na nivou korisnika. Pristup ovih zadataka resursima dostupnim mikrokernelu je organizovan definisanjem pravila.

Sve komponente operativnog sistema, osim mikrokernela, originalno su napisane u Rustu koristeći sigurne tehnike programiranja koje minimiziraju greške pri radu sa memorijom. Između ostalog, učitavač aplikacija u okruženju seL4, sistemske usluge, okvir za razvoj aplikacija, API za pristup sistemskim pozivima, menadžer procesa i mehanizam za dinamičku dodjelu memorije napisani su u Rustu.

Izgradnja je verificirana pomoću CAmkES, koji je razvijen od strane projekta seL4. Za razvoj krajnjih aplikacija koje se mogu dinamički učitavati sistemskim uslugama, predlaže se korištenje AmbiML SDK i IREE (Intermediate Representation Execution Environment) alata za pokretanje modela strojnog učenja. Komponente i servisi Rust sistema su razvijeni pomoću Cantrip frameworka.

Na kraju, to je vrijedno spomenuti u razvoju projekta Nije samo Google učestvovao, od tada je takođe bio uključen u razvoju alata i infrastrukturnih elemenata, neprofitne organizacije lowRISC, koji nadgleda razvoj slobodnog mikroprocesora zasnovanog na RISC-V arhitekturi, kao i kompanije Antmicro i VeriSilicon.

Procesor koji je razvio lowRISC korišćen je kao jezgro za izgradnju pouzdanih hardverskih komponenti (Root of Trust). Antmicro je projektu obezbedio Renode simulator koji omogućava testiranje CantripOS-a i mikrokernela seL4 bez pravog hardvera. VeriSilicon je podijelio svoje iskustvo u oblasti kreiranja čipova i razvoja BSP (Board Support Package).

Naps zainteresovani da saznaju više o tome, trebali biste znati da razvoj projekta, uključujući izvorni kod sistemskih usluga i RTL šeme, Distribuiraju se pod licencom Apache 2.0.

Izvor: https://opensource.googleblog.com


Ostavite komentar

Vaša e-mail adresa neće biti objavljena. Obavezna polja su označena sa *

*

*

  1. Odgovoran za podatke: AB Internet Networks 2008 SL
  2. Svrha podataka: Kontrola neželjene pošte, upravljanje komentarima.
  3. Legitimacija: Vaš pristanak
  4. Komunikacija podataka: Podaci se neće dostavljati trećim stranama, osim po zakonskoj obavezi.
  5. Pohrana podataka: Baza podataka koju hostuje Occentus Networks (EU)
  6. Prava: U bilo kojem trenutku možete ograničiti, oporaviti i izbrisati svoje podatke.