Price: 0
Number of applications: 0
23.07.25
Денежное
MVP
Задачи ИКТ
Media sphere
Technologies in telecommunications
Mobile app
Представим приложение как ориентированный граф G(V, E), вершины - автономные модули (виджеты Flutter, скрипты Unity, сервисы на Go), ребра - вызовы RPC/FFI. Патч - множество операций (ΔV, ΔE): добавление/удаление/замена вершин или ребер. Требуется алгоритм Verify(G, Δ), удовлетворяющий: 1. Soundness - если Verify=SAFE, система никогда не упадет в дедлок/loop, не повредит данные и не утратит крипто‑инварианты, независимо от будущих патчей. 2. Termination - Verify всегда завершается за конечное время. Сведение пункта 1 к классической Halting Problem показывает неразрешимость в общем случае: алгоритм, проверяющий «не войдет ли приложение когда‑нибудь в бесконечный цикл», эквивалентен полному решателю проблемы останова.
Заказчик сформулировал следующие критерии приемки: • Алгоритм Verify(G, Δ) возвращает {SAFE, UNSAFE} для структуры приложения в виде графа G и патча Δ. • Если ответ SAFE, то приложение остается корректным при любых последующих патчах. • Время ответа ≤ 200 мс на устройстве класса «средний смартфон 2022» (6 GB RAM, Snapdragon 778G). • Отсутствие удаленного бек‑энда: все вычисление на клиенте из соображений privacy.
Сергеев И. А.
tech@techapps.kz
Purpose and description of task (project)
В начале 2025 года к нам обратился корпоративный заказчик, который управляет парком мобильных приложений (iOS, Android, WebGL). Ему потребовалась механика динамических обновлений - возможность вкладывать исправления и A/B‑эксперименты без классического магазина и без отсрочек на ревью‑процедуры. Ключевое требование: *прежде чем патч окажется на устройствах конечных пользователей, локальный алгоритм* должен в течение ≤ 200 мс гарантировать, что изменение не нарушает жизненно важных инвариантов системы.
Whatsapp
