Лурк языки программирования: | зеркало лурк Lurkmore
Содержание
Prolog | зеркало лурк Lurkmore
Материал из Lurkmore
Перейти к: навигация, поиск
A long time ago, in a galaxy far, far away… События и явления, описанные в этой статье, были давно, и помнит о них разве что пара-другая олдфагов. Но Анонимус не забывает! |
Prolog (сокр. от французского PROgrammation en LOGique) — декларативный язык логического программирования, состоящий из фактов и правил логического вывода чуть менее, чем полностью.
Содержание
|
История
Впервые появился в начале 1970х годов. Интерес к языку возрос в 80-х годах, когда японские ученые решили использовать его для создания систем искусственного интеллекта в рамках национальной программы «компьютеры пятого поколения».
После облома этого нацпроекта интерес к языку поугас, однако его до сих пор используют в некоторых вузах при изучении математической логики, искусственного интеллекта и т. п. матана. Студенты этому абсолютно не рады, олдфагам известен DOS-вирус «Гражданская оборона», целенаправленно поражающий Turbo Prolog и программы на нём.
Также фрагменты кода на Прологе были обнаружены в некой системной DLL от Windows NT4, код предположительно отвечал за привязку стека протоколов к сетевым картам.
Примеры кода
Классика жанра:
helloworld:- write('Hello World!').
После чего этот скрипт загружается в интерпретатор и выполняется запрос:
?- helloworld. Hello World! true. ?-
Чуть более сложный пример:
% это факты: PHP, Java и Visual Basic являются быдлокодерскими языками быдлокодерский_язык(php). быдлокодерский_язык(java). быдлокодерский_язык(visual_basic). % это тоже факты: Вася - программист на похапе, Петя - на асме, % Раджеш - на Visual Basic, Джон - на С и Адольф - на Brainfuck программист(вася, php). программист(петя, assembler). программист(раджеш, visual_basic). программист(джон, pure_c). программист(адольф, brainfuck). % а это - правило вывода - "быдлокодер - это программист на быдлокодерском языке" быдлокодер(Некто):- программист(Некто, Язык), быдлокодерский_язык(Язык).
Если пользователь хочет узнать из этих данных, кто же-таки является быдлокодером, то он должен ввести запрос:
?- быдлокодер(А). A = вася; A = раджеш; false. ?-
false в конце означает, что других быдлокодеров найти не удалось.
Ограниченные возможности применения и отсутствие всяких новомодных фич привело к тому, что сейчас Prolog практически никем не используется. Но некоторые все же пытаются.
ххх: Пролог это пиздец.
ууу: Вот кодишь ты на нормальном языке, все более или менее кодится, ок, норм. Кодишь на прологе — и блять словно ты накурился. Ты, вроде бы, тоже кодишь, но этой какой-то ад и пиздец невообразимый, где запах можно описать стулом, а время — фиолетовое.
Бездна
Впрочем, сегодня примерно те же конструкции используется в запросах к СУБД на языке SQL.
Warning!
Студент, запомни: твой научник тоже был романтичным студентом, и ему тоже не давали покоя «инновационные технологии» своего времени. Возможно, некоторые из них он полюбил на всю жизнь. На пике популярности Prolog позиционировался как универсальный silver bullet, после которого никаких других языков не нужно, чем заразил умы многих. Если профессор пытается загипнотизировать тебя бородой на написание диплома на Прологе — беги! Вполне вероятно, что у него тяжелая травма на этой почве, и каждый год он выбирает жертву, которая будет пытаться смыть его позор и доказать всем. Тебя ждёт неминуемый FAIL с необходимостью переписать весь код за два дня до защиты, его ждёт новая жертва. По словам приезжих членов комиссии из default city, прецеденты всё ещё случаются по всей стране.
Галерея
См. также
- Lisp
Ссылки
- http://www.swi-prolog.org/
- Разновидность λProlog — устранены некоторые критические недостатки ванильного пролога, однако, как всегда, выявлен ещё один недостаток — фатальный.
[ + ] Любой программист без словаря поймёт, что такое Prolog | |
---|---|
Про языки программирования копипаста с развитием сюжета. Находка: Лурк старый(архив) и новый. : akhceloo — LiveJournal
?
Category:
- IT
- Cancel
Когда я была юной невинной девушкой, в копипасте про языки программирования было всего 5 или 6 пунктов.
Вот эти:
«Си» позволяет очень просто выстрелить себе в ногу. На «Си++» сделать это сложнее, но, когда вы это делаете, отрывает всю ногу. — Bjarne Stroustrup[1]
——————
И, по мотивам. В юности я читала что-то вроде этого (я добавила по памяти вставки в текст найденный на лурке — мои вставки в квадратных скобках [])
* C: Вы простреливаете себе ногу.
* C++: Вы случайно создаете дюжину копий объекта «вы» [а также 16 копий объекта «ружьё»] и всем им простреливаете ногу, [всеми 16-ю ружьями]. [Когда, истекая кровью, вы пытаетесь остановить кровотечение,] Срочная медицинская помощь оказывается невозможной, так как вы не можете разобраться, где настоящие копии, а где — те, что только указывают на них и говорят: «А вот он я!»
* Pascal: Компилятор не позволит вам прострелить себе ногу.
* Basic: Вы простреливаете себе ногу из водяного пистолета. В расширенных реализациях языка продолжайте, пока вся нижняя часть тела не промокнет. В реализациях с возможностью делать вставки из ассемблера вы используете ранее созданные типы и уже в ассемблерной части простреливаете ногу дробовиком.
* Ассемблер: Вы пытаетесь прострелить себе ногу, но обнаруживаете, что прежде вам придется изобрести написать пистолет, пулю, курок и вашу ногу.
* PL/I: У вас есть 6,752 различных пистолетов. Пока вы выбираете один, чтобы выстрелить себе в ногу, вы умираете от голода.
——
Вот всё, что было в моей трогательной и невинной программистской юности. Ну, вернее. Фортран и Кобол уже были прошлым, и про них не шутили, как про покойников. PL/I был легендой и ужасом начинающих программистов: старшие товарищи говорили, что в нём ЕСТЬ ВСЁ ЧТО МОЖНО ВЫДУМАТЬ, и что никто поэтому не знает всех возможностей этого легендарного языка, который я даже не пыталась изучать.
Поглядите на ужас того что есть теперь (и, кстати, среди «мульйона» языков, до кучи вытащили из семейных склепов Фортран и Кобол):
[(развернуть) современную печальную ситуацию с миллионом языков программирования (найдено на Лурке + новый лурк про США и прочие дела)]Смотреть современную печальную ситуацию с миллионом языков программирования (найдено на Лурке):
Выстрелить_себе_в_ногу — lurkmore.wtf/Выстрелить_себе_в_ногу — (памятник Луркоморью, каким его застала судьба на момент 15 апреля 2021)
Выстрелить_себе_в_ногу — neolurk.org/wiki/Выстрелить_себе_в_ногу
https://vc. ru/flood/380189-lurkmore-lurkomore-pererodilos-na-novom-adrese — статья о новом адресе
—
Обсуждение: (https://vc.ru/flood/380189-lurkmore-lurkomore-pererodilos-na-novom-adrese)
Хохлы сетуют что «какая-то ватная клоака», особенно их возмущает статья про «Бучу»:
Пошла посмотрела: neolurk.org/wiki/Массовое_убийство_в_Буч
А нашим ребятам наоборот, нравится:
Роман Свердлов, 15.03.2022: (даёт ссылку на одну из статей): Это вата? Там множественная точка зрения во многих статьях. Махровой русофобии нет, но а зачем она?
— укроинцы недовольны: Eugene, 7.04.2022, http://neolurk.org/wiki/Массовое_убийство_в_Буче — зато махровая украинофобия
— наш человек отвечает: auf Wiedersehen, 18.07.2022: Хорошая статья. Наконец-то объективный взгляд на ситуацию, а то навальнята-подхохлята своим салом все загадили уже
Согласна со словами последнего оратора, auf Wiedersehen, 18.07.2022
Из недавнего: neolurk.org/wiki/Крах_банковской_системы
Почитала дальше обсуждение, там указали на статью «neolurk. org/wiki/Коллапс_России — ОЧЕНЬ смешно её читать.
Видно, что статью начали писать в марте 2022 года украинцы и прочие русофобы (тогдашний админ лурка).
А последние поправки — не стали ничего удалять, все эти смехотворные ожидания русофобов просто зачёркнуты, и написано:
Как показала практика — ничего страшного не произошло. Что, впрочем, не удивительно, так как на все вышеописанные запреты был положен большой и толстый питон бОльшей частью мира.
Такие дела. Лурк всё-таки «живёт», вернее, его клоны.
И они хорошие, их не надо «банить».
Tags: Юмор, программирование, ссылки за день
Subscribe
Савелий Ямщиков и его борьба с министо Швыдким,который немцам за взятки музейные трофейные ценности
Текстом: Пишет Алексей Шепелёв (shepelev) 2023-06-06 20:09 И о культуре и об анти-культуре:…
(no subject)
…
romannosikov ответил Глуховскому (и про «любовь» от украинцев)
По наводке от https://sandra-nika. livejournal.com/3325780.html , зашла на канал https://t.me/romannosikov/13971 цитата:…
Photo
Hint http://pics.livejournal.com/igrick/pic/000r1edq
Язык программирования для рекурсивных zk-SNARK
22 апреля 2022 г.
Мы рады сообщить, что репозитории языков программирования Lurk теперь открыты для публики. Lurk — это полный по Тьюрингу язык программирования для рекурсивных zk-SNARK (кратких неинтерактивных аргументов знаний с нулевым знанием), который открывает новые возможности для доказательств SNARK, консенсуса блокчейна, виртуальной машины Filecoin (FVM), децентрализованных приложений, интеграции данных с IPFS и IPLD и многое другое.
Обзор
Lurk — это диалект Lisp со статической областью видимости, созданный под влиянием Scheme и Common Lisp. Его отличительной чертой по сравнению с большинством языков программирования является то, что правильное выполнение программ Lurk может быть напрямую доказано с помощью zk-SNARK. Полученные доказательства относительно малы, их можно быстро проверить, и они раскрывают только информацию, явно содержащуюся в доказываемом утверждении.
Короче говоря, Lurk — это доступный язык, который значительно упрощает разработку доказуемых программ. Это сделает программирование SNARK более доступным — как потому, что программы, которые можно написать, более «мощны», чем традиционные программы SNARK, так и потому, что написание этих программ станет возможным для тех, кто не является экспертом в предметной области.
Lurk был создан старшим инженером-исследователем Protocol Labs Чхимедом Кюнзангом в качестве продолжения работы, проделанной для внедрения доказательств Filecoin. В своей конструкции доказательства Filecoin использует SNARK, которые являются эффективными, криптографически безопасными механизмами для доказательства знаний. «ZK» (нулевое знание), хотя и не является необходимой частью SNARK Filecoin, означает, что доказывающий может создать доказательство, не раскрывая никакой информации о том, что доказывается. Filecoin использует SNARK как для доказательства репликации (PoRep), так и для доказательства пространства-времени (PoSt), которые являются основными криптографическими протоколами, от которых зависит сеть. (См. этот учебник ProtoSchool для ознакомления с этими концепциями на высоком уровне.) Требования Filecoin Proofs требовали от нас довести до предела SNARK предыдущего поколения, а также побуждали нас искать, распознавать и открывать возможности следующего поколения. поколение.
Войди в Скрытность.
В отличие от большинства авторских языков zk-SNARK, Lurk является полным по Тьюрингу, поэтому можно делать и доказывать произвольные вычислительные утверждения (при условии ограниченности ресурсов). Поскольку Lurk — это Lisp, его код представляет собой просто данные Lurk, а любые данные Lurk могут быть напрямую оценены как программа Lurk. Lurk строит составные данные, используя удобные для SNARK хэши Poseidon (предоставленные Neptune), поэтому его данные, естественно, адресуются по содержимому.
В настоящее время Lurk поддерживает несколько внутренних систем проверки, в частности, Groth26 со SnarkPack+ и Nova, а также поддерживает ряд ключевых функций:
- Поддающиеся проверке вычисления
- Краткие доказательства
- Нулевое знание
- Полнота по Тьюрингу
- Произвольный обход данных, адресованных по содержанию входные данные для вычислений, с подтверждением)
- Контентно-адресуемый данные для естественной интеграции с IPFS и IPLD
Lurk и Filecoin
Lurk может поддерживать разработку протоколов Filecoin несколькими способами. Например, интеграция Lurk с виртуальной машиной Filecoin (FVM) позволит проверять программы и приложения Lurk в блокчейне Filecoin. Это предоставит смарт-контрактам Filecoin (или субъектам) первоклассный собственный доступ к доказуемым вычислениям с нулевым разглашением для конкретных приложений. Актеры Filecoin могут использоваться для посредничества, организации и стимулирования длительных заданий Lurk с использованием данных, хранящихся в сети Filecoin. Кроме того, это позволит использовать доказательства, объединяющие общедоступные и частные данные из нескольких источников, включая секторы Filecoin, частное хранилище или саму цепочку.
В долгосрочной перспективе Lurk позволит улучшить иерархический консенсус в Filecoin. Hierarchical Consensus — это структура для горизонтального масштабирования сетей блокчейнов, повышения их пропускной способности и гибкости. В иерархическом консенсусе подмножество пользователей может создавать новые подсети с независимыми состояниями и алгоритмами консенсуса, сохраняя при этом возможность беспрепятственного взаимодействия с любой другой подсетью в системе. Подсети усиливают безопасность своей родительской цепочки, периодически передавая доказательства состояния подсети родителю. Это обеспечивает актуальный глобальный консенсус и распространяет сообщения на другие подсети в иерархии. В текущей реализации иерархического консенсуса проверка доказательств подсети требует полного доступа к состоянию этой подсети. Lurk может полностью устранить эту зависимость, создав самопроверяемые доказательства изменений состояния, выполненных в подсети, что улучшит масштабируемость и гибкость системы.
Другие ключевые игроки экосистемы Lurk
Экосистема Lurk включает исследователей и группы разработчиков, поддерживаемые Protocol Labs и Filecoin Foundation.
Нада Амин, доцент кафедры компьютерных наук Гарвардского университета SEAS, работает над превращением реализации Lurk на Лиспе в удобную и самонастраивающуюся систему программирования. Что касается Lurk, она говорит: «Я нахожу проект создания универсальной схемы, которая реализует Лисп для рекурсивных доказательств с нулевым разглашением, захватывающим, потому что это элегантное отображение Лиспа, которое соответствует zk-SNARK (например, хэш-против для минусов) и имеет потенциал для демократизации zk-SNARK».
Исследователи и разработчики Glow, языка программирования, находящегося в разработке, интеграция которого с Lurk финансируется Фондом Filecoin, работают над простым предметно-ориентированным языком для создания децентрализованных приложений (DApps). «Обычно часть кода Glow выполняется вне сети (т. е. пользователями DApp), а часть — внутри сети (т. е. по общему согласию)», — объясняет Франсуа-Рене Ридо, президент компании Mutual Knowledge Systems. развивает свечение. «Скомпилировав код Glow в Lurk, мы можем создавать доказательства вне сети и использовать консенсус только для проверки, тем самым снижая плату за газ, повышая конфиденциальность и улучшая безопасность и масштабируемость DApps, написанных в Glow».
Yatima, также финансируемый Filecoin Foundation, представляет собой функциональный язык программирования с зависимой типизацией и средство доказательства теорем, реализованное на Rust, с подструктурными типами, метапрограммированием и адресацией контента через IPFS. AST Yatima кодируется с использованием формата IPLD, что позволяет легко обмениваться программами Yatima по сети IPFS, хранить их в Filecoin и детерминистически оценивать на любой платформе WASM, в том числе в Интернете и во время выполнения блокчейна.
Yatima работает с Lurk, чтобы обеспечить проверку с нулевым разглашением произвольных вычислений во время компиляции. Формальные доказательства выразительны, но их проверка может быть дорогостоящей. Компилируя верификатор этих формальных доказательств в Lurk и, следовательно, в zk-SNARK, Yatima может обеспечить проверку формальных доказательств в постоянном времени и в постоянном пространстве.
Благодаря талантливой команде исследователей и инженеров и растущей экосистеме участников мы с нетерпением ждем будущего Lurk.
Еще не все
В течение следующих нескольких месяцев мы откроем веб-сайт и блог Lurk, которые более подробно расскажут о технических особенностях и исторической подоплеке Lurk. Чтобы быть в курсе этих событий, не забудьте подписаться на @Filecoin и @ProtoResearch в Twitter.
Чтобы узнать больше, посетите репозитории Lurk на GitHub.
Путь к скрытности | Protocol Labs Research
В начале 2018 года я присоединился к команде Filecoin в Protocol Labs в качестве подрядчика. Я был очарован обещанием
децентрализованное хранилище и возможность консенсуса на основе мощности хранилища. Я жадно проглотил Filecoin
технический документ и недоумевал, как доказательства должны были
на самом деле работает . Достаточно настойчивый энтузиазм окупился, и в конце концов я присоединился к Protocol Labs на постоянной основе, чтобы возглавить
Реализация Filecoin Proofs.
Сегодня мой последний день в Protocol Labs, после которого я перехожу на должность технического директора Lurk Lab.
Последние пять лет пролетели незаметно. Как это обычно бывает в переходный период, я ловлю себя на размышлениях о том, как
прошлое стало настоящим, а будущее грядущим. Этот пост представляет собой краткое изложение некоторых основных моментов моего
научно-исследовательская работа в Protocol Labs. Поскольку это был период напряженной и плодотворной работы, повествование
нить тоже появляется.
Этот пост состоит из нескольких вещей:
- Ретроспективный тур по некоторым вещам, над которыми я работал в PL, дает некоторое представление о том, как делают колбасу.
- Краткое изложение последнего состояния проекта VDF и первый взгляд на результаты некоторых связанных исследований.
- (одноименная) дорога в Ларк.
О Filecoin и доказательствах Filecoin написано много. Вот несколько заметок о меньших углах работы, которые привели к тому, что мы сделали.
- Одна из первых принятых нами абстракций была воплощена в
Черта CompoundProof
. Я одновременно горжусь и в ужасе от того, что начал работу над тем, что станет центральной частью нашей реализации доказательств, одновременно изучая Rust и лежащую в его основе криптографию: разработка исследований налучшихсамых быстрых. А если серьезно,CompoundProof
формализовал отношения между «ванильными» доказательствами и их аналогами zk-SNARK, инициировав нить расследования, которая в конечном итоге привела к Lurk. - На пути к основной сети нам нужен был способ моделирования многих параметров, связанных с сетью, и особенно конструкций кандидатов на проверку. Так родился Orient (реляционный язык для выражения систем двунаправленных арифметических ограничений, реализованный на Common Lisp).
- Из этого мы создали Filecoin Ubercalc. Несмотря на грубость, он оказался достаточно мощным и гибким для интерактивного моделирования характеристик предлагаемых кандидатов и их параметризации, чтобы принимать трудные срочные решения о том, что мы можем развернуть вовремя, с приемлемой производительностью и без ущерба для безопасности сети.
- В ходе анализа Ubercalc стало ясно, что ни один из наших нынешних хэшей-кандидатов не обеспечивает правильного баланса производительности внутри и вне арифметических схем. Принимая во внимание, что несколькими годами ранее мы исключили Poseidon как «слишком новый», мы решили сделать (застрахованную) ставку на хеширование, дружественное к SNARK, — это наш лучший вариант. С этой целью я создал Neptune, одну из первых производственных реализаций Poseidon и, насколько мне известно, первую, которая занимается оптимизацией разреженных матриц, обеспечивая лучшую производительность без схемы для хэшей с более высокой арностью.
- Поскольку нам нужно было построить деревья Меркла как можно быстрее, это включало реализацию GPU (Triton).
- Не поймите меня неправильно, первоначальная реализация графического процессора была далеко не настолько производительной, насколько это возможно, хотя недавно компания Supranational проделала огромную работу, чтобы добиться максимальной производительности. Скорее, это было «быстро построить» для тех, кто не знал программирования на GPU. Я использовал Futhark — чисто функциональный язык программирования GPU (ретроспектива реализации хеш-функции Poseidon в Futhark).
- Иногда исследовательская инженерия требует дозы самолечения, и необходимая реализация Конечных полей для Футарка помогла мне пережить эти темные дни.
- Поскольку нам нужно было построить деревья Меркла как можно быстрее, это включало реализацию GPU (Triton).
- Попутно ряд длительных инженерных исследовательских проектов СНАРК позволил нам найти оптимальные пути,
- В конце концов, в 2020 году нам удалось запустить то, что вскоре стало самым крупным и наиболее эффективным развертыванием SNARK за всю историю (по крайней мере, в то время, когда мы опубликовали zk-SNARK для всего мира!).
ВДФ
После запуска основной сети я отказался от обслуживания доказательств Filecoin, чтобы сосредоточиться на повышении удобства использования
проверяемые функции задержки. Было несколько потенциальных вариантов использования VDF в Filecoin, и моя цель состояла в том, чтобы помочь сделать
жизнеспособная реализация, доступная для таких нижестоящих приложений. Пока это оставалось технологией «когда-нибудь»,
практические исследования и разработки не могли этого предположить.
Не менее важно и то, что, ориентируясь на этот проект как на средство стимулирования исследований SNARK, я определил VDF как
оптимальный тестовый пример для рекурсивной технологии SNARK в целом. Чрезвычайная простота итеративного алгоритма, такого как VDF
позволит нам как можно быстрее продвинуть разработку и внедрение испытательной системы — хотя бы за счет предоставления
спрос и поддержка раннего внедрения. Сосредоточив внимание на почти тривиальной вычислительной задаче, мы между прочим обеспечили
что успех в доказывании будет почти полностью зависеть от лежащей в основе системы доказывания.
В то же время эта ориентация на предельную простоту схемы, которую нужно было доказать, оказала глубокое влияние на
работа (см. ниже), которая станет Lurk.
Вычислительный VDF
Доминирующий подход к VDF включает в себя функции, которые медленно вычисляются, но быстро проверяются по вычислительным причинам.
- С этой целью в ноябре 2021 года я организовал совместную работу по созданию практического VDF на основе SNARK.
- Я построил и поддерживал первоначальный прототип VDF, что позволило итерировать дизайн и координировать аппаратное обеспечение, алгоритмы и дизайн доказательств, включая исследования оптимального параллелизма для минимального корня, информирующего окончательный дизайн ASIC оценщика (см. ниже).
- В Open VDF: Ускорение VDF на основе Nova SNARK, Supranational пишет:
«Примерно год назад мы объявили о сотрудничестве с Ethereum Foundation, Filecoin Foundation, Supranational, Microsoft и Electric Coin Company, чтобы улучшить производительность SNARK и сделать проверяемые функции задержки (VDF) на основе SNARK практичными. VDF могут улучшить безопасность, конфиденциальность и масштабируемость платформ блокчейна и оцениваются рядом платформ блокчейна, включая Ethereum, Filecoin, Tezos и Zcash. За последний год мы вместе добились огромного прогресса в достижении этой цели, включая реализацию ASIC алгоритма MinRoot, внедрение системы проверки с поддержкой рекурсии (Nova) и поддержку ускоренной генерации доказательств с помощью графического процессора. Хотя мы заложили основу для того, чтобы сделать VDF на основе SNARK практичными, эти разработки будут иметь гораздо более широкое значение. Например, благодаря разработке подхода к производительности для поэтапно проверяемых вычислений мы разработали новые практические и эффективные варианты использования, такие как настоящие виртуальные машины с нулевым разглашением, такие как Lurk.
Кроме того, в дополнение к этим разработкам ПО, в начале этого года мы получили начальные прототипы конструкции MinRoot ASIC, изготовленные по технологии 12 нм. В ближайшие месяцы мы интегрируем ASIC MinRoot с системой подтверждения Nova и создадим сквозную реализацию VDF на основе SNARK. Как только это будет завершено, мы поделимся этой реализацией с сообществом и будем рады видеть, как этот новый криптографический примитив может улучшить безопасность и масштабируемость сетей блокчейна».
- В Open VDF: Ускорение VDF на основе Nova SNARK, Supranational пишет:
Основная задержка VDF
Хотя вычислительные VDF замечательны, у них есть одна существенная проблема. Их эффективность по ключевому показателю
VDF ($A_{max}$) зависит от инженерных попыток реализовать максимально быстрый оценщик. Это не
независимо от того, насколько злоумышленник может ускорить вычисления. На практике это означает вычислительные VDF с $A_{max}$
очень близкие к 1 нереалистичны.
Это означает, что одно вычисление VDF нельзя использовать в качестве точного таймера для приложений, требующих
высокая гарантия того, что ни один злоумышленник не сможет получить результат с меньшей задержкой, чем честная сторона. Некоторые из мотивирующих
Приложения Filecoin нуждались в этом свойстве, чтобы удовлетворить свои экономические требования (по сути, $A_{max}$
действует как мультипликатор затрат).
В духе стимуляции невозможного в противном случае (это было частью атмосферы пост-мейннета, которая овладела мной), это
мне пришло в голову, что задержка связи действительно допускает непревзойденное минимальное время (со скоростью света
лихо обеспечивая универсальное ограничение скорости).
Я изложил свои первоначальные, частично обдуманные мысли в прекрасном документе под названием SpaceVDF.
Идеи были достаточно многообещающими, поэтому я обратился к Cryptosat, и после некоторого обсуждения мы заказали торговое исследование на уровне системы.
Я рад объявить о публикации Белой книги SpaceVDF.
‘В этом документе мы стремимся оценить, как алгоритмы VDF, основанные на физических ограничениях, могут быть реализованы на спутниках.
и какие физические свойства / или роли физики мы можем использовать, чтобы гарантировать течение времени. Цель
это исследование должно провести анализ основной системы, определить основные проблемы и риски, предложить путь снижения рисков и
придумайте бюджет и сроки для подходящего спутника (или группировки спутников)».
В то время как мои исходные идеи лишь намекали на реальную инженерию, которая потребуется для любого реального развертывания SpaceVDF, воображаемые криптографические конструкции также были расплывчатыми и неполными. С этой целью я связался с Бернардо Давидом, который согласился, что основные идеи достаточно интересны для дальнейшего развития.
Мы спонсировали Бернардо и его соавторов, чтобы положить мясо на кость, и результат только что был выпущен в виде электронной печати: CaSCaDE: (временная) криптография от космических коммуникаций DElay
‘В этой работе мы исследуем, как построить основанные на времени криптографические примитивы из задержки связи, которая
имеет известную нижнюю границу с учетом физического расстояния между устройствами: скорость света. Чтобы получить большие задержки,
мы исследуем последовательную задержку связи, возникающую при отправке сообщения через созвездие спутников.
Преимущество этого заключается в том, что расстояние между участниками протокола гарантируется, поскольку положения спутников
наблюдаемым, поэтому можно легко вычислить нижние границы задержки. В то же время создание криптографических примитивов для этого
настройка затруднена из-за ограниченных ресурсов спутников и возможной коррупции сторон внутри
созвездие.
Мы решаем эти проблемы, создавая эффективные доказательства последовательной задержки связи для
убедить верификатор в том, что сообщение задержалось, пройдя путь между спутниками. В рамках этого
мы предлагаем первую упорядоченную мультиподписную схему с безопасностью в варианте дискретного
предположение о логарифме, которое имеет сигнатуры постоянного размера и, по модулю предварительной обработки, вычислительную сложность
не зависит от количества подписантов. Основываясь на наших доказательствах последовательной задержки связи, мы показываем новые
конструкции публично проверяемых TLP и VDF, чьи гарантии задержки основаны на физической задержке связи
нижние границы. Наши протоколы, а также упорядоченная мультиподпись анализируются в фреймворке Universal Composability.
использование новых моделей для последовательных задержек связи и (упорядоченных) мультиподписей.