All countries

Price: 0

Number of applications: 0

Making decisions before ...

23.07.25

Form of award

Денежное

Product status

MVP

Task type

Задачи ИКТ

Сфера применения

Media sphere

Область задачи

Technologies in telecommunications

Type of product

Mobile app

Problem description

Представим приложение как ориентированный граф G(V, E), вершины - автономные модули (виджеты Flutter, скрипты Unity, сервисы на Go), ребра - вызовы RPC/FFI. Патч - множество операций (ΔV, ΔE): добавление/удаление/замена вершин или ребер. Требуется алгоритм Verify(G, Δ), удовлетворяющий: 1. Soundness - если Verify=SAFE, система никогда не упадет в дедлок/loop, не повредит данные и не утратит крипто‑инварианты, независимо от будущих патчей. 2. Termination - Verify всегда завершается за конечное время. Сведение пункта 1 к классической Halting Problem показывает неразрешимость в общем случае: алгоритм, проверяющий «не войдет ли приложение когда‑нибудь в бесконечный цикл», эквивалентен полному решателю проблемы останова.

Expected effect

Заказчик сформулировал следующие критерии приемки: • Алгоритм Verify(G, Δ) возвращает {SAFE, UNSAFE} для структуры приложения в виде графа G и патча Δ. • Если ответ SAFE, то приложение остается корректным при любых последующих патчах. • Время ответа ≤ 200 мс на устройстве класса «средний смартфон 2022» (6 GB RAM, Snapdragon 778G). • Отсутствие удаленного бек‑энда: все вычисление на клиенте из соображений privacy.

Full name of responsible person

Сергеев И. А.

Contacts of responsible person

tech@techapps.kz

Purpose and description of task (project)

В начале 2025 года к нам обратился корпоративный заказчик, который управляет парком мобильных приложений (iOS, Android, WebGL). Ему потребовалась механика динамических обновлений - возможность вкладывать исправления и A/B‑эксперименты без классического магазина и без отсрочек на ревью‑процедуры. Ключевое требование: *прежде чем патч окажется на устройствах конечных пользователей, локальный алгоритм* должен в течение ≤ 200 мс гарантировать, что изменение не нарушает жизненно важных инвариантов системы.