SmartPy is an intuitive and powerful smart contract development platform for Tezos. TQ Tezos has introduced, in https://medium.com/tqtezos/contract-metadata-on-tezos-e4c692e2f6ba, the metadata standard for Tezos smart contracts TZip16. Such metadata can be read and queried with the TZComet explorer. SmartPy has implemented a few elements to support this initiative: a simple yet…

SmartPy is an intuitive and powerful smart contract development platform for Tezos. The SmartPy language is available through a Python library for building and analyzing Tezos smart contracts. SmartPy scripts are usually rather self sufficient Python scripts: they start by importing smartpy.py with a statement import smartpy as sp, then…

We are delighted to announce that we just released a new version of SmartPy.io in SmartPy.io/dev marking the one year anniversary of SmartPy.io public version. This version contains many improvements both in the language, its tools and additional pages. The SmartPy Wallet The SmartPy Wallet is a new tool, embedded in SmartPy.io …

We’re excited to announce that we, in collaboration with Cryptonomic, are making Chainlink natively available to all developers building on Tezos. Oracles are a key component of a thriving blockchain ecosystem. …

We are thrilled to announce that we just released a new version of SmartPy.io in SmartPy.io/dev. This version contains several improvements of the SmartPy language, some improvements of the platform and a nice addition to SmartPy.io: experimental support for the Ledger Hardware Wallet. We would also like to say a…

One year after announcing SmartPy and SmartPy.io, it is our great pleasure to announce our new release. It coincides with the great Carthage activation on the Tezos mainnet for no reason. As always, we first activated it on https://SmartPy.io/dev. We’ll propagate it on https://SmartPy.io/demo …

It is our great pleasure to announce the first open source release of SmartPy and SmartPy.io. Open Source Release This release is our first Open Source version. It uses an MIT license. It is available here: https://gitlab.com/SmartPy/smartpy. In 2019, the development has been very active in a private repository that is expected to…

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…

This document is now outdated. Please refer to our reference manual and installation instructions. SmartPy is a Python library, accessible in an online editor SmartPy.io, that comes together with its SmartML backend. It enables developers to define and analyse smart contracts. These smart contracts are compiled into Michelson, the Tezos…