Jump to content

Recommended Posts

Posted

Разработчики Cryptol выложили в открытый доступ исходный код Cryptol 2 — программы, которая предназначена для проверки правильного применения криптографических алгоритмов. Последние события показали, что проблема корректной реализации алгоритмов является актуальной. Ученые проделали большую работу, чтобы создать непробиваемую криптографическую защиту, но программисты часто не способны правильно использовать эти алгоритмы.

Кто-то обычно создает «образцовую реализацию» алгоритма, а остальные тупо копируют ее или видоизменяют под собственные нужды. И до сих пор не существовало программы, которая бы проверила, насколько корректно реализован алгоритм в конкретном приложении. Именно для этого создана программа Cryptol. С помощью спецификаций в Cryptol разработчики могут генерировать собственные векторы для тестирования, доказывать теоремы и (с помощью других инструментов) проверять соответствие собственных программ базовым требованиям криптографической защиты, или даже генерировать необходимый код на основе спецификаций..

Раньше Cryptol выпускалась с закрытыми исходниками, но сейчас вышла вторая версия программы с открытым кодом под 3-пунктовой лицензией BSD. Разработчики говорят, что написание этой программы заняло примерно 20 человеко-лет, так что публикация исходников — существенная жертва в пользу человечества.

 

источник: http://www.xakep.ru/post/62429/default.asp

Create an account or sign in to comment

You need to be a member in order to leave a comment

Create an account

Sign up for a new account in our community. It's easy!

Register a new account

Sign in

Already have an account? Sign in here.

Sign In Now
  • Recently Browsing   0 members

    • No registered users viewing this page.
  • Similar Topics

    • Мэтт Хоуган: У банков есть инструмент для соперничества со стейблкоинами

      Инвестиционный директор компании Bitwise Мэтт Хоуган (Matt Hougan) считает, что у американских банков есть только один инструмент, который способен помочь банкирам составить конкуренцию стейблкоинам — повышение ставок по вкладам. По мнению Хоугана, доводы о том, что американские банки не смогут выдавать кредиты, если стейблкоины захватят финансовый рынок, несостоятельны. Банкам придется сокращать объемы выдачи кредитов, но это компенсируют лендинговые инструменты децентрализованных финансов

      in Новости криптовалют

    • ЦФА как инструмент для инвестиций vs криптовалюты: полный обзор

      Цифровые финансовые активы (ЦФА) — относительно новый инструмент, обеспечивающий закрепление и передачу имущественных прав с помощью технологий распределенных реестров. Чем ЦФА отличается от криптовалют? Насколько этот актив достоин внимания инвесторов? О плюсах и недостатках ЦФА, а также о развитии этого рынка в России Bits.media рассказывает заведующий кафедрой блокчейна МФТИ (базовая организация — научный центр «Идея»), сооснователь IT-компании Newity Владимир Горгадзе.   К ЦФА, со

      in Новости криптовалют

    • Биржа BYDFi запустила торговый инструмент MoonX

      В апреле 2025 года на Paris Blockchain Week компания BYDFi, выступая официальным спонсором мероприятия, официально представила свой новый Web3-продукт — MoonX. MoonX — это умный торговый инструмент на блокчейне, специально разработанный для инвесторов в мемкоины. Он объединяет в себе функции поиска трендов, оценки рисков, отслеживания смарт-денег и оптимизации сделок.   Запуск MoonX ознаменовал официальный переход BYDFi в «эру двойного двигателя», объединяющую функции централизованной

      in Новости криптовалют

    • «Ведомости»: В России запустят инструмент для инвестиций в биткоин

      По данным издания «Ведомости», холдинг «Финам» планирует предложить квалифицированным инвесторам структурную облигацию на шесть месяцев, с привязкой к спотовому биржевому фонду iShares Bitcoin Trust ETF (IBIT) от компании BlackRock. Структурная облигация будет номинирована в рублях, но доходность рассчитывается в долларах. Минимальная сумма инвестиций составит 200 000 рублей, а брокерская комиссия — 1%. Если через полгода стоимость спотового ETF на биткоин вырастет хотя бы на 1 базисный пун

      in Новости криптовалют

    • Межсетевой инструмент для DeFi: что такое обернутые токены

      Всем известны тикеры, трехбуквенные обозначения двух крупнейших криптовалют: BTC и ETH. Однако при попытке познакомиться с крипторынком поближе инвестор наткнется на такой вариант: wBTC и wETH. Это так называемые обернутые токены. А во что же «заворачивают» главные криптовалюты? Зачем нужны «обертки»? Обернутые токены (wrapped tokens) — это аналог обычных активов (криптовалют, товаров, акций и так далее), которые выпускаются под их залог в сторонних блокчейнах. Например, тот же стандартный

      in Новости криптовалют

×
×
  • Create New...