卡尔达诺设计原理

Введение

Долгосрочный взгляд на улучшение дизайна криптовалют, чтобы они могли работать над мобильные устройства с разумным и безопасным пользовательским интерфейсом ● Привлечение заинтересованных сторон к операциям и обслуживанию их криптовалюты ● Признание необходимости учитывать несколько активов в одном реестре ● Абстрагирование транзакций для включения дополнительных метаданных, чтобы лучше соответствовать потребности устаревших систем ● Учитесь у почти 1000 альткойнов, используя функции, которые имеют смысл ● Внедрите процесс, основанный на стандартах, вдохновленный Рабочей группой по проектированию Интернета, используя специальная основа для фиксации окончательного дизайна протокола
● Изучите социальные элементы коммерции
● Найдите здоровую золотую середину, позволяющую регулирующим органам взаимодействовать с торговлей без нарушение некоторых основных принципов, унаследованных от Bitcoin

Основываясь на этом неструктурированном наборе идей, руководители, работавшие над Cardano, начали исследовать

литературу по криптовалютам и создать набор абстракций. Результатом этого исследования является

Обширная библиотека статей IOHK, многочисленные результаты опросов, такие как этот недавний сценарий.

обзор языка, а также онтологию смарт-контрактов и проект Scorex. Уроки

дал а признательность для тот криптовалюта промышленность необычный и в раз

контрпродуктивный рост.

Во-первых, в отличие от успешных протоколов, таких как TCP/IP, в конструкции протокола мало уровней.

криптовалюты. Было желание сохранить единое понятие консенсуса вокруг

факты и события фиксируются в едином реестре, независимо от того, имеет ли это смысл.

Например, Ethereum преодолел огромную сложность, пытаясь стать

универсальный мировой компьютер, но страдает от тривиальных проблем, потенциально разрушающих систему.

способность действовать как средство сбережения. Должна ли программа каждого быть первоклассным гражданином

независимо от его экономической ценности, стоимости обслуживания или последствий регулирования?

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

Например, делегированное доказательство доли Bitshares могло бы легко и надежно генерировать случайные

числа с использованием подбрасывания монеты с гарантированной доставкой вывода - метод, известный с

1980-е годы (см. основополагающую статью Рабина и Бен-Ора).

В-третьих, большинство альткойнов (за некоторыми заметными исключениями, такими как Tezos) не добились никакого успеха.

размещение для будущих обновлений. Способность успешно проводить софт- или хард-форк имеет решающее значение.

к долгосрочному успеху любой криптовалюты.

Как следствие, корпоративные пользователи не могут выделять ресурсы на миллионы долларов для

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

ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО Международная лицензия Creative Commons с указанием авторства 4.0 Страница 3 из 44ИОХК | ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО | 28.06.2017

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

развитие основного протокола. Если этот процесс чрезвычайно обременителен, фрагментация

может расколоть сообщество.

Наконец, деньги есть в конечном итоге а социальный явление. В стремлении анонимизировать и

непромежуточных центральных действующих лиц, Bitcoin и его современники также отказались от необходимости

стабильные личности, метаданные и репутация в коммерческих сделках. Добавление этих данных

за счет централизованных решений устраняется возможность аудита, глобальная доступность и неизменяемость —

в этом весь смысл использования blockchain.

Устаревшие финансовые системы, такие как SWIFT, FIX и ACH, богаты

транзакционные метаданные. Недостаточно знать, какая сумма перемещается между счетами.

регулирование часто требует указания участвующих сторон, информации о соблюдении требований, отчетности

подозрительная активность и другие записи и действия. В некоторых случаях метаданные более

важнее сделки.

Следовательно, кажется разумным сделать вывод, что манипулирование метаданными может быть столь же вредным, как и

подделка валюты или переписывание истории транзакций. Не создавать условий для актеров

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

и защита потребителей.

Конец пребывания

Совокупность наших принципиальных исследований криптовалютного пространства представляет собой две коллекции

протоколы. Соответственно, доказуемо безопасная криптовалюта на основе Proof-of-Stake [1][2], называемая

Cardano Расчетный уровень (CSL) и набор протоколов, называемый Cardano Вычислительный уровень

(ККЛ).

Наше внимание при проектировании направлено на учет социальных аспектов криптовалют, построенных на нескольких уровнях.

путем отделения учета стоимости от сложных вычислений и удовлетворения потребностей

регуляторов в рамках нескольких непреложных принципов. Кроме того, там, где это разумно,

1 мы пытаемся проверить предлагаемые протоколы посредством экспертной оценки и сверить код с формальными

спецификации.

1 Список см. в разделе «Правила». ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО Международная лицензия Creative Commons с указанием авторства 4.0 Страница 4 из 44ИОХК | ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО | 28.06.2017

Доказательство ставки

Использование доказательства доли для криптовалюты является горячо обсуждаемым выбором дизайна, однако потому, что оно

добавляет механизм для внедрения безопасного голосования, имеет больше возможностей для масштабирования и позволяет больше

экзотические схемы стимулирования, мы решили использовать их.

Наш протокол доказательства доли называется Ouroboros, и он был разработан чрезвычайно

талантливая команда криптографов из пяти академических учреждений под руководством профессора Аггелоса

2 Киайяс из Эдинбургского университета. Основная инновация, которую он выводит за рамки доказанной безопасности

использование строгой криптографической модели — это модульная и гибкая конструкция, позволяющая

состав множества протоколов для расширения функциональности.

Эта модульность позволяет использовать такие функции, как делегирование, сайдчейны, подписываемые контрольные точки,

лучшие структуры данных для легких клиентов, различные формы генерации случайных чисел и даже

различные предположения о синхронизации. По мере развития сети от тысяч до

миллионы и даже миллиарды пользователей, требования его алгоритма консенсуса также будут

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

Перспективное сердце криптовалюты.

Социальные элементы денег

Криптовалюты являются ярким примером социальной составляющей денег. При ограничении

анализ исключительно с точки зрения технологии, разница между Bitcoin и Litecoin невелика и даже

в меньшей степени между Ethereum и Ethereum Classic. Тем не менее, и Litecoin, и Ethereum Classic

поддерживать большую рыночную капитализацию и надежные, динамичные сообщества, а также свои собственные

социальные мандаты.

Можно утверждать, что большая часть стоимости криптовалюты зависит от ее сообщества.

то, как он использует валюту, и уровень его участия в развитии валюты. Содействие

По идее, такие валюты, как Dash, даже интегрировали системы непосредственно в протокол, чтобы

вовлечь свое сообщество в принятие решения о том, что должно быть приоритетом в разработке и финансировании.

2 Университет Коннектикута, Афинский университет, Эдинбургский университет, Орхусский университет, Токио Технологический институт ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО Международная лицензия Creative Commons с указанием авторства 4.0 Страница 5 из 44ИОХК | ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО | 28.06.2017

Огромное разнообразие криптовалют также свидетельствует об их социальных элементах.

Разногласия по поводу философии, денежно-кредитной политики или даже просто между основными разработчиками.

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

сверхдержавы, как правило, переживают политические сдвиги и местные разногласия без валютного кризиса или

массовый исход.

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

криптовалютная индустрия. Мы утверждаем — и включили в дорожную карту Cardano — что

пользователям протокола нужны стимулы для понимания общественного договора, лежащего в основе их протокола, и

иметь свободу предлагать изменения продуктивным образом. Эта свобода распространяется на каждого

аспект системы обмена ценностями, от принятия решения о том, как следует регулировать рынки, до того, какой

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

некие особые полномочия, которые могли бы быть присвоены хорошо финансируемому меньшинству.

Cardano будет реализовывать систему наложенных протоколов, построенную поверх CSL для обеспечения

потребности своих пользователей.

Во-первых, независимо от успеха краудсейла по стимулированию развития, средства в конечном итоге

рассеяться. Следовательно, Cardano будет включать децентрализованный траст. финансируется монотонно

3 снижение инфляции и комиссий за транзакции.

Любой пользователь должен иметь право запрашивать средства у траста посредством системы голосования и

заинтересованные стороны CSL голосуют за то, кто станет бенефициаром. Этот процесс создает продуктивную

петля обратной связи, наблюдаемая в других криптовалютах с казначейскими/доверительными системами, таких как Dash,

начать разговор о том, кого следует и не следует финансировать.

Дискуссии о финансировании вынуждают соотносить долгосрочные и краткосрочные цели, социальные

контракт, приоритеты и вера в создание ценности с помощью конкретных предложений. Этот разговор

означает, что сообщество постоянно оценивает и обсуждает свои убеждения с возможными

дорожные карты.

Во-вторых, мы надеемся, что Cardano в конечном итоге будет включать формальную систему на основе blockchain,

предлагать и голосовать как за софт-форки, так и за хард-форки. Bitcoin с обсуждением размера блока, Ethereum с

форк DAO и многие другие криптовалюты, помимо этого, уже давно существуют и, в

частые случаи, неразрешенные споры по поводу технической и моральной направленности кодовой базы.

Можно и нужно утверждать, что многие из этих разногласий и раскол

сообщества, возникающие в результате принятия мер, являются прямым результатом отсутствия формальных процессов для

обсуждаем изменения.
3 Это также известно как казначейская система. ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО Международная лицензия Creative Commons с указанием авторства 4.0 Страница 6 из 44ИОХК | ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО | 28.06.2017

Куда пойти, чтобы убедить пользователей Bitcoin принять технологию «Segregated Witness»? Как следует

основные разработчики Ethereum измеряют настроения сообщества по поводу спасения DAO? Если

разногласия в сообществе, повреждена ли криптовалюта и не подлежит восстановлению?

В худшем случае моральное право действовать может просто перейти к тому, у кого есть разработчики.

инфраструктурные отношения и деньги, а не наилучшие пожелания подавляющего большинства

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

к плохим стимулам, то как можно по-настоящему узнать, законны ли их действия? 4

