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

2018-10-22 16:54

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

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

Bitcoin price in Telegram @btc_price_every_hour

Bitcoin (BTC) на Currencies.ru

$ 70567.2 (+0.47%)
Объем 24H $130.834b
Изменеия 24h: 10.26 %, 7d: -15.84 %
Cегодня L: $60714.05 - H: $71345.74
Капитализация $1410.306b Rank 1
Доступно / Всего 19.985m 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

Linea внедрила защитный слой Phylax для предотвращения взломов смарт-контрактов

Блокчейн Linea, Layer 2-сеть экосистемы Ethereum, разработанная компанией Consensys, стал первой крупной L2-платформой, внедрившей превентивную систему защиты смарт-контрактов на уровне протокола. Речь идет о технологии Credible Layer от стартапа Phylax Systems, которая позволяет блокировать потенциальные уязвимости еще до того, как они приводят к взлому.

Grayscale рассматривает расширение линейки инвест-продуктов более чем на 30 криптоактивов

Управляющая компания Grayscale готовится к масштабному расширению своей линейки инвестиционных продуктов. Компания сообщила, что изучает возможность включения более 30 криптоактивов в будущие предложения для инвесторов — от блокчейнов смарт-контрактов и DeFi до ИИ-проектов и потребительских токенов.

Экосистема 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-подпиской, и у пользователей появятся новые возможности вложения денег в экосистему.