В МФТИ нашли способ ускорить криптографические проверки в блокчейне

Дата публикации: 25-08-2026 08:04:00

Выпускник кафедры блокчейн МФТИ нашел способ ускорить один из самых ресурсоемких процессов в блокчейне – криптографические...

Основное содержимое страницы с новостью.

В МФТИ нашли способ ускорить криптографические проверки в блокчейне

Выпускник кафедры блокчейн МФТИ нашел способ ускорить один из самых ресурсоемких процессов в блокчейне – криптографические проверки. Разработанный метод позволяет сократить их объем в десятки раз. Это открывает путь к более быстрой работе сервисов, которые используют технологию Zero-Knowledge (ZK) – она позволяет проверять достоверность данных, не раскрывая их. Такие решения применяются в децентрализованных финансах, криптомостах между сетями и системах с приватными транзакциями. Об этом CNews сообщили представители МФТИ.

Одной из главных проблем современных блокчейн-сетей остается высокая вычислительная стоимость криптографических проверок. Например, сегодня при переводе активов между двумя блокчейн-сетями через мост пользователь может столкнуться с задержками в несколько минут, а комиссия за транзакцию – достигать десятков долларов. Причина в том, что даже простые утверждения в таких системах могут требовать большого объема вспомогательных вычислений. Это увеличивает время подготовки доказательств, усложняет инфраструктуру и в ряде случаев повышает итоговую стоимость использования приложения. Студент выпускного курса кафедры блокчейн МФТИ (базовая организация – научный центр «Идея») Андрей Семенов предложил способ решения этой задачи.

Используя особые математические конструкции – циклы эллиптических кривых, исследователь показал возможность снижения числа ограничений в рекурсивных криптографических проверках (цепочках доказательств, где одно подтверждает другое) с миллионов до порядка сотен тысяч. Разработанные модели и программная реализация показывают, как меняется стоимость в разных вариантах: можно платить больше вычислениями внутри блокчейна, объемом передаваемых данных или сложностью внешнего доказательства.

К примеру, в приложении, которое за короткое время обрабатывает тысячи действий: переводы внутри сети второго уровня, операции в игре или заявки в DeFi-протоколе, блокчейну невыгодно проверять каждое действие отдельно. ZK-доказательство позволяет заменить множество отдельных проверок одним коротким подтверждением: все операции внутри пакета выполнены правильно, но лишние детали не раскрываются. Однако подготовка такого подтверждения сама по себе требует большой вычислительной работы. Исследование показывает, как уменьшить эту скрытую нагрузку в будущих рекурсивных схемах и сделать такие пакетные проверки более практичными.

«Строгого барьера по количеству ограничений нет. Чем больше ограничений в арифметической схеме, тем дольше строится доказательство, тем больше требуется памяти и тем выше требования к оборудованию. Для пользователя это означает задержки, а для разработчиков – более дорогую инфраструктуру. Снижение с миллионов до порядка сотен тысяч важно как переход к более практичному режиму работы», – отметил автор проекта.

Роман Бычков, Скала^р (Группа Rubytech): ПАК — это не сервер с софтом, а ответственность за все решение целиком цифровизация

Работа содержит как теоретическую, так и практическую части. В первой формализованы и доказаны ключевые оптимизации, во второй – написан открытый код, оформленный в виде библиотеки смарт-контрактов и вспомогательных модулей для арифметики на кривых, проверки корректности и измерения стоимости газа. Код можно использовать как основу для будущих смарт-контрактов и экспериментов с другими кривыми.

«Наибольший эффект от разработки могут получить приложения, где ZK-доказательства используются многократно и их нужно объединять в один короткий итоговый пруф. Это критически важно для сетей второго уровня (rollup), криптомостов, приватных транзакций и децентрализованных финансов. Особенно перспективны сценарии, где узким местом является не только стоимость транзакций, но и время построения доказательства»,— сказал Андрей Семенов.

На данном этапе работа является академической и передается в открытый код. Ее цель – построить математическую и инженерную базу, измерить различные подходы и показать реальные ограничения виртуальной машины Ethereum (EVM). При этом автор не исключает дальнейшего развития темы: исследования других параметров кривых, развития нативного folding-подхода или доведения верифицирующих компонентов до более прикладного уровня.

• Лучший российский софт для видеосвязи: ищем замену Teams и Zoom

Схожие новости

#	Наименование новости	Тональность	Информативность	Дата публикации
1	В МФТИ нашли способ ускорить криптографические проверки в блокчейне	0	5.02	25-08-2026
2	В МФТИ нашли новый электролит для современных литиевых аккумуляторов	5	7	02-07-2026
3	«МТС Банк» внедряет графовые нейросети для борьбы с кибератаками	0	5.29	13-08-2026
4	«МТС Банк» внедряет графовые нейросети для борьбы с кибератаками	0	5.29	13-08-2026
5	«МТС Банк» внедряет графовые нейросети для борьбы с кибератаками	0	5.29	13-08-2026
6	СМИ: в России разработали метод стопроцентного поглощения света детекторами	0	11.04	20-08-2026
7	Ученые разработали алгоритм, повышающий скорость зарядки электробатарей	0	0	20-09-2025
8	В МФТИ нашли способ экономично выращивать свежую зелень для Крайнего Севера	0	0	24-03-2025
9	Цифровой отпечаток материала: ученые МФТИ создали алгоритм для определения идеального размера 3D-образца	5	8	20-07-2026
10	Цифровой отпечаток материала: ученые МФТИ создали алгоритм для определения идеального размера 3D-образца	5	7	20-07-2026

Классификация: Наука. Схожих патентов: 0. Схожих новостей: 10. Тональность: 0. Информативность: 5.02. Источник: www.cnews.ru.