Happy New Year — Year of the Ox!

SmartPy is an intuitive and powerful smart contract development platform for Tezos.

We are delighted to announce a new release containing many improvements including one breaking change in the compilation interface for the CLI.

Please test and send feedback!

New compilation interface and targets

Breaking change in the CLI

Instead of building…

Proving properties of smart contracts is of paramount importance and one of Tezos’ moto is about formally verifying its infrastructure and smart contracts.

We claim that formal verification is not the only tool to understand a smart contract and before formally proving properties, one should first perform unit-tests or scenario…


An intuitive and effective smart contracts language and development platform for Tezos. In Python.

Get the Medium app

A button that says 'Download on the App Store', and if clicked it will lead you to the iOS App store
A button that says 'Get it on, Google Play', and if clicked it will lead you to the Google Play store