An update on new Tezos smart contract tools

When we first introduced TQ two weeks ago we highlighted our focus on creating open source smart contract tools and other public goods for Tezos. Today, we’d like to share more information about one of our early efforts on that front. TQ has commissioned Serokell and camlCase to create a new library and set of testing tools to make writing secure smart contracts for Tezos easier and more accessible.

The project, dubbed “Morley,” marks a step towards a more accessible developer ecosystem for Tezos. Serokell and camlCase will first reimplement Michelson in Haskell (a high level functional programming language) and then use that implementation as a platform to build testing tools. These general, open-sourced developer and testing tools will be usable for writing any kind of Michelson smart contracts.

The project is expected to be completed in Q2 of this year. For more, see this Medium post from Serokell.