Язык, названый DeepSEA, над созданием которого и трудятся ученые и который предназначен решить проблему “врожденного конфликта”. Как говорит описание DeepSEA, С-подобный язык является основным для написания большей части программ и является низкоуровневым языком и предназначен управлять аппаратными ресурсами, а формальное рассуждение имеет высокоабстрактный уровень и огромнейшую теорию. Так все выглядит по мнению ученой группы-разработчиков.
Так же как и создатели, Qtum глубоко уверен в том, что инструменты DeepSEA смогут разрешить критические моменты структуры смарт-контактов и обеспечить их надежность, безопасность и приемлемость.
Проект DeepSEA не единственный, куда Qtum инвестирует свои средства. Совсем недавно с помощью сингапурской компании SpaceChain Qtum смогла развернуть на орбите свою блокчейн-ноду.
Qtum инвестировал Колумбийский университет
