Пришло время для моего исследовательского отчёта за апрель. Как всегда, я выражаю свою благодарность сообществу за непрерывную поддержку исследований в области прикладной криптографии. Схема кольцевой CLSAG-подписи претерпела некоторые изменения. Препринт, в котором были серьёзно пересмотрены модель безопасности и доказательства, был опубликован в качестве отредактированной версии в архиве IACR. Много внимания было уделено реализации C++: была проработана поддержка аппаратных устройств, улучшена обработка эфемерных данных подписи, а также схемы тестирования и временных данных. В качестве доказательства концепции мною был написан C++ вариант реализации системы доказательства Triptych, который демонстрирует возможность интеграции с кодом обработки транзакций Monero. Среди прочего были оптимизированы оценка мультискалярной мультипликации, общее групповое объединение ключей входов, а также кэширование точек. Также было завершено тестирование элементов и рабочих характеристик, после которого было отмечено заметное улучшение показателей по верификации. Версия препринта была отредактирована и предоставлена на рассмотрение для включения в материалы конференции PoPETs. Также был обновлён препринт по системе доказательства Arcturus, расширяющей Triptych за счёт поддержки подтверждения баланса и возможности подписания по множеству выходов в одном и том же доказательстве. Здесь были исправлены некоторые проблемы, связанные с системой обозначений. Версия препринта была отредактирована и передана на рассмотрение для включения в материалы конференции PoPETs. Из-за вновь проявленного интереса к идее скрытых блокировок по времени, реализуемых на уровне протокола, мною были пересмотрены требования к схемам подписи и доказательства, позволяющие сделать это. Мною был переписан код для 3-CLSAG, расширения CLSAG, поддерживающего скрытые блокировки по времени, и написан соответствующий временной тест. Подобным образом я написал код для 3-Triptych, расширения Triptych, поддерживающего скрытые блокировки по времени, а также данные для временного тестирования. В обоих случаях, как и ожидалось, было продемонстрировано улучшение показателей по верификации. Этот код и данные могут использоваться в будущей работе и при принятии решений, связанных с блокировкой по времени. Помимо этого, было реализовано множество других задач и проектов поменьше. Я написал простое изменение для кода Bulletproofs, которое позволит значительно ускорить верификацию при проведении групповых операций. Работа над написанием кода для более устойчивой шифровки ключей в памяти продолжается и близка к завершению. Я помог с неофициальной редакцией препринта по иерархическим доказательствам Грота. Мною слегка был обновлён код, обеспечивающий централизованную обработку разделителей доменов хешей и позволяющий таким образом избежать конфликтов. Я добавил материал в недавнее обновление технического руководства «Monero с нуля», а также переписал некоторые из существующих тестов подписи, которые теперь обеспечивают более последовательные сравнительные данные рабочих показателей различных схем. А теперь переходим в «Читательский уголок Саранга». Я предлагаю вашему вниманию короткий список интересных статей, на которые я наткнулся в этом месяце. Наличие статьи в этом списке не означает, что я одобряю её или даже что я согласен с её содержанием или выводами. Названия статей приводятся в произвольном порядке. An Empirical Analysis of Privacy in the Lightning Network (Эмпирический анализ приватности Lightning Network) Privacy Aspects and Subliminal Channels in Zcash (Аспекты приватности и каналы неочевидного обмена ZCash) Pointproofs: Aggregating Proofs for Multiple Vector Commitments (Pointproofs: агрегация точек для обязательств со множеством векторов) Hierarchical One-out-of-Many Proofs With Applications to Blockchain Privacy and Ring Signatures (Иерархические доказательства «по одному из многих» применительно к обеспечению приватности блокчейна и кольцевым подписям) The Multi-Base Discrete Logarithm Problem: Concrete Security Improvements for Schnorr Identification, Signatures and Multi-Signatures (Задача вычисления дискретного логарифма со множеством основ: конкретные улучшения безопасности схем идентификации, подписей и мультиподписей Шнорра) Multiparty Generation of an RSA Modulus (Построение модуля RSA с привлечением множества сторон) Topological Properties of Multi-Party Blockchain Transactions (Топологические свойства блокчейн-транзакций, проводимых множеством сторон) Diogenes: Lightweight Scalable RSA Modulus Generation with a Dishonest Majority (Diogenes: построение лёгкого масштабируемого модуля RSA при наличии нечестного большинства) Efficient 4-way Vectorizations of the Montgomery Ladder (Эффективная векторизация лестницы Монтгомери по 4 направлениям) Improving Speed and Security in Updatable Encryption Schemes (Повышение скорости и уровня безопасности обновляемых схем шифрования) Compressed Σ-Protocol Theory and Practical Application to Plug & Play Secure Algorithmics (Теория сжатого Ʃ-протокола и практическое применение автоматически конфигурируемых алгоритмов безопасности) Источник: Sarang: research funding for 2020 Q2 Перевод: Mr. Pickles (@v1docq47) Редактирование: Agent LvM (@LvMi4) Коррекция: Kukima (@Kukima)