Основатель Cardano раскрывает новый язык программирования для более безопасных крипто-транзакций

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

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