В своём блоге корпорация Microsoft анонсировала разработку открытой формальной схемы верификации смарт-контрактов эфириума на языке программирования Solidity. Инструмент будет называться VeriSol (Verifier for Solidity) — он позволит разработчикам писать спецификации для
В своём блоге корпорация Microsoft анонсировала разработку открытой формальной схемы верификации смарт-контрактов эфириума на языке программирования Solidity. Инструмент будет называться VeriSol (Verifier for Solidity) — он позволит разработчикам писать спецификации для
В своём блоге корпорация Microsoft анонсировала разработку открытой формальной схемы верификации смарт-контрактов эфириума на языке программирования Solidity. Инструмент будет называться VeriSol (Verifier for Solidity) — он позволит разработчикам писать спецификации для
В Томском государственном университете (ТГУ) создана блокчейн-система моментальной фиксации заявки на авторские права для последующего оформления в Роспатенте. Разработчики системы отмечают, что использование технологии блокчейн позволяет любому гражданину
В своём блоге корпорация Microsoft анонсировала разработку открытой формальной схемы верификации смарт-контрактов эфириума на языке программирования Solidity. Инструмент будет называться VeriSol (Verifier for Solidity) — он позволит разработчикам писать спецификации для