Стартап 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

$ 65364.9 (-0.22%)
Объем 24H $17.446b
Изменеия 24h: 1.55 %, 7d: 2.28 %
Cегодня L: $64615.25 - H: $65539.68
Капитализация $1311.341b Rank 1
Доступно / Всего 20.062m 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

Ethereum Foundation вложил $7,6 млн в Morpho

Ethereum Foundation перевел 3400 ETH, или около $7,6 млн, в протокол Morpho. Для рынка децентрализованных финансов это не просто новая сделка, а продолжение стратегии фонда по размещению резервов в ончейн-инструментах, которые соответствуют его собственным техническим требованиям.

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 — на метавселенных, блокчейне и смарт-контрактах. Больше не будет централизованных посредников. Этот автоматизированный и справедливый мир предоставит всем равные возможности и обеспечит каждому свободу созидания.