Elrond начинает сотрудничество с Runtime Verification

14 июля 2019 года - Elrond - общедоступная блокчейн сеть на основе шардинга с гордостью объявляет о соглашении о сотрудничестве с Runtime Verification для исследований и разработок в основных областях формальных методов проверки.

Elrond использует K Framework, разработанный Grigore Rosu в НАСА и в Университете Иллинойса в Урбане. Grigore продолжил разработку K Framework вместе со своей командой в Runtime Verification, которая специализируется на формальных методах. Опираясь на это, Elrond разработал внутреннюю серверную часть GO для интеграции виртуальной машины IELE, которая разработана командой проверки времени выполнения и полностью основана на K Framework. Elrond также работает над интеграцией KEVM и WASM аналогичным образом. Построение виртуальных машин с использованием K Framework дает Elrond доступ к мощным инструментам формальной проверки.

Научно-исследовательская группа Elrond будет тесно сотрудничать с Runtime Verification для дальнейшей разработки инфраструктуры K Framework и ее способности генерировать виртуальные машины с правильной конструкцией для блокчейна. Посредством инициативы в области исследований и разработок между Elrond и Runtime Verification мы стремимся вывести смарт контракты на новый уровень и сделать GO backend, разработанный Elrond для K framework, открытым исходным кодом и доступным для широкой публики.

Другими участниками или сторонниками проверки времени выполнения являются Ethereum, Algorand, IOHK, Casper, Maker DAO, Gnosis, Toyota и другие.

«Мы в Runtime Verification очень рады видеть приверженность Elrond не только использовать, но и вносить вклад в развитие базовой инфраструктуры K Framework. Хотя «формальная проверка» теперь является модным словом в сообществе блокчейна, на самом деле лишь немногие блокчейн компании действительно понимают критическую, почти отчаянную необходимость формальной спецификации и проверки смарт контрактов. И еще меньше людей понимают, что это начинается с формального моделирования языков программирования и виртуальных машин, и что инструменты формального анализа также имеют тенденцию к ошибкам, если они не получены из таких формальных моделей. Elrond в глубине души относится к безопасности и следует самым лучшим практикам для обеспечения безопасной и надежной работы их блокчейна », - говорит Grigore Rosu, генеральный директор Runtime Verification.

«Elrond значительно улучшил пространство блокчейна, установив новые стандарты производительности с точки зрения пропускной способности и скорости выполнения. В дополнение к производительности, мы считаем, что инструменты разработчика и меры безопасности, такие как формальные методы проверки, полезны для разработчиков. Благодаря партнерству с Runtime Verification мы намерены повысить стандарт безопасности, добавив формальную проверку к нашим смарт контрактам, в то же время интегрируя K Framework для поддержки нескольких виртуальных машин и языков смарт контрактов одновременно», - говорит Beniamin Mincu, генеральный директор Elrond.

Об Elrond
Elrond - это новая блокчейн-архитектура, разработанная с нуля, чтобы в 1000 раз увеличить совокупную производительность и скорость выполнения. Чтобы достичь этого, Elrond вводит две ключевые инновации: новый механизм адаптивного разделения состояний и алгоритм Secure Proof of Stake (PoS), обеспечивающий линейную масштабируемость с быстрым, эффективным и безопасным механизмом согласования. Таким образом, Elrond может обрабатывать свыше 10000 транзакций в секунду (TPS) с задержкой в 5 секунд и незначительными затратами, пытаясь стать основой безграничной, доступной в глобальном масштабе интернет-экономики.

О Runtime Verification
Основанная профессором Grigore Rosu, Runtime Verification предоставляет передовые технологии для разработки безопасных систем и языков на основе математически обоснованных принципов. Его технология не только обнаруживает самые редкие, хитрые и дорогостоящие ошибки, скрывающиеся в существующих кодовых базах или спецификациях, но также стимулирует проектирование и разработку более совершенных языков программирования и спецификаций, где такие дорогостоящие ошибки не могут существовать по проекту или могут быть обнаружены вовремя.

Подробно о проекте Elrond:
Web: https://elrond.com/
Twitter: https://twitter.com/elrondnetwork
Telegram: https://t.me/ElrondNetwork
Youtube: https://www.youtube.com/channel/UCRLKQHcjuWW_-JOZ-DqQTXw

Автор
My profile bitcointalk: https://bitcointalk.org/index.php?action=profile;u=1247910
Username: egoryana
0xbfe16b84Fa1e9Dadb061e9C3369b6d40A9C6732C