Южнокорейская платформа смарт-контрактов в партнерстве с Университетом Сиднея финансирует стипендии и исследования в области разработки цепочки инструментов для смарт-контрактов.
Основанная на DAG платформа смарт-контрактов Fantom из Южной Кореи финансирует стипендиальную и исследовательскую группу в Университете Сиднея в Австралии, чтобы создать первую в своем роде, безопасную, безопасную и низкоэнергетическую программную цепочку для смарт-контрактов.
”С рыночной капитализацией более 200 миллиардов долларов, потребность в повышении безопасности криптовалют и распределенных реестров имеет первостепенное значение», — сказал Майкл Конг, главный инновационный директор Fantom в заявлении, отправленном Cryptovest. Он добавил “ » от многомиллионных взломов до замораживания кошельков, мы видели, что плохо написанные смарт-контракты имеют катастрофические последствия для всей отрасли. Это партнерство позволит более безопасное программирование смарт-контрактов, а также предоставит практический опыт, необходимый для инноваций и развития blockchain”.
Помимо финансирования, Фантом обязалось сдать в университет факультет инженерных и информационных технологий. Инициативу возглавит Бернхард Шольц, доцент кафедры компьютерных наук Сиднейского университета. Финансирование будет финансировать выбранную исследовательскую группу для создания новой цепочки инструментов программирования для сообщества и Fantom с использованием программного обеспечения с открытым исходным кодом и исследовательских артефактов.
Конг сказал, что цель партнерства заключается в разработке автоматизированного программного обеспечения для проверки ошибок для создания более безопасного смарт-контракта.
Сотрудничество между университетом и Fantom определило четыре основных направления, включая разработку методологии программирования для смарт-контрактов, языка программирования для смарт-контрактов, компилятора для проверки и виртуальных машин.
Разработка методологии требует обучения большего числа программистов с помощью учебных пособий. Эта область рассматривается как одна из наиболее важных в области фокуса, поскольку среда программирования для blockchain прогрессирует. По мнению Fantom, существующий язык программирования смарт-контрактов, Solidity, недостаточен для нынешних потребностей, поскольку он не имеет сильной системы типов. Исследовательская группа должна определить пути расширения использования монолитности и повышения ее безопасности.
Для достижения этой цели необходим проверяющий компилятор для преобразования надежности (или ее расширения) в виртуальную машину, которая является энергоэффективной и поддерживает формат байт-кода. Ожидается, что в будущем виртуальная машина станет проверяемой.
Генеральный директор Fantom доктор Бен ИК Ан, прокомментировал “» Поскольку мы стремимся ускорить внедрение технологии блокчейн, необходимо решить несколько ключевых технических проблем, в том числе проблемы с безопасностью, масштабируемостью и потреблением высокой энергии. Чтобы начать этот процесс, индустрия должна начать уделять больше внимания исследованиям и научным кругам, ориентированным на blockchain, которых ей отчаянно не хватает.”
В новостях, французского университета Армении (форуме) Вместе с Blockchain предприятие студия Blocktech начать первый учебно-лабораторных блокчейн в стране.
Лаборатория представит междисциплинарные исследования экономических последствий технологии распределенной бухгалтерской книги (DLT) в сотрудничестве с департаментами финансов и права УФАР.
Marcus Aurelius
