Facebook представил криптобиблиотеку для разработчиков – Winterfell

Facebook представил криптобиблиотеку для разработчиков – Winterfell

24.08.2021      12194

Специалисты Facebook выпустили новую библиотеку Winterfell. Проект с открытым исходным кодом может генерировать доказательство вычислительной целостности STARK – близость аббревиатуры к фамилии персонажей «Песни льда и пламени» Джорджа Мартина и дала название разработке: Винтерфелл – родовой замок Старков.

Что такое доказательство STARK

Описывая технологию, разработчики начали с третьего закона Кларка: «Любая достаточно развитая технология неотличима от магии». Этот закон сформулировал известный писатель-фантаст и футуролог Артур Кларк.

STARK (Scalable Transparent Arguments of Knowledge) – техника «масштабируемых прозрачных аргументов знания», которую используют для проверки вычислительной целостности (CI – computational integrity) значений. Реализовать её можно разными способами, и в библиотеке Winterfell представлен один из вариантов.

 

 

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

Также CI-доказательства позволяют скрыть входные данные, которые использовали для выполнения вычислений. Такие варианты CI-доказательств называют ZKP (zero-knowledge proof) – доказательствами с нулевым разглашением. Их широко применяют в криптографии и в блокчейнах. Например, можно доказать, что число находится в заданном диапазоне, не раскрывая его точного значения. Или сравнить две числовые последовательности – общедоступную и секретную, известную только вам, – и доказать, что они совпадают или не совпадают (это полезно при проверке соответствия открытого и закрытого ключей в криптографических системах).

Зачем это нужно

Чтобы написать «с нуля» программу, в которой используется доказательство вычислительной целостности, нужны глубокие познания в криптографии. Кроме того, создание CI-доказательств требует больших вычислительных ресурсов.

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

Первая версия открытой библиотеки – Winterfell v0.1 доступна на crates.io. В Winterfell используется схема STARK, предложенная Эли Бен-Сассоном, Майклом Рябзевым и другими аналитиками. Решение написали на языке Rust специалисты стартапа Novi Research. Оно может генерировать CI-доказательство для любой программы, которая описана на полном по Тьюрингу языке.

Преимущества решения

Техника STARK полагается на минимальное количество криптографических предположений. Фактически, единственный криптографический примитив, который необходим для работы схемы – хеш-функция, устойчивая к коллизиям (например, SHA256). Таким образом, STARK устойчива к потенциальным атакам с помощью квантовых компьютеров.

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

Плюсы самой библиотеки Winterfell:

  • простой интерфейс для описания вычислений;
  • генерация многопоточной проверки с возможностью параллельного запуска процесса проверки в нескольких потоках;
  • настраиваемые поля – можно использовать базовую и расширенную версии проверки;
  • возможность выбора хеш-функции: сейчас поддерживаются BLAKE3 и SHA3, в будущем их станет больше;
  • поддержка WebAssembly: так как библиотека написана на Rust, она может быть скомпилирована в такой формат. Стандартная библиотека включена в решение в виде функции для доказательств и верификации.
Фактически для использования Winterfell разработчику нужно описать вычисления в промежуточном алгебраическом представлении (AIR). Разработчики положили в репозиторий инструкцию, а также простые и сложные примеры, чтобы упростить интеграцию библиотеки в проекты.


Источник: https://infostart.ru/journal/news/tekhnologii/facebook-predstavil-kriptobiblioteku-dlya-razrabotchikov-winterfell_1503419/
Автор:
Ксения Шестакова Обозреватель