Предлагаемые криптовалюты, такие как Tezos, представляют собой интересную модель для изучения того, где

протокол криптовалюты рассматривается как конституция, содержащая три раздела (транзакция,

Консенсус и сеть) с набором формальных правил и процессом обновления конституции. Тем не менее

еще предстоит проделать большую работу со стимулами и над тем, как именно моделировать и изменять

криптовалюта с формальным языком.

Использование формальных методов, машинопонятных спецификаций и слияние казначейства с

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

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

с голосованием на основе blockchain должно улучшить процесс, даже если более элегантные решения не могут

быть спроектированы.

Послойное проектирование – Cardano Расчетный слой

При разработке отличных протоколов и языков следует смотреть не в будущее, а скорее прошлое. История дает целый ряд примеров великих идей, которые идеальны на бумаге, но почему-то не сохранились, например, стандарты взаимодействия открытых систем. История также предоставляет счастливые случайности, которые пережили переход от TCP/IP к JavaScript.

Некоторые принципы, извлеченные из исторической точки зрения, следующие:

1. Вы не можете предсказать будущее, поэтому создайте пространство для маневра.
2. Сложность — это хорошо на бумаге, но простота обычно побеждает. 3. Слишком многие повара портят бульон 4. Как только стандарт будет установлен, он, вероятно, сохранится, независимо от того, будет ли он установлен. неоптимальный 4 См. рациональное невежество
ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО Международная лицензия Creative Commons с указанием авторства 4.0 Страница 7 из 44ИОХК | ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО | 28.06.2017

5. Плохие идеи могут превратиться в довольно хорошие, если есть желание.

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

Тем не менее, у нас нет цифрового децентрализованного Робин Гуда, который можно было бы брать с богатых узлов и передавать другим. бедные, чтобы добиться справедливой сети. Мы также не можем позволить себе роскошь доверять людям. благодеяние к альтруистическому жертвованию ради общего блага сети. Следовательно, Cardano дизайн заимствует у TCP/IP концепцию разделения ответственности.

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

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

Затем приходится принимать трудные проектные решения о том, какие метаданные хранить для каждого транзакция. Какие элементы истории сделки Алисы и Боба имеют отношение к делу? Есть они актуальны навсегда? Когда мы сможем выбросить некоторые данные? Нарушает ли это закон в некоторые страны?

Более того, некоторые вычисления носят частный характер. Например, при расчете среднего зарплата работников в офисе, нам не обязательно хотелось бы сливать, сколько у каждого человека делает. Но что, если каждое вычисление общеизвестно? Что, если эта огласка повлияет на казнь? чтобы навредить результату?

Таким образом, мы выбрали позицию, согласно которой учет стоимости должен быть отделен от история того, почему значение было перемещено. Другими словами, отделение стоимости от вычислений. Такое разделение не означает, что Cardano не будет поддерживать smart contract. Напротив, делая разделение явным, это обеспечивает значительно большую гибкость в проектировании, использовании, конфиденциальность и выполнение smart contracts.

ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО Международная лицензия Creative Commons с указанием авторства 4.0 Страница 8 из 44ИОХК | ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО | 28.06.2017

Регистр стоимости называется Cardano Расчетным уровнем (CSL). Поскольку целью является учет ценность, дорожная карта преследует следующие цели:

1. Поддержка двух наборов языков сценариев: один для перемещения значений, другой для улучшения. поддержка протокола наложения
2. Обеспечить поддержку сайдчейнов KMZ для связи с другими реестрами. 5 3. Поддержка нескольких типов подписей, включая квантовоустойчивые подписи для более высоких безопасность
4. Поддержка нескольких пользовательских ресурсов 5. Достичь истинной масштабируемости, то есть по мере присоединения большего количества пользователей возможности системы расширяются. увеличение

Сценарии

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

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

Поэтому мы решили разработать новый язык под названием Simon в честь его создателя. 6 Саймон Томпсон и создатель идей, вдохновивших его, Саймон Пейтон Джонс. Саймон предметно-ориентированный язык, основанный на «Составлении контрактов: приключение в финансовой сфере». инженерия.

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

5 Скоро в статье Киайаса, Зиндроса и Миллера. 6. Подробности будут опубликованы в следующей спецификации. Полная версия языка будет поддерживаться в Выпуск Shelley CSL запланирован на четвертый квартал 2017 г. 7 Проект ACTUS имеет глубокую проработку
ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО Международная лицензия Creative Commons с указанием авторства 4.0 Страница 9 из 44ИОХК | ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО | 28.06.2017

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

Тем не менее, всегда будет необходимость подключать CSL к протоколам наложения, устаревшим финансовым системы и серверы специального назначения. Таким образом, мы разработали Plutus как общий целевой язык smart contract, а также специальный DSL для обеспечения совместимости.

Plutus — это типизированный функциональный язык, основанный на концепциях Haskell, который можно использовать для писать собственные сценарии транзакций. В случае CSL он будет использоваться для сложных транзакций, необходимых для добавьте поддержку других слоев, которые нам нужно соединить, например, нашей схемы сайдчейнов.

Сайдчейны

Что касается сайдчейнов, Cardano будет поддерживать новый протокол, разработанный Киайасом, Миллером и Зиндрос (сайдчейны KMZ) основан на предыдущих результатах доказательств работы. Конкретный дизайн выходит за рамки этой статьи; однако эта концепция позволяет обеспечить безопасный и неинтерактивное перемещение средств из CSL на любой вычислительный уровень Cardano или другой blockchain поддерживает протокол.

Сайдчейны KMZ — ключ к инкапсуляции сложности. Регистры с нормативными требованиями, частные операции, надежные языки сценариев и другие особые проблемы фактически являются черными ящики в CSL, однако пользователь CSL получит определенные гарантии в отношении бухгалтерского учета и возможность отзовите средства после завершения вычислений.

Подписи

Чтобы безопасно передать ценность от Алисы к Бобу, Алисе необходимо доказать, что она имеет право переместить средства. Самый прямой и надежный способ выполнить эту задачу — использовать публичный схема подписи ключей, при которой средства привязаны к открытому ключу, а Алиса контролирует связанный закрытый ключ.

Существуют сотни возможных схем с различными параметрами безопасности и предположениями. Некоторые полагаются на математические задачи, связанные с эллиптическими кривыми, тогда как другие связаны с экзотическими понятиями с помощью решеток.
ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО Международная лицензия Creative Commons с указанием авторства 4.0 Страница 10 из 44ИОХК | ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО | 28.06.2017

Абстрактная цель всегда одна и та же. Существует трудная проблема, которую невозможно решить, если у кого-то есть секретное знание. Говорят, что обладателем этого знания является владелец пары ключей и должен быть единственным лицом, имеющим возможность ее использовать.

Существует две группы проблем, с которыми сталкивается криптовалюта при выборе схемы подписи. Во-первых, это долгосрочная надежность самой схемы. Некоторые криптографические схемы, использовавшиеся в 1970-х и 1980-х годах, такие как DES, были сломаны. Период, в течение которого следует принять решение о том, что схема выживет.

Во-вторых, существует множество предприятий, правительств и других учреждений, которые предпочли или в некоторых случаях требовалось использование конкретной схемы. Например, АНБ поддерживает Набор протоколов Suite B. Существуют стандарты ISO и даже рабочих групп W3C по криптографии.

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

Для Cardano мы решили начать с использования криптографии на основе эллиптических кривых, кривой Ed25519 в частности. Мы также решили улучшить существующие библиотеки, добавив поддержку HD-кошельков. с использованием спецификации доктора Дмитрия Ховратовича и Джейсона Лоу.
8

При этом Cardano в будущем будет поддерживать больше схем подписи. В частности, мы заинтересованы в интеграции BLISS-B для добавления в нашу систему сигнатур, устойчивых к квантовым компьютерам. Мы также заинтересованы в добавлении SECP256k1 для улучшения совместимости с устаревшими системами. криптовалюты, такие как Bitcoin.

Cardano был разработан со специальными расширениями, которые позволят нам добавлять больше подписей. схемы через софт-форк. Они будут добавляться по мере необходимости и во время крупных обновлений, запланированных в дорожная карта.
9

Активы, выпущенные пользователями (UIA)

В начале истории Bitcoin были быстро разработаны протоколы, позволяющие пользователям выпускать активы, подключены к учетной системе Bitcoin, чтобы одновременно отслеживать несколько валют. 8 Это документация по реализации HD-кошелька Cardano. Мы считаем, что Cardano является первым криптовалюта для поддержки HD-кошельков Ed25519
9 См. cardanoroadmap.com.
ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО Международная лицензия Creative Commons с указанием авторства 4.0 Страница 11 из 44ИОХК | ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО | 28.06.2017

Эти протоколы не поддерживались изначально протоколом Bitcoin, но были реализованы через умные хаки.

В случае наложений Bitcoin, таких как Colored Coins и Mastercoin (теперь называемых Omni), свет клиенты вынуждены полагаться на доверенные серверы. Также необходимо оплатить комиссию за транзакцию. биткойны. Эти свойства в сочетании с единым конвейером утверждения транзакций делают Bitcoin неоптимален для учета нескольких основных средств.

В случае Ethereum с использованием стандарта ERC20 имеется больше возможностей. Однако, комиссии за транзакции по-прежнему требуют эфира. Кроме того, в сети Ethereum возникают трудности. масштабирование под нужды всех выпущенных token ERC20.

Фундаментальную проблему можно разбить на три части: ресурсы, стимулы и забота. Что касается ресурсов, добавление совершенно новой валюты в тот же реестр означает, что у вас есть два независимых набора UTXO (неизрасходованные входы транзакций) совместно используют полосу пропускания, мемпул и блокировать пространство. Узлы консенсуса, отвечающие за внедрение транзакций этих валют. для этого нужен стимул. И не каждый пользователь криптовалюты будет или должен заботиться о валюта конкретного субъекта.

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

