Blog: Blockchain

In this article, we'll look at how you can make storage migratable in Lorentz, our Haskell eDSL for the Michelson smart contract language.

Once deployed, large-scale smart contracts can sometimes become outdated and require upgrades. In this part of our Lorentz series, we show how to make a smart contract with upgradeable storage in Lorentz.

In this article, we'll show how you can maintain Tezos smart contract documentation with ease by using Lorentz, our eDSL for Michelson smart contracts.

In this article, we will introduce you to the use of Haskell newtypes in Lorentz, the smart contract eDSL for Michelson.

This is the second post in a series about Lorentz — a Haskell eDSL for the Michelson smart contract language. In this post, we will enrich Lorentz with additional functionality, adding objects with multiple fields.

Together with the TQ Group, we have been working on several tools that use Haskell to improve writing and testing Michelson code on Tezos. This is the first post in a series about one of them — Lorentz, a Haskell eDSL for Michelson smart contracts.

The terms “blockchain” and “distributed ledger technology (DLT)” are very often used as synonyms. Guess what? They're not.

The results of the TON smart contracts contest are out, and our team has got the largest cash award. In this article, we give a brief intro to our submission and talk about our experience during the contest.

If you’ve been on the Internet the last few days, you’ve probably heard of Libra, Facebook’s new venture into blockchain technology. Their goals are far-reaching — “to enable a simple global currency and financial infrastructure that empowers billions of people”. In this article, we review their recently released white paper.

Embedded DSL (or eDSL) is a popular technique for encoding your domain-specific language into Haskell’s type system. How do we use it in Tezos developer tools? Read more in this article.

Modern blockchain solutions have either large data storage inconveniences or security risks. In this article, we present a new solution based on AVL trees that solves these problems.