Sari la conținutul principal
ROCSI
ROEN
Meniu

Proiecte curente / 03 / Experimental

Experimental
Domeniu
Infrastructură de încredere / Verificare cu păstrarea confidențialității
Început
Ciclu de cercetare 2026
Dezvoltare
Cercetare și prototipare orientate spre simulare
Mediu
Experimente cu telemetrie pentru vehicule / drone

Gateway pentru atestarea telemetriei

Un experiment pentru demonstrarea unor proprietăți selectate ale telemetriei fără expunerea telemetriei de bază.

Telemetry Attestation Gateway este o cercetare orientată inițial spre simulare privind dovezi zero-knowledge pentru afirmații strict delimitate despre telemetria vehiculelor și dronelor. Munca explorează dacă un verificator poate primi dovada unei proprietăți specifice în timp ce telemetria sensibilă de bază rămâne nedivulgată. Proiectul nu este prezentat drept produs de securitate pentru producție, sistem de control sau strat de autorizare a comenzilor.

Explorează ROCSI pe GitHub ↗Toate proiectele curente →

01 / De ce

Verificarea nu necesită întotdeauna divulgarea datelor de bază.

Întrebarea de cercetare

Telemetria poate conține detalii operaționale sensibile, în timp ce un alt sistem poate avea nevoie doar de dovada unei proprietăți clar definite. Transmiterea întregului set de date poate divulga mai multă informație decât are nevoie verificatorul.

Experimentul întreabă dacă un strat de atestare poate demonstra o afirmație limitată despre telemetrie păstrând măsurătorile originale private și ce presupuneri privind încrederea, prospețimea, identitatea și modurile de eșec ar rămâne totuși în afara dovezii.

De ce investighează ROCSI acest subiect

Proiectul oferă ROCSI un mediu limitat pentru studierea divulgării selective, afirmațiilor verificabile, provenienței telemetriei și limitelor dovezilor criptografice în sisteme care traversează granițe organizaționale sau de infrastructură.

Valoarea experimentului constă și în identificarea lucrurilor pe care o dovadă nu le poate stabili. O dovadă validă nu stabilește automat corectitudinea senzorului, custodia de încredere a cheii, siguranța actuală a sistemului sau autorizarea controlului unui vehicul.

02 / Sistem experimental

Telemetrie la intrare. Afirmație limitată la ieșire. Verificarea rămâne o limită separată.

Modelul curent este conceptual și orientat spre simulare. Telemetria unui vehicul sau a unei drone este evaluată în raport cu un predicat limitat, o dovadă zero-knowledge reprezintă afirmația, iar un verificator verifică dovada fără a primi telemetria brută. Diagrama comunică limita experimentului, nu o arhitectură de producție.

  1. 01

    Sursă de telemetrie

    Un context simulat de vehicul sau dronă produce telemetrie. MAVLink 2 este reprezentat în experimentul curent ca un cadru de telemetrie, nu ca o afirmație de acoperire universală a protocolului.

  2. 02

    Predicat de atestare

    Experimentul definește o proprietate cu domeniu îngust care poate fi evaluată în locul expunerii unei înregistrări complete de telemetrie către verificator.

  3. 03

    Dovadă zero-knowledge

    Este generată o dovadă pentru afirmația selectată. Ce poate demonstra este limitat la ceea ce codifică efectiv circuitul sau declarația dovezii.

  4. 04

    Limita verificatorului

    Verificatorul controlează dovada și trebuie să se bazeze în continuare pe presupuneri separate privind identitatea, custodia cheii, prospețimea, proveniența senzorilor și politica sistemului din jur.

03 / Experimentul curent

Experimentul separă ceea ce este testat de ceea ce rămâne necunoscut.

Aceasta este muncă experimentală. Arhitectura, domeniul, implementarea și afirmațiile demonstrate se pot modifica pe măsură ce presupunerile sunt testate. Înregistrarea curentă evită intenționat prezentarea ipotezelor de cercetare drept garanții operaționale.

Experiment curent

  • Un model orientat spre simulare pentru telemetrie de vehicule/drone, cu un parcurs conceptual de la telemetrie la o atestare limitată și apoi la verificare.
  • Un model de dovadă cu păstrarea confidențialității, destinat divulgării unei proprietăți selectate în locul setului complet de telemetrie.
  • Excluderea explicită din domeniul declarat al experimentului a controlului zborului, autorizării comenzilor și executării deciziilor autonome.

În evaluare

  • Definirea unor afirmații demonstrabile suficient de înguste pentru a fi utile fără a sugera un nivel de încredere mai larg decât poate stabili dovada.
  • Testarea modului în care proveniența, prospețimea, protecția împotriva replay-ului, identitatea și gestionarea cheilor trebuie poziționate în jurul limitei dovezii.
  • Evaluarea costului computațional și operațional al generării și verificării dovezilor pentru fluxuri plauzibile de telemetrie.