Учитывая проблемы, Cardano принял прагматичный подход к учету нескольких активов. Поэтапное строительство. Первой задачей является создание необходимой инфраструктуры для поддержки требования тысяч МАУ. А именно необходимы следующие улучшения:

1. Структуры аутентифицированных данных специального назначения, позволяющие отслеживать очень большие объемы данных. UTXO состояние

2. Возможность иметь распределенный мемпул для хранения огромного набора ожидающих транзакций.
3. Разделение блокчейна и контрольные точки для обеспечения огромного глобального blockchain 4. Схема стимулирования, которая вознаграждает узлы консенсуса за включение различных наборов транзакции 5. Механика подписки, которая позволяет пользователям решать, какие валюты они хотят отслеживать.
6. Надежная безопасность гарантирует, что МАУ пользуются такой же безопасностью, как и собственный актив. 7. Поддержка децентрализованного маркет-мейкинга для улучшения ликвидности между МАУ и основной token

ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО Международная лицензия Creative Commons с указанием авторства 4.0 Страница 12 из 44ИОХК | ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО | 28.06.2017

Наши предварительные усилия по поиску правильной структуры аутентифицированных данных привели к созданию новой тип дерева AVL+, разработанный совместно Лео Рейзиным, IOHK и Waves. Требуются дополнительные исследования, но это фундаментальное усовершенствование, которое будет включено в более позднюю версию Cardano.

Распределенный мемпул можно реализовать с использованием протокола RAMCloud Стэнфордского университета. Эксперименты начнутся в третьем квартале 2017 года по изучению его интеграции в консенсусный уровень Cardano.

Остальные темы взаимосвязаны и охватываются постоянными исследованиями. Мы ожидаем — тема к результатам исследования — включить протокол в Cardano для МАУ во время Басё CSL релиз в 2018 году.

Масштабируемость

Распределенные системы состоят из набора компьютеров (узлов), соглашающихся запускать протокол или

набор протоколов для достижения общей цели. Этой целью может быть обмен файлом, как определено

протокол BitTorrent или сворачивание белка с помощью Folding@Home.

Наиболее эффективные протоколы получают ресурсы по мере присоединения узлов к сети. Файл, размещенный на

BitTorrent, например, можно загрузить в среднем гораздо быстрее, если много одноранговых узлов.

одновременно загружая его. Скорость увеличивается, поскольку одноранговые узлы предоставляют ресурсы, в то время как

также потребляя их. Эту характеристику обычно имеют в виду, когда говорят о распределенном

системные весы.

Проблема разработки всех нынешних криптовалют заключается в том, что на самом деле они не

спроектирован так, чтобы быть масштабируемым. Например, блокчейны обычно представляют собой связанный список, доступный только для добавления.

блоки. Безопасность и доступность протокола blockchain зависят от множества узлов.

обладая полной копией данных blockchain. Таким образом, один байт данных должен быть реплицирован.

среди N узлов. Дополнительные узлы не предоставляют дополнительных ресурсов.

Этот результат одинаков для обработки транзакций и распространения сообщений по всему миру.

система. Добавление большего количества узлов в консенсусную систему не дает дополнительных

мощность обработки транзакций. Это просто означает, что нужно потратить больше ресурсов, чтобы сделать то же самое.

работа. Больше ретрансляции в сети означает, что больше узлов должны передавать одни и те же сообщения, чтобы сохранить

вся сеть синхронизируется с самым последним блоком.

Учитывая эту топологию, криптовалюты не могут масштабироваться в глобальную сеть наравне с устаревшими.

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

больше мощности обработки и хранения. Добавляя конкретную точку, Bitcoin представляет собой очень маленькую сеть.

относительно своих платежных коллег, но с трудом справляется со своей текущей нагрузкой.
ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО Международная лицензия Creative Commons с указанием авторства 4.0 Страница 13 из 44ИОХК | ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО | 28.06.2017

Нашим целям масштабируемости Cardano во многом способствует наш алгоритм консенсуса. Уроборос

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

традиционные протоколы, разработанные за последние 20 лет для удовлетворения потребностей крупных

провайдеры инфраструктуры, такие как Google и Facebook.
10

Например, выбор кворума для эпохи означает, что у нас есть доверенный набор узлов для

вести реестр в течение определенного периода времени. Одновременно избрать несколько кворумов тривиально.

и распределять транзакции по разным кворумам.

Аналогичные методы можно применять для распространения по сети, а также для сегментирования blockchain.

себя на уникальные разделы. В нашей текущей дорожной карте методы масштабирования будут применяться к

Уроборос стартует в 2018 году и продолжит оставаться в центре внимания в 2019 и 2020 годах.

Cardano Вычислительный уровень

Как упоминалось ранее, существует два компонента транзакции: механизм отправки и запишите поток tokens, а также причины и условия перемещения tokens. последний может быть сколь угодно сложным и включать в себя терабайты данных, несколько подписей и специальные происходящие события. Последнее также может быть удивительно простым с одним значением отправки подписи. на другой адрес.

Проблема моделирования причин и условий потока ценностей состоит в том, что они чрезвычайно личный для сущностей, вовлеченных самым непредсказуемым образом. Уроки договорное право рисует еще более проблематичную картину, в которой сами участники могут не даже осознавать, что сделка не соответствует коммерческой реальности. Обычно мы называем это явление «семантический разрыв». 11

Зачем создавать криптовалюту, гоняясь за бесконечным уровнем сложности и абстракции? Оно кажется сизифовым по своей природе и наивным на практике. Более того, каждая абстракция охватывала имеет как юридические последствия, так и последствия для безопасности.

Например, в Интернете существует множество видов деятельности, которые повсеместно считаются незаконными или презираются. например, торговля детской порнографией или продажа государственной тайны. Развертывая надежные 10 Существуют и другие независимые исследовательские протоколы, пытающиеся достичь той же цели, такие как Эластико и Bitcoin-NG
11 Лой Луу и др. обсудить этот пробел в своей недавней статье «Сделать смарт-контракты умнее». ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО Международная лицензия Creative Commons с указанием авторства 4.0 Страница 14 из 44ИОХК | ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО | 28.06.2017

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

Преследование операторов Tor, жестокое обращение с оператором Silk Road и отсутствие в целом Правовая ясность, лежащая в основе правовой защиты участников протокола, оставляет неясный путь. Есть нет недостатка воображения относительно того, что еще может сделать достаточно развитая криптовалюта (см. Кольцо Гигеса). Разумно ли заставлять всех пользователей криптовалюты поддерживать или хотя бы способствовать худшим действиям и поведению в сети?

К сожалению, нет четких ответов, которые могли бы дать представление разработчику криптовалюты. Это больше о выборе позиции и защите ее достоинств. Преимущество в том, что и Cardano, и Bitcoin заключается в том, что мы решили разделить задачи на слои. С Bitcoin есть Подвой. С Cardano существует вычислительный уровень Cardano.

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

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

Когда кто-то хочет расширить возможности, есть две возможности. Это включено частным коллектив единомышленников и эфемерный по своей природе (например, игра в покер). Или это включен реестром возможностей, сопоставимых с Ethereum. В обоих случаях мы выбрали перенос событий в другой протокол.

В случае частного эфемерного события разумно избегать парадигмы blockchain. полностью, а скорее ограничить усилия по созданию библиотеки протоколов MPC специального назначения, которые могут вызываться по желанию группой участников-единомышленников. Вычисления и действия координируются в частной сети и ссылаются на CSL только как на надежную доску объявлений и канал передачи сообщений при необходимости.

Ключевым моментом в этом случае является наличие согласия, инкапсуляции ответственности и конфиденциальности. CSL - это используется как цифровое достояние, где пользователи могут встречаться и общаться — как в парке частное мероприятие, но не предусматривает каких-либо специальных условий или содействия. Кроме того, ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО Международная лицензия Creative Commons с указанием авторства 4.0 Страница 15 из 44ИОХК | ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО | 28.06.2017

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

Исследовательские усилия Cardano в отношении этой библиотеки централизованы в нашей Токийской технологической лаборатории с некоторая помощь со стороны ученых за рубежом. Мы называем библиотеку «Тарталья» в честь товарища математик, а также современник Cardano и ожидает, что первая итерация будет доступна в 1 квартале 2018 года.

Во втором случае нужен blockchain с виртуальной машиной, набор узлов консенсуса. и механизм, обеспечивающий связь между двумя цепочками. Мы начали процесс строгой формализации виртуальной машины Ethereum с использованием K-фреймворка в 12 партнерство с командой из Университета Иллинойса.

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

До сих пор остаются нерешенными вопросы об экономике газа, предложенной Ethereum, и о том, как она относится к таким работам, как «Ресурсоориентированное машинное обучение» Яна Хоффмана и др. и более широкое исследование оценка ресурсов для вычислений. Нам также любопытен уровень языка. независимость виртуальной машины. Например, проект Ethereum выразил желание для перехода с текущей виртуальной машины на веб-сборку.

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

Как и проект Zeppelin, основанный на Solidity, IOHK также разработает справочную библиотеку кода Plutus. разработчикам приложений для использования в своих проектах. Также мы разработаем специализированный набор инструментов для формальной проверки, вдохновленной работой проекта Liquid Haskell UCSD.

С точки зрения консенсуса, Уроборос был разработан достаточно модульным, чтобы поддерживать smart contract оценка. Следовательно, и CSL, и CCL будут использовать один и тот же алгоритм консенсуса. 12 Изобретено профессором Григоре Рошу и др. al., K — универсальная основа для независимого от языка семантика машинного исполнения. До нашей работы он использовался для моделирования C, Java и JavaScript. 13 Это означает, что разные узлы консенсуса используют разные smart contract. Также известно как сегментирование состояния ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО Международная лицензия Creative Commons с указанием авторства 4.0 Страница 16 из 44ИОХК | ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО | 28.06.2017

Разница в том, что Уроборос может быть подтвержден как разрешенный, так и разрешенный. несанкционированные реестры посредством распространения token.

