Сейчас Cardano занимает седьмую строчку в рейтинге Coinmarketcap, но после запуска тестнета цена актива должна увеличиться. Иначе и быть не может, ведь тестировать собираются смарт-контракты собственной разработки.
Тестовая сеть Cardano называется KEVM. Со второй частью аббревиатуры все ясно — EVM, или Ethereum Virtual Machine, или Виртуальная машина Эфира — это программа, на которой работают все узлы Ethereum. EVM устанавливает правила консенсуса — одна для всех остальных участников сервиса.
Теперь нужно разобраться, что же такое К. В отличие от нашего языка, допускающего огромное количество вариантов интерпретации, языки программирования предназначены для того, чтобы точно сказать, что нужно делать. Сказать так, чтобы это можно было понять только однозначно. Без языка программирования, который однозначно регламентирует поведение каждой программы, невозможно гарантировать надежную, работу компьютеров.
Семантика языков программирования — наука, изучающая поведение отдельных языковых конструкций — очень старая наука, появившаяся много лет назад. В 1960-х разрабатывали концепцию аксиоматической семантики, в 1970-х — денотационной семантики, 1980-х — оперативной семантики. Теперь вот все обсуждают так называемый K Framework — семантическую структуру, созданную на базе EVM. Проще говоря, K — это что-то вроде идеального языка программирования, впервые ставшая основой для криптопроекта — тестовой сети KEVM.
Разработчики IOHK — компании, создающей решения для Cardano, сообщают, что в сети можно протестировать любое EVM-приложение. «Смарт-контракты должны быть проверены, — говорится в пресс-релизе. — Только тогда они могут быть приняты в качестве инструмента нашей финансовой инфраструктуры, созданной для миллиардов пользователей».
***
Читайте наш канал и общайтесь с нами и другими читателями в чате Telegram.