Întrebări deschise

  • Ce predicate de telemetrie oferă asigurare utilă păstrând în același timp o confidențialitate semnificativă?
  • Cum trebuie comunicată diferența dintre o dovadă validă și încrederea în sursa care a furnizat măsurătorile de bază?
  • Ce modele de amenințare și contexte de implementare justifică un strat criptografic de atestare în locul unor mecanisme mai simple bazate pe semnături sau politici?

04 / Principii experimentale

O dovadă trebuie să stabilească doar afirmația pentru care a fost proiectată.

01

Minimizează divulgarea

Partajează proprietatea necesară verificatorului în locul expunerii implicite a telemetriei complete.

02

Limitează strict afirmațiile

O dovadă zero-knowledge validă este dovadă pentru o afirmație definită, nu o garanție generală despre vehicul, senzori, operator sau mediu.

03

Păstrează vizibile limitele de încredere

Identitatea, custodia cheilor, prospețimea, proveniența senzorilor și politica verificatorului rămân preocupări distincte chiar atunci când dovada criptografică este validă.

04

Fără autoritate de control prin implicație

Experimentul nu autorizează comenzi, nu controlează zborul sau deplasarea și nu execută decizii autonome.

05

Simulare înainte de afirmații de producție

Dovezile experimentale trebuie să preceadă afirmațiile orientate spre producție privind performanța, siguranța, securitatea sau adecvarea operațională.

05 / Relații de cercetare

Experimentul se află la intersecția dintre încredere, infrastructură, reziliență și criptografie emergentă.

Telemetry Attestation Gateway este util ROCSI deoarece reunește mai multe întrebări de fond într-un singur experiment tehnic bine delimitat.

Încredere și integritatea informației

Examinează cum poate un verificator evalua o afirmație limitată, presupunerile de proveniență și limitele dovezii prezentate.

Infrastructură digitală deschisă

Explorează dacă interfețele de atestare pot fi proiectate drept limite de infrastructură inspectabile, nu mecanisme opace și proprietare de încredere.

Reziliență cibernetică și digitală

Testează modul în care verificarea, tratarea eșecurilor, prospețimea și presupunerile explicite de încredere ar putea contribui la sisteme care rămân inteligibile în condiții adverse.

Tehnologii emergente

Folosește dovezile zero-knowledge drept mecanism tehnic emergent și le evaluează valoarea practică, limitele și costul operațional fără a presupune adecvarea lor.

Explorează cercetarea ROCSI →

06 / Starea proiectului

Experimental

Experimental

Această muncă se află în evaluare tehnică. Arhitectura, domeniul, afirmațiile demonstrate și implementarea se pot modifica pe măsură ce presupunerile de bază sunt testate. Proiectul nu trebuie interpretat drept sistem de securitate a telemetriei sau de control al vehiculelor pregătit pentru producție.

Întrebarea investigată

  • Determinarea afirmațiilor de telemetrie care pot fi utile unui verificator și care, în același timp, protejează în mod semnificativ confidențialitatea.
  • Explicitarea presupunerilor non-criptografice privind proveniența, prospețimea, identitatea și cheile.
  • Măsurarea gradului în care complexitatea criptografică suplimentară este justificată de beneficiul de confidențialitate sau verificare în scenarii realiste.

07 / Direcție posibilă

Avansăm doar componentele care rezistă experimentului.

Pașii următori sunt direcții de cercetare, nu angajamente de roadmap. Un rezultat care arată că o abordare mai simplă este mai potrivită ar fi, de asemenea, util.

  1. 01Rafinarea celor mai mici afirmații utile și testarea proprietăților lor de confidențialitate și verificare în simulări controlate.
  2. 02Documentarea presupunerilor privind amenințările și a modurilor de eșec alături de verificările reușite, astfel încât limita sistemului să rămână inspectabilă.
  3. 03Compararea atestărilor zero-knowledge cu alternative mai simple bazate pe semnături, divulgare sau politici înainte de luarea în considerare a unei implementări mai ample.

08 / Explorează / colaborează

Tratează experimentul ca pe o întrebare, nu ca pe o afirmație de produs.

Această pagină ROCSI este înregistrarea proiectului pentru experimentul curent. Nu este sugerată existența unui deployment public dedicat sau a unui repository de producție; munca open-source mai largă a ROCSI rămâne vizibilă prin organizație și secțiunile Workbench.

Explorează ROCSI pe GitHub ↗Vezi toate proiectele curente →Deschide Workbench →Discută o colaborare →