Стартап Synthetic Minds привлек $5,5 млн на инструмент для поиска багов в смарт-контрактах

2018-10-22 16:54

Базирующийся в Сан-Франциско стартап Synthetic Minds привлек $5,5 млн на разработку технологии анализа и выявления ошибок в смарт-контрактах, сообщает VentureBeat. Компания работает над продуктом на базе программного синтеза.

Последний, уверены в Synthetic Minds, следует использовать для автоматизации процессов «анализа и синтеза компьютерного кода» в блокчейн-системах. Технология позволит разработчикам блокчейн-решений и смарт-контрактов сфокусироваться на высокоуровневых аспектах […]. источник »

Bitcoin (BTC) на Currencies.ru

$ 103337.64 (+0.26%)
Объем 24H $68.153b
Изменеия 24h: 1.02 %, 7d: 9.11 %
Cегодня L: $102477.78 - H: $105063.17
Капитализация $2047.299b Rank 1
Доступно / Всего 19.812m BTC / 21m BTC

minds synthetic анализа стартап смарт-контрактах синтеза привлек

Источник: forklog.com

minds synthetic → Результатов: 1


Synthetic Minds привлек 5,5 млн $ инвестиций от Pantera Capital

Стартап Synthetic Minds, разрабатывающий автоматическую систему исправления багов в блокчейн-разработках, привлек 5,5 млн долларов во время инвестиционного раунда от инвестиционных компаний Pantera Capital и Khosla Ventures.

2018-10-22 18:03


Партнеры Currencies.ru



Реклама на Currencies.ru

Самое свежее на Currencies.ru

GPT-4 использовали для аудита смарт-контрактов

Исследователи из компании Salus Security, специализирующейся на блокчейн-безопасности, проанализировали возможности искусственного интеллекта GPT-4 в области создания и аудита смарт-контрактов. Для оценки способности искусственного интеллекта выявлять потенциальные угрозы безопасности, они использовали библиотеку уязвимостей SolidiFI.

Web3: каким будет мир через 30 лет

Через 30 лет весь мир будет построен на Web3 — на метавселенных, блокчейне и смарт-контрактах. Больше не будет централизованных посредников. Этот автоматизированный и справедливый мир предоставит всем равные возможности и обеспечит каждому свободу созидания.

Павел Дуров планирует монетизировать Telegram с помощью смарт-контрактов и платных никнеймов

Учредитель и генеральный директор Telegram Павел Дуров рассказал, что в Telegram может быть запущена платформа c аукционами по продаже имен пользователей. В своем блоге он объяснил, что планы по монетизации проекта могут не ограничиться Premium-подпиской, и у пользователей появятся новые возможности вложения денег в экосистему.

Использование криптомикшеров выросло до рекордных значений при значительном участии государств и киберпреступников

Микшеры — удобный инструмент для киберпреступников, так или иначе связанных с криптовалютами, а значит, и один из важнейших видов криптовалютных сервисов для (ис)следователей и специалистов по комплаенсу.

Yam Finance отразил хакерскую атаку на $3,1 млн 

Разработчики DeFi-протокола Yam Finance предотвратили кибератаку, направленную на передачу контроля над резервами проекта неизвестной третьей стороне. https://twitter. com/YamFinance/status/1545844779812098048 По сообщению команды, начавшуюся 7 июня атаку обнаружили через два дня.

В Великобритании предложили интегрировать смарт-контракты в правовую базу

Существующая нормативная база Англии и Уэльса не потребует значительных изменений для обеспечения правоприменения смарт-контрактов. К такому выводу пришла созданная британским парламентом Независимая юридическая комиссия.