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

2018-10-22 16:54

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

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

Bitcoin (BTC) на Currencies.ru

$ 90115.33 (-0.49%)
Объем 24H $55.772b
Изменеия 24h: -1.41 %, 7d: 4.01 %
Cегодня L: $90115.33 - H: $91336.29
Капитализация $1798.661b Rank 1
Доступно / Всего 19.96m 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

Экосистема Cosmos получила нативный EVM-фреймворк

Организация Interchain Foundation, работающая в экосистеме Cosmos, выделила средства на открытие исходного кода Evmos. Этот код станет стандартным EVM-фреймворком для экосистемы Cosmos, которая включает более 200 различных блокчейнов.

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 июня атаку обнаружили через два дня.