Обзор последних функций и предстоящих вех в нашей технической дорожной карте.
Пакт
Готово:
- Пространства имен: важный этап на пути к упрощению и удобству обновления контрактов.
- Возможности: недавно объединенная новая функция предоставляет строительные блоки для предстоящей работы, которая позволит программировать управление смарт-контрактами Pact.
- Улучшения формальной проверки: добавлена поддержка списков и полностью вложенных объектов при написании утверждений свойств.
Выполняется:
- Контракт на монеты и соответствующая инфраструктура, которая станет основой валюты, сопровождающей Chainweb.
Если у вас есть вопросы, связанные с Пактом, задавайте их в Stack Overflow с помощью тега Pact-Lang.
Общественные
Готово:
- Pact Test Net: значительно улучшенный обозреватель модулей, который позволяет вызывать контракты одним нажатием кнопки вместо написания кода.
- Поддержка формальной проверки в Браузере Пакта. Впервые в истории возможности формальной проверки стали доступны всем, кто заинтересован в написании безопасных смарт-контрактов.
Выполняется:
- Тестовая сеть Chainweb: начало второго квартала 2019 г.. (следите за обновлениями!)
Частный
Выполнено:
- ScalableBFT: Community Edition теперь на AWS Marketplace: просмотрите документацию по настройке, поделитесь своими вопросами в «Kadena Discord " чат.
В ходе выполнения:
- Реализация ScalableBFT в Microsoft Azure.