Партнерство IoTeX & LianAn Technology: Формальная проверка безопасности IoTeX

Децентрализованная и распределенная природа технологии блокчейн, предлагает отличный способ создания безопасных сетей для транзакций и обмена данными без посредников. За последний год, мы наблюдали последовательный рост безопасности блокчейн-инфраструктуры/смарт-контрактов; однако, параллельно и рост возможностей для злоумышленников, что, привели к крупным взломам из-за уязвимостей безопасности. Теоретически, блокчейны чрезвычайно безопасны, но, не все блокчейны созданы одинаково — безопасность блокчейна и смарт-контрактов зависит от нескольких факторов, включая надежность базовой криптографии.

Команда IoTeX состоит из докторов наук в криптографии, распределенных системах и других технологиях; они, также являются ветеранами отрасли, так как, возглавляли команды по безопасности инфраструктуры и криптографии в Google, Facebook и Uber. Таким образом, мы уверены в наших силах и знаниях, чтобы построить безопасную инфраструктуру, но, также мы понимаем важность формальной проверки безопасности нашей сети и исследования новых методов повышения безопасности блокчейна. Вот почему, IoTeX с гордостью объявляет о нашем стратегическом партнерстве с LianAn Technology — официальной компанией по проверке, ориентированной на безопасность блокчейна и смарт-контрактов.

“Безопасность в децентрализованном мире имеет первостепенное значение. IoTeX и LianAn объединят наш опыт в технических исследованиях и отраслевой опыт, для внедрения инноваций в области безопасности блокчейна и смарт-контрактов.”
- Xia Yang, LianAn Technology Co-Founder

О компании LianAn Technology

LianAn Technology является формальной компанией верификации, специализирующаяся на безопасности блокчейнов, и была основана в г. Ченду, Китай. Основанная профессорами Xia Yang и Wensheng Guo из University of Electronic Science and Technology of China, а их основная команда, состоит из более чем 20 кандидатов наук, доцентов, докторантов, аспирантов и магистров из университетов и лабораторий по всему миру (напр., Yale, UCLA, CSDS, UESTC). LianAn, также регулярно сотрудничает в исследованиях с Inria, одним из ведущих научно-исследовательских институтов мира.

Основная технология LianAn — это формальная проверка критически важных систем безопасности, и они предоставили свои услуги аэрокосмической, военной и теперь блокчейн индустриям. Недавно LianAn запустили свою платформу “Верификация-как-Сервис” (Verification-as-a-Service, VaaS), которая предлагает автоматизированные и надежные проверки блокчейнов и смарт-контрактов для EOS, Ethereum, и других языков программирования блокчейнов/смарт-контрактов. Компанию поддерживает Fenbushi Capital и они также имеют стратегические партнерские отношения с рядом других лидеров в блокчейн индустрии, включая: Huobi, OKEx, Kucoin, and Ontology.

Как IoTeX и LianAn Technology будут вместе работать?

IoTeX - это блокчейн-платформа с поддержкой смарт-контрактов, которая имеет дело с высокочувствительными данными, означая, что безопасность является ключевым приоритетом. IoTeX будет использовать официальную верификацию от LianAn, для устранения любых уязвимостей безопасности, связанных с корневой цепочкой IoTex, субцепями и смарт-контрактами. Мы планируем использовать услуги LianAn в ближайшем будущем, так как, наш следующий релиз кода, тест-нет Бета, представит возможности использования смарт-контрактов. Мы с нетерпением ждем внедрения их платформы VaaS и компетенцию в индустрии, для того чтобы, сделать наши смарт-контракты безопасными и легко используемыми. Кроме того, когда мы начнем прототипирование с нашими партнерами по развитию, мы обеспечим проверку их смарт-контрактов.

В дополнение к использованию официальных услуг проверки LianAn, IoTeX также будет работать с LianAn над исследованиями в области безопасности блокчейна и смарт-контрактов. Одной из ключевых проблем в сообществах блокчейн и безопасности, является достижение вычислений сохраняющих конфиденциальность (privacy-preserving computations) в виде смарт-контрактов, которые могут быть дополнительно официально проверены автономно. IoTeX надеется работать с LianAn и другими членами экосистемы, чтобы объединить наши сильные стороны и продвигать инновации в области конфиденциальности и смарт-контрактов.

О компании IoTeX

IoTeX — авто-масштабируемая блокчейн инфраструктура, ориентированная на безопасность для Интернета Вещей (IoT). Команда IoTeX состоит из кандидатов наук в области Криптографии, Распределенных Систем и Машинного Обучения, инженеров высшего уровня и опытных разработчиков экосистем. IoTeX разрабатывает несколько собственных инноваций, чтобы продвигать границы блокчейна 3.0, используя архитектуру блокчейн-в-блокчейне для гетерогенных вычислений, молниеносный консенсусный механизм Roll-DPoS и самые облегченные техники сохранения конфиденциальности. IoTeX обеспечивает автономную координацию устройств для массового использования путем “подключения физического мира, блок за блоком”.

Website: https://iotex.io/
Twitter: https://twitter.com/iotex_io
Telegram Announcement Channel: https://t.me/iotexchannel
Telegram Group: https://t.me/IoTeXGroup
Medium: https://medium.com/@iotex
Reddit: https://www.reddit.com/r/IoTeX/
Join us: https://iotex.io/careers