Основатель Cardano разрабатывает новый язык программирования, объединяющий торговые намерения и доказательства Groth16

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

Этот контент предоставляется исключительно в общих информационных целях и не является финансовым, инвестиционным, юридическим или налоговым советом. Любые мероприятия, вознаграждения, онлайн-акции или связанная с ними информация, упомянутые в настоящем документе, не должны рассматриваться как рекомендация, приглашение к покупке, продаже, торговле или иной сделке с какими-либо криптоактивами. Криптоактивы очень волатильны и могут привести к убыткам. Доступность услуг, продуктов WEEX и связанных с ними событий может варьироваться в зависимости от региона. Вы несете ответственность за обеспечение того, чтобы ваше участие соответствовало применимым местным законам и нормативным актам.