Вместе с CSL Ada распространялась посредством генерирующего события token среди покупателей по всей Азии. который в конечном итоге перепродаст на вторичном рынке. Это означает, что алгоритм консенсуса CSL контролируется разнообразной и все более децентрализованной группой акторов или делегированных им назначает. С помощью CCL можно создать специальный объект token, принадлежащий делегатам этого реестр, который может быть регулируемыми организациями, тем самым создавая разрешенный реестр.

Гибкость этого подхода позволяет реализовывать различные экземпляры CCL с разными правила оценки сделок. Например, азартные игры могут быть ограничены. за исключением случаев, когда данные KYC/AML присутствуют просто путем внесения в черный список транзакций, не связанных с атрибуцией.

Наша последняя цель при проектировании — добавление в наш протокол надежных аппаратных модулей безопасности (HSM). стек. Это два огромных преимущества при внедрении этих возможностей в протокол. Во-первых, HSM обеспечивают значительное повышение производительности без повышения безопасности. 14 проблемы, выходящие за рамки доверия продавцу. Во-вторых, благодаря использованию герметичных стеклянных пробок (SGP), HSM могут гарантировать, что данные могут быть проверены, а затем уничтожены без скопированы или переданы злоумышленникам.

Если сосредоточить внимание на втором пункте, ПМГ могут оказать революционное влияние на соблюдение требований. Обычно, когда потребитель предоставляет личную информацию (PII) для аутентификации личность или доказать право на участие, эта информация передается доверенной третьей стороне с надежду, что оно не будет действовать злонамеренно. Эта деятельность по своей сути централизована, поставщик данных теряет контроль над своей личной информацией, а также подпадает под действие различных правил в зависимости от юрисдикции.

Возможность выбрать набор доверенных подтверждающих и затем хранить личные данные в аппаратном анклаве. означает, что любой субъект с достаточно способным HSM сможет проверить факты об актере неподдельным способом, без того, чтобы проверяющий знал личность действующего лица. Например, Боб не гражданин США. Алиса является аккредитованным инвестором. Джеймс — налогоплательщик США, и его следует отправить налогооблагаемую прибыль на счет Х.

Стратегия HSM Cardano будет заключаться в попытке реализовать специализированные протоколы в течение следующих двух лет с использованием Intel SGX и ARM Trustzone. Оба модуля встроены в миллиарды потребительских устройства от ноутбуков до мобильных телефонов и не требуют дополнительных усилий со стороны потребителя для использовать. Оба также тщательно проверены, хорошо спроектированы и основаны на многолетних итерациях некоторых разработчиков. крупнейшие и лучше всего финансируемые команды по обеспечению аппаратной безопасности.

14 См. http://hackingdistributed.com/2016/12/22/scaling-bitcoin-with-secure-hardware/ из Корнелла. Университет ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО Международная лицензия Creative Commons с указанием авторства 4.0 Страница 17 из 44ИОХК | ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО | 28.06.2017

Регулирование

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

Например, Никербокерский кризис 1907 года привел к созданию Федеральной резервной системы. Система 1913 года как кредитор последней инстанции. Другой пример — эксцессы 1920-х годов в США, что привело к ужасному финансовому краху, Великой Депрессии. Этот крах привело к созданию Комиссии по ценным бумагам и биржам в 1934 году, чтобы предотвратить подобное событие или, по крайней мере, привлечь к ответственности злоумышленников.

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

Во-первых, какой свод правил должен иметь первостепенное значение при работе с коллекцией юрисдикции? Устаревшее представление о Вестфальском суверенитете тает, когда одна-единственная сделка может коснуться трех десятков стран менее чем за минуту. Если бы это был просто тот, кто владеет наибольшее геополитическое влияние?

Во-вторых, усовершенствования в технологиях обеспечения конфиденциальности привели к гонке цифровых вооружений, в которой становится все труднее даже понять, кто участвовал в транзакции, гораздо меньше тех, кто владеет конкретным средством сбережения. В мире, где миллионы долларов активов можно контролировать с помощью только тайно хранимой мнемоники из 12 слов, как вы это сделаете? 15 обеспечить эффективное регулирование?

Как и все финансовые системы, протокол Cardano в своей конструкции должен иметь мнение о том, что именно справедливый и разумный. Мы решили провести различие между индивидуальными правами и правами рынок.

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

15 См. BIP39 https://github.com/bitcoin/bips/blob/master/bip-0039.mediawiki.
ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО Международная лицензия Creative Commons с указанием авторства 4.0 Страница 18 из 44ИОХК | ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО | 28.06.2017

Во-вторых, в историю никогда нельзя вмешиваться. Блокчейны обещают неизменность. Предоставление права откатывать историю или изменять официальные записи — это слишком много. искушение изменить прошлое ради выгоды конкретного актера или актеров.

В-третьих, поток ценностей должен быть неограниченным. Контроль за движением капитала и другие искусственные стены умалять права человека. Помимо тщетности попыток обеспечить их соблюдение, в глобальном масштабе 16 экономика, при которой многие граждане наименее развитых стран выезжают за пределы своей юрисдикции Чтобы найти прожиточный минимум, ограничение потоков капитала обычно заканчивается тем, что наносит ущерб беднейшим слоям населения в мире.

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

Проблема всегда заключалась в стоимости и практичности правоприменения. Небольшой, многоюрисдикционный транзакции просто слишком дороги в устаревших системах, чтобы обеспечить высокую гарантию обращения за помощью. в случае мошенничества или коммерческого спора. Когда кто-то отправляет свой банковский перевод на Нигерийский принц, попытаться вернуть свои средства обычно слишком дорого.
17

Мы считаем, что Cardano может внедрять инновации на трёх уровнях. Во-первых, с помощью smart contracts условия коммерческих отношений можно лучше контролировать. Если все активы цифровые и могут быть выражены исключительно на CSL, могут быть предоставлены надежные гарантии торговли без мошенничества. выиграл.

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

Наконец, в дорожной карте Cardano предусмотрено создание модульного правила DAO, которое можно настроен для взаимодействия с написанными пользователем smart contract, чтобы добавить изменчивость, потребительский защита и арбитраж. Масштабы этого проекта будут изложены в следующей статье.

16 В качестве примера противодействия потоку капитала см. Банковскую систему Хавала. 17 См. Мошенничество с предоплатой ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО Международная лицензия Creative Commons с указанием авторства 4.0 Страница 19 из 44ИОХК | ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО | 28.06.2017

В чем смысл всего этого?

Cardano — это марафонский проект, в котором приняли участие сотни самых ярких умов.

внутри и за пределами криптовалютной индустрии. Он предполагает неустанное повторение, активное использование

рецензирование и бессовестное воровство великих идей, когда они обнаруживаются.

Каждый из оставшихся разделов посвящен определенному аспекту, который, по нашему мнению, является ключевым.

компонент нашего проекта. Некоторые из них были выбраны из-за желания улучшить общий результат.

практики пространства, тогда как другие специфичны для эволюции Cardano.

Хотя ни один проект не может охватить все цели или удовлетворить каждого пользователя, мы надеемся предоставить видение

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

реальность криптовалют не в том, что они разрушат существующие устаревшие финансовые системы.

Устаревшие финансовые системы всегда способны поглощать изменения и сохранять свою форму.

и функция.

Скорее следует искать места, где просто слишком дорого развертывать существующие

банковская система, в которой многие живут менее чем на несколько долларов в день, не имеет устойчивой идентичности и

кредит невозможно найти.

В этих местах возможность объединить платежную систему, права собственности, личность, кредит и риск

защита в одном приложении, работающем на мобильном телефоне, не просто полезна, она меняет жизнь.

Причина, по которой мы создаем Cardano, заключается в том, что мы чувствуем, что у нас есть законный шанс доставить — или

по крайней мере, продвижение вперед — это видение развивающегося мира.

Даже в случае неудачи, если мы сможем изменить способы проектирования, развития и финансирования криптовалют,

тогда это великое достижение.

Наука и техника

Искусство итерации

Криптовалюты — это протоколы, реализованные в виде программного обеспечения. Протоколы просто умны разговоры между участниками. Программное обеспечение — это, в конечном счете, манипуляция данными с учетом некоторых ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО Международная лицензия Creative Commons с указанием авторства 4.0 Страница 20 из 44

ИОХК | ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО | 28.06.2017

цель. Однако разница между прочным и надежным программным обеспечением, а также полезными, безопасными протоколами и их разговор вполне человеческий.

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

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

Уникальная проблема в криптовалютной индустрии заключается в том, что два совершенно разных философии смешиваются друг с другом без надлежащего гегелевского синтеза. Наш тезис – «движение быстро и ломать» менталитет стартапа, движимый молодостью, жадностью и страстью. Антитеза – это медленный, методичный и академически ориентированный подход, мотивированный желанием укрепить инновации нашей сферы в красивую нишу, пользующуюся достаточным финансированием и престижем.

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

19

Однако на кону стоят миллиарды долларов. После внедрения криптовалюта чрезвычайно

сложно изменить. Как пользователь узнает, что он использует безопасную систему? Как пользователь

знаете, что маркетинговые претензии законны? Что, если предлагаемый протокол никогда не сможет достичь

претензии?

Отсутствие синтеза и уважения к процессу является одной из основных причин, по которой IOHK хотел

сборка Cardano. Мы надеялись разработать эталонный проект, который послужит примером

как действовать более эффективно, разумно и честно.

Цель состоит не в том, чтобы предложить совершенно новый способ разработки программного обеспечения и протоколов, а в том, чтобы

признать, что отличное программное обеспечение и протоколы уже существуют, и мы можем имитировать условия

что привело к их созданию. Во-вторых, сделать эти условия общеизвестными и открыть исходный код, если

