B9lab Logo
Tezos Developer Portal
Developer PortalDeveloper Portal

More on Smart Contract Development


Can you really get enough of smart contracts?

In this chapter, we are continuing with smart contracts. Let’s shift our attention away from SmartPy and take a closer look at Michelson and LIGO.

Let’s dive into:

  • The smart contract language Michelson, its core and domain specific data types, stack operations, and operations on strings, and
  • The high-level language LIGO.

In this chapter

Now, we will dive deeper into smart contract writing and deployment through taking a look at Michelson and LIGO. We will introduce the languages, their basics, and how they can be applied to previous smart contract examples.

Michelson - Smart Contract Language

You can find a general overview of the language, details on core data types and domain specific data types, as well as information on stack operations, the compare instruction, and operations on strings. We will apply our knowledge to our smart contract to certify students.

LIGO - Writing Smart Contracts

We will tackle smart contract development with CameLIGO with an introduction to LIGO, and a closer look at CameLIGO, managing storage, and PascaLIGO. This section also includes an introduction to OCaml. To fortify what we learned, we will apply our knowledge to our smart contract to certify students.

Have fun!

Discuss on Slack