Я по порядку буду отписывать пожалуй :)
Итак, что на данный момент конкретно сделано по сонм:
Мы переманили к себе Антона Тиурина - инженера из Яндекса, создателя оригинальной платформы Yandex.Cocaine вместе с правами на эту самую платформу.
На кокосе собственно крутится весь бэкенд Яндекса и большинство приложений, включая карты, такси, метро и почту, поэтому если хотите посмотреть как работает платформа - просто воспользуйтесь любым приложением яндекса ^_^
Собственно сама платформа представляет собой классический PaaS, позволяющий размещать сервисы на нодах-миньонах и управлять ими с мастера; Так же внедрены дополнительные прикольные фичи вроде единого хранилища на etcd/MongoDB, протокол p2p node discovery, сервисы гейтвей-ноды (aka INFURA) и т.п.
Приложения сами по себе, как и в классических облачных сервисах работают из под докер-контейнеров, что дает нам возможность использовать и запускать абсолютно любые приложения на любом современном языке программирования.
Для того же сравнения - у iEX нету на данный момент сервиса node discovery, и вообще нет поддержки SaaS как такового.
Однако, все же, дьявол кроется в деталях - основная особенность децентрализованных, туманных вычислений по сравнению с обычными облачными/централизованными вычислениями состоит в том, что в облачном сервисе вы вынуждены доверять провайдеру, а провайдер доверяет миньонам (потому что миньонами являются его собственные контролируемые машины).
Здесь же напротив - клиент не доверяет провайдеру, провайдер не доверяет майнерам, майнеры не доверяют провайдеру и т.п. и здесь уже возникает очень важный вопрос, касающийся безопасности и доверия trustless системы, коей являются все децентрализованные системы.
Если конкретнее - возникают проблемы касающиеся того, как клиенты и майнеры могут защищаться от недобросовестных провайдеров, а так же как провайдеры могут быть уверены, что майнеры выполняют свою работу. Первый вопрос мы решили посредством нашей anti-fraud system построенной на смарт-контрактах (могу рассказать подробнее отдельно), а вот со вторым выходит небольшая заминка - если детерминированные вычисления, которые можно решать за конечное количество шагов можно проверить (просто пересчитав отдельный шаг например), то с недетерминированными вычислениями выходит проблема, т.к. к примеру у той же нейросети или игрового сервака или просто у мобильного сервиса этих шагов может быть бесконечное множество, и кроме того, в них нет никакой последовательности операций, таким образом проверка таких вычислений математически не возможна.
И поэтому мы решили пойти хитрым обходным путем *смекалочка mode on*
Если мы не можем проверить результаты работы самой программы, то почему бы нам не проверять просто изоляцию самого контейнера? Если контейнер не модифицирован на стороне майнера, то значит в результаты работы программы не вмешивались и она работает именно так, как должна работать.
*смекалочка mode off*
Собственно я считаю этот пункт наиболее основным - никто кроме нас не сможет предоставлять валидацию недетерминированных вычислений, а значит те же игры, нейросети, мобильные приложения, бекенд сервисы и т.п. - смогут запускаться *только* у нас.