возможно, чтобы им можно было подражать на благо всей области. 18 Подробный список по рыночной капитализации см. на сайте www.coinmarketcap.com. 19 Ethereum имеет полуформальную спецификацию, известную как Желтая книга; однако семантика EVM не определены полностью и не являются достаточными для полной реализации протокола. ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО Международная лицензия Creative Commons с указанием авторства 4.0 Страница 21 из 44ИОХК | ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО | 28.06.2017

Факты и мнения

Другая проблема заключается в том, где заканчиваются факты и начинается мнение. Есть сотни

языки программирования, десятки парадигм разработки и не одна философия по

управление проектом. Академический мир пронизан собственными проблемами, вытекающими из его

дистанция от деловых проблем и практичности.

Для Cardano мы сначала попытались выявить очевидные недостатки, которые могут быть признаны всеми.

быть полезным с инженерной точки зрения. Например, криптография и распределенная

системы — чрезвычайно сложные темы, в которых слишком много примеров того, как наивные руки

может совершить ужасные ошибки. Следовательно, любой протокол, требующий понимания этих областей, нуждается в

быть разработан признанным экспертом и представлен на рассмотрение другим экспертам.

Уроборос — наше первое исследование в этой области. Он был разработан командой криптографов с

большая, разнообразная и публично проверяемая история публикаций. Он построен по стандарту

криптографический процесс с предположениями о безопасности, состязательной моделью и доказательствами. Эти

доказательства проверялись путем представления на конференции а также самостоятельно с помощью компьютера

20 доказательства написаны на языке Изабель командой Кембриджского университета.
21

Однако сама по себе эта работа не дает никаких гарантий полезности — только строгая проверка безопасности.

Модель с учетом некоторых допущений. Для полезности необходимо реализовать и протестировать протокол.

Наши разработчики сделали это как в Haskell, так и в Rust. Эта работа показала, что больше усилий

необходимо было сосредоточиться на модели синхронизации, что привело к созданию Уроборос

Праос.

Именно это искусство итерации позволяет создавать великолепные протоколы, каждый шаг которых ведет к новым урокам и

требование повторной проверки правильности предыдущего шага. Это дорого, отнимает много времени и

22 Иногда это действительно утомительно, но необходимо убедиться, что протокол разработан правильно.

Протоколы, особенно те, которые будут использоваться миллиардами людей, не являются кратковременными и быстродействующими.

развивается. Скорее, они рассчитаны на то, чтобы следовать им в течение многих лет или десятилетий. Кажется, совсем

разумно, что прежде чем обременять мир новой финансовой системой, нам всем придется жить с

в течение следующих 100 лет мы хотим потребовать от его дизайнеров некоторой скуки и строгости.

20 Принят документ номер 71 на ежегодной конференции IACR по криптовалютам в Калифорнии.
21 Кавин Уоррасангасилпа под руководством профессора Лоуренса Полсона.
22 Отклоняясь от темы ради легкомыслия, следует посмотреть дискуссию профессора Халмоша о том, как написать учебник математики ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО Международная лицензия Creative Commons с указанием авторства 4.0 Страница 22 из 44ИОХК | ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО | 28.06.2017

Функциональные грехи

Переходя на более самоуверенную территорию, инструменты, языки и методологии, используемые в

разработка программного обеспечения — это скорее артефакт религиозного провидения, чем объективная реальность. Источник

код подобен написанной прозе. У каждого есть мнение о том, что хорошо и что есть

передаваемая информация порой менее важна, чем то, как она передается.

Мы должны совершить грех, выбрав сторону, признав, что она будет неправильной, по крайней мере, в одном.

глаза человека. Однако за нашим выбором стоит, по крайней мере, большое количество обоснований.

Протоколы, делающие возможным Cardano, реализуются на Haskell. Пользовательский интерфейс

был заключен в ответвление Электрона, которое мы называем Дедал. Мы решили

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

парадигма с использованием RocksDB.

На уровне компонентов эта абстракция означает, что обслуживание намного проще и лучше.

технология может быть заменена позже без особых усилий, и что наш стек частично привязан к

усилия по развитию Github и Facebook.

Использование WebGUI позволяет нам использовать React и разрабатывать интерфейсные функции с помощью инструментов.

понимают сотни тысяч разработчиков JavaScript. Использование веб-архитектуры

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

Выбор Haskell для разработки протоколов был самым трудным выбором. Даже в функционале

мире существует широкий выбор. С более гибкой и нечистой стороны есть такие языки, как

Clojure, Scala и F#, использующие огромные библиотеки Java и .Net.

экосистемы, сохраняя при этом некоторые из лучших аспектов функционального программирования.

Есть более академически ориентированные языки, такие как Agda и Idris, которые имеют близкую

подключение к методам, которые позволили бы обеспечить строгую проверку правильности. И все же им не хватает

разумные библиотеки и имеют неудовлетворительный опыт разработки.

В случае Cardano выбор пал на Ocaml и Haskell. Ocaml — замечательный язык с

отличное сообщество, хорошие инструменты, достаточный опыт разработки и большое наследие в области

формальное пространство проверки через Coq. Так почему же мы выбрали Haskell? 23

23 Вдобавок к этому, у IOHK действительно есть проект, реализуемый в Ocaml под названием Qeditas, который мы унаследовали от псевдонима Билла Уайта ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО Международная лицензия Creative Commons с указанием авторства 4.0 Страница 23 из 44ИОХК | ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО | 28.06.2017

Почему Хаскель?

Протоколы, составляющие Cardano, распространяются, связаны с криптографией и требуют

высокая степень отказоустойчивости. В лучшие дни все еще будут византийские актеры, уродливые.

сообщения и неисправные клиенты, непреднамеренно вызывающие тот или иной хаос в сети.

Во-первых, нам нужен был язык со строгой системой типов, в которой мы могли бы легко использовать инструменты.

такие как быстрая проверка и более сложные методы, такие как типы уточнения, при наличии

разумное ожидание отказоустойчивости. Модель OTP в стиле Эрланга удовлетворяет последнему варианту.

тогда как языки вроде Haskell и Ocaml удовлетворяют первым.

С появлением Cloud Haskell Haskell получил многие преимущества Erlang, но при этом не

отдавая свое. Более того, модульность и компонуемость Haskell позволили нам

используйте более легкую специальную библиотеку под названием Time Warp для Cardano.

Во-вторых, библиотеки Haskell сильно развились за последние несколько лет благодаря обширной работе.

коммерческих организаций, таких как Galois, FP Complete и Well-Typed. Как следствие, Haskell может

использоваться для написания производственных приложений.
24

В-третьих, быстрая эволюция PureScript обеспечила столь необходимый мост в мир JavaScript.

похоже на то, что Clojurescript дал Clojure. Мы ожидаем, что PureScript будет особенно важен

когда дело доходит до работы Cardano в браузере и разработки мобильных кошельков.

В-четвертых, что касается разрешения зависимостей, Haskell за последние несколько лет пользовался популярностью.

значительные социальные и технологические усилия, возглавляемые такими технологами, как Майкл Снойман, посредством

платформа под названием stackage, которая проста в использовании и хорошо поддерживается FP Complete.

В-пятых, помимо адекватного разрешения зависимостей, мы стремимся к тому, чтобы сборки нашего программного обеспечения были

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

должен создавать точно такие же артефакты сборки. Через стек мы использовали NixOps.

добиться воспроизводимости с большим успехом.

Наконец, кадровый резерв разработчиков, специализирующихся на Haskell, достаточно велик — по сравнению с

своих коллег — и достаточно хорошо подготовленных, с правильным сочетанием академических и отраслевых знаний. Это также

действует как фильтр компетентности, поскольку редко можно встретить опытных разработчиков Haskell без

детальные знания информатики.
24 Брайан О'Салливан здесь неплохо рассказывает о промышленном использовании Haskell.
ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО Международная лицензия Creative Commons с указанием авторства 4.0 Страница 24 из 44ИОХК | ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО | 28.06.2017

Формальная спецификация и проверка

Значительным преимуществом разработки протокола с использованием доказуемо правильной модели безопасности является то, что он обеспечивает гарантированный предел силы противника. Каждому дается контракт, согласно которому до тех пор, пока протокол соблюдается и доказательства верны, злоумышленник не может нарушить безопасность заявленные свойства.

Более глубокое размышление делает предшествующее утверждение еще более значимым. Противники могут быть произвольными умный и способный. Сказать, что они побеждены исключительно благодаря математической модели, значит необыкновенный. И, конечно, это не совсем так.

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

Необходимо вынести суждение о том, какая степень детализации, строгости и проверки требуется для протокол. Например, такие проекты, как проект SeL4 Microkernel, являются ярким примером Нападение на двусмысленность, требующее почти 200 000 строк кода Isabelle для проверки менее 10 000 строк кода C. Тем не менее, ядро операционной системы представляет собой критическую инфраструктуру, которая может стать серьезная уязвимость безопасности, если она не реализована должным образом.

Должно ли все криптографическое программное обеспечение требовать одинаковых титанических усилий? Или можно выбрать меньше энергичный путь, дающий эквивалентные результаты? Также имеет значение, если протокол идеально реализовано, если среда, в которой он работает, общеизвестно уязвима, например, Windows ХР?

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

ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО Международная лицензия Creative Commons с указанием авторства 4.0 Страница 25 из 44ИОХК | ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО | 28.06.2017

Во-вторых, чтобы проверить код Haskell на соответствие нашим техническим документам, мы можем выбрать между двумя популярными вариантами: взаимодействием с проверяющими SMT через LiquidHaskell и использованием Изабель/ХОЛ.

Решатели SMT (теории выполнимости по модулю) решают задачу поиска функционала. параметры, которые удовлетворяют уравнению или неравенству, или, альтернативно, показывающие, что такие параметры не существуют. Как обсуждали Де Моура и Бьорнер, варианты использования SMT различны, но ключевые Дело в том, что эти методы являются одновременно мощными и могут значительно уменьшить количество ошибок и смысловые ошибки.

Isabelle/HOL, с другой стороны, является более выразительным и разнообразным инструментом, который можно использовать для

