" Аудитор безопасности блокчейна Runtime Verification собрал 5,3 миллиона долларов от нескольких известных спонсоров. Компания проверяет смарт-контракты на наличие ошибок. Их наиболее известным клиентом считается децентрализованная биржа Uniswap.
Под руководством IOSG Ventures раунд финансирования включал в себя инвестиции Hypersphere Ventures, ориентированной на Polkadot, cFund cardano, Tezos Foundation, Elrond Research и акселератора Algorand под названием Borderless Capital.
«Тот факт, что пять блокчейнов после проведенных их разработчиками исследований присоединились к нашему инвестиционному раунду через свои фонды, свидетельствует об универсальности и силе нашей технологии», - говорится в заявлении основателя компании Григоре Росу.
Runtime Verification, основанная в 2010 году, проводит аудит безопасности виртуальных машин и смарт-контрактов с использованием математической проверки.
Стартап работал с рядом фирм в области блокчейна, а также несколько раз упоминается в посте основателя Хайдена Адамса «История Uniswap» от 2019 года.
Фирма из Иллинойса заявила, что недавно создала новое предприятие в Сингапуре.
