Многие люди и организации признали огромный потенциал блокчейн технологии, но это не изменило тот факт, что сектор криптовалют все еще сталкивается с огромными препятствиями с точки зрения общественного восприятия, мошенничества и безопасности.
Похоже, что исследователи, по крайней мере, пытаются решить проблему безопасности, поскольку, они выпустили «защищенный от хакеров» криптографический код. Evercrypt был выпущен несколько дней назад 2 апреля 2019 года.
Код
Проект называется «Evercrypt», и исследователи, очевидно, создали код, который так же неизменен, как математика.
Конечно, это не значит, что программное обеспечение, созданное программистами, должно быть взломано или использовано. Программисты усердно работают, чтобы гарантировать бесперебойную работу своего кода, и часто обнаруживают, что «идеальный шторм» делает их программное обеспечение уязвимым. Именно такие ситуации могут привести к массовым взломам и утечке данных.
Картик Бхаргаван, ученый, работавший над проектом:
«Мы доказываем, что наш код не может подвергаться подобным атакам».
Congratulations to @MSFTResearch #ProjectEverest on producing (with partners) #EverCrypt, a #formallyverified #cryptography library. #Formalverification has been a dream of #software developers for decades and #crypto is an ideal domain to make the dream reality. #cybersecurity https://t.co/jXbKYsN9Go
— Ben Zorn (@benzorn) April 2, 2019
Формальная проверка
Evercrypt описывается как «библиотека программного обеспечения», которая включает в себя простую арифметику, включая геометрию и простые числа.
Многие компании утверждают, что повышают безопасность, но Everycrypt утверждает, что он «доказуемо безопасен» так же, как математический ответ доказуем и не может быть оспорен.
Для тех, кому интересно, как появился Evercrypt; это результат инициативы, возглавляемой Microsoft Research. Многие указали на недостатки криптографических библиотек, потому что они часто работают медленнее и также полны ошибок.
Многие отмечают, что такое решение, как Evercrypt, может иметь множество приложений и пользуется большим спросом в индустрии программного обеспечения. Сообщается, что Evercrypt предлагает гарантии, которые в настоящее время недоступны, такие как обеспечение отсутствия в программном обеспечении определенных ошибок, которые могут привести к ошибкам безопасности.
Следует отметить, что, хотя Evercrypt утверждает, что он защищен от всех известных атак, это не означает, что хакеры и киберпреступники в конечном итоге не разработают способ использования Evercrypt в будущем. Очевидно, что защита данных и информации таким образом может быть чрезвычайно полезной, особенно для тех, кто имеет дело с чувствительной интеллектуальной собственностью.
