Интерьер Красного замка иллюстрирует богатство и власть, а Винтерфелла – борьбу со стихией
Пока в онлайне стартовал приквел легендарной истории про борьбу за власть – сериал «Дом Дракона», Metro вместе с экспертом проанализировало интерьеры знаковых мест фэнтези-драмы, основанной на цикле романов Джорджа Р. Р. Мартина
«Игра престолов» – один из самых популярных сериалов за всю историю кино, который навсегда изменил взгляд на этот жанр. Масштабный сюжет на протяжении 8 сезонов рассказывает о противостоянии семейных домов и их борьбе за власть. Убеждения и взгляды главных героев поддерживают их поведение, стиль одежды и, конечно же, окружающий интерьер.
Красный замок и Ланнистеры
Дом Ланнистеров большую часть сериала правит Семью королевствами и делает это из Королевской гавани, столице Королевских земель. Сама по себе эта семья пришла к трону совсем недавно – и лишь благодаря браку. Поэтому для них первостепенная задача – продемонстрировать свой королевский статус, и девиз Дома: «Ланнистеры всегда отдают долги» – лишний раз подчёркивает это.
Покои Серсеи Ланнистер.
«CP Дистрибуция» / кадр из сериала
«В интерьерах Красного замка мы видим дорогую мебель, которую в нашем мире можно было бы назвать антикварной, обилие текстиля и много мелких деталей: резьбу, тонкую вышивку, ковку на светильниках. В отдельных элементах (например, на люстре в покоях Серсеи) заметны восточные мотивы, что в сочетании с открытыми верандами и арками наводит на мысли о средиземном стиле. Однако роскошь проявляется скорее в декоре, чем в архитектуре. Красный замок – древнее родовое гнездо не Ланнистеров, а Таргариенов, поэтому мы часто видим грубый и необработанный камень», – рассказала дизайнер интерьеров Надежда Кузина.
Интерьер Красного замка.
«CP Дистрибуция» / кадр из сериала
Винтерфелл и Старки
Старки – очень древний род, они хранители Севера. Волею судьбы и против своей воли Старки оказываются замешаны в политических играх с Ланнистерами. Девиз Дома – «Зима близко», что в полной мере иллюстрирует их сосредоточенность на внешней угрозе, а не на внутренней.
Основные оттенки замка Винтерфелл – цвета Дома – белый и серый, гораздо более сдержанные и даже блёклые по сравнению с цветами Ланнистеров.
Кельтские мотивы в парадном зале Винтерфелла.
«CP Дистрибуция» / кадр из сериала
«Интерьеры родового замка Старков тёмные, аскетичные и холодные. В кадрах преобладают серые и сизые цвета. В парадном зале люди сидят не на стульях, а на скамьях. Столы сделаны из грубого дерева. Мы не видим здесь изящных кованых подстолий или необычной формы оснований для кресел, как в Красном замке. Интерьеры менее богатые и не такие разнообразные, – рассказала дизайнер интерьеров. – В Винтерфелле до сих пор популярно поклонение Старым Богам, это религия Севера, связанная с Детьми Леса и почитанием деревьев (замок построен вокруг богорощи). Авторы вдохновлялись кельтской культурой. Её мотивы можно разглядеть в резной решётке парадного зала, стилизованной под переплетённые ветви или тела драконов. Полы устланы соломой, как было принято в средневековой Англии.
Личные покои Винтерфелла более уютные, в них можно встретить тяжёлый бархат и меха, а на окнах – цветные витражи».
Более уютные личные покои Старков.
«CP Дистрибуция» / кадр из сериала
Миэрин и Таргариены
В сериале мы практически не видим родовых покоев Таргариенов, потому что главная героиня, Дейенерис, находится в изгнании. Однако она много времени проводит в Миэрине – городе в бухте Работорговцев. Самые богатые жители живут в пирамидах, и именно там героиня и обосновалась.
Интерьер пирамиды в Миэрине.
«CP Дистрибуция» / кадр из сериала
«Интересно посмотреть на внутреннее убранство дворца в Миэрине. Тут много геометрических орнаментов. Резные решётки на окнах помогают сохранить тень и прохладу. В некоторых комнатах стены идут под наклоном, так как дворец имеет форму пирамиды. Самые богатые семьи живут во дворцах, одновременно похожих на пирамиды и зиккураты, хотя с точки зрения истории искусств и то и другое – религиозные, а не жилые строения.
Орнамент демонстрирует отсылки к культуре ацтеков и майя, – объяснила Надежда Кузина. – Архитектура Миэрина более продуманная, она выглядит современной и чистой, гораздо более привлекательной, чем средневековые замки Семи королевств. Мебель низкая, и её довольно мало. Этот интерьер очень отличается от того, что мы видим в Королевской гавани: мало декора, совсем нет текстиля, много пустого пространства, геометричная мебель, чем-то похожая на ар-деко (одним из источников вдохновения для дизайнеров эпохи ар-деко служили древние культуры Мексики и Египта)».
Архитектура Миэрина более продуманная, она выглядит современной.
«CP Дистрибуция» / кадр из сериала
фэндомы / картинки, гифки, прикольные комиксы, интересные статьи по теме.
Старки
Старки — один из великихдомов Вестероса, правители Севера. На гербе Старков серый лютоволк, бегущий по снежно-белому полю.
ДевизСтарков — «Зима близко». Их родовой замок — Винтерфелл. Семейство Старков — одно из«главных» в книгах, к нему принадлежат сразу несколько персонажей-ПОВов.
Старки —очень древний род, считается, что они прямые потомкиБрандона Строителя,жившего восемь тысяч лет назад. Как и многие другие дома Севера, они сохраниливеру в Старых Богов. До объединения Вестероса Старки правили северными землями какКороли Севера. Преклонив колена перед Эйгоном Завоевателем, Старки стали лордамиВинтерфелла и Хранителями Севера, признающими над собой власть Таргариенов.
История дома
Старки до Эйгона Завоевателя
Родовой замок Старков Винтерфелл был построен в Век Героев основателем дома Брандоном Строителем, в чем ему, согласно легенде, помогали великаны. Власть над Севером была приобретена Старками в ходе столетий бесчисленных войн с самыми разными соперниками. Символом королевской власти Старков была древняя корона, представлявшая собой разомкнутый обруч из бронзы, покрытый рунами первых людей и увенчанный девятью железными зубцами в форме мечей
Соперничество с Болтонами
На протяжении многих веков дом Болтонов не признавал над собой власти Винтерфелла и вел с его хозяевами многочисленные войны.
Эта вражда стоила жизни многим представителям рода Старков. Война шла с переменным успехом и Болтонам даже удавалось несколько раз захватить, а однажды и сжечь Винтерфелл.Определить точное время подчинения Дредфорта Винтефеллу не представляется возможным. Теон Грейджойсчитал, что Болтоны преклонили колени перед Старками тысячу лет назад. При этом известно, что к одному из восстаний Болтонов присоединились Грейстарки из Волчьего Логова, чей род пресекся много раньше. Джон Сноувспоминает о восстании Болтонов, имевшем место столетия назад, которое подавил после двухлетней осады Дредфорта король Харлон Старк. Согласно легенде, рассказанной Джону Сноу одичалой Игритт, сын Баэля-Барда, бывший лордом Винтерфелла и носивший имя Старка, был убит одним из своих вассалов, снявшим с него кожу и сделавшим из нее плащ. Очевидно, что речь идет об одном из Болтонов. Если легенда отображает какие-то исторические реалии, то Болтоны восставали против власти Винтерфелла и при владычестве Таргариенов, когда Старки лишились королевского титула и стали лордами.
Покорение Севера
Болтоны не были единственными противниками Старков, за свою многолетнюю историю Старкам пришлось потрудиться, чтобы подчинить себе весь Север. Сначала они покорили королей Холма, но это было только началом их борьбы за регион. Старки подчиняли одно королевство за другим, и в этой борьбе многие благородные дома и древние линии были уничтожены навсегда, например Гринвуды и Тауэрсы, Эмберы и Фросты . Среди домов, которые были превращены из королей в вассалов, значатся Флинты из Разломанного Холма, Слейты из Черной Заводи, Амберы из Последнего Очага, Локки из Старого Замка, Гловеры из Темнолесья, Фишеры с Каменного Берега, Рисвеллы из Родников и, возможно даже, Блэквуды из Рэйвентри, которые по слухам раньше обитали вВолчьем Лесе.
Покорение Перешейка
Тысячелетия назад на территории Перешейка существовало независимое королевство. Известно, что корольРикард Старк, присоединил земли Перешейка к своим владениям и женился на дочери болотного короля.
Войны с андалами
Когда андалы вторглись в Вестерос, шесть южных королевств не устояли перед захватчиками и были покорены, и только короли Севера сумели отстоять свою независимость.
Андальские армии неоднократно пытались вторгнуться на Север через Перешеек, но всякий раз терпели неудачу у Рва Кейлин, крепости, надежно прикрывающей единственную дорогу, идущую среди непроходимых болот[19][20]. Нашествие андалов заставило лордов Севера примириться между собой и совместно выступить против общего врага. В итоге армия Северян под командованием короля Теона Старка разбила высадившихся на восточном побережьи андалов. А спустя короткое время флотилия Голодного Волка пересекла Узкое Море и высадилась в андалосе, пройдя там огнем и мечом. Уничтожив десятки септ и ряд андальских замков, убив множество врагов, северяне вернулись домой и вдоль побережья выставили головы поверженных андалов на пиках в качестве предупреждения остальным.
Поход Гендела и Горна
Три тысячи лет назад одичалые под командованием братьев-королей Гендела и Горна, обнаружив пещеры, ведущие за Стену, провели по ним свою армию. Отряд одичалых был окружен войсками Старков, Амберов и Ночного Дозора и уничтожен.
Горн погиб в сражении, убив короля Севера. По версии этой истории, известной Джону Сноу, в сражении погиб и Гендел. Одичалые же верят, что Гендел сумел вернуться с остатками своих сил в пещеры, но не смог выбраться из них, заблудившись под землей.
Покорение горных кланов Севера
Мы не знаем ни времени, ни обстоятельств покорения Старками горных кланов Севера. Известно только, что Короли Зимы брали в Винтерфелл мальчишек из горных кланов в качестве воспитанников, то есть заложников. Исходя из того, что некоторые из таких заложников были казнены, можно предположить, что кланы предпринимали попытки вернуть себе независимость.
Войны с железнорожденными
Обитатели Железных островов на протяжении столетий совершали набеги на Каменный берег, что не могло не приводить к конфликтам со Старками, владевшими этой землей[25]. Известно, что некоторое время железнорожденным принадлежал Медвежий остров, отнятый ими у рода Вудфутов[26]. Король Родрик Старкотвоевал Медвежий остров в поединке и отдал его Мормонтам.
Прямо имя соперника короля Родрика не названо, но весьма вероятно, что им был кто-то из лордов Железных островов.
Войны с Долиной Аррен
Две тысячи лет назад Старки захватили Три Сестры, где существовали независимые государства и правили собственные короли. Чтобы изгнать северян местное население обратилось за помощью к королям Долины из дома Арренов. Войны за острова продолжались тысячу лет и закончились поражением Старков. Во время этих войн Аррены предпринимали военные походы на Север. Король Осгуд Аррен осаждал Волчье Логово в устье Белого Ножа, а его сыну по прозвищу Коготь удалось захватить и сжечь замок.
Войны с работорговцами со Ступеней
Работорговцы и морские разбойники издавна стремились создать опорный пункт на востоке Севера Вестероса в устье Белого Ножа. Король Джон Старк изгнал пиратов из своих земель, а для защиты этой часть своих владений выстроил в устье реки замок Волчье Логово. В конце правления Эдрика Старка по прозвищу Снежная Борода работорговцы со Ступеней, воспользовавшись тем, что престарелый король был не в состоянии защитить свои земли, захватили Волчье Логово.
Работорговцы владели замком до тех пор, пока новый король, правнук Эдрика,Брандон по прозвищу Ледяной Взгляд не отвоевал его. Брандон отдал плененных работорговцев их узникам, и те принесли их в жертву Старым Богам, развесив их внутренности на ветвях чардрева.
Старки и Мандерли
Когда короли Простора Гарднеры изгнали со своих земель могущественный и богатый род Мандерли, те перебрались на Север, где не названный по имени король из дома Старков забрал их золото и наделил землями в устье Белого Ножа, на которых находился замок Волчье Логово. Взамен Мандерли поклялись перед лицом старых и новых богов, что навечно останутся подданными Старков. По словам Годрика Боррелла это произошло не больше, чем за девять столетий до настоящего времени. Вилла Мандерли же утверждала, что клятва была принесена за тысячу лет до завоевания Вестероса Таргариенами.
Строительство и уничтожение флота
Брандон Факельщик, илл. Романа Папсуева
Король Севера Брандон Старк по прозвищу Корабельщик был известен своей любовью к морю.
По его распоряжению был построен флот, во главе которого Брандон отправился на запад по Закатному морю. Из этой экспедиции он не вернулся. Его гробница в крипте Винтерфелла пуста.Сын Брандона, носивший тоже имя, в горе приказал сжечь все корабли своего отца. За этот свой поступок он получил прозвище Факельщик.
Преклонение колен
Когда Эйгон Таргариен вторгся в Вестерос, король Севера Торрхен Старксобрал тридцатитысячное войско и двинулся на юг. Когда армия находилась у Рва Кейлин брат Торрхена Брандон Сноу вызвался пробраться тайком во вражеский лагерь и убить троих драконов короля Эйгона. Торрхен отказался от этого плана и послал брата с тремя мейстерами договориться с Таргариенами. По итогам переговоров Торрхен Старк преклонил колени перед Эйгоном и вручил ему свою королевскую корону. Взамен Эйегон признал Торрхена лордом Винтерфелла и назначил Хранителем Севера
Торрхен Старк и Эйгон Завоеватель. Худ. Роман Папсуев
Старки при Таргариенах
Сведения об истории дома Старков в эпоху правления династии Таргариенов разрозненны и фрагментарны.
Война с Баэлем Бардом
Именно к эпохе Таргариенов относится рассказанная Джону СноуИгритт легенда о Баэле Барде. Согласно этой легенде Баэль, пробравшись в Винтерфелл, совратил единственную дочь тогдашнего лорда, родившую от него сына. Этот мальчик, названный Брандоном, наследовал титулы своего деда. В битве у Замерзшего Брода Брандон Старк разбил и убил в поединке своего отца, ставшего к тому времениКоролем-за-Стеной. Его мать, узнав о случившемся, бросилась с башни, а с самого Брандона какое-то время спустя снял кожу один из его восставших вассалов. Неясно насколько достоверна эта легенда. Джону Сноу, знакомому с генеалогией Старков, эта история неизвестна.
Визит короля Джейехериса I
Известно, что король Джейехерис I, путешествуя по Вестеросу, приезжал с половиной своего двора и шестью драконами в Винтерфелл. Пока король обсуждал дела с неназванным по имени Хранителем Севера из дома Старков, скучающая королева Алисанна отправилась на Стену. Королева прониклась таким уважением к черным братьям, что уговорила своего мужа увеличить земли Дозора на полосу шириной в двадцать пять лиг.
Известно также, что король Джейехерис принимал участие в войне с одичалыми, собравшими огромную армию, в составе которой были великаны и варги. Боевые действия проходили за Стеной, и можно предположить, что тогдашний лорд Винтерфелла тоже принимал в них участия.
Лорд Криган Старк
При короле Эйгоне IV Недостойном лордом Винтерфелла был Криган Старк. Эйемон Драконий Рыцарь отзывался о нем, как о лучшем фехтовальщике, которого он видел.
Танец Драконов
На годы правления Кригана Старка пришлась гражданская война в Вестеросе, известная под названием Танца драконов. После смерти короля Визериса I, принц Джекейрис Веларион полетел в Винтерфелл и убедил лорда Кригана выступить, подобно Талли и Арренам, на стороне своей матери Рейниры в войне против её брата Эйгона II, поддерживаемого Баратеонами и Ланнистерами. Судя по тому, что сам лорд Криган не принял участия в боевых действиях, а лишь ограничился отправкой армии, можно предположить, что он был еще очень молод. Но после гибели Рейниры, собрав крупную армии, лорд Криган лично повел своих людей на Королевскую Гавань опасаясь мести сторонников Эйгона II.
Но вступать в бой лорду Кригану не пришлось, поскольку последние силы Зеленых уже были разгромлены силами лордов Талли и Блеквуда, а король Эйгон II был отравлен.
Восстание на Скагосе
Примерно за век до начала саги против власти Старков восстал Скагос. Подавление мятежа заняло несколько лет и стоило жизни тогдашнему Хранителю Севера Бартогану Старку и сотням его подданных.
Восстание Дагона Грейджоя
За девяносто лет до описываемых в саге событий Дагон Грейджой провозгласил себя королем. Флот Дагона совершал набеги в том числе и на прибрежные владения дома Старков. Для войны с железнорожденными лорд Берон Старк заключил союз с Ланнистерами и призвал под свои знамена добровольцев. Судя по всему, войска Старков были разбиты, а лорд Берон умер от полученных в бою ран.
Поход Реймунда Рыжебородого
В годы правления Виллама Старка армия одичалых под командованием Короля-за-Стеной Реймунда Рыжебородого прорвалась на юг, но была разбита в сражении у Длинного озера.
Виллам Старк погиб в бою, а его брат Артос, разгневанный на дозорных, не успевших к сражению, приказал им похоронить павших.
Восстание Роберта Баратеона
С похищения Лианны Старк принцем Рейгаром и казни в Красном Замке ее отца лорда Рикарда и брата Брандонаначалось восстание Роберта Баратеона, закончившееся свержением династии Таргариенов. Силами северян, принимавших активное участие в этой войне, руководил Эддард Старк.
Старки и Дозор
Поскольку традиция связывала сооружение Стены с именем Брандона Строителя, а живущие за Стеной одичалыепредставляли непосредственную угрозу землям, подчиненным Винтерфеллу, Старки во все времена имели тесные связи с Ночным Дозором.
Служба в рядах Дозора считалась почетной и с давних времен привлекала младших братьев, сыновей и бастардов хозяев Винтерфелла. Многим из них удавалось дослужиться до звания Лорда-командующего. По одной из версий тринадцатый Лорд-командующий Ночным Дозором, известный как Король Ночи, происходил из рода Старков.
Этот Лорд-командующий был свергнут Старком из Винтерфелла и Королем-за-Стеной Джорамуном, заключившими между собой союз. Еще четверо представителей дома в разное время становились во главе Дозора, не достигнув шестнадцатилетнего возраста. Один из них, Озрик Старк, живший за четыреста лет до завоевания Вестероса Таргариенами, был избран командующим в десятилетнем возрасте и прослужил в этой должности шестьдесят лет. На момент начала саги братом Ночного Дозора и первым разведчиком является Бенджен Старк, а позднее в ряды братства вступает Джон Сноу, в конце Бури Мечей он становится новым лордом-командующим.
За шестьсот лет до описываемых событий командиры гарнизонов Инистых Врат и Твердыни Ночи ополчились друг на друга, а когда Лорд-командующий попытался уладить их конфликт, объединившись, убили его. В распрю вынужден был вмешаться неназванный по имени хозяин Винтерфелла, захвативший не укрепленные с южной стороны замки и казнивший мятежников.
Судьбой переживавшего упадок Дозора был озабочен Эддард Старк.
В бытность в Винтерфелле короля Роберта Баратеона, Эддард пытался обратить его внимание на бедственное положение братства и предлагал Роберту посетить Стену, чтобы ознакомиться на месте с состоянием дел. Кроме того, Эддард планировал убедить Лорда-командующего передать принадлежащие Дозору и заброшенные земли Дара мелким лордам, которые самостоятельно охраняли бы свои владения от одичалых и платили налоги в пользу Дозора.
Положение на конец саги
Глава дома Эддард Старк был казнен по обвинению в измене королю. Его сын и наследник Робб Старк в ответ поднял мятеж и был коронован речными и северными лордами как Король Севера и Трезубца. Продолжительная кровавая война между Железным Троном с одной стороны и Королем Севера с другой закончилась, когда Робб Старк был убит в результате предательства Русе Болтона и Уолдера Фрея на Красной Свадьбе. Бенджен Старк, отправленный в разведку за Стену, пропал без вести. Санса Старк, сбежав при помощи Мизинца из Королевской Гавани, находится в Орлином Гнезде, где выдает себя за незаконнорожденную дочь Петира Алейну.
Арья Старк проходит обучение в храме Многоликого в Браавосе. Брану и Рикону Старкам удалось бежать из захваченного железнорожденными Винтерфелла. Бран в сопровождении Миры, Жойена и Ходора добрался до пещеры вЗачарованном лесу, где последний древовидец и Дети Леса посвящают его в тайны Старых Богов и учат смотреть сквозь деревья. Рикон был увезен Ошей на Скагос. Джон Сноу, будучи Лордом-командующим Ночного Дозора, стал жертвой покушения, организованного недовольными его политикой офицерами. Род Старков считается угасшим в мужском колене. Наследницей дома официально признана Джейни Пуль, выдающая себя за Арью Старк. Женившийся на ней Рамси Болтон считается лордом Винтерфелла.
Винтерфелл: доказывающий и проверяющий STARK
- Мы выпускаем Winterfell, нашу реализацию доказывающего/верифицирующего STARK на Crates.io
- Winterfell — это простая в использовании реализация STARK с открытым исходным кодом для приложений безопасности и конфиденциальности.
- Одним из потенциальных приложений для доказательств с нулевым разглашением Винтерфелла является конфиденциальность и масштабируемость блокчейна.
«Любая достаточно продвинутая технология неотличима от магии». — Третий закон Кларка
Что, если бы средний разработчик мог воспользоваться доказательствами вычислительной целостности (CI), для реализации которых обычно требуются глубокие знания криптографии?
Доказательства CI, подмножеством которых являются доказательства с нулевым разглашением (ZKP), — это криптографическая технология, позволяющая делать, казалось бы, невозможные вещи. Например, вы можете запустить вычисление и получить некоторый результат. Затем вы можете использовать доказательство CI, чтобы убедить кого-либо, что вы выполнили вычисления правильно, без необходимости повторного запуска вычислений самостоятельно. И они могут проверить эту правильность всего за несколько миллисекунд, независимо от того, насколько сложным или длительным было исходное вычисление.
Еще одним важным свойством этих доказательств CI является возможность скрыть некоторые (или все) входные данные, которые использовались для выполнения вычислений. Это аспект нулевого знания. Например, вы можете доказать, что число находится в заданном диапазоне, не раскрывая точное значение числа (эти типы доказательств обычно называются доказательствами диапазона). Или вы могли бы сделать что-то более сложное, например, сравнить две числовые последовательности, одну общедоступную и одну частную (известную только вам), и доказать всем без сомнений, что между ними есть или нет совпадение.
Магия ZKP
Общие идеи, лежащие в основе ZKP, были разработаны еще в 1980-х годах, но интерес к этой области криптографии резко возрос в последнее время, отчасти благодаря новым приложениям в области блокчейна.
За последние несколько лет появилось более десятка новых систем прувинга. Некоторые из них даже были развернуты в производстве, где от их защитных свойств зависят десятки миллиардов долларов. Однако ЗКП далеки от мейнстрима, прежде всего по двум причинам:
- До недавнего времени для развертывания ZKP в приложениях требовались опытные криптографы с многолетним опытом. Сейчас ситуация несколько лучше, так как доступно множество относительно доступных материалов и больше проектов, которые пытаются сделать ZKP доступными для среднего разработчика. Но даже сейчас, чтобы разобраться в различных системах проверки и связанных с ними компромиссах, требуются глубокие знания и/или крутая кривая обучения даже для опытных инженеров-программистов.
- Хотя проверка ZK-доказательства выполняется чрезвычайно быстро и требует очень мало вычислительных ресурсов, создание доказательства требует больших вычислительных ресурсов. Для создания доказательств даже для относительно простых вычислений могут потребоваться секунды или даже минуты (или много ядер ЦП). Только относительно недавние достижения в области криптографии и улучшения реализации привели к тому, что большой сегмент вычислений стал практически осуществимым для ZKP. И в настоящее время ведется большая работа по расширению набора вычислений, для которых целесообразно генерировать доказательства.
Только относительно недавние достижения в области криптографии и улучшения реализации привели к тому, что большой сегмент вычислений стал практически осуществимым для ZKP. И в настоящее время ведется большая работа по расширению набора вычислений, для которых целесообразно генерировать доказательства.Мы разработали Винтерфелл, чтобы восполнить эти пробелы и сделать ZKP доступными для обычных разработчиков.
Винтерфелл уже здесь
Винтерфелл — это программа проверки и проверки STARK общего назначения, написанная на Rust в Novi Research. Общее назначение означает, что Винтерфелл может генерировать доказательства CI для любых вычислений. По сути, для любой программы, которая может быть описана на языке, полном по Тьюрингу, мы можем сгенерировать доказательство CI, используя Винтерфелл (хотя для некоторых программ это будет намного проще, чем для других).
Винтерфелл использует STARK, схему проверки вычислений, разработанную Эли Бен-Сассоном, Майклом Рябзевым и др.
- STARK полагаются на очень небольшое количество криптографических предположений. Фактически, единственный криптографический примитив, который нам нужен для работы STARK, — это хеш-функция, устойчивая к коллизиям (например, SHA256). Это также делает STARK устойчивыми к потенциальным атакам противников с помощью квантовых компьютеров.
- В отличие от многих других испытательных систем, STARK полностью прозрачны. Это означает, что нам не нужно проводить сложные доверенные церемонии установки, чтобы начать использовать STARK. Доверенные настройки являются потенциальной слабостью безопасности в других протоколах с нулевым разглашением, потому что скомпрометированная доверенная настройка позволяет злоумышленникам генерировать поддельные доказательства CI. СТАРКи невосприимчивы к этому.
- По сравнению с другими системами, генерация доказательств STARK происходит очень быстро, когда мы имеем дело с однородными вычислениями или вычислениями с регулярными структурами. К счастью, подавляющее большинство программ, которые пишут люди, имеют такие регулярные структуры. Более того, почти каждый шаг процесса генерации доказательств STARK поддается массовому распараллеливанию. Таким образом, мы часто можем ускорить генерацию доказательств, распределяя их по все большему количеству ядер ЦП.
К счастью, подавляющее большинство программ, которые пишут люди, имеют такие регулярные структуры. Более того, почти каждый шаг процесса генерации доказательств STARK поддается массовому распараллеливанию. Таким образом, мы часто можем ускорить генерацию доказательств, распределяя их по все большему количеству ядер ЦП.Ни одно из перечисленных выше индивидуальных свойств не является уникальным для STARK. Однако никакая другая система проверки не сочетает в себе экономичную криптографию, прозрачность и производительность в такой степени, как STARK. Винтерфелл в полной мере использует эти преимущества, абстрагируя большую часть сложности. Например, генерация доказательств может быть распределена между несколькими ядрами ЦП, чтобы значительно сократить время создания доказательств (см. наши тесты здесь). Более того, у нас есть планы включить полностью распределенную генерацию доказательств на нескольких машинах, и мы уже начали работу в этом направлении.
Помимо высокой производительности, Винтерфелл обладает широкими возможностями настройки.
То есть вы можете динамически настраивать почти все параметры протокола STARK для достижения конкретных целей производительности и безопасности. Мы можем достичь такой высокой конфигурируемости без ущерба для производительности или ясности кода, полагаясь на абстракции Rust с нулевой стоимостью.
И последнее, и, возможно, самое главное, вам не нужно быть криптографом, чтобы использовать Винтерфелл. Как упоминалось ранее, Винтерфелл абстрагируется от большей части сложности протокола STARK. Единственное, за что отвечает пользователь, — это описание своих вычислений в формате, который может понять доказывающий/верифицирующий STARK. Этот формат называется алгебраическим промежуточным представлением (AIR), а этап перевода программы в AIR называется арифметизацией.
Использование Винтерфелла
Винтерфелл предоставляет относительно простой интерфейс для описания AIR для любых вычислений. Тем не менее, концепция арифметизации не знакома большинству разработчиков, поэтому потребуется некоторое обучение.
Чтобы помочь вам начать работу, мы составили подробное руководство о том, как определить AIR для очень простых вычислений. У нас также есть примеры более интересных вычислений в ящике с примерами, начиная от чего-то такого простого, как последовательность Фибоначчи, и заканчивая чем-то таким сложным, как агрегирование подписей на основе хэшей. И если вы хотите немного углубиться в теорию, мы рекомендуем прочитать две отличные записи в блоге от StarkWare: Арифметизация I и Арифметизация II.
Когда вы научитесь писать AIR, использование Винтерфелла для создания доказательств STARK станет относительно простым. Например, AIR для последовательности Фибоначчи требует менее 100 строк кода и может быть собран примерно за 15 минут. Даже для упомянутого выше относительно сложного примера агрегации подписей на основе хэшей AIR описывается примерно в 600 строках кода (хотя на его сборку ушло несколько дней).
Еще один момент, о котором стоит упомянуть: мы написали «Винтерфелл» как набор модульных ящиков, которые сегодня также публикуются на Crates.
io. Хотя мы используем эти ящики для создания системы проверки STARK, многие из них достаточно универсальны, чтобы их можно было использовать в качестве строительных блоков в других системах проверки CI. Например, для низкоуровневого тестирования мы используем протокол FRI, реализованный в контейнере winter-fri, который также используется в качестве строительного блока для нескольких других систем доказательства (например, Fractal и Aurora), которые стремятся быть прозрачными и пост- квант. Таким образом, мы надеемся, что наша работа поможет разработчикам этих протоколов выполнять свою работу быстрее и эффективнее.
Приложения
Недавние достижения в ZKP обусловлены новыми вариантами использования в пространстве блокчейна. В частности, ZKP предлагают привлекательные решения, пожалуй, для двух самых насущных проблем блокчейна: конфиденциальности и масштабируемости. Однако у ZKP есть множество потенциальных приложений и за пределами пространства блокчейна.
Несмотря на то, что еще предстоит решить некоторые технические проблемы, прежде чем доказательства вычислительной целостности можно будет считать практичными в крупном масштабе, мы считаем, что Винтерфелл представляет собой важную ступеньку для внедрения хорошо изученного предмета академических исследований в практическое применение.
И мы надеемся, что сообщество безопасности и конфиденциальности также выиграет от простой в использовании реализации STARK с открытым исходным кодом.
Пожалуйста, ознакомьтесь с репозиторием Винтерфелла и не стесняйтесь открывать вопросы для комментариев и оставлять отзывы!
Почему «Старк всегда должен быть в Винтерфелле»
Развлечения
Теперь, когда Санса и Джон вернулись в Винтерфелл, возможно ли, что эти сумасшедшие фанатские теории имеют смысл?
HBO
Лорен Сарнер
Теперь, когда знамя Лютоволка снова развевается в Винтерфелле, а Санса и Джон ходят по его залам в своих великолепных мехах, пришло время пересмотреть фразу «должны всегда будь Старком в Винтерфелле». Вы можете подумать, что это простой девиз Дома вроде «Ланнистеры всегда платят свои долги», но это Игра престолов . Предприимчивые фанаты придумали теории на все случаи жизни, и есть несколько сложных и удивительных идей о том, что Старки должны оккупировать Винтерфелл.
Нам не приходилось много думать об этом в последние несколько сезонов, поскольку Старки были разбросаны по дальним уголкам мира, но теперь они, наконец, дома. И если мы чему-то и научились из 6-го сезона, так это тому, что фанатские теории всегда могут быть на столе. Так почему же должен всегда быть Старком в Винтерфелле?
Потому что магия отпугивает Белых Ходоков
HBO
Одна из теорий предполагает, что та же самая магия, которую Дети Леса вложили в Стену, чтобы отпугивать Белых Ходоков и не пускать их внутрь, также связана с кровью Старков. Причина, по которой Белые Ходоки наступают, заключается в том, что в Винтерфелле слишком долго не было Старка. Некоторые даже думают, что Дети Леса наложили на Старков проклятие, согласно которому Старки должны оставаться в Винтерфелле, если они хотят сохранить свое состояние. Другими словами, когда Санса говорит Джону: «Нам не следовало покидать Винтерфелл», она даже более права, чем думает.
Если эта теория верна, то концовка истории о надвигающемся вторжении Белых Ходоков тесно связана с фразой «В Винтерфелле всегда должен быть Старк».
Потому что иначе Старки-нежить восстанут повсюду
Другая теория предполагает, что глубоко в склепах, где похоронены предки Старков, бедняга Рикон является их новым дополнением из-за его неспособности бегать зигзагами; у тебя была одна работа, малыш! — все тела — это умертвия или Иные, ожидающие своего подъема. Это взято из некоторых описаний в книгах, таких как Нед, блуждающий по склепу в Игра престолов :
Он шел через склепы под Винтерфеллом, как он ходил тысячу раз прежде. Короли Зимы смотрели на него ледяными глазами, а лютоволки у их ног поворачивали свои большие каменные головы и рычали.
Если эта теория верна, это означает, что мы должны забыть о леди Стоунхарт или даже о Бенджене Старке: потенциально мы могли бы получить подтверждение о матери Джона Сноу прямо от самой Лианны Старк. Некоторые предполагают, что эта связь между Старками и Иными существует, потому что первые Иные были Старками — это соответствует предыстории Короля Ночи — и Джону нужно будет спуститься в склепы и в конце концов превратиться в Иного.