Functori's Blog

Factori, for OCaml users 2022/07/07

Smart contracts in the Tezos Blockchain are written in a low-level language called Michelson. Writing code in Michelson may quickly become tedious, it is like programming your daily tools with Assembly. However, multiple top-level languages generate Michelson, such as Ligo, Morely, and SmartPy, making smart contracts writing very productive and enjoyable.

Factori, Introduction and Tutorial 2022/06/07

On the occasion of the first beta release of factori, Functori proposes a tutorial which will also serve to illustrate what it can be used for. Factori positions itself at a particular point in the development process, it is not a smart contract development tool per se, instead it focuses on a sometimes neglected pain point which starts with a Michelson contract successfully compiled for the first time.

Playing consensus scenarios on Tenderbake with Mitten 2022/04/27

Mitten is a configurable man-in-the-middle proxy between a set of nodes designed to describe and play executions of the Tenderbake PBFT protocol. It allows filtering and examining network messages according to given scenarios. It enables writing and simulating subtle cases to reproduce behaviors that are difficult to exhibit under normal circumstances.

Activating Tenderbake - a story in data 2022/04/13

We take a look at the first cycle of Tenderbake to evaluate the performance of the network, and how it affected the bakers rewards. On April 1st, 2022, the Tezos blockchain successfully executed its most ambitious protocol upgrade to date. At block #2,244,609, the Ithaca2 protocol upgrade was activated on Tezos mainnet, moving the Tezos network away from the...

Tenderbake's Baker as a State Machine 2022/03/29

The next major upgrade of the Tezos blockchain, codename Ithaca 2, brings a significant novelty, the Tenderbake consensus algorithm. This new PBFT protocol will enable deterministic finality and pave the way for future improvements and extensions. This post focuses on Tenderbake's baker and presents the automata underlying its implementation.