Все страны

Сумма: 0

Количество заявок: 0

Прием решений до

23.07.25

Форма награждения

Денежное

Статус продукта

MVP

Тип задачи

Задачи ИКТ

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

Медиасфера

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

Технологии в телекоммуникациях

Тех задание
Тип продукта

Мобильное приложение

Описание проблемы

Представим приложение как ориентированный граф 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

Цель и описание задачи (проекта)

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