In this tutorial, we introduce a new scenario Domain Specific Language (DSL) embedded in OCaml, with the following features, the DSL compiles down to OCaml, Typescript, and (soon) octez-client scripts; the DSL has a fork feature enabling one to create separate universes with alternative scenarios.
The summer is coming to a close and we have been working hard at building enhanced and new features for Factori. Among other things, Factori now features like a web interface, dipdup and crawlori support and a lot of behind-the-scenes refactoring.
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.
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.
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.
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...
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.