An Introduction to Michelson: the Scripting Language of Tezos (Part 3)

Learn how to use the Michelson programming language and write smart contracts on Tezos

Claude Barde
Published in
9 min readJun 8, 2020

--

Source: Pixabay

(Please check first Part 1 and Part 2)

In this new installment of our series about Michelson language, we are going to crank it up a notch!

In the last parts, we were having a quite simple stack and doing some basic manipulations, adding elements, removing them, duplicating them, etc. However, one of the powers of smart contracts is access-control: you can request your smart contract to verify if the person sending a request is allowed to modify the storage. If they are allowed, they can continue performing their operation. If they are not, the execution of the smart contract stops and all subsequent code is ignored.

Unlike Ethereum smart contracts, smart contracts on Tezos do not modify the storage at any point in the execution of the transaction. The new storage is returned at the end of the execution if everything went well. This makes smart contracts on Tezos extremely secure: Michelson will make sure that everything is executed as it should before modifying the storage. Solidity will modify the storage and hope there will be no problem down the road 😊

--

--

Claude Barde

Self-taught developer interested in web3 and functional programming