?
Обзор методов верификации смарт-контрактов
Информационные технологии. 2025. Т. 31. № 1. С. 42–55.
Смарт-контракты — программные алгоритмы, которые представляют собой соглашение в цифровой форме
с наличием механизма принуждения сторон к выполнению обязательств. Смарт-контракты уже крепко закрепились в сферах финансов, однако это не единственная возможная сфера применения. Недостаток такого цифрового соглашения заключается в том, что смарт-контракты могут содержать ошибки, потенциально
приводящие к финансовым потерям. Процесс верификации проводится для того, чтобы снизить вероятность
наличия таких ошибок к минимуму. В данной работе представлен обзор методов и инструментов в области
верификации смарт-контрактов.
Association for Computational Linguistics, 2026.
Добавлено: 14 июня 2026 г.
Strube M., Braud C., Hardmeier C. и др., Suzhou: Association for Computational Linguistics, 2025.
Добавлено: 11 июня 2026 г.
Добавлено: 10 июня 2026 г.
Дистиллированные кисломолочные напитки встречаются в пищевой промышленности редко, несмотря на повсеместное распространение растительных спиртных напитков. В настоящее время производство крепких дистиллированных алкогольных напитков из кисломолочных продуктов с использованием традиционных технологий известно лишь среди монголоязычных народов и их сибирских соседей. Данное исследование представляет собой первый междисциплинарный анализ дарасуна, традиционного бурятского спиртного напитка, изготавливаемого из кисломолочного напитка ...
Добавлено: 10 июня 2026 г.
Butorova A., Bobakov V., Sergeev A. и др., European Physical Journal: Special Topics 2026 P. 1–19
Добавлено: 10 июня 2026 г.
Seul: PMLR, 2026.
Добавлено: 4 июня 2026 г.
Силаков Д. В., Системный администратор 2026 № 3 С. 28–33
В статье про платформы для разработки открытого ПО в Китае мы рассказали про GitCode – молодой проект, позиционируемый как площадка для разработчиков со всего мира. Сейчас на GitCode размещаются проекты, созданные в КНР, но некоторые из них уже известны и на международной арене. Помочь открытым проектам в становлении, развитии и расширению аудитории призван фонд OpenAtom ...
Добавлено: 2 июня 2026 г.
Slivnitsin P., Мыльников Л. А., Engineering Applications of Artificial Intelligence 2026 Vol. 179 Article 115185
Добавлено: 29 мая 2026 г.
Мокиенко О. А., Zisman M. A., Бобров П. Д. и др., American Journal of Physical Medicine and Rehabilitation 2026 Vol. 105 No. 6 P. 555–563
Добавлено: 28 мая 2026 г.
Добавлено: 28 мая 2026 г.
Synthetic Proofs with Tool-Integrated Reasoning: Contrastive Alignment for LLM Mathematics with Lean
Obozov M., Дискин М. С., Безносиков А. Н. и др., , in: Proceedings of The 3rd Workshop on Mathematical Natural Language Processing (MathNLP 2025).: Suzhou: Association for Computational Linguistics, 2025. Ch. 15 P. 195–202.
Добавлено: 26 февраля 2026 г.
Волос А. А., Lex Russica (Русский закон) 2025 Т. 78 № 5 С. 68–76
Автор формирует научно обоснованные выводы о направлениях развития судебной практики по вопросам применения недавно появившихся в ГК РФ норм, связанных с использованием цифровых технологий субъектами экономического оборота. В статье делается принципиальное заключение о том, что суды нередко используют рассматриваемые нормы не в том контексте, который имелся в виду при их создании. Практика по данным делам ...
Добавлено: 18 мая 2025 г.
Тетерин М. А., Пересецкий А. А., Applied Econometrics 2025 Vol. 77 P. 74–90
Bitcoin and Ethereum are the two world’s largest cryptocurrencies. Their market capitalizations have recently peaked, making them more attractive to portfolio investors. As the cryptocurrency market is known for its high volatility nature, government institutions are also interested in this segment of the financial market for more comprehensive regulation. Volatility forecasting is a crucial part ...
Добавлено: 22 апреля 2025 г.
Лютова О. И., Байрашев В. Р., Вопросы государственного и муниципального управления 2025 № 1 С. 116–141
В статье рассматриваются проблемы применения типовых контрактов в контексте происходящей цифровизации государственных закупок, осуществляемой путем перехода к цифровым (машиночитаемым) государственным контрактам. Выдвигаются гипотезы о признании процесса разработки типовых контрактов без учета мнения заинтересованных сторон в качестве значимого препятствия при подготовке государственного контракта, а также о возможности сокращения затрат на подготовку закупок за счет наделения типовых ...
Добавлено: 28 марта 2025 г.
Панарина М. М., Журнал российского права 2025 Т. 29 № 1 С. 141–154
Описываются перспективы применения информационных технологий в комплаенс для минимизации информационных рисков в компании и дается характеристика цифровой трансформации комплаенс-контроля в современных условиях.Автор видел своей целью анализ существующей проблематики механизма защиты данных и учета информационных рисков при формировании комплаенс-контроля в компании. Использованы методы сбора эмпирической информации, метод обобщения информации и формально-юридический метод. Сформулированы два подхода к ...
Добавлено: 24 января 2025 г.
Джонов А. Т., Салех Х. М., Динамика сложных систем - XXI век 2019 Т. 13 № 3 С. 27–34
Постановка проблемы. Существует огромное количество блокчейн-платформ, которые используются разработчиками в проектах на базе блокчейн. Поэтому возникает проблема в выборе конкретной блокчейн-платформы, которая будет удовлетворять всем требованиям проекта. Цель. Провести сравнительный анализ блокчейн-платформ. Результаты. Обзор платформ на базе блокчейн, рекомендации для разработчиков по выбору платформы. Практическая значимость. Представлены результаты вычислений с использованием методов системного анализа для ...
Добавлено: 8 июня 2024 г.
Прохоров В. М., Васильев П. С., Жгулёва Е. А., Логистика 2020 № 3 (160) С. 44–48
В настоящей статье исследована практика применения инновационных транспортных технологий блокчейн и смарт-контракт в морских перевозках, проанализированы компании, оказывающие логистические услуги с их помощью, а также представлены успешные примеры внедрения ...
Добавлено: 15 мая 2023 г.
Lyasnikovi N., Smirnova E. A., Никипорец-Такигава Г. Ю. и др., IIOAB Journal 2020 Vol. 11 No. S3 P. 1–7
Добавлено: 30 октября 2022 г.
Цепов Г. В., Иванов Н. В., Закон 2022 № 3 С. 149–172
В статье исследуется вопрос о месте смарт-контрактов в юридической систематике. Основное отличие смарт-контракта от традиционных гражданско-правовых договоров в том, что они заключаются в электронной форме в рамках информационной системы, а их существенные условия определяют автоматическую передачу имущественных прав. Несмотря на то что условия смарт-контракта должны включать команды и данные, необходимые для его автоматического исполнения, его ...
Добавлено: 13 апреля 2022 г.
Бычкова О. В., Космарский А. А., Философия. Журнал Высшей школы экономики 2021 Т. 5 № 4 С. 175–200
Настоящая работа посвящена политической генеалогии одной из наиболее перспективных и влиятельных информационных технологий современности — блокчейна (или распределенного реестра). Мы указываем на важные общие черты принципов работы блокчейн-проектов и моделей республиканского управления. В отличие от техно-анархических и демократических идей республиканская генеалогия блокчейна до сих пор не привлекала внимание исследователей. Рассмотрев базовые технические свойства и идеологические ...
Добавлено: 1 февраля 2022 г.
Винарский Е. М., Захаров В. А., Automatic Control and Computer Sciences 2021 Vol. 55 No. 7 P. 751–762
Добавлено: 17 января 2022 г.
Прохоров В. М., Васильев П., Жгулева Е., Логистика 2020 Т. 151 № 3 С. 44–48
В настоящей статье исследована практика применения инновационных транспортных технологий «блокчейн» и «смарт-контракт» в морских перевозках, проанализированы компании, оказывающие логистические услуги с помощью данных технологий, а также представлены успешные примеры их внедрения. ...
Добавлено: 27 ноября 2021 г.
Комаров М. М., Markova M., Ometov A., , in: IEEE 23rd Conference on Business Informatics (CBI).: IEEE Computer Society, 2021. P. 182–191.
Добавлено: 27 октября 2021 г.