smart contracts
Вот первый взгляд на новые инструменты идентификации Ethereum от Thomson Reuters
Thomson Reuters вскоре запустит платформу для разработчиков смарт-контрактов Ethereum .
В рамках формальной верификации Ethereum стремится к определенности смарт-контрактов
CoinDesk освещает факторы, побуждающие сообщество программистов Ethereum принять концепцию формальной верификации смарт-контрактов.
Смарт-контракты на основе блокчейна нуждаются в новом виде комплексной проверки
Два эксперта по правовым вопросам утверждают, что нам необходимо усилить комплексную проверку, прежде чем транзакции по смарт-контрактам будут записаны на «блокчейн-камне».
Ветераны блокчейна представили безопасную структуру смарт-контрактов
Два известных разработчика блокчейнов выпускают инструмент безопасности смарт-контрактов с открытым исходным кодом.
Анализатор смарт-контрактов дебютирует на конференции Ethereum
Исследователи вскоре откроют исходный код инструмента, предназначенного для оценки кода смарт-контрактов Ethereum .
Microsoft запускает рабочую группу по безопасности смарт-контрактов
Microsoft организует рабочую группу, занимающуюся повышением безопасности смарт-контрактов.
Может ли блокчейн положить конец бюрократии?
В этой статье исследователь реформ Александр Хичкок рассуждает о том, как блокчейн может привести к значительной экономии в сфере государственных услуг.
Кодекс — это закон? Пока не совсем
Должен ли код быть законом? В этой Мнение Лукас Абегг утверждает, что необходимо преодолеть множество научных препятствий, прежде чем это станет возможным.
Цифровой актив для языка смарт-контрактов с открытым исходным кодом
Компания Digital Asset Holdings объявила о намерении открыть исходный код DAML — языка смарт-контрактов, приобретенного у стартапа Elevence.
Сотрудничество с Barclays представляет FORTH будущего смарт-контрактов
Руководитель Barclays Ли Брейн обсуждает новый аналитический документ, который, по его мнению, систематизировал точку зрения его банка на технологию смарт-контрактов.
