Фемида Античная мифология и история
Фемида (Θέμις), в античном мифотворчестве древнегреческая богиня правосудия и законного порядка, титанида, устроительница и блюстительница нравственных основ и всего строя жизни, дочь Урана и Геи, после богини Метис вторая законная супруга Зевса, мать ор и мойр (Гесиод, Теогония, 135, 901-906).
Древние греки называли богиню разными именами, например Темида, Темис. Богиня Фемида была матерью многочисленного потомства. Ее дочерьми были богини судьбы – мойры и богини времен года – оры или горы.
По одной из версий мифа, Фемида является матерью Прометея. Обладая даром прорицания, Фемида открывает Прометею тайну, что женитьба Зевса на океаниде Фетиде приведет к рождению сына, который свергнет верховного бога-громовержца. Ее предсказание расстроило брак Фетиды с Зевсом.
В мифе о Прометее рассказывается, что герой открыл эту тайну только после тысячелетних мучений, на которые обрек его Зевс (Эсхил, Прометей, 18).
В значении советницы верховного олимпийского бога, сидящей возле его трона, она нередко выступает в послегесиодовских поэтических произведениях. Благодаря заботам Фемиды поддерживается внешний порядок как в жизни богов на Олимпе, так и среди людей на земле, причем самое имя богини употребляется также для обозначения отвлеченного понятия правовых норм (θέμιστες), регулирующих человеческую жизнь.
Под ее же покровительством находятся все ищущие гостеприимства, угнетенные, потерпевшие несправедливость. В произведениях искусства Фемида изображалась с повязкой (символом беспристрастия) на глазах, с мечом, иногда с рогом изобилия и весами в руках.
В Олимпии жители Древней Греции ставили жертвенники Зевсу, Гее и Фемиде рядом, что показывает, насколько чтили они эту богиню правопорядка.Фемида — богиня Правосудия — бронзовая статуэтка от ART Manufactura. Богиня Правосудия
Фемида – всем известна как Богиня Правосудия. Все знают эту статую, изображающую строгую женщину, одетую в мантию, с повязанными очами, удерживающую в руках меч и весы, ставшую символом законного судебного действа почти во всем мире. В древней греческой культуре Фемиду чаще представляли сидящей, порой с факелом, знаменующим истину. Кто же эта женщина? Что означают предметы в ее руках?
Фемида – дочь небесного бога Урана и богини земли Геи, следующая после Метиды, греческой богини мудрости, жена Зевса и матерь множества детей. Именно с Фемидой громовержец свершал правосудие. Богиня, знаменитая также своей причастностью к развязыванию Троянской войны, неизменно являлась опорой и поддержкой мужу и родила ему трех прекрасных дочерей, связанных с правосудием: Дике (справедливость), Эвномию (законопорядок), Эйрену (мир).
Согласно мифу, Фемиде достался в дар от Геи Дельфийский оракул (одно из основных прорицалищ при храме Аполлона в Дельфах, которое создал сам Аполлон там, где состоялись бой и виктория над ужасным змием Пифоном). Там делала она свои предсказания, а затем отдала сестре Фебе, в свою очередь, подарившей его внуку Апполону. Фемида — предсказательница, четко распознающая неправду и истину, и узаконившая эту способность. Древние греки Олимпии очень почитали Богиню правового порядка, ставя рядом жертвенники ей, Зевсу и Гее.
Согласно преданиям и рассказам Эсхила и Гомера, матерь Прометея — Фемида была основным и самым значительным советчиком Зевса, созывающим на совет богов и открывающим им волю правителя Олимпа. Она учила людей морально-нравственным нормам и традициям. Зевс всегда совершал правосудие совместно с беспристрастной Фемидой, стоящей справа, и дочерью Дике – богиней справедливости, доносившей отцу о пристрастии судей и отступлениях от правды. Жена никогда не противилась и не шла супротив мужа, объявляя его решения и подавая добрые, полезные советы. Поэтому сегодня мы называем Фемиду, отвечавшую за принципы правового устройства, «богиней правосудия», здание суда — «храмом Фемиды», а чиновников в суде – «жрецами Фемиды».
Основные признаки Богини, являющиеся древнейшими символами правосудия, – весы, на которых она меряет невинность и виновность (будущее человеческое было во власти той чаши, которая перевешивала), обоюдоострый меч, как карающий, так и предупреждающий, мантия – ритуальная одежда правосудия и повязка — символ беспристрастия.
У греков вместо меча рука величественной Фемиды удерживала рог изобилия, символизирующий вознаграждение за сделанные в жизни добрые, нужные и хорошие дела. И повязки на очах не было. Это римляне покрыли глаза красавицы повязкой и дали ей карающий меч. Меч в правой руке Фемиды — символика правоты решений.
Так как римляне не разделяли принципы законности и справедливости, которые синтезировались и персонифицировались в облик богини правосудия и справедливости – Юстиции, Юстиция – более совершенный римский двойник Фемиды. Первообразы Юстиции и Фемиды уже давным-давно смешались, но Юстиция более сходна с сегодняшним представлением о стройной грациозной даме, облаченной в мантию, с весами, мечом и повязкой на глазах.
Фемиду нередко представляли и представляют до сих пор в судах, на зданиях и эмблемах. Так назвали современную премию для юристов и астероид. Статуэтки Фемиды стоят в кабинетах чиновников. И это неспроста. Под ее строгим взором каждый, кто имеет отношение к юстиции (судебной власти и системе судебных органов), будет служить ей верой и правдой.
Джизус (Dzhizus) – Фемида (Themis) Lyrics
[Текст песни «Фемида» ft. игла]
[Припев: Джизус]
Умерла сегодня Фемида
Её сердце остановилось
Под тяжестью имён чьей-то ксивы
Эх, она была такой милой
Её пульс так мелодично
Затихал под шелест наличных
Под колёсами чёрных джипов
Она больше не могла терпеть пыток
[Куплет 1: Джизус]
Правды лишён мой президент
— Дорогие друзья
Эта сладость побед
Меня могут убить, это, наверное, грех
Это чёрная смерть
— Уважаемые граждане России
Где ты теперь, человек?
Где-то война пишет портрет
Где-то история дышит не тем
Правда мечтает убить интернет
Я же мечтаю быть среди людей
Им нужен ответ (Им нужен ответ)
Боже оставил нас среди планет
Верить не тем, следовать слепо
Есть главная участь наших людей
[Куплет 2: игла]
Фемиду бьют, Фемиду травят
Ядом бляди с гос-каналов
И всё, что нам осталось
Искать правду по подвалам
Всё по плану: дубинки, сапоги на горло недовольным
А я на поминках у Фемиды
В руках две обоймы
[Бридж: Джизус]
Правды лишён мой президент
Эта сладость побед
Меня могут убить, это, наверное, грех
Верить не тем, следовать слепо
Есть главная участь наших людей
Верить не тем, следовать слепо
Есть главная участь наших людей
Верить не тем, следовать слепо
Есть главная участь наших людей
Верить не тем, следовать слепо
Есть главная участь наших людей
Верить не тем, верить не тем
Не тем, не тем, не тем
[Припев: Джизус]
Умерла сегодня Фемида
Её сердце остановилось
Под тяжестью имён чьей-то ксивы
Эх, она была такой милой
Её пульс так мелодично
Затихал под шелест наличных
Под колёсами чёрных джипов
Она больше не могла терпеть пыток
Умерла сегодня Фемида
Под тяжестью имён чьей-то ксивы
Эх, она была такой милой
Её пульс так мелодично
Затихал под шелест наличных
Под колёсами чёрных джипов
Она больше не могла терпеть пыток
(Убей меня)
[Аутро]
Убей меня
Фемида с зашитыми глазами | Общая Газета
В мировой судебной практике богиню Правосудия Фемиду принято изображать с завязанными глазами. Но, мало кто знает истинный смысл данного изображения.
Как и у любого греческого божества, в римском пантеоне у богини Правосудия был собственный двойник. Ею оказалась великая Юстиция – римская богиня Справедливости. Современная фигурка, символизирующая справедливый суд, – это скорее именно Юстиция, а не Фемида. Это суждение подтверждается дополнительным атрибутом — повязкой на глаза, которая символизирует равенство и беспристрастность. Фемида у греков вершила суд с открытыми глазами. Так возник любопытный казус: в современном мире богиню Справедливости называют Фемидой, а изображают как Юстицию.
Но, похоже, в российской судебной системе вообще все эти тонкости стерлись окончательно. Потому что нынешний Российский Суд ничего общего ни с Фемидой, ни с Юстицией, похоже, не имеет. А глаза у бедолаги, изображенной на наших отечественных судебных атрибутах, скорее всего не завязаны, а зашиты!
Да-да! Именно зашиты! Причем зашиты теми самыми «белыми нитками», которыми наши следственные и прокурорские работники «шьют» уголовные дела некоторых обвиняемых, доставляемых в закрытых тюремных фургонах на заседания, как говорил герой одной весьма известной советской кинокомедии, «самого гуманного и справедливого суда в мире»!
При этом, в соответствии с древнегреческой мифологией предполагалось, что судьи выполняли роль слуг той самой Фемиды.
С учетом поправок на древнеримскую историю они же должны быть слугами богини Правосудия – Юстиции.
Но, видимо, в системе российского Правосудия все построено совершенно на иных принципах. И остается лишь гадать, чьими же слугами являются наши родные российские судьи. Фемиды? Юстиции? Или некой тетки, сляпанной под Фемиду, но с повязкой на глазах как у Юстиции, которая намертво пришита ко лбу белыми нитками фальшивого следствия и скреплено стиплером прокуратуры? Чтобы, не дай Бог, из-под этой повязки не проглянул хотя бы один лучик Истины!
В такой ситуации и весы, которые держит российская Фемида-Юстиция в своей левой руке, в принципе, ни к чему. Потому что на них можно положить все что угодно. Хоть кусок высохшего дерьма! Богиня с зашитыми глазами от болевого шока не ощутит даже зловонного запаха этого самого дерьма! И будет мечтать лишь о том, чтобы ее поскорее отпустили на покой. Потому что наши доблестные «правоохранители» научились использовать для своего «делового шитья» даже ночное время суток.
В связи с этим, некоторые слуги нашей родной российской Фемиды-Юстиции при ближайшем рассмотрении выглядят весьма неприглядно. Общаются с участниками «судебного процесса» устало и весьма раздраженно. Как-будто сами отбывают каторжную повинность. Завершить любое «дело» стараются как можно быстрее, даже не вникая в суть вопроса. И даже не понимая, что за каждым из этих, так называемых, «дел» стоят конкретные люди, конкретные судьбы, конкретные жизненные ситуации.
Выглядят эти «слуги» Фемиды-Юстиции порой весьма устало. Словно их самих долго били палками и пытали самыми жестокими пытками. На мир они смотрят уныло, сквозь призму своих замасленных очков, которые даже изредка стесняются протереть. Для того, чтобы хотя бы поверхностно и элементарно представить то, о чем они будут выносить решение.
Доводы защиты подозреваемых и обвиняемых слуги Фемиды-Юстиции слушают крайне раздраженно. А порой и вообще не дают возможности высказать. Зато, с неким завороженным восторгом воспринимают любую чушь, которая доносится изо рта очередного следственного «портняжки» или – его высокопревосходительства господина Прокурора.
Примеров подобного поведения наших несчастных слуг Фемиды-Юстиции можно было бы привести огромное множество. Но, я остановлюсь лишь на одном.
18 июля 2017 года судья Апелляционной коллегии Московского городского Суда С.В.Андреева рассматривала «дело» о незаконном аресте выпускника МГУ им. Ломоносова, аспиранта этого ведущего российского ВУЗа Дмитрия Богатова.
С IP-адреса Дмитрия Богатова в Сети Интернет кто-то под фамилией «Айрат Башаров» распространил некую записку (как признали следователи) «экстремистского содержания». Решив, что это сделал сам выпускник и аспирант МГУ им. Ломоносова, следователи приняли решение о его задержании и заключении под стражу. И суд, вняв неким «доводам» следствия, ни в чем ни сомневаясь, дал санкцию на арест этого молодого человека и содержание его под стражей.
В один момент преуспевающий выпускник и аспирант самого передового российского ВУЗа превратился в «экстремиста» и «террориста». Всего лишь на основании какой-то «записки» в Сети Интернет. В которой, кстати говоря, на одном листе было сделано почти два десятка грамматических и орфографических ошибок. Что, сами понимаете, никак не вяжется со статусом «выпускника МГУ».
Вполне понятно, что следователям и прокурорским работникам надо было отчитаться о «проделанной работе» по «борьбе с экстремизмом». И все «дело» они, как обычно, «шили белыми нитками».
Видимо, часть этих «белых ниток» они по старой отработанной методике оставили для слуг Фемиды-Юстиции. Для того, чтобы, как и положено делать в таких случаях, «зашить» им глаза при вынесении решений.
А представители защиты подозреваемого всегда в подобных случаях выступают в качестве дополнительного раздражающего фактора. И это обычно «слуг» весьма огорчает. Они начинают нервничать, суетиться, топать ногами. И совершать серьезные ошибки.
Видимо, они забыли о другом весьма характерном символе, которых находится в правой руке богини Фемиды-Юстиции – о мече!
А он совсем не простой! Он – обоюдоострый!
Это значит, что одно его лезвие направлено в сторону преступника, а другое – в сторону того, кто его судит!
И однажды может возникнуть ситуация, при которой второе лезвие вдруг активно заработает. А повязка на глазах окажется намертво пришита! Теми самыми «белыми нитками» фальшивого следствия и ангажированного «прокурорского надзора»!
Думаю, что исход в такой ситуации понятен даже полному идиоту!
Так, может, пока не поздно, провести нашим слугам богини Фемиды-Юстиции небольшую косметическую операцию? Чтобы избавить их потом от более тяжелых последствий?
А еще лучше – пусть они вообще снимут со своих глаз всякие повязки и честно посмотрят в глаза тем, кого они пытаются отправить за решетку на основании «фиктивных дел», сляпанных нашими доморощенными пинкертонами!
Автор – член Союза писателей Москвы
Фемида. Греческая мифология
Фемида (Θέμιδα) в греческой мифологии является богиней естественного порядка, нравственного порядка и богиней пророчества.
Дар пророчества Фимида унаследовала от своей матери, Геи, которая была титанидой и участвовала в создании мира. Отцом Фемиды был титан, бог неба Уранос, согласно древней мифологии, являлся богом первого поколения на Земле.
Древние греки почитали богиню порядка и справедливости. От неё зависел баланс мира и порядок вещей на земле. Они дали ей имя Фемида, что означало, что всё что она говорит было правдой, так как ее слова уважали боги и люди. Фемида представляла закон и наказывала всех, кто совершил правонарушение и нарушал верховенство закона.
Фемида присутствовала при рождении Зевса и вместе с Амалтией (козой, вскормившая Зевса-младенца) поднимали его. Когда Зевс вырос, Фемида вышла за него замуж и жила с ним на Олимпе.
Зевс доверял решению Фемиды и всегда следовал ее совету. Вместе они издавали приказы и принимали праведные решения. Роль Фемиды на Олимпе была очень важна, она оказывала большое влияние на олимпийских богов, имела право выступать от имени Зевса. Легенда гласит, что Зевс победил гигантов под руководством Фемиды и что он спровоцировал вспышку Троянской войны, чтобы сократить население известного тогда мира. Справедливость и судебное разбирательство преследуют преступление. Царство в это время являлось гарантией стабильных правил для смертных и богов.
Древние греки изображали богиню с повязкой на глазах, что подчеркивало её беспристрастность и объективность, подразумевая, что справедливость «слепа».
В левой руке Фемида держит весы, обозначающие равновесие добра и зла, вины и невиновности, в правой руке богиня держит меч — символ справедливого наказания.
У Зевса и Фемиды было много дочерей, они тоже внесли свой вклад в поддержание порядка: оры, которые контролировали сезонность на земле с типичным для их точным вращением, мойры — они вели нить людской жизни.
Фемида и Немезида. Энциклопедия юриста
Читайте также
Фемида, черти и Куликовская битва
Фемида, черти и Куликовская битва Исследуя тесную связь между смыслом татуировки и психологией личности осужденного, криминалист Ю. П. Дубягин выделил так называемый классификационный код: это степень преступной агрессивности носителя татуировок и уровень его
Где прячется Немезида?
Где прячется Немезида? Грандиозные катаклизмы не раз меняли облик Земли. После этих «бурь» исчезали процветавшие прежде виды растений и животных, в то время как другие, вроде бы находившиеся на обочине эволюции, начинали стремительно развиваться. За последние
Немезида: таинственный попутчик Солнца
Немезида: таинственный попутчик Солнца В прошлом веке ряд астрономов, изучая небесные светила главной последовательности, установили любопытный факт: оказалось, что в этом ряду преобладают двойные звезды. Опираясь на эту закономерность, ученые высказали предположения,
Фемида США не успевает
Фемида США не успевает Два года проработал Джон А. Хебел в компании Standard Duplicating Machines и все это время пользовался системой голосовой связи, установленной в компании и ее сервисных центрах. В 1992 году он был уволен из компании и перешел на работу к конкуренту. Однако, хорошо
Немесида, Немезида
Немесида, Немезида (греч.) — богиня, дочь Никты, наблюдающая за распределением благ и карающая за нарушение закона и справедливости. По одной из версий о рождении Елены, Н. является ее матерью. Спасаясь от преследования Зевса, Н. превращалась в различных животных, в рыбу и,
Фемида, Темида, Темис
Фемида, Темида, Темис (греч.) — титанида, дочь Урана и Геи, вторая супруга Зевса, мать гор и мойр (по одной из версий, мать Прометея), богиня правосудия и прорицаний, предсказавшая, что сын Фетиды и Зевса свергнет отца. От матери Геи Ф. получила Дельфийский оракул и
Немезида
Немезида Немезида – первоначально этическое понятие, возникшее из идеи судьбы. Понятие о мировом порядке, предустановленном мойрами, привело к мысли, что человек должен более всего избегать гордости, и что смирение и умеренность вернее всего ведут к счастью. Это
Немезида
Немезида Из древнегреческой мифологии. Немезида — богиня справедливости и возмездия, карающая преступления. Иносказательно: синоним
Фемида
Фемида Из древнегреческой мифологии. Фемида — богиня правосудия.Изображалась обычно в виде женщины с повязкой на глазах, в одной руке она держит меч, в другой — весы. Повязка символизирует ее беспристрастность; меч — кару, наказание виновных; весы — собственно судейский
Российскую Фемиду склоняют к расчетливому гуманизму
Верховный суд распорядился сократить аресты в пользу денежного залога
Взятых под стражу обвиняемых обычно приговаривают к реальным срокам. Фото РИА Новости
Верховный суд (ВС) ужесточил требования к решениям об аресте обвиняемых. Судьям придется аргументировать, почему они не могут применить альтернативной меры пресечения – например, денежного залога. Именно на этот формат ограничения свободы ВС обратил особое внимание. Эксперты отметили, что российская Фемида его в основном игнорирует, как и недавно введенный запрет определенных действий, соглашаясь лишь с домашним арестом.
Арест должен быть по-настоящему крайней мерой, считают в ВС. При рассмотрении ходатайств о заключении под стражу судьям рекомендовано задуматься: а нельзя ли в конкретном случае избрать именно альтернативную меру пресечения? Если же судья приходит к выводу, что нельзя, то это он должен убедительно обосновать – в решении должны быть указаны мотивы, по которым суд посчитал невозможным применение, например, денежного залога, отмечается в постановлении ВС. При этом делается оговорка: недопустимо привязывать размер залога к сумме вменяемого гражданину ущерба. Если он обвиняется в преступлении небольшой тяжести, то есть может получить лишь до 3 лет, то суд вправе взять его под стражу в исключительном случае и при соблюдении ряда условий. ВС пояснил, что это когда «наряду с обычными основаниями, предусмотренными УПК, есть дополнительные обстоятельства». Например, предпосылки к бегству: у обвиняемого нет постоянного места жительства в РФ, не установлена его личность, он и прежде скрывался от правоохранителей.
В постановлении ВС также напоминается, что и продлевать арест автоматически нельзя: следователь должен отчитаться перед судом о причинах, сообщить, что было сделано. А судье нужно определиться, действительно ли следственные действия не могли уложиться в срок или была волокита. При этом довод о «необходимости проведения новых допросов» назван недостаточным основанием для продления ареста.
ВС уже не раз указывал нижестоящим инстанциям на обязательность учета всех обстоятельств, так что юридическое сообщество отреагировало на новое постановление со сдержанным оптимизмом. Член Ассоциации юристов России Асия Мухамедшина рассчитывает, что данный шаг снимет с судей «зашоренность», когда при принятии решений учитывается только норма кодекса, а иные обстоятельства не принимаются во внимание как весомые. Хотя, напомнила она, в этом году количество обитателей СИЗО намного сократилось. По данным ФСИН, сейчас там находится около 98,8 тыс. человек. По словам Мухаметшиной, есть надежда, что суды все же возьмут курс на «гуманизм в судебной системе и гибкость при вынесении решений, влияющих на судьбу человека». Но для этого в том числе необходимо на законодательном уровне уточнить понятийный аппарат судейского усмотрения, чтобы оно было не обывательское, а правовое.
Адвокат юрфирмы «ЮСТ» Сергей Завриев позитивно оценил решение ВС, но заметил, что говорить о тектонических сдвигах пока рано. Постановление ВС сохранило возможность заключения под стражу для тех, кто якобы может скрыться, продолжить преступную деятельность, оказать давление на свидетелей, то есть воспрепятствовать расследованию уголовного дела. То есть сохраняется место для домыслов, поскольку «оценку реального наличия указанных обстоятельств осуществляет суд, исходя из своего внутреннего убеждения».
Данное постановление ВС «следует расценивать как декларацию, оторванную от реальной действительности», сказал «НГ» советник Федеральной палаты адвокатов РФ Нвер Гаспарян. Судьи, напомнил он, уже не первый раз получают такие наставления – и упорно продолжают укоренившуюся практику арестов. На практике из 10 ходатайств следователей о заключении под стражу 9 удовлетворяется, что же касается залога, то «на один случай его применения суды ответили тысячей с лишним решений об аресте». Действительно, судя по данным Судебного департамента при ВС, за прошлый год судами было рассмотрено более 104 тыс. ходатайств о взятии под стражу, 86 тыс. из которых были удовлетворены. А например, домашний арест избирался 3,5 тыс. раз. Ситуация кардинально изменится, если апелляционные и кассационные суды начнут чаще отменять решения нижестоящих судов и менять меру пресечения, но пока этого не происходит. «Пока ВС будет писать правильные разъяснения, а суды всех уровней – их дружно игнорировать, воз останется на месте. К сожалению, тенденция такова, что заключение под стражу по-прежнему используется для того, чтобы сломать волю обвиняемого и заставить его признать вину», – убежден Гаспарян.
Как полагает адвокат уголовно-правового направления адвокатского бюро LOYS Александр Кочнев, указание ВС может быть связано и с введением новой меры пресечения – запрета определенных действий. Эксперт видит позитивные тенденции: скажем, лет шесть назад домашний арест практиковался сравнительно редко, а сейчас его назначают и в тех случаях, по которым ранее суды без особых раздумий и объяснений отправляли людей в СИЗО. ВС, видимо, стремится к такому же эффекту и для запрета определенных действий.
Адвокат, партнер международного центра защиты прав Globallaw Илья Красилов считает, что у защиты появляется больше возможностей для обжалования решений о мере пресечения. Он также напомнил, что суды продолжают отправлять бизнесменов в СИЗО по пресловутым «предпринимательским статьям». А ВС говорит, что нельзя арестовывать, если не будет доказано, что инкриминируемое преступление связано с предпринимательской деятельностью. Причем, заметил он, «следователю недостаточно будет указать на корыстный мотив в действиях подозреваемого или использование похищенного имущества в личных целях». При этом ВС указал на приоритет залога как меры пресечения именно в отношении предпринимателей. В целом, констатировал Красилов, «не секрет, что помещение в СИЗО обычно используется для давления, так что применение ареста часто по-настоящему не обосновано, просто судам удобнее назначить эту меру пресечения, чем изучать обстоятельства дела».
ThemIS
FEI ThemIS 60-300 STEM / TEM специализируется на экспериментах на месте — жидкостная ячейка, нагрев, смещение и механические испытания. Его основными компонентами являются: X-FEG-пушка, корректор аберраций изображения, детектор энергодисперсионной рентгеновской спектроскопии (EDS) Bruker SuperX и камера Ceta2 CMOS. Корректор аберраций изображения полностью корректирует когерентные осевые аберрации до 3-го порядка и частично компенсирует аберрации 4-го и 5-го порядков, что обеспечивает пространственное разрешение ПЭМ 70 мкм.Детектор EDS Bruker без окон имеет телесный угол 0,7 стерадиана, что обеспечивает высокую скорость счета с минимальным мертвым временем для быстрого картирования STEM-EDS. Высокоскоростная камера Ceta2 может получать изображения 4kx4k со скоростью 40 кадров в секунду для видео in situ или дифракционных картин с большим динамическим диапазоном. Установленные детекторы STEM включают в себя сгруппированный детектор светлого поля (BF), кольцевого BF и кольцевого темного поля (ADF), а также отдельный детектор ADF с большим углом (HAADF). Детектор ADF сегментирован, что позволяет получить дифференциальный фазовый контраст.Микроскоп оснащен линзой Лоренца для получения изображений магнитных материалов без полей. Были разработаны специальные методы безвоздушного переноса образцов из перчаточного бокса в микроскоп.
Универсальная колонка с 3 конденсаторами позволяет получать изображения с помощью дифракции нанолучей и флуктуационной микроскопии. Микроскоп настроен на 60, 80, 120, 200 и 300 кВ, а камера Ceta2 имеет хорошие характеристики при всех ускоряющих напряжениях.
Полюсный зазор 5,2 мм объектива FEI Super-twin совместим с различными держателями, доступными пользователям:
- Держатель с двойным наклоном (альфа / бета ~ +/- 30 °)
- Держатель томографа (альфа> +/- 70 °)
- Держатель для нагрева Gatan 652 с двойным наклоном (до 1000 ° C)
- Проточипы с одинарным и двойным наклоном нагревательные (до 1100 ° C) и смещающие держатели
- Держатель смещения Hummingbird с одинарным наклоном для устройств MEM, определяемых пользователем
- Механический испытательный держатель Hysitron PI-95 на сжатие, растяжение и смещение во время механических испытаний
- Держатели с двойным наклоном жидкого азота для материалов наука и криоперенос биологических образцов
Общие технические условия
Ускоряющее напряжение | 60, 80, 120, 200 и 300 кВ |
Предел информации TEM (300 кВ) | 0. 07 нм |
ПЭМ сферическая аберрация 3-го порядка | <1 мкм (диапазон регулировки +/- 50 мкм) |
Разрешение STEM (300 кВ) | 0,136 нм |
Сферическая аберрация STEM Cs | 1,2 мм |
Детекторы
EDS | Super X — четыре кремниевых дрейфовых детектора без окон с общим телесным углом 0,7 стерадиана и разрешением по энергии 140 эВ. |
STEM | HAADF, сегментированный ADF, ADF, BF |
HRTEM / Дифракция / Видео | FEI Ceta2 CMOS 4k x 4k со сцинтиллятором, 40 кадров в секунду. |
Держатели образцов
Диапазон температур | Alpha tilt | Beta tilt | |
Двойной наклон FEI для низкого фона для EDS | — | ± 33 ° | ± 26 ° |
Держатель томографа Hummingbird для томографии и EDS | — | ± 70 ° / ± 70 ° | — |
Держатель Protochips с двойным наклоном для нагрева и смещения на месте и EDS | 23 ° C-1000 ° C | ± 30 ° | ± 11 ° |
Проточипы с одинарным наклоном для нагрева и смещения на месте | 23 ° C-1000 ° C | ± 30 ° | |
FEI с двойным наклоном на низком фоне для общего использование с шестигранным кольцом для магнитных образцов | — | ± 30 ° | ± 26 ° |
FEI одинарный наклон для общего использования | — | ± 30 ° | — |
Gatan 652 -Ta нагревательный держатель с двойным наклоном | 23 ° C-1000 ° C | ± 30 ° | ± 26 ° |
Gatan 636-DH низкофоновый охлаждающий держатель жидкого азота DT | -170 ° C / 100 ° C | ± 30 ° | ± 26 ° |
Gatan 915 Cryo-transfer LN2 DT Holder | -170 ° C / 100 ° C | ± 30 ° | ± 26 ° |
Hysitron PI-95 Держатель механического сжатия, растяжения, смещения | — | ± 30 ° | — |
Gatan 654 Держатель механического натяжения | — | ± 30 ° | — |
Колибри Держатель смещения для устройств MEMS | — | ± 30 ° | — |
На пути к децентрализованной рекламной платформе с целостностью отчетности (часть 1)
Рисунок 1. Визуальный обзор THEMIS высокого уровня. Распространение рекламы и отчеты о взаимодействии с рекламой. Пользователи получают вознаграждение за взаимодействие с рекламой. В THEMIS менеджер кампании и рекламодатели согласовывают рекламные кампании, которые закодированы в смарт-контракте, работающем в сайдчейне. Используя Brave Browser, пользователи запрашивают вознаграждение из смарт-контракта, который реализует криптографический протокол, который продвигает нас к децентрализации, прозрачности и конфиденциальности.
Наш подход: THEMIS
В этой серии сообщений в блоге команда Brave Research представляет THEMIS (, рис. 1, ), рекламную платформу с частным дизайном, которая делает значительный шаг к децентрализации рекламной экосистемы за счет использования боковой цепи и смарт-контрактов для устранения централизованной управление рекламной сетью.Мы верим в прогрессивную децентрализацию , что означает, что система, представленная в первом сообщении блога, еще не полностью децентрализована; в последующих публикациях в блоге будут обсуждаться дальнейшие шаги по децентрализации.
Текущая реализация Brave Ads защищает конфиденциальность и анонимность пользователей за счет использования сохраняющих конфиденциальность криптографических протоколов, сопоставления рекламы на стороне клиента и других методов анонимности. Например, серверы Brave не могут определить, с какой рекламой взаимодействовал пользователь, и они не получают никаких данных об интересах или привычках просмотра конкретного пользователя.
Протокол THEMIS обеспечивает те же сильные свойства анонимности, что и Brave Ads, делая важный шаг к прогрессивной децентрализации экосистемы Brave Ads. THEMIS очень важна для миссии BAT Apollo [14]. Как обсуждалось в AMA, проводимой сообществом BAT [15], основные цели миссии BAT Apollo заключаются в повышении прозрачности, снижении транзакционных издержек и дальнейшей децентрализации Brave Ads.
Благодаря сочетанию сильных свойств конфиденциальности с децентрализацией, THEMIS:
- Эффективно решает проблемы проверяемости и неотказуемости существующей экосистемы, требуя от всех участников создания криптографических доказательств правильного поведения. Каждый участник может убедиться, что все соблюдают протокол правильно;
- И обеспечивает рекламодателей необходимой обратной связью относительно эффективности их рекламных кампаний без ущерба для конфиденциальности конечных пользователей. Гарантируя вычислительную целостность этой отчетности, рекламодатели могут точно узнать, сколько пользователей просматривали их объявления и взаимодействовали с ними, не узнавая, какие именно из них.
В этом разделе мы кратко опишем технические основы механизмов и строительных блоков, используемых THEMIS; мы также описываем, почему и как THEMIS их использует.
Разрешенные блокчейны
THEMIS полагается на блокчейн с функцией смарт-контрактов для обеспечения децентрализованной рекламной платформы. Смарт-контракты позволяют выполнять бизнес-логику и платежи, не полагаясь на центральный орган. THEMIS может, например, работать в сети Ethereum Mainnet. Однако из-за низкой пропускной способности транзакций Ethereum, высокой стоимости газа и текущих проблем с масштабируемостью THEMIS вместо этого полагается на разрешенный блокчейн, а точнее на блокчейн Proof-of-Authority (PoA).
Блокчейн PoA состоит из распределенного реестра, который полагается на консенсус, достигнутый разрешенным пулом узлов валидатора. Валидаторы PoA могут полагаться на быстрые протоколы консенсуса, такие как IBFT / IBFT2.0 и Clique, которые приводят к более быстрому чеканке блоков и, таким образом, PoA может достигать более высокой пропускной способности транзакций, чем традиционные блокчейны на основе PoW.
В отличие от традиционных блокчейнов без разрешения (таких как Биткойн и Эфириум), количество узлов, участвующих в консенсусе, относительно невелико, и все узлы аутентифицированы.В нашем случае издатели и другие субъекты отрасли являются потенциальными участниками пула валидаторов.
Криптографические инструменты
Конфиденциальность
THEMIS использует аддитивно гомоморфную схему шифрования для расчета рекламных выплат для каждого пользователя, сохраняя при этом конфиденциальность поведения пользователя (например, кликов по рекламе). Для пары открытого и закрытого ключей [[(\ sk, \ pk)]] схема шифрования определяется четырьмя функциями:
- Шифрование : во-первых, функция шифрования, для которой задан открытый ключ и сообщение, выводит зашифрованный текст, [[\ ctxt = \ enc (\ pk, \ message)]];
- Расшифровка : во-вторых, функция дешифрования, которая задана зашифрованным текстом и личным ключом, выводит расшифрованное сообщение [[\ message = \ dec (\ sk, \ ctxt)]];
- Подпись : далее функция подписи, для которой задано сообщение и секретный ключ, выводит подпись сообщения [[\ signature = \ sign (\ sk, \ message)]].
- Verify: наконец, функция проверки подписи, для которой заданы подпись и открытый ключ, выводит [[\ bot, \ top]], если подпись не работает или проверяется соответственно, [[\ signverify (\ signature, \ pk) \ в \ {\ bot, \ top \}]].
Аддитивное гомоморфное свойство гарантирует, что добавление двух зашифрованных текстов,
$$ \ ctxt_ {1} = \ enc (\ pk, \ message_ {1}), \ ctxt_ {2} = \ enc (\ pk, \ message_ {2}) $$
, зашифрованный с использованием того же ключа, приводит к добавлению шифрования его сообщений, точнее:
$$ \ ctxt_ {1} + \ ctxt_ {2} = \ enc (\ pk, \ message_ {1} + \ message_ {2}) $$
Некоторыми примерами таких алгоритмов шифрования являются схемы шифрования Эль-Гамаля [9] или Пайе [10].
Целостность
Чтобы доказать правильность дешифрования, THEMIS использует доказательства с нулевым разглашением (ZKP), которые позволяют объекту (то есть доказывающему) убедить другой объект (то есть проверяющий) в том, что определенное утверждение истинно в частных входных данных без раскрытия какой-либо другой информации из этого ввода, кроме того, является ли утверждение истинным или нет. Обозначим доказательства как \ (\ Pi \), а его проверки как \ (\ verify (\ Pi) \ in \ {\ bot, \ top \} \).
Распределение доверия
THEMIS распределяет доверие для создания пары ключей public-private для каждой рекламной кампании, в соответствии с которой конфиденциальная информация шифруется.Для этого он использует протокол (DKG) распределенного генерирования ключей для обмена знаниями секрета. Это позволяет группе игроков распределенно генерировать пару ключей , [[(\ sk_T, \ pk_T)]], где каждый игрок имеет долю закрытого ключа, [[\ sk_ {T_ {i}}] ], и ни один игрок никогда не узнает полный закрытый ключ, [[\ sk_ {T}]].
Более того, результирующая пара ключей является пороговой парой ключей , которая требует, по крайней мере, четко определенного числа участников — из одноранговых узлов, которые распределенно генерировали ключ — для взаимодействия во время операций дешифрования или подписи.
Мы следуем аналогичному протоколу DKG, представленному Schindler et. al. [11].
Для выбора этой выбранной группы игроков, генерирующих ключи, распределенным образом, THEMIS использует проверяемые случайные функции (VRF). Как правило, VRF позволяют пользователям генерировать случайное число и доказывать его случайность. В THEMIS мы используем VRF для выбора случайного пула пользователей и генерации распределенных ключей. Для данной пары открытого и закрытого ключей, [[(\ VRFsk, \ VRFpk)]], VRF определяются функцией, которая выводит случайное число и доказательство правильности генерации с нулевым разглашением.
Основные свойства, на которых мы сосредоточились при разработке THEMIS, включали конфиденциальность, подотчетность, целостность отчетности и децентрализацию:
Конфиденциальность
В контексте устойчивой рекламной экосистемы мы определяем конфиденциальность как возможность пользователей и рекламодателей использовать нашу систему без раскрытия какой-либо важной информации о себе и своем бизнесе:
- Для пользователя конфиденциальность означает возможность взаимодействовать с рекламой, не раскрывая свои интересы / предпочтения рекламодателям, другим участникам протокола или перехватчикам. В THEMIS мы сохраняем конфиденциальность пользователей не только тогда, когда они взаимодействуют с рекламой, но и когда они запрашивают соответствующие вознаграждения за эту рекламу.
- Brave Ads в настоящее время защищает конфиденциальность рекламодателей. Для рекламодателей конфиденциальность означает, что они могут создавать рекламные кампании, не раскрывая каких-либо политик (то есть, какова награда за каждое из их объявлений) любопытным глазам своих конкурентов. THEMIS сохраняет конфиденциальность этих рекламных политик на протяжении всего процесса, позволяя пользователям требовать вознаграждения на основе рекламных политик.
Децентрализация и аудит
Для существующих работ требуется центральный орган для управления и организации надлежащего выполнения протокола либо с точки зрения конфиденциальности пользователей, либо с точки зрения выставления счетов. Что, если этот (считающийся доверенным) объект подвергает пользователей цензуре, отказывая или передавая неверное количество вознаграждений? Что, если он попытается взимать с рекламодателей больше, чем они должны платить, исходя из взаимодействия пользователей с рекламой? Что делать, если рекламная политика не применяется в соответствии с согласованием с рекламодателями при настройке рекламных кампаний?
Одна из основных целей нашей системы — быть децентрализованной и прозрачной. Для этого THEMIS использует разрешенный блокчейн с функциональностью смарт-контрактов.
Масштабируемость
Рекламные платформы должны иметь возможность легко масштабироваться и обслуживать миллионы пользователей. Однако важные предлагаемые системы не позволяют этого достичь. Мы рассматриваем масштабируемость как важный аспект, влияющий на практичность системы. THEMIS необходимо не только показывать рекламу миллионам пользователей с сохранением конфиденциальности, но и как можно быстрее завершать платежи, связанные с их рекламными вознаграждениями.
Целостность
В отличие от существующих работ, THEMIS не полагается на доверенный центральный орган. Следовательно, необходимо предоставить как пользователям, так и рекламодателям механизмы для проверки подлинности заявлений и выполненных операций. Достижение таких гарантий целостности требует использования доказательств с нулевым разглашением, чтобы каждый участник мог доказать и проверить правильность и действительность выставления счетов и отчетности.
Оставшаяся часть этого сообщения в блоге будет посвящена описанию базового подхода к описанию основных принципов и шагов THEMIS.В предстоящем сообщении в блоге мы основываемся на подходе «соломенного человека» и вводим в систему децентрализацию.
Наш соломенный подход — это первый шаг к децентрализованной системе онлайн-рекламы, обеспечивающей сохранение конфиденциальности. Наша цель на этом этапе — предоставить рекламодателям механизм для создания рекламных кампаний и правильной оплаты на основе взаимодействия пользователя с их объявлениями. Кроме того, система нацелена на отслеживание рекламы, просматриваемой пользователями, так что (i) рекламодатели могут получать отзывы о своих рекламных кампаниях и (ii) пользователи могут быть вознаграждены за взаимодействие с рекламой.Все эти цели должны быть достигнуты при сохранении конфиденциальности рекламных политик и поведения пользователей.
В этом подходе мы принимаем на себя три разные роли: (i) пользователей, (ii) рекламодателей и (iii) менеджера рекламных кампаний (CM). Пользователи заинтересованы в просмотре и взаимодействии с рекламой, созданной рекламодателями. CM отвечает (а) за организацию протокола, (б) за обработку отчетов о просмотрах рекламы и, наконец, (в) за расчет вознаграждений, которые должны быть выплачены пользователям в соответствии с политиками, определенными рекламодателями.
Обратите внимание, что соломенный подход предполагает наличие частично доверенного Менеджера кампании. Эта роль будет удалена в полном протоколе THEMIS, который описан в следующем блоге. Ради этого первоначального введения в THEMIS использование объекта CM позволяет упростить объяснение.
Соответствие объявлений с сохранением конфиденциальности
В THEMIS — как и в текущей архитектуре Brave Rewards — пользователь загружает обновленную версию каталога объявлений , который включает в себя объявления и их метаданные из всех активных рекламных кампаний.CM поддерживает и предоставляет пользователям каталог объявлений для периодической загрузки.
Сопоставление объявлений происходит локально на основе предварительно обученной модели, а интересы пользователя извлекаются из истории их просмотра в Интернете аналогично тому, как это делается в Brave Rewards. Чтобы показывать объявления и подбирать их в соответствии с интересами пользователя, никакие данные не покидают его устройство. Это создает огороженный сад данных просмотра, который используется для рекомендации наиболее подходящего объявления, при этом конфиденциальность пользователя гарантируется.
Поощрение за просмотр рекламы
Стимулы пользователей к взаимодействию с рекламой лежат в основе THEMIS.Каждое просмотренное / нажатое объявление приносит вознаграждение BAT. Разные объявления могут давать пользователям разное вознаграждение. Эта сумма согласовывается между создателем соответствующей рекламы (т. Е. Рекламодателем) и менеджером кампании. Пользователь может периодически запрашивать вознаграждение (например, каждую неделю или каждый месяц). На рисунке 4 мы представляем обзор генерации запроса на вознаграждение и шаги для получения рекламных вознаграждений в рамках подхода «соломенного человека».
Подход соломенного человека
Теперь мы обрисуем различные фазы версии THEMIS для соломенного человека.
Этап 1. Определение вознаграждения за рекламу
Чтобы рекламодатель включил свою рекламную кампанию в следующую версию каталога объявлений, ему сначала необходимо согласовать с CM политики данной кампании (т. Е. Вознаграждение за объявление, количество показов рекламы на пользователя и т. Д.) (шаг 1 на рисунке 4).
Как только рекламодатель согласовывает с CM вне полосы пропускания рекламу, которая будет частью кампании и соответствующих выплат, CM кодирует согласованную политику в виде вектора [[\ policyvector]], где каждый индекс соответствует количеству токены, которые выдает объявление при просмотре / нажатии (например,грамм. Ad1: 0,4 BAT, Ad2: 2 BAT, Ad3: 1,2 BAT). CM хранит этот вектор в частном порядке, и рекламодатель должен быть уверен в том, что политики соблюдаются (это будет рассмотрено в полном протоколе THEMIS — см. Следующую запись в блоге). Индексы, используемые в векторе политики, сохраняют тот же порядок, что и соответствующие индексы его объявлений в каталоге объявлений.
Рис. 4. Общий обзор процедуры получения пользовательских вознаграждений в рамках нашего подхода «соломенного человека». Рекламодатели могут устанавливать размер вознаграждения за каждый клик по объявлению, не сообщая об этом конкурентам.Пользователь может требовать вознаграждения, не раскрывая, с какой рекламой он взаимодействовал.
Помимо согласования с менеджером по маркетингу политики в отношении рекламы для кампании, рекламодатель также переводит на счет условного депонирования необходимые средства для покрытия кампании. В конце кампании неиспользованные средства (т. Е. Когда пользователи не нажали / не взаимодействовали с достаточным количеством объявлений, чтобы израсходовать все депонированные средства) возвращаются рекламодателям.
Для простоты в этом разделе мы рассматриваем одного рекламодателя, который участвует в нашей рекламной платформе и проводит несколько рекламных кампаний. В реальном мире многие рекламодатели могут участвовать в одновременном проведении нескольких рекламных кампаний. Мы также считаем согласованной политикой количество токенов, предоставляемых рекламой в качестве вознаграждения для пользователя, нажимающего на нее.
Этап 2. Получение вознаграждения за рекламу
Пользователь генерирует локально вектор взаимодействия , , который отслеживает количество просмотров / нажатий на каждое объявление из каталога (например, Ad1: просмотрено 3 раза, Ad2: просмотрено 0 раз, Ad3: просмотрено 2 раз).
В каждый период выплаты пользователь шифрует состояние вектора взаимодействия. Более технически, пусть [[\ adclicks]] ( ac на рисунке 4) будет вектором взаимодействия, содержащим количество просмотров / кликов пользователей с каждым объявлением, где элемент [[i]] вектора [[\ adclicks]] представляет количество просмотров / нажатий [[\ ad_i]]. В каждый период выплаты пользователь генерирует новую пару эфемерных ключей [[\ sk, \ pk]], чтобы гарантировать несвязанность запросов на выплату. Затем пользователь переходит к каждой записи [[\ adclicks]] с новым сгенерированным открытым ключом:
$$ \ encryptedvector = \ left [\ enc (\ pk, \ nrinteractions_1) \ ldots, \ enc (\ pk, \ nrinteractions _ {\ nrads}) \ right] $$
, где [[\ nrinteractions_i]] — это количество взаимодействий для рекламы [[i]], а [[\ nrads]] — общее количество объявлений.Он переходит к отправке [[\ encryptedvector]] в Менеджер кампании (шаг 2а на рисунке 4).
Обратите внимание, что CM не может расшифровать полученный вектор и, следовательно, не может узнать взаимодействие пользователя с рекламой (и, следовательно, его интересы). Вместо этого они используют аддитивное гомоморфное свойство базовой схемы шифрования (как описано в разделе «Предпосылки») для вычисления суммы всех выплат на основе взаимодействий, закодированных в зашифрованном векторе [[\ encryptedvector]] (шаг 2b на рисунке 4). .{\ nrads} \ policyvector [i] \ cdot \ encryptedvector [i] $$
, где [[\ policyvector [i]]] — это рекламная политика, связанная с объявлением в позиции [[i]] вектора. Затем CM подписывает вычисленный совокупный результат:
$$ \ signreward = \ sign (\ aggrresult, \ sk_ {CM}) $$
и отправляет 2-кортеж [[(\ aggrresult, \ signreward)]] обратно пользователю.
Получив этот кортеж (шаг 2c на рисунке 4), пользователь проверяет подпись результата: [[\ signverify (\ aggrresult, \ signreward)]] и приступает к расшифровке результата агрегирования:
$$ \ decryptedaggr = \ dec (\ sk, \ aggrresult) $$
В качестве последнего шага он доказывает правильность дешифрования путем создания доказательства правильного дешифрования с нулевым разглашением: [[\ proofresult]] (т. Е.е. доказывая, что дешифрование действительно связано с зашифрованным агрегатом).
Этап 3. Запрос на платеж
Наконец, пользователь генерирует запрос на оплату и отправляет CM следующие четыре кортежа (шаг 3a на рисунке 4):
$$ (\ decryptedaggr, \ aggrresult, \ signreward, \ proofresult) $$
В качестве следующего шага (шаг 3b на рисунке 4) CM проверяет действительность платежного запроса. В частности, CM отклонит платежный запрос пользователя, если
$$ \ signverify (\ pk_ {CM}, \ signreward, \ aggrresult) = \ bot $$
или
$$ \ verify (\ proofresult) = \ bot $$
В противном случае он переходит к передаче правильной суммы (равной [[\ decryptedaggr]]) вознаграждения пользователю.
Отчетность для рекламодателей
THEMIS стремится предоставить рекламодателям обратную связь о рекламных кампаниях. Во время процедуры выставления счетов рекламодатели должны иметь возможность проверять целостность статистических данных, представленных Менеджером кампании, относительно количества просмотров / нажатий на объявление пользователями.
Для этого каждый раз, когда новая версия каталога объявлений находится в сети и извлекается от пользователей, создается новая пара ключей, [[\ pk_ {T}]]. Этот ключ используется для шифрования копии CM вектора adclicks (помните шаг 2a на рисунке 4).
Ключ, используемый на этом этапе, [[\ pk_ {T}]], является открытым пороговым ключом, сгенерированным распределенным способом. Чтобы сгенерировать такой ключ, пул из нескольких участвующих пользователей (Пользователи поощряются к участию в этом пуле. Подробности о том, как организовать стимулы, не рассматриваются в этой публикации в блоге.), Консенсусный пул , является создан (более подробно о том, как создается пул консенсуса, будет рассказано в следующем сообщении блога). Для этой цели консенсусный пул выполняет алгоритм генерации распределенного ключа.В результате получается общий открытый ключ [[\ pk_ {T}]], и каждый участник консенсусного пула владеет общим ключом конфиденциальности [[\ sk_ {T, i}]]. Открытый ключ [[\ pk_ {T}]] отправляется CM, поэтому ключ может быть передан всем пользователям.
Следовательно, кроме [[\ encryptedvector]] каждый пользователь также отправляет [[\ encryptedvector ’]] в CM, где:
$$ \ encryptedvector ‘= \ left [\ enc (\ pk_ {T}, \ nrinteractions_ {1}), \ ldots, \ enc (\ pk_ {T}, \ nrinteractions _ {\ nrads}) \ right] $$
Когда рекламная кампания закончится, все [[\ encryptedvector ’]], созданные пользователями, будут обработаны для расчета количества вознаграждений, выплаченных каждому рекламодателю. {\ nrads} \ encryptedvector ’_ {0} [i] + \ cdots + \ encryptedvector’ _ {\ nrusers} [i] $$
, где [[\ nrusers]] — количество пользователей. Каждый из [[\ encadspayout_ {i}]] должен быть дешифрован с использованием пороговой пары публично-приватных ключей, для расшифровки которой требуется минимальное количество участников пула. Расшифрованные значения передаются рекламодателям, которые затем позволяют им проверять, являются ли средства, используемые CM для оплаты пользователей, правильными, на основе взаимодействия пользователей с рекламной кампанией.
В этом первом сообщении блога мы представили мотивацию и цели THEMIS, новой конструкции рекламной платформы, основанной на конфиденциальности и реализованной исследовательской группой Brave. Как и в случае с рекламой Brave, THEMIS обеспечивает пользователям полную анонимность. Кроме того, он децентрализован и не требует никакого доверия со стороны пользователей и рекламодателей. Основной протокол THEMIS (i) обеспечивает возможность аудита для всех участников, (ii) вознаграждает пользователей за взаимодействие с рекламой и (iii) позволяет рекламодателям проверять эффективность и отчеты о выставлении счетов своих рекламных кампаний.
В дополнение к представлению и мотивации THEMIS мы обрисовали в общих чертах упрощенный проект основного протокола, который гарантирует следующее:
- Пользователь получает вознаграждение, заработанное за взаимодействие с рекламой. То же свойство, что и в случае с Brave Ads: THEMIS не раскрывает, с какой рекламой пользователи взаимодействовали, Brave или рекламодателям.
- Менеджер кампании может правильно применять ценовую политику к каждому объявлению, не раскрывая никакой информации пользователям или потенциальным конкурентам рекламодателя.
Однако подход «соломенного человека» не охватывает всех тех свойств, которые мы хотели бы достичь для THEMIS, особенно с точки зрения доверия. В подходе «соломенного человека» менеджер кампании отвечает за организацию протокола: он обрабатывает запрос пользователя на выплаты и рассчитывает вознаграждение. Кроме того, CM хранит политики в отношении рекламы в частном порядке, и и пользователи, и рекламодатели должны быть уверены, что политики соблюдаются при расчете выплат. Наконец, система «соломенного человека» не касается механизма оплаты вознаграждений, сохраняющего конфиденциальность.
В предстоящем сообщении блога мы улучшаем упрощенный подход соломенного человека и представляем сквозной протокол THEMIS; мы также представим оценку масштабируемости, которая покажет, как THEMIS работает в масштабе.
[1] Официальный документ BAT
[2] Brave Rewards Stats & Token Activity
[3] Н. Кшетри, «Экономика мошенничества с кликами», в IEEE Security & Privacy, vol. 8, вып. 3, стр. 45-53, май-июнь 2010 г.
[3.1] Темные переулки Мэдисон-авеню: понимание вредоносной рекламы
[4] Кумари, Шилпа и др.«Демистификация рекламного мошенничества». 2017 IEEE Frontiers in Education Conference (FIE). IEEE, 2017.
[5] Башир, Аршад и др. «Отслеживание информационных потоков между рекламными биржами с помощью ретаргетированной рекламы». 25-й симпозиум по безопасности USENIX (USENIX Security 16)
[6] Пападопулос, Куртеллис и Маркатос «Синхронизация файлов cookie: все, что вы всегда хотели знать, но боялись спросить»
[7] Спайчер, Т., Али, М., Венкатадри, et. al. (2018) «Возможности дискриминации в адресной интернет-рекламе». Материалы 1-й конференции по справедливости, подотчетности и прозрачности
[8] Venkatadri, Athanasios, et.al. (2018). Риски конфиденциальности при таргетинге Facebook на основе PII: аудит рекламного интерфейса брокера данных.
[9] Шифрование Эль-Гамаля
[10] Криптосистема Paillier
[11] Privad: практическая конфиденциальность в онлайн-рекламе
[12] Adnostic: таргетированная реклама с сохранением конфиденциальности
[13] Глобальное поведение по блокировке рекламы в 2019 году — статистика и потребительские тенденции (инфографика)
[14] Дорожная карта BAT
[15] BAT Apollo AMA с Marshall Rose
В этом подразделе раздела «Последовательность» описывается природный вариант (ы) белковой последовательности. Естественный вариант i VAR_027846 | 284 | V → G. Соответствует варианту dbSNP : rs11968051Ensembl. | 1 | Естественный вариант i VAR_027847 | 630 | I → V Информация, подобранная вручную, для которой опубликованы экспериментальные данные. Ручное утверждение, основанное на эксперименте в i
| 1 |
, требуется npm var 9000m 9000mis (‘../src/themis ‘);
var util = require (‘util’);
var schema = {
«id»: «complex_defaults»,
«type»: «object»,
«properties»: {
«allOf»: {
«default»: {} ,
«allOf»: [
{
«тип»: «объект»,
«свойства»: {
«x»: {
«тип»: «строка»,
«по умолчанию») : «A»
}
}
},
{
«тип»: «объект»,
«свойства»: {
«y»: {
«тип»: «строка» ,
«по умолчанию»: «b»
}
}
},
{
«тип»: «объект»,
«свойства»: {
«z»: {
» т ype «:» строка «,
» default «:» c «
}
}
}
]
},
» oneOf «: {
» default «: {x: true, y: false},
«oneOf»: [
{
«тип»: «объект»,
«свойства»: {
«x»: {
«тип»: «строка»,
«по умолчанию»: «a»
}
}
},
{
«тип»: «объект»,
«свойства»: {
«y»: {
«тип» : «Строка»,
«по умолчанию»: «b»
}
}
},
{
«тип»: «объект»,
«свойства»: {
«z»: {
«тип»: «строка»,
«по умолчанию»: «c»
}
}
}
]
},
«anyOf»: {
» по умолчанию «: {},
» anyOf «: [
{
» тип «:» объект «,
» свойства «: {
» x «: {
» тип «:» строка «,
«по умолчанию»: «a»
}
}
},
{
«тип»: «объект»,
«свойства»: {
«y»: {
«тип «:» Строка «,
» по умолчанию «:» b «
}
}
},
{
» тип «:» объект «,
» свойство rties «: {
» z «: {
» type «:» string «,
» default «:» c «
}
}
}
]
}
},
«не»: {
«тип»: «объект»,
«обязательный»: [«не»],
«свойства»: {
«не»: {
«тип»: «объект «,
» properties «: {
» x «: {
» type «:» string «,
» default «:» bar «,
» enum «: [» foo «]
}
}
}
}
}
}
var validator = Themis.валидатор (схема, {enable_defaults: true});
var empty_data = {};
var report = validator (empty_data, ‘complex_defaults’);
console.log (util.inspect (отчет, {глубина: 10, цвета: true}));
console.log (util.inspect (empty_data, {глубина: 10, цвета: true}));
var partial_invalid_data = {
oneOf: {}
};
report = validator (partial_invalid_data, ‘complex_defaults’);
консоль.журнал (util.inspect (отчет, {глубина: 10, цвета: истина}));
console.log (util.inspect (partial_invalid_data, {depth: 10, colors: true}));
var partial_valid_data = {
oneOf: {y: true, z: false},
allOf: {x: ‘yes’},
anyOf: {y: ‘b’}
};
report = валидатор (partial_valid_data, ‘complex_defaults’);
console.log (util.inspect (отчет, {глубина: 10, цвета: true}));
консоль.журнал (util.inspect (partial_valid_data, {глубина: 10, цвета: true}));
var invalid_data = {
not: {x: ‘foo’}
}
report = validator (invalid_data, ‘complex_defaults’);
console.log (util.inspect (отчет, {глубина: 10, цвета: true}));
console.log (util.inspect (неверные_данные, {глубина: 10, цвета: истина}));
Коротко о Фемиде | Cossack Labs
Что такое Фемида и чем она классная
Что такое Фемида #
Themis — это кроссплатформенная криптографическая библиотека высокого уровня для мобильных, веб-платформ и серверных платформ.Themis решает 90% типичных случаев использования защиты данных, которые характерны для большинства приложений.
Themis предоставляет готовые строительные блоки («криптосистемы») , которые упрощают использование основных операций криптографической безопасности.
Узнайте больше о криптографии в Фемиде.
Почему Фемида #
В отличие от многих других криптографических библиотек, Themis представляет собой высокоуровневую, простую в использовании библиотеку («скучную криптографию») .
Themis создается криптографами, но нацелена на разработчиков, поэтому скрывает криптографические детали под капотом («безопасность по дизайну») .
Themis помогает легко, быстро и безопасно создавать как простые, так и сложные криптографические функции. Фемида позволяет разработчикам сосредоточиться на главном: разработке своих приложений.
Узнайте больше об идеях проектирования безопасности, лежащих в основе Themis, и о том, как наша команда поддерживает Themis в течение последних 6 лет.
Варианты использования, которые решает Фемида #
Шифрование хранимых секретов в ваших приложениях и серверной части: ключи API, токены сеанса, файлы.
Зашифруйте конфиденциальные поля данных перед сохранением в базе данных ( «шифрование на уровне полей на стороне приложения» ).
Поддержка шифрования с возможностью поиска , токенизации данных (FPE) и маскирования данных с помощью Themis и Acra.
Безопасный обмен секретами: делитесь конфиденциальными данными между сторонами, создайте простое приложение для чата между пациентами и врачами.
Построить схемы сквозного шифрования с централизованной или децентрализованной архитектурой: шифровать данные локально в одном приложении, использовать их в зашифрованном виде везде, дешифровать только для аутентифицированного пользователя.
Поддерживать безопасных сеансов в реальном времени : отправлять зашифрованные сообщения для управления подключенными устройствами из вашего приложения, получать в реальном времени конфиденциальные данные из ваших приложений на серверную часть.
Сравните секреты между сторонами, не раскрывая их (аутентификация на основе доказательства с нулевым разглашением).
Одна криптографическая библиотека, подходящая для всех : Themis лучше всего подходит для многоплатформенных приложений (например, iOS + Android + Electron app с Node.js бэкэнд) потому что он предоставляет 100% совместимый API и работает одинаково на всех поддерживаемых платформах.
Themis работает в широком спектре проектов: электросети, банковские приложения, телемедицинские приложения, платформы обмена документами, приложения для заметок, платформы без кода, платформы удаленной отладки и так далее. OWASP MSTG рекомендует использовать Фемиду в мобильных приложениях.
Узнайте о проектах, построенных с использованием Фемиды, и о правилах, которые Фемида помогает охватить.
Криптосистемы #
Themis предоставляет 4 важных криптографических сервиса:
- Secure Cell : многорежимный криптографический контейнер, подходящий для хранения всего от зашифрованных файлов до записей базы данных и строк с сохраненным форматом.Secure Cell построен на основе AES-256-GCM, AES-256-CTR.
- Secure Message : простое решение для обмена зашифрованными сообщениями для самого широкого круга приложений. Обменяйтесь ключами между сторонами, и все готово. Две пары базовых криптосистем: ECC + ECDSA / RSA + PSS + PKCS # 7.
- Secure Session : сессионно-ориентированный обмен зашифрованными данными с прямой секретностью для лучших гарантий безопасности и более требовательных инфраструктур.Secure Session может отлично работать как шифрование сокетов, безопасность сеанса или примитив высокоуровневого обмена сообщениями (с некоторой дополнительной инфраструктурой, такой как PKI). Соглашение о ключах ECDH, шифрование ECC и AES.
- Secure Comparator : криптографический протокол с нулевым разглашением для проверки подлинности и сравнения секретов.
Мы создали Фемиду, чтобы создавать на ее основе другие продукты, например, Acra и Hermes.
Что не решает Фемида #
Themis не предоставляет низкоуровневый / необработанный криптографический API для шифрования и хеширования.
Например, Themis не позволяет выбрать определенный криптографический шифр, длину ключа, точную эллиптическую кривую или хеш-функцию. Нет такого API, как
, пусть зашифровано = зашифровано (данные, шифр: AES, длина ключа: 256, режим: GCM)
Вместо того, чтобы думать о криптографических параметрах, разработчики используют Фемиду для решения определенных функций / требований своих продуктов. Themis разработан таким образом, что исключает типичные криптографические ошибки и ускоряет разработку, но Themis не так гибок, как OpenSSL.
Для тех, кто понимает, что они делают, и требует определенных шифров, Themis позволяет изменять алгоритмы по умолчанию и создавать собственную версию.
Themis не имеет API для гомоморфного или PQ-шифрования.
Themis не предназначена для работы на маломощном оборудовании, микроконтроллерах и т. Д. Themis нацелен на мобильное, настольное и серверное оборудование с процессорами x86 и ARM.
Если некоторые из этих моментов важны для вас, подумайте о коммерческой поддержке.
Откройте страницу сообщества, чтобы узнать больше об авторах, проектах, использующих Фемиду, примерах приложений и учебных пособий, а также технических обсуждениях Фемиды.
Merck объединяется с Themis для разработки вакцин
Merck заключила соглашение о сотрудничестве с Themis Bioscience в области исследований и разработок вакцин. Согласно соглашению, Merck инвестирует в Themis и выделяет до 200 миллионов долларов (180 миллионов евро) на этапы, чтобы обеспечить вакцины против неизвестной цели.
Используя финансирование исследований от Merck, Themis разработает вакцины-кандидаты против этой цели, используя платформу на основе векторов вируса кори.Фемида получила лицензию на переносчик кори от Института Пастера и с тех пор работает над индустриализацией производственного процесса, предоставляя ему платформу, которая, по ее мнению, может поддержать предстоящую фазу 3 испытаний ее внутреннего ведущего актива.
В результате генеральный директор Themis Эрих Таубер описывает систему как «настоящую платформу plug-and-play».
Спонсор: IsoPlexis
Мульти-омические подходы выявляют функциональные адаптации, ведущие к устойчивости к лекарствам
ПриложениеMulti-omic (метаболомика + функциональная протеомика) представляет собой важный и уникально способный инструмент для понимания изменений состояния клеток, которые приводят к адаптивному сопротивлению.Многофункциональные компоненты IsoPlexis для интегрированной биологии рака раскрывают эти новые идеи для новых методов лечения и терапевтических комбинаций, которые могут предотвратить развитие резистентности.
«Мы можем заменять кассеты с антигенами или иммуномодуляторами, не затрагивая ничего в производственной системе», — сказал Таубер.
Прогресс внутренних программ Фемиды и ее работа с Коалицией за инновации в области обеспечения готовности к эпидемиям свидетельствуют об успехе компании в использовании лицензированного вектора.Но австрийская биотехнология никогда раньше не получала подтверждения партнерства с крупным игроком в отрасли. Заключив одну отраслевую сделку, Фемида жаждет большего.
«Мы очень заинтересованы в заключении дополнительных сделок», — сказал Таубер.
Благодаря сделке с Merck, Фемида получила вложение в акционерный капитал, которое поддержит ее усилия по созданию финансовой основы для продвижения своей внутренней программы НИОКР.
«[Инвестиции Merck являются] частью более широкого раунда финансирования, который будет направлен на финансирование компании ее приоритетных проектов, включая чикунгунью», — сказал Таубер.
Таубер и его коллеги выполнили большую часть производственной и нормативной работы, необходимой для перехода кандидата на вакцину от чикунгуньи в фазу 3, что позволило им начать исследование «очень скоро».
Предстоящий раунд финансирования, который следует за прошлогодней серией C стоимостью 10 миллионов евро, позволит Фемиде продвигать вакцину против чикунгунья, а также продвигать других кандидатов. Фемида готовится начать клинические испытания своих кандидатов на лихорадку Зика и Ласса, одновременно работая над внедрением первой из своих онкологических программ на людей.
Интерес Фемиды к онкологии отражает уверенность в том, что она может развить врожденную силу вируса кори.
«Сам вирус кори обладает естественной способностью убивать раковые клетки», — сказал Таубер. «Мы еще больше усилили естественную онколитическую активность, добавив дополнительные терапевтические вставки, которые могут быть иммуномодуляторами или другими агентами».
В иммуноонкологической работе используется та же производственная платформа, что и в конвейере инфекционных заболеваний, что освобождает Фемиду от части работы, связанной с запуском программы по онколитическому вирусу с нуля.Фемида планирует вскоре перенести свою ведущую программу по борьбе с раком на людей.
THEMIS, новый ребенок в блоке развития Т-клеток
Germain RN. Развитие Т-клеток и решение о происхождении CD4-CD8. Nat Rev Immunol 2002; 2 : 309–322.
CAS Статья PubMed Google ученый
Zuniga-Pflucker JC. Развитие Т-клеток стало проще. Nat Rev Immunol 2004; 4 : 67–72.
CAS Статья PubMed Google ученый
Пастер В., Брокмайер С., Фу Дж., Симистер ПК, де Вет Б., Мартинес-Рианьо А. и др. . GRB2-опосредованное вовлечение THEMIS в LAT важно для развития тимоцитов. J Immunol 2013; 190 : 3749–3756.
CAS Статья PubMed PubMed Central Google ученый
Лесурн Р., Уехара С., Ли Дж., Сонг К.Д., Ли Л., Пинхасов Дж. и др. .Фемида, Т-клеточно-специфический белок, важный для позднего развития тимоцитов. Nat Immunol 2009; 10 : 840–847.
CAS Статья PubMed PubMed Central Google ученый
Fu G, Vallee S, Rybakin V, McGuire MV, Ampudia J, Brockmeyer C et al . Фемида контролирует отбор тимоцитов посредством регуляции передачи сигналов, опосредованной рецептором антигена Т-клеток. Nat Immunol 2009; 10 : 848–856.
CAS Статья PubMed PubMed Central Google ученый
Патрик М.С., Ода Х., Хаякава К., Сато Й., Эшима К., Кирикаэ Т. и др. . Gasp, белок, связывающий Grb2, имеет решающее значение для положительного отбора тимоцитов. Proc Natl Acad Sci USA 2009; 106 : 16345–16350.
CAS Статья PubMed Google ученый
Brockmeyer C, Paster W, Pepper D, Tan CP, Trudgian DC, McGowan S et al .Динамика фосфорилирования тирозина, индуцированная Т-клеточным рецептором (TCR), идентифицирует THEMIS как новый компонент сигнаносомы TCR. J Biol Chem 2011; 286 : 7535–7547.
CAS Статья PubMed Google ученый
Лесурн Р., Звездова Е., Сонг К.Д., Эль-Хури Д., Уехара С., Барр В.А. и др. . Взаимозаменяемость Themis1 и Themis2 в развитии тимоцитов выявляет два родственных белка с консервативной молекулярной функцией. J Immunol 2012; 189 : 1154–1161.
CAS Статья PubMed PubMed Central Google ученый
Лесурн Р., Уэхара С., Ли Дж., Сонг К.Д., Ли Л., Пинхасов Дж. и др. . Фемида, Т-клеточно-специфический белок, важный для позднего развития тимоцитов. Nat Immunol 2009; 10 : 840–847.
CAS Статья PubMed PubMed Central Google ученый
Окада Т., Нитта Т., Кадзи К., Такашима А., Ода Х., Тамехиро Н. и др. .Дифференциальная функция доменов Themis CABIT во время развития Т-клеток. PLoS One 2014; 9 : e89115.
Артикул PubMed PubMed Central Google ученый
Джонсон А.Л., Аравинд Л., Шульженко Н., Моргун А., Чой С.-Й, Крокфорд Т.Л. и др. . Фемида является членом нового семейства генов многоклеточных животных и необходима для завершения положительного отбора тимоцитов. Nat Immunol 2009; 10 : 831–839.
CAS Статья PubMed PubMed Central Google ученый
Choi S, Warzecha C, Zvezdova E, Lee J, Argenty J, Lesourne R et al . THEMIS усиливает передачу сигналов TCR и делает возможным положительный отбор путем селективного ингибирования фосфатазы SHP-1. Нат Иммунол 2017; 18 : 433–441.
CAS Статья PubMed PubMed Central Google ученый
Пастер В., Брюгер А.М., Катч К., Грегуар С., Ронкагалли Р., Фу Г. и др. .THEMIS: SHP1 комплекс способствует выживанию Т-клеток. EMBO J 2015; 34 : 393–409.
CAS Статья PubMed Google ученый
Moon EY, Han YH, Lee DS, Han YM, Yu DY. Реактивные формы кислорода, индуцированные делецией пероксиредоксина II (PrxII), увеличивают количество тимоцитов, что приводит к увеличению PrxII-нулевого тимуса. Eur J Immunol 2004; 34 : 2119–2128.
CAS Статья PubMed Google ученый
Цзинь Р, Гао И, Чжан С., Тэн Ф, Сюй Х, Айли А и др. .Система Trx1 / TrxR1 регулирует выживаемость пост-выбранных тимоцитов DP путем модуляции активности ASK1-JNK / p38 MAPK.