Основатель Cardano Чарльз Хоскинсон создает новый язык программирования для сети

Основатель Cardano Чарльз Хоскинсон пишет новый язык программирования для своего блокчейна. Он говорит, что это будет первая система, которая объединит то, что пользователь хочет от транзакции, с криптографическим доказательством того, что правила были соблюдены.

«На самом деле я лично разрабатываю язык программирования для Cardano», — написал Хоскинсон на X в воскресенье, добавив, что он работает над ним с Лукасом Розой, инженером-программистом из Input Output Global, который является соавтором Aiken, одного из основных языков смарт-контрактов Cardano.

Это не то, что делает большинство основателей, когда их сеть настолько велика. Хоскинсон управляет компанией, полной инженеров, и по-прежнему решает написать инструмент, на котором будущие приложения Cardano могут быть построены самостоятельно.

Будьте в курсе
движения ваших монет

Алерты, котировки в реальном времени и новости рынка — в одном приложении

Наведите камеру телефона, чтобы установить

4,8 на основе 40 К оценок в App Store и Google Play

Язык будет поддерживать три инструмента: намерения транзакций, данные для подтверждения и доказательства Groth16.

Намерение позволяет пользователю объяснить, что он хочет сделать, и оставить действия приложению. Трейдер может попросить обменять один токен на другой только в том случае, если окончательная цена соответствует установленным условиям, не объясняя, как этого добиться.

Данные, несущие доказательства, прикрепляют к части информации криптографические доказательства, показывая, что она соответствует определенным правилам. Другое приложение может проверить эти доказательства, не повторяя каждый расчет, лежащий в их основе.

Groth16 — это широко используемая система доказательств, которая создает крошечные доказательства, и компьютеры могут их быстро проверить. Эти доказательства могут показать, что условие было выполнено, без раскрытия личных данных, использованных для его выполнения.

Вместе они могли бы позволить разработчикам создавать приложения, которые координируют сделки, проверяют сложные условия и передают проверенную информацию между сервисами, а в конце Cardano проверяет небольшое доказательство.

Разработчики Cardano уже пишут смарт-контракты в проекте Plutus, построенном на языке программирования Haskell, и в Aiken. Блокчейн Midnight, ориентированный на конфиденциальность и созданный компанией Хоскинсона Input Output Global, имеет собственный язык Compact для приложений, обрабатывающих конфиденциальные данные.

При этом Хоскинсон не сообщал ни названия нового языка, ни какого-либо общедоступного кода, ни даты, когда разработчики смогут начать его использовать.

Источник