как указать, так и проверить реализацию. Изабель — универсальный решатель теорем, работающий с

логические конструкции более высокого порядка, способные представлять множества и другие математические объекты для

использоваться в доказательствах. Сама Isabelle интегрируется с средством проверки Z3 SMT для решения проблем, связанных с

такие ограничения.

Оба подхода имеют ценность, и поэтому мы решили поэтапно освоить их оба.

Письменные доказательства, написанные человеком, будут закодированы в языке Изабель для проверки их правильности, тем самым удовлетворив

наши требования к проверке машины. И мы намерены постепенно добавлять Liquid Haskell ко всем

производственный код в реализации Cardano в течение 2017 и 2018 годов.

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

По-прежнему существует огромная трудность в сборе надлежащей спецификации, а также в обновлении спецификация, когда необходимо внести такие изменения, как обновления, исправления ошибок и другие проблемы; однако эта реальность никоим образом не умаляет общей ценности. Если у кого-то возникнут проблемы построив фундамент на доказуемой безопасности, тогда реализация должна быть такой, какой была фактически предложено на бумаге.

Прозрачность

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

ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО Международная лицензия Creative Commons с указанием авторства 4.0 Страница 26 из 44ИОХК | ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО | 28.06.2017

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

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

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

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

Что касается кода, эта тема немного более самоуверенна. Для Cardano мы решили поручить Cardano Фонд будет выступать в качестве окончательного аудитора работы IOHK. В частности, им поручено со следующими обязанностями:

1. Регулярная проверка исходного кода, содержащегося в Cardano Github, на предмет качества. тестовое покрытие, правильные комментарии и полнота
2. Проверка всей документации Cardano на предмет правильности и полезности.
3. Проверка утверждений о том, что протоколы, подготовленные учеными, полностью реализованы.

Для выполнения этой задачи IOHK будет регулярно и своевременно представлять отчеты Фонду и его назначает – рассмотреть. Фонд, в свою очередь, опубликует отчет о надзоре за развитием Cardano сообществе не реже одного раза в квартал.

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

По этой причине после того, как казначейство будет интегрировано в CSL, Фонд будет поощрять дополнительные команды разработчиков для создания альтернативных клиентов на основе формального спецификации разработаны совместно с IOHK. Разнообразие развития было отличным методом используется проектом Ethereum, чтобы избежать формирования монокультуры вокруг одного набора идей или разработчики. ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО Международная лицензия Creative Commons с указанием авторства 4.0 Страница 27 из 44

ИОХК | ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО | 28.06.2017

Что касается спецификаций, то из стандартов можно получить обширные знания. процесс, за которым следуют WC3 и IETF. В конечном итоге каждый протокол Cardano объединяет требует спецификации, которая не зависит от академической работы или исходного кода. Скорее, это необходимо быть в подходящем формате, например RFC.

Один из основных принципов Фонда Cardano — действовать в качестве органа по стандартизации специально для Cardano протоколов и проводить обсуждения по обновлению, добавлению или изменению стандартов, относящихся к Cardano. Если Интернет (продукт стандартов) через IETF сможет достичь консенсуса о том, что должны использоваться основные протоколы, то вполне разумно предположить, что специальный орган могло бы способствовать тому же результату.

В заключение хотелось бы отметить, что интересно рассмотреть возможность переноса этих обсуждений в децентрализованную структуру. размещен на blockchain. Эта концепция называется децентрализованной автономной организацией (DAO). и в этой области ведутся предварительные работы. IOHK разработает эталонную модель DAO для объекты, взаимодействующие с Cardano, можно использовать при желании, и это является прерогативой Фонда Cardano. решить, включать ли это в свой мандат по стандартам.

Совместимость

Большая близорукость

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

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

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

ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО Международная лицензия Creative Commons с указанием авторства 4.0 Страница 28 из 44

ИОХК | ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО | 28.06.2017

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

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

Еще один момент: слиток золота не может двигаться сам по себе. Цифровой судья может управлять своим движение, но не может заставить его двигаться без помощи людей. Следовательно, цифровой реестр может отход от реальности.

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

В этом и следующем разделах, посвященных правилам, рассматривается прагматичный подход Cardano к этой теме. В С точки зрения совместимости необходимо обсудить две большие группы. Во-первых, совместимость с устаревшие финансовые системы (мир без криптовалюты). Во-вторых, совместимость с другими криптовалюты.

Наследие

Финтех не состоит из единого стандарта или даже общего языка. Существует огромное

разнообразие подходов, субъекты, ответственные за расчеты и клиринг, бизнес

процессы и другие области, связанные с учетом, преобразованием и движением

ценность.

Неразумно предполагать, что просто потому, что одна технология превосходит другие, остальные

экосистема так или иначе признает поражение и модернизируется. Например, многие люди до сих пор используют

Windows XP спустя 16 лет после первого выпуска. Это печальное положение вещей равносильно тому, чтобы кто-то

используя оригинальный Macintosh, выпущенный в 1984 году в 2000 году.

Помимо поведения потребителей, предприятия, как правило, еще медленнее проходят цикл обновлений. Многие

банки до сих пор используют серверную часть, написанную на Cobol. Как только станет известно, что инфраструктура работает и соответствует требованиям

бизнес-требованиям обычно мало стимулов для обновления или усовершенствования программного обеспечения и

протоколы в интересах потребителя, помимо соображений соответствия или безопасности. ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО Международная лицензия Creative Commons с указанием авторства 4.0 Страница 29 из 44ИОХК | ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО | 28.06.2017

Для Cardano нам сначала нужно установить, что вообще повлечет за собой устаревший мост? Какие системы,

стандарты, объекты и протоколы, на которые мы должны ориентироваться, чтобы обеспечить разумную уверенность в

совместимость? Могут ли эти мосты быть федерированными или децентрализованными? Или, как обмены, они будут

стать центральной точкой отказа для хакеров, злонамеренных владельцев или чрезмерно усердных регуляторов?

Есть три проблемы, которые необходимо решить. Во-первых, представление информации и

вера в его точность. Во-вторых, представление стоимости и связанной с ней собственности. В-третьих,

представление сущностей и конкретного пользователя наряду с совокупным уровнем доверия к таким

сущности.

Чтобы быть полезными, информация и ценности должны свободно перемещаться между унаследованным финансовым миром и

Cardano. Затем необходимо установить и записать результаты, чтобы создать репутацию и основания.

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

их на blockchain сделает их глобальными и постоянными.

Более того, в унаследованном мире ценности не всегда могут свободно течь. Эмбарго, санкции, капитал

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

всегда открывайте выпускной клапан, чтобы избежать утечки.

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

Как и наш выбор языка программирования, для Cardano не существует идеального решения. эти опасения абсолютно правильным образом. Скорее, мы должны уступить поддерживаемому мнению снова.

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

Учитывая, что мы намерены поддерживать доверенное оборудование в нашем стеке протоколов, мы решили изучить возможность добавления поддержки протокола городского глашатая профессора Ари Джуэля и др. Предполагая При наличии надежного набора источников данных Town Crier позволяет безопасно очищать веб-страницы. контент для использования в smart contracts и других приложениях.

ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО Международная лицензия Creative Commons с указанием авторства 4.0 Страница 30 из 44ИОХК | ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО | 28.06.2017

Начальный список источников будет предоставлен Emurgo, IOHK и Фондом Cardano. Позже этот список будет заменен списком, курируемым сообществом, с использованием механики, полученной из Cardano. казначейская система. Мы надеемся, что система репутации может материализоваться благодаря хорошим потокам данных, тем самым создавая петлю положительной обратной связи для постепенного повышения надежности и точности.

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

После token значение должно вести себя как уникальный объект. Информацию можно копировать и разошлись, но token, обозначающий право собственности на что-либо (скажем, название транспортного средства), не может быть клонированы и продаются в двух разных реестрах. Этот акт фактически разрушил бы целостность система.

Проблема совместимости устаревших версий при работе с tokenизированным значением заключается в том, что доверие предположения, надежность и проверяемость изменяются по мере перемещения token между реестрами. Например, если У Боба есть некоторое количество Bitcoin, а затем он вносит их на биржу. Теперь у Боба есть представление биржи его Bitcoin в их реестре. В случае с MtGOX их реестр не соответствуют действительности, в результате чего пользователи теряют все.

Проблема еще больше усложняется необходимостью в устаревших системах распознавать token, живущих в криптовалюта. Как упоминалось ранее, предприятия исторически устойчивы к модернизации. их программное обеспечение и поддержку новых протоколов. Такая ситуация затрудняет четкое представление решение.

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

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

А Cardano будет точно отслеживать право собственности и предоставлять все функции, к которым мы пришли. Любовь, такая как отметка времени и возможность аудита, ни одна криптовалюта не может сделать Боба честным банкиром. У него всегда есть возможность управлять банком с частичным резервированием, не обеспечивая весь свой доллар. ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО Международная лицензия Creative Commons с указанием авторства 4.0 Страница 31 из 44ИОХК | ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО | 28.06.2017

tokens реальными долларами. Это мошенничество не может быть обнаружено с помощью криптовалюты, если только доллар не сам по себе был token, учтенный в цифровой книге. 25

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

С этой целью можно использовать прагматичные, но централизованные решения, такие как сетевая инфраструктура открытых ключей и Система DNS ICANN внедрена. Учитывая, что нам нравится современная сеть, эти решения одновременно масштабируемы и практичны. Но они не отвечают более коммерчески ориентированному вопрос надежности, достоверности и других метахарактеристик, необходимых для определения если кто-то хочет вести бизнес с организацией.

Организаторы многосторонних торговых площадок, такие как eBay, построили бизнес-модель на предоставлении некоторых этих метаданных наряду со структурой для выполнения транзакций. Суждения о качество контента, событий и бизнеса часто сильно зависит исключительно от онлайн-рейтингов из проверенных источников. 26

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

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

