Новые технологии – blockchain, Ethereum, Apache Ignite, in-memory processing. Безопасность смарт контрактов. Опыт экспертов разработки современных банковских систем
Компания СофтСпарк основана в 2017 году для разработки и продвижения решений и продуктов blockchain.
Наш основной продукт l@chain, бизнес платформа для построения финансовых сервисов в социальных сетях, помогает выстраивать деловые отношения между институтами и гражданами виртуальных государств.
Для построения надежных сервисов мы разрабатываем инструментарий формальной верификации l@cert, защищающий смарт контракты от взлома.
Помимо технологических разработок мы проводим методологические исследования в области законодательства виртуального государства, эффективно поддерживающего смарт контракты и обеспечивающего определенный уровень страхования его участников.
В нашей команде работают талантливые инженеры-практики и действующие ученые-математики. Мы обладаем опытом в области разработки, контроля качества, анализа производительности managed runtime и оптимизирующих компиляторов. Наши эксперты принимали участие как в фундаментальных разработках компилятора для проекта Apache Harmony, clean-room Java Runtime implementation, так и в коммерческих проектах по созданию платежных систем.
Сочетание фундаментальной подготовки и разностороннего практического опыта позволяет предлагать оптимальные проектные решения, эффективно комбинировать проверенные методики и инновационные подходы.
Высокая техническая компетентность в области построения распределенных, масштабируемых систем на базе managed runtime, blockchain и in-memory processing
Серьезная фундаментальная и прикладная математическая подготовка ведущих специалистов
Высокая аналитическая экспертиза в финансовом секторе, в частности в платежах, платежных системах и соответствующих регуляторных актов
Мы разрабатываем компоненты децентрализованной B2B платформы l@chain, предназначенной для поддержки деловых отношений институтов и граждан виртуальных государств. l@chain реализована в виде наборов шаблонов смарт-контрактов, позволяющих быстро создавать виртуальные аналоги корпоративных контрактов и финансовых сервисов, таких как открытие счетов, платежи, кредитование, страхование, выпуск акций.
В рамках проекта реализуется ряд специфичных для цифрового мира шаблонов бизнес-сервисов, таких как заключение юридически значимых в виртуальном государстве договоров на предоставление интеллектуальных услуг, сертификация и страхование смарт контрактов, увеличение социального рейтинга при исполнении определенных контрактов.
В настоящее время платформа разрабатывается на базе Ethereum. После тиражирования продукта для Ethereum планируется перенос l@chain на новые sidechain платформы CounterParty и Rootstock. Также мы исследуем возможности расширения спецификации EVM для хранения в blockchain секретной информации.
Децентрализованные blockchain-системы и умные контракты расширяют модель информационных угроз. Сила и слабость таких систем в неумолимом исполнении смарт контрактов и невозможности отменить подписанную по ошибке договоренность. Подписанный смарт контракт трудно отменить, практически невозможно исправить найденную ошибку в действующем контракте.
Динамическое стресс-тестирование контрактов требует больших усилий из-за сложности моделирования реальной среды исполнения. Поэтому задача проверки безопасности смарт контрактов эффективно решается с помощью средств статического анализа и формального доказательства корректности исполнения кода.
Мы разрабатываем инструментарий для формальной верификации смарт контрактов l@cert, который проверяет безопасность с помощью символьного исполнения байт-кода контрактов, построения и анализа графа допустимых потоков исполнения. В результате анализа рассчитываются метрики уязвимости, такие как зависимость результатов от порядка выполнения транзакций, временной метки блока, некорректной обработки исключений и состояния контракта при повторном вызове. Мы тестируем инструментарий на публичном байт-коде действующих контрактов Ethereum, существенная часть которых потенциально уязвима.
С помощью l@cert мы оказываем следующие услуги
С помощью наших продуктов мы предоставляем сервис по разработке деловой инфраструктуры на базе blockchain для финтехов и основателей виртуальных государств.
Прототипирование и реализация блокчейн приложений на платформах Ethereum.
Прототипирование, реализация и оптимизация распределенных приложений, построенных над распределенным кэшем Apache Ignite.
Успешно выполнена разработка нескольких сервисов для удаленной идентификации и мониторинга граждан социальной сети и сервисов обмена цифровых активов.