Goguen (15 ч 36 мин, 15 июл 2018 г. – 4 ч 39 мин, 28 сент 2018 г.)
Описание:
We are designing a next-generation virtual machine called IELE and a universal language framework to be used as core infrastructure for future blockchain technologies. The proposed technology, which is based on formal methods and state-of-the-art programming language theory, will bring much greater security and dependability to blockchain systems and will reduce the risk of vulnerabilities.Добавлено на ленту времени:
Дата:
15 ч 36 мин, 15 июл 2018 г.
4 ч 39 мин, 28 сент 2018 г.
~ 2 months and 15 days