К счастью, те же механизмы, которые используются при голосовании по казначейским бюллетеням, добавляя источники в список доверенные каналы данных и разветвление протокола можно повторно использовать для создания пространства репутации. Это открытая область исследований, и мы надеемся предоставить протокол наложения для децентрализованного репутационная сеть доверия в 2018–2019 годах после урегулирования дополнительных основополагающих элементов.

Совместимость криптовалют

25 С другой стороны, для цифровых реестров доказательство резерва было предложено как разумный способ хранения криптовалюта торгуется только честно. 26 Эти ставки влияют даже на создание самого контента. Посмотрите эту интересную историю о том, как Rotten Tomatoes оказало влияние на киноиндустрию. ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО Международная лицензия Creative Commons с указанием авторства 4.0 Страница 32 из 44ИОХК | ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО | 28.06.2017

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

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

Для Cardano мы интегрируем новый протокол боковой цепи, разработанный Киайасом, Миллером и Зиндрос. Он обеспечивает неинтерактивный способ безопасного перемещения стоимости между двумя цепочками, которые поддержите протокол. Этот механизм станет основным способом передачи стоимости между CSL и CCL-слой.

Для других криптовалют федеративные мосты должны формироваться по мере роста стоимости Cardano и количества пользователей. база. Чтобы ускорить этот рост, Cardano SL поддерживает ограниченную версию Plutus для сценарии взаимодействия. Новые транзакции будут добавлены в Shelley и более поздние версии CSL. специально для удовлетворения этих потребностей.

Лабиринт Дедала

Вопросы совместимости исходят из глобальной перспективы. Специализированные протоколы, новые

типы транзакций, системы оценки достоверности и поток информации не могут быть ограничены

только один привратник или пользователь. Скорее, они должны быть легко доступны каждому без

цензура или пошлины.

Но что происходит, когда Cardano не поддерживает протокол, транзакцию или приложение, которое

пользователь не может жить без? Должны ли мы просто выйти за рамки? Сеть столкнулась с аналогичной проблемой

в течение 1990-х годов.

По иронии судьбы, Интернет предлагает два разных решения, которые можно воспроизвести с помощью криптовалют.

Внедрение JavaScript обеспечило возможность программирования любого веб-сайта для добавления произвольных

особенности. Внедрение плагинов и расширений браузера добавило дополнительные возможности для

пользователи, желающие их установить. Оба подхода дали нам современную сеть со всей ее безопасностью.

ужасы.

ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО Международная лицензия Creative Commons с указанием авторства 4.0 Страница 33 из 44ИОХК | ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО | 28.06.2017

Ethereum использовал прежний подход, разрешив пользователям встраивать подпротоколы в

Ethereum blockchain как smart contracts. Cardano поддерживает эту функцию через CCL.

парадигма. А как насчет пользовательских расширений?

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

под названием DM, который поддерживает набор различных криптовалют. Трейдер хочет автоматизировать свою

стратегии, действующие на ДМ.

В фрагментированной экосистеме трейдеру придется устанавливать десятки клиентов для каждого

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

автоматизированные сделки. Если один клиент обновится, это может привести к поломке специального программного обеспечения. Кроме того,

что, если трейдер захочет продать программное обеспечение?

Вдохновленный веб-моделью расширений, если интерфейс к различным криптовалютам может быть

в веб-стек, то задача трейдера значительно упрощается. Универсальный

интерфейс может быть установлен. Установка осуществляется в один клик. Распространение программного обеспечения можно смоделировать.

после интернет-магазина Chrome.

Для Cardano мы решили поэкспериментировать с этой парадигмой, развернув наш эталонный

интерфейс кошелька на Electron. Это проект с открытым исходным кодом, поддерживаемый Github, который сочетает в себе

и Node, и Chrome вместе. Сборка Electron от Cardano называется Daedalus.

Первое поколение Дедала будет действовать как HD-кошелек с поддержкой многих ожидаемых

27 функции учета и безопасности, соответствующие отраслевым стандартам, такие как пароли расходов и

БИП39. В последующих поколениях Daedalus разовьется в платформу приложений с хранилищем,

универсальные API-интерфейсы интеграции и SDK.

Ключевыми нововведениями являются простота разработки, позволяющая программистам использовать JavaScript,

HTML5 и CSS3 для создания своих приложений и унифицированный мост для кросс-приложений.

общение. Сложное поведение, такое как криптография, управление распределенной сетью и

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

опыт и основную логику своего приложения.

Поскольку Дедал задуман как универсальная структура, его дорожная карта и эволюция несколько

независимо от Cardano. В 2017 году они тесно связаны, но позже Cardano будет просто

еще одно приложение для пользователя Daedalus. Мы также намерены изучить чрезвычайно уникальные функции.

например, универсальная служба управления ключами, работающая исключительно на Intel SGX.

27 Который уже доступен на daedaluswallet.io.
ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО Международная лицензия Creative Commons с указанием авторства 4.0 Страница 34 из 44

ИОХК | ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО | 28.06.2017

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

которые Daedalus предоставит в сочетании с smart contract с сохранением состояния, работающими на CCL, удовлетворят

те, которые были упущены нашими дизайнерскими решениями. Мы также надеемся, что могут появиться лучшие стандарты для

поощрять все криптовалюты к лучшей совместимости и безопасности.

Регулирование

Ложная дихотомия

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

Криптовалюты не изменили положение человека или повествовательную петлю. всегда будет быть мошенничеством, плохими актерами и ужасными результатами, несмотря на самые благие намерения. Пока Криптовалюты могут устранить человеческое суждение, но не могут устранить человеческое поведение.

Разработчик криптовалюты должен определиться с тем, какой инструментарий он предложит регулятору. исправить плохие события. Уникальная проблема, с которой сталкиваются криптовалюты, заключается в том, что они являются продуктом регуляторные и монетарные провалы. 28

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

С другой стороны, если принять во внимание биржевые неудачи и исторические события, более 10 процентов Bitcoin был потерян или украден с момента запуска протокола 3 января 2009 г. По состоянию на 30 июня В 2017 году стоимость утерянных или украденных вещей составила чуть более 4 миллиардов долларов. И эта цифра не учитывает для Bitcoin и других token, проигравших из-за мошенничества и плохо сформированных ICO.

28 На самом деле Сатоши встроил в блок Bitcoin Genesis следующий заголовок, взятый из The Times: The Times, 03 января 2009 г. Канцлер на пороге второго пакета помощи банкам ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО Международная лицензия Creative Commons с указанием авторства 4.0 Страница 35 из 44

ИОХК | ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО | 28.06.2017

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

29

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

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

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

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

Конфиденциальность должна быть разумной и находиться под контролем пользователя, а не привратника. Поток ценностей должно быть неограниченным. Ценность не должна подвергаться внезапной конфискации без согласия.

С точки зрения рынка, рынок должен быть прозрачным в отношении использования данных, того, как средства будут обрабатываться внутри компании, и все должны играть по одним и тем же правилам. Кроме того, как только пользователь дал согласие, он не может внезапно изменить свое мнение из-за неудобство. Контрагентам также нужна определенность.

Но как именно перейти от абстрактного к реальной системе? Что должно что-то практически и юридически выглядит? Мы разбили наше решение на три категории: метаданные, аутентификация и соответствие требованиям, а также торговая площадка DAOs.

29 Читателю следует рассмотреть возможность приобретения экземпляра книги Дэвида Вулмана «Конец денег». Он охватывает международное движение за исчезновение наличных денег. ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО Международная лицензия Creative Commons с указанием авторства 4.0 Страница 36 из 44ИОХК | ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО | 28.06.2017

Метаданные

Само действие часто может быть менее интересным, чем окружающие его метаданные. Для Например, поездка из Денвера в Боулдер — это поступок. Поездка из Денвера в Боулдер на Феррари 488 при средней скорости 120 миль в час — это метаданные. Конечно, это подразумевает другой опыт, чем в Toyota Prius со средней скоростью 30 миль в час.

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

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

Мы также считаем, что системы blockchain обладают огромной способностью предотвращать мошенничество, растрату и злоупотреблений путем обеспечения проверяемости, временных меток и неизменяемости. Таким образом, некоторые метаданные должны быть опубликовано на Cardano blockchain.

Самое сложное — найти правильный баланс, который не обрекает наш blockchain на существенные раздуваться. Учитывая эту озабоченность, мы выбрали прагматичный подход.

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

Во-вторых, мы изучаем возможность добавления поддержки специальных адресов, которые могут включать hashes и зашифрованные поля. Эта структура позволит пользователю публиковать метаданные на нашем blockchain без публично обнародовав это. Но если она захочет поделиться данными, это обеспечит всю проверяемость. неизменность и гарантия временной метки, которой обладает транзакция.

30 В более макромасштабе автор Хуан Сарате пишет о том, как эти данные используются Казначейством США. Департамент по борьбе с терроризмом в «Войне казначейства». Он дает комплексное представление о том, как Нынешняя структура мировых финансовых рынков может быть использована в геополитических целях. ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО Международная лицензия Creative Commons с указанием авторства 4.0 Страница 37 из 44ИОХК | ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО | 28.06.2017

Мы уже развернули структуру адреса, содержащую поле атрибута. В настоящее время это используется для хранения зашифрованной копии структуры деревьев HD-кошелька для быстрого восстановления кошелька (см. документация HD-кошелька). Более поздние версии обобщят эту конструкцию.

Аутентификация и соответствие

Со сделками тесно связаны темы права на совершение сделок и право собственности на средства. Например, хотя средств может быть достаточно для покупки чего-либо (для например алкоголь), могут быть ограничения на его приобретение (возрастные требования).

Право собственности и происхождение средств обычно определяются правилами знания ваших клиентов. Когда компания, предоставляющая денежные услуги, например банк или биржа, открывает счет для нового клиента, обычно требуется собрать основные сведения о клиенте и о том, где он приобрел свои средства. от.

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

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

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

