Kadena Engineering Updates Feb 2019
A recap of recent features and upcoming milestones on our technical roadmap.
Pact
Done:
-
Namespaces: an important milestone to make upgrading contracts easier and more user-friendly.
-
Capabilities: a recently merged new feature, provides the building blocks for upcoming work that will allow programmable governance of Pact smart contracts.
-
Formal verification improvements: added support for lists and fully nested objects when writing property assertions.
In progress:
- Coin contract and related infrastructure that will form the basis of the currency that accompanies Chainweb.
If you have Pact-related questions, ask them on Stack Overflow with the Pact-Lang tag.
Public
Done:
-
Pact Test Net: Significantly improved module explorer that allows you to call contracts with the click of a button instead of writing code.
-
Support for formal verification in the Pact browser. For the first time ever, the power of formal verification is easily available to anyone interested in writing secure smart contracts.
In progress:
- Chainweb Testnet: Early Q2 2019. (stay tuned for more updates!)
Private
Done:
- ScalableBFT: Community Edition is now on the AWS Marketplace: walk through the setup documentation, share your questions in the Kadena Discord chat.
In progress:
- ScalableBFT implementation on Microsoft Azure.
