КриптоЛампа
Хоскинсон разрабатывает новый язык программирования для Cardano
Чарльз Хоскинсон и инженер Input Output Global Лукас Роза создают язык для Cardano, который объединит намерения транзакций и криптографические доказательства.
Основатель Cardano Чарльз Хоскинсон сообщил, что вместе с инженером Input Output Global Лукасом Розой разрабатывает новый язык программирования для блокчейна.
По словам Хоскинсона, язык объединит намерения транзакций, данные с криптографическими подтверждениями и доказательства Groth16. Это должно позволить приложениям выполнять запросы пользователей и проверять соблюдение заданных условий.
Намерения дают пользователю возможность описать желаемый результат, оставив приложению выбор шагов для его достижения. Подтверждающие данные позволяют проверять информацию без повторного выполнения расчётов, а Groth16 — создавать компактные доказательства, в том числе без раскрытия использованных приватных данных.
В Cardano уже применяются языки смарт-контрактов Plutus и Aiken; Роза был соавтором Aiken. Название нового языка, его код и сроки доступности для разработчиков пока не объявлены.