Несколько часов назад был выпущен долгожданный KEVM Testnet для сети криптовалюты Cardano. K-EVM — это машина на основе стека, которая является исполняемой формой семантики на базе виртуальной машине Ethereum [EVM]. Это первые в мире смарт-контракты для Cardano, скорректированные EVM.
Компания Input Output Hong Kong (IOHK) в своем Twitter написала:
«Первый testnet смарт-контрактов для Cardano, KEVM, сегодня был запущен в работу. Это первый случай, когда полная формальная семантика EVM была создана впервые для криптовалюты, что является шагом на пути к созданию blockchain 3-го поколения».
Все разработчики могут использовать любое приложение, которое работает на EVM, и тестировать его на KEVM, чтобы доказать полную работу смарт-контрактов. Testnet используется путем указания желаемого свойства из контракта в K и объединения контракта с спецификацией KEVM. Кроме того, каркас K можно использовать для проверки всех существующих свойств.
Технология была создана с помощью Runtime Verification при поддержке IOHK. Они утверждают, что это важный шаг на пути к созданию blockchain третьего поколения.
Следующий тест в сети Cardano запланирован на июль, и это будет новая виртуальная машина под названием IELE. Она предоставит разработчикам рычаги для написания, компиляции и выполнения интеллектуальных контрактов с улучшенной безопасностью и производительностью, по сравнению с KEVM Testnet.
Криптовалюта Cardano (ADA) в настоящее время занимает 8-е место и торгуется на уровне 0,182 доллара США с рыночной капитализацией в 4,7 миллирда. Стоимость токена снизилась на 27,17% за последние 7 дней.
Ранее сообщалось, что криптовалютная компания Tron объявила о запуске Tron Virtual Mashine. Об этом написал глава компании Джастин Сун в своем Twitter.
Автор: Ольга Новикова, аналитик Freedman Club Crypto News
Изображение от FotoliaЧитайте так же:
- Генеральный директор Cardano рассказал о предстоящих обновлениях
- EOS Mainnet запускается через 6 дней
- Rothschild входит на криптовалютный рынок, грядет революция?
- Новое исследование: Bitcoin и Ethereum — это лучший выбор для геймеров на blockchain
- Филиппинские региональные банки объединяются в пилотном blockchain-проекте Ethereum
Сообщение Запуск testnet для смарт-контрактов криптовалюты Cardano состоялся появились сначала на Freedman.club News: Все новости о Bitcoin, Криптовалютах, Blockchain, ICO.