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

    • Биржа 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 Новости криптовалют

    • Дэвид Сакс: Биткоин — это инструмент для отделения денег от государства

      Бывший операционный директор платежной компании PayPal высоко оценил способность биткоина защищать от падения цены национальных, фиатных валют. По словам бизнесмена, первая криптовалюта — это инструмент, способный отделить деньги от государства. Дэвид Сакс (David Sacks) подчеркнул уникальные характеристики первой криптовалюты, которые делают ее важным инструментом в периоды социальных волнений и политической напряженности.   «Церковь и государство раньше были неразрывно связаны. Нево

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

    • Юристы Andressen Horowitz: США скоро узаконят токены как инструмент бизнес-процессов

      Юрисконсульты венчурной компании Andreessen Horowitz (a16z) уверены, что после переизбрания Дональда Трампа (Donald Trump) на пост президента США, в стране будут созданы более благоприятные условия для работы криптокомпаний. Юристы Майлз Дженнингс (Miles Jennings), Брайан Квинтенц (Brian Quintenz) и Мишель Корвер (Michele Korver) в совместной публикации предположили, что политика Трампа позволит более уверенно вести бизнес в Соединенных Штатах. Криптокомпаниям не придется опасаться строгог

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

×
×
  • Create New...