23.07.25 (қоса алғанда)

Ақшалай

MVP

Акт міндеттері

Медиасфера

Телекоммуникациядағы технологиялар

Мобильді қосымша

Қолданбаны G(V, E) бағдарланған графигі, шыңдары - офлайн Модульдер (Flutter виджеттері, Unity сценарийлері, Go қызметтері), шеттері - RPC/FFI қоңыраулары ретінде елестетіп көрейік. Патч-көптеген операциялар (ΔV, ΔE): шыңдарды немесе жиектерді қосу/жою/ауыстыру. Қанағаттандыратын Verify(G, Δ) алгоритмі қажет: 1. Soundness‑егер Verify=SAFE болса, жүйе ешқашан dedlock/loop-қа түсіп кетпейді, деректерге зиян келтірмейді және болашақ патчтарға қарамастан крипто инварианттарын жоғалтпайды. 2. Termination-Verify әрқашан соңғы уақытта аяқталады. Классикалық Halting Problem-ге 1-тармақты қысқарту жалпы жағдайда шешілмейтіндікті көрсетеді: "қолданба ешқашан шексіз циклге кіре ме" дегенді тексеретін алгоритм толық тоқтату мәселесін шешушіге тең.

Тапсырыс беруші келесі қабылдау критерийлерін тұжырымдады: * Verify(G, Δ) алгоритмі G графигі және Δ патч түріндегі қолданба құрылымы үшін {SAFE, UNSAFE} қайтарады. * Егер safe жауабы болса, онда қолданба кез-келген кейінгі патчтарда дұрыс болып қалады. * Жауап беру уақыты ≤ 200 МС "орташа смартфон 2022" (6 ГБ жедел жады, Snapdragon 778G) класты құрылғыда. * Қашықтан бекіткіштің болмауы: privacy себептері бойынша клиенттегі барлық есептеу.

Сергеев И. А.