Как следствие этих усилий, мы предлагаем многоуровневую модель для Cardano, отделяющую ценность от вычисления также могут выиграть от этого подхода. Если уровень вычислений управляется регулируемой организациям (например, биржам или казино), то им необходимо будет провести проверки на соответствие и потенциально обеспечить соблюдение налоговой политики для пользователей.

Используя SGP, пользователь может отправлять средства вместе с личной информацией без каких-либо ограничений. опасение, что оно просочится в более широкий Интернет или сохранится консенсусными узлами ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО Международная лицензия Creative Commons с указанием авторства 4.0 Страница 38 из 44ИОХК | ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО | 28.06.2017

вычислительный слой. Более того, уровень вычислений получит уверенность, что все пользователи транзакции являются аутентифицированными и законными.

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

Мы ожидаем, что наше первое бета-тестирование этой технологии будет проведено в середине 2018 года с целью в сторону интеграции Cardano в конце 2018 – начале 2019 года в ожидании результатов исследований. Эта временная шкала также предполагает возможность сотрудничества с ARM и Intel для подписания кода для запуска их оборудование. 31 Торговая площадка DAOs

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

Смарт-контракты создают совершенно новый вид коммерческой системы, в которой отношения детерминированный, самодостаточный и свободный от двусмысленности. Их, в свою очередь, можно использовать для создания правил для торговые площадки, включая произвольно сложные структуры, такие как арбитраж, возврат средств, зависящий от событий, и раскрытие фактов при особых условиях.

Мы называем эти smart contract принудительные структуры Marketplace DAOs. Они не требуют поддержка специальных протоколов и возможность внесения изменений в реестр. На самом деле они могут быть совершенно построенный с использованием набора взаимозависимых smart contracts.

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

Например, предположим, что разработчик хочет выпустить ERC20 token на CCL для проведения краудсейла. А Торговая площадка DAO может быть создана специально для краудсейла и его условий. параметризованы или даже предусмотрены добровольными или юридическими стандартами. Такие вещи, как возврат средств, перераспределение средств или заморозка платежей могут быть унаследованы в ERC20 разработчика контракт.

31 См. политику коммерческой лицензии Intel SGX. ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО Международная лицензия Creative Commons с указанием авторства 4.0 Страница 39 из 44

ИОХК | ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО | 28.06.2017

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

Сотрудничая с Фондом Cardano, IOHK и другими организациями, проект Cardano создаст справочная библиотека Marketplace DAOs для разработчиков smart contract. Мы надеемся, что Вокруг этих DAO могут сформироваться рынки страхования и регулирования, и что они будут саморазвивающиеся в зависимости от результатов.

Устойчивое развитие

Ан погружение в тот криптовалюта площадь урожайность много концептуальный противоречия.

Криптовалюты созданы так, чтобы их было трудно изменить, но, как и все технологии, их необходимо

изменения для устранения недостатков конструкции и усовершенствований. Блокчейны предназначены для предотвращения

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

Возможно, самый разочаровывающий опыт возникает, когда есть явные недостатки, которые большинство

заинтересованные стороны согласны с необходимостью исправления, однако консенсус не может быть достигнут в отношении дальнейшего пути.

Дебаты о размере блока Bitcoin ведутся уже более двух лет. Ежедневно,

транзакции на общую сумму более миллиарда долларов ожидаются, поскольку сеть находится на пиковой мощности.

Если изменить простой параметр — даже при наличии временных решений — невозможно

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

долларов на создание инфраструктуры поверх этих систем? В этом отношении, как может кто-либо

деловая ставка на стратегический риск интеграции протоколов, свободных от подотчетности, которые не могут

сделать рациональную модернизацию конструкции?

Оглядываясь назад в историю, можно сказать, что эволюция Интернета шла по похожей схеме, даже

Простые изменения, такие как переход от IPv4 к IPv6, требуют десятилетий для реализации. Тем не менее, существует

сильный контраст между технологией blockchain и Интернетом, поскольку они следуют очень

другой стиль опеки.

Интернет был военным проектом, который вырос из DARPA в академические круги с сильными

государственная поддержка и четко определенный набор первоначальных хранителей. Интернет вырос под

на некоммерческих условиях без махинаций корпоративного влияния, пытающихся

ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО Международная лицензия Creative Commons с указанием авторства 4.0 Страница 40 из 44ИОХК | ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО | 28.06.2017

монополизировать сеть. Фактически, электронная коммерция нарушала AUP NSF, пока она не была отменена в

К тому времени, когда предприятия могли позволить себе роскошь коммерциализировать Интернет, уже существовала

сильный набор стандартов, принципов и приверженцев евангелизации. Это не остановило такие компании, как

AOL и Microsoft от попыток создать «сады на стенах» и создания запатентованных технологий, таких как

ActiveX. Этот фонд не помешал игрокам следующего поколения, таким как Google, продвигать

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

С роями поиска ренты от трейдеров до майнеров, криптовалюты являются высшим

32 коммерчески мотивированные экосистемы. На этой основе эволюция опеки над

Криптовалюты привели к оптимизации личных интересов.

Например, майнинг без проверки становится все более частым, поскольку он улучшает работу майнера.

размер прибыли, однако это совершенно игнорирует всю цель и полезность майнинга. Горное дело

Централизация уже произошла, когда лишь горстка игроков контролировала большую часть

Сила Bitcoin hash.

Как и Интернет, криптовалюты требуют консенсуса для изменения. Но когда такой быстрый

происходит централизация власти в руках горстки посредников, что происходит, когда перемен не происходит?

им удобно?

В отличие от Интернета, загрузка большинства криптовалют не осуществляется альтруистически.

некоммерческие или академические средства. С самого начала некоторая группа стремится получить выгоду и

есть влиятельные посредники, призванные помочь обеспечить эти достижения.

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

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

Для Cardano мы тщательно продумали, какие факторы способствуют централизации, а какие

методы мог бы применяться, чтобы стимулировать постепенное становление нашего протокола общедоступным

инфраструктура, такая как Интернет.

Мы полностью признать что всего децентрализация есть оба невозможно и возможно даже

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

Во-первых, хотя централизованное хранение фондов краудсейла обеспечивает гибкое и быстрое развитие

протокола в первые дни, в конечном итоге финансирование должно быть диверсифицировано, а скорость

32 Дополнительную информацию об этом термине см. по ссылке. ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО Международная лицензия Creative Commons с указанием авторства 4.0 Страница 41 из 44ИОХК | ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО | 28.06.2017

развитию необходимо вернуться к более систематическому и продуманному темпу. Следуя этому пункту,

финансирование должно избегать культурных, языковых и географических предубеждений.

Во-вторых, по мере того, как сообщество становится более информированным о глубинной природе

технологии криптовалюты, решения о дорожной карте не могут быть централизованы в наборе

основные разработчики или фонд. Для предложения должен существовать метод, основанный на blockchain,

проверка и внесение изменений в протокол.

В-третьих, стимулы для поддержания Cardano SL blockchain должны быть напрямую согласованы.

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

появляются люди, независимые от воли большего сообщества.

В качестве первого принципа мы решили интегрировать казначейскую систему в Cardano. Для

во-вторых, мы запустим формальный процесс предложения Cardano предложений по улучшению через

система, координируемая самой CSL. В-третьих, мы считаем, что Уроборос представляет собой элегантный способ

решение.

По вышеуказанным темам можно было бы предоставить более подробную информацию, но они сами по себе обширны и

выходит за рамки обзорной статьи. Конструкция механизма – одна из самых сложных и сложных.

взаимозависимые академические области с неполной теорией и отсутствием прочной канонической модели.

дальше.

Скорее, наш научный подход, описанный во втором разделе, хорошо нам здесь служит. Веритас IOHK

команда работает в партнерстве с группой исследователей из Ланкастерского университета под руководством

направление профессора Биншэн Чжана на разработку эталонной казначейской модели Cardano. С

цель интеграции в 2018 году, мы ожидаем, что к концу 2018 года будет выпущена специальная рецензируемая публикация.

Для формального описания и проверки изменений в протоколе криптовалюты эта тема является

наименее понятен, поскольку требует как онтологических понятий, так и механизма стимулирования

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

использование гибкой обратной связи для обеспечения более рационального голосования.

Мы ожидаем, что исследования в этом направлении займут большую часть официального участия IOHK в

разработка Cardano . В качестве отправной точки мы будем развертывать вместе с эталонным казначейством

33 смоделируйте несколько механизмов для получения согласия. Для окончательного определения необходимы дальнейшие исследования

решение.

33 IOHK оставлено для строительства Cardano до конца 2020 года. ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО Международная лицензия Creative Commons с указанием авторства 4.0 Страница 42 из 44

ИОХК | ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО | 28.06.2017

Наконец, работу по улучшению стимулов для Уроборос курирует профессор Элиас.

Куцупиас из Оксфордского университета. После того, как криптографические основы Уроборос

закрепилась вместе со всей необходимой работой по масштабированию, более широким исследованием облигаций, штрафов и экзотических

стимулы будут добавлены в справочный протокол.

Заключение

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

Этот процесс непрост, и мы никогда не верили, что он может завершиться. Социальные протоколы продолжаются бесконечно меняется по мере изменения людей и общества. Чтобы быть полезными, мы хотим захватить силу Evolution и портируем его в Cardano.

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

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

Для меня было огромной честью отправиться в это путешествие. За последние два года у нас уже разработал доказуемо безопасный протокол proof-of-stake, набрал небольшую армию Haskell разработчики и сделали разработку Cardano заботой многих талантливых ученых.

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

ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО Международная лицензия Creative Commons с указанием авторства 4.0 Страница 43 из 44

ИОХК | ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО | 28.06.2017

Мы не можем знать будущее, но мы рады, что пытаемся сделать его лучше для всех. Спасибо за чтение. ПОЧЕМУ МЫ СОЗДАЕМ КАРДАНО Международная лицензия Creative Commons с указанием авторства 4.0 Страница 44 из 44