Комментарии
В избранное Подписаться на ответы Сортировка: Древо развёрнутое
Свернуть все
1. starik-2005 2521 24.08.21 15:28 Сейчас в теме
2. Hatson 477 25.08.21 11:58 Сейчас в теме
многа букав. Ниасилил.
Видимо это где-то в далекой-далекой галактике в очень далеких от 1С стеках технологий.
3. starik-2005 2521 31.08.21 17:25 Сейчас в теме
(2) а что тут осиливать? Суть в том, что есть некое достаточно объемное вычисление, результат которого можно очень просто и быстро проверить. Вот, например, посчитать md5 от 100 кб - это просто, а сгенерить 100 кб с определенным md5 - это куда сложнее (фактически поиск коллизии хеша). Данные алгоритмы нужны для того, чтобы подтвердить в "Proof of work", что работа выполнена и выполнена верно, т.к. совокупность вычислений - это механизм обеспечения стойкости криптосетей.
Оставьте свое сообщение

См. также

Специальный алгоритм очистит данные переписи населения

Новость Искусственный интеллект ИТ-новость

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

вчера в 10:13    3543    VKuser24342747    0       

В офисах Google появились универсальные роботы

Новость Автоматизация ИТ-новость Новости компаний

Офисы Google в Маунтин Вью, штат Калифорния, теперь станут гораздо чище. К уборке привлекли универсальных роботов, разработанных X Company, которая, как и поисковый гигант, входит в состав холдинга Alphabet.

25.11.2021    4143    user1015646    2       

Вышло крупное обновление для TypeScript с автодополнением кода

Новость ИТ-новость Языки программирования

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

24.11.2021    5624    VKuser24342747    4       

GitHub назвал три ключевых тренда в разработке за 2021 год

Новость GitHub Аналитика ИТ-новость

GitHub провел традиционное ежегодное исследование Octoverse, чтобы определить основные направления развития ИТ-индустрии. В 2021 году актуальными стали вопросы быстрого написания кода и подготовки документации.

24.11.2021    5021    VKuser24342747    0       

Рособрнадзор прекратит использовать Windows при проведении ЕГЭ

Новость Импортозамещение ИТ-новость

Единый государственный экзамен к концу 2024 года будет проходить без использования ОС Windows во всех местах, где можно сдать тестирование. Вместо нее будет установлена российская система.

23.11.2021    4023    VKuser24342747    5       

Google выпустил версию браузера Chrome 96

Новость Интернет ИТ-новость Новости компаний

Новая актуальная версия Google Chrome 96 получила расширение инструментов для веб-разработчиков и экспериментальные функции в мобильной версии.

23.11.2021    3919    VKuser24342747    1       

Через Госуслуги компании подтвердили 13,3 млн корпоративных SIM-карт

Новость Безопасность ИТ-новость Телекоммуникации

Министерство цифрового развития сообщило, что компании соблюдают новые требования закона «О связи» и уже зарегистрировали на портале госуслуг 13,3 млн рабочих SIM-карт.

22.11.2021    4620    VKuser24342747    1       

Visual Studio 2022 и .NET 6: что нового

Новость ИТ-новость Новости компаний Языки программирования

Microsoft выпустила свежий релиз одной из самых популярных сред разработки. Вместе с Visual Studio 2022 представили обновленную платформу .NET 6.

22.11.2021    5121    user1015646    0       

Программист разработал поисковую систему без слежки за пользователями

Новость Безопасность Интернет ИТ-новость

Бывший разработчик из компании Salesforce Ричард Сокер открыл публичный доступ к своему поисковому сервису You. В нем нет никаких трекеров личных данных и рекламных материалов.

18.11.2021    4065    VKuser24342747    3       

«Сбер» обучил нейросеть ruGPT-3 генерировать программный код

Новость Искусственный интеллект ИТ-новость Новости компаний

Новая функция самой большой генеративной AI-модели для русского языка получила название JARVIS. Сейчас сервис способен работать с языками программирования Java, Python и JavaScript.

18.11.2021    4309    VKuser24342747    2       

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

Новость Блокчейн ИТ-новость

В России разработан блокчейн InnoChain, который предназначен для использования в закрытых сетях. С его помощью можно подписывать договоры и планировать объемы продаж.

17.11.2021    5279    VKuser24342747    0       

В Dropbox появились «автоматизированные папки» и новая система тегов

Новость ИТ-новость Облачные технологии

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

17.11.2021    4079    SKravchenko    1       

Microsoft выпустит платформу Defender for Business

Новость ИТ-новость Новости компаний

Microsoft Defender for Business станет частью комплексного решения Microsoft 365 Business Premium, которое объединяет Microsoft Teams и Office 365 с основными инструментами безопасности для малого и среднего бизнеса.

16.11.2021    2401    SKravchenko    0       

Adobe Photoshop и Illustrator стали доступны онлайн

Новость

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

11.11.2021    3535    user1015646    0       

Что нового в SQL Server 2022

Новость СУБД MS SQL ИТ-новость Новости компаний

Microsoft на ежегодной конференции Microsoft Ignite анонсировала предварительную версию SQL Server 2022 – теперь СУБД включает интеграцию с базой Azure SQL, службой аналитики Azure Synapse Analytics и платформой управления данными Azure Purview.

11.11.2021    7264    SKravchenko    0       

«Сбер» представил нейросеть для генерации картинок по описанию

Новость Искусственный интеллект ИТ-новость

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

11.11.2021    4807    VKuser24342747    10       

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

Новость Импортозамещение ИТ-новость

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

10.11.2021    4842    VKuser24342747    4       

Первая стабильная версия Microsoft Edge стала доступна для Linux

Новость Linux Интернет ИТ-новость

В репозиториях Linux на портале Microsoft появилась стабильная версия браузера Edge. Пакет под названием microsoft-edge-stable_95 доступен для пользователей Ubuntu, Debian, Fedora и openSUSE.

10.11.2021    5007    VKuser24342747    0       

Microsoft выпустит версию Windows 11 для слабых компьютеров

Новость Windows ИТ-новость

Microsoft намерена представить ОС Windows 11 SE для устройств начального уровня. Для работы операционной системы будет достаточно ноутбука на базе процессора Intel Celeron.

08.11.2021    4113    VKuser24342747    3       

Нейросеть GitHub Copilot стала доступна в Neovim и разработках JetBrains

Новость GitHub Искусственный интеллект ИТ-новость

Ассистент программиста GitHub Copilot, генерирующий код при помощи ИИ, включен в последние версии редактора кода Neovim, а также в IDE IntelliJ и PyCharm от компании JetBrains.

08.11.2021    7302    VKuser24342747    1       

Правительство совместно с ИТ-компаниями подготовили кодекс этики в сфере ИИ

Новость Искусственный интеллект ИТ-новость

Правительство, «Сбер», «Яндекс», VK и другие российские компании подготовили документ, который содержит рекомендации для бизнеса по морально-этическим вопросам использования ИИ.

03.11.2021    4819    VKuser24342747    8       

Аналитики Gartner назвали 12 наиболее перспективных технологий в 2022 году

Новость Аналитика ИТ-новость

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

03.11.2021    4950    VKuser24342747    2       

Российская компания создала технологию для борьбы с поддельными QR-кодами

Новость Безопасность ИТ-новость

Разработчики из Pro Control создали некопируемый QR-код, поддерживающий двухфакторную систему проверки. Он содержит внутреннюю матрицу, которую нельзя размножить.

02.11.2021    5713    VKuser24342747    0       

Минцифры создаст приложение для чиновников с мессенджером и облачным хранилищем

Новость Безопасность ИТ-новость Мессенджеры Минкомсвязь Мобильные приложения Облачные технологии Цифровая экономика

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

29.10.2021    5239    VKuser24342747    1       

Энтузиаст нашел способ установить Google Play на Windows 11

Новость Windows Android ИТ-новость Мобильные приложения

Пользователь ADeltaX сумел обойти ограничения предварительной версии Windows 11 и установить на устройство магазин Google Play, который позволил запускать любые Android-приложения на ПК.

29.10.2021    8179    VKuser24342747    0