Functori's Blog

Delving Into a Common FA2 Contract With Factori 2023/04/19

Dive into Factori's analysis capabilities by examining an FA2 contract, which will help you gain valuable insights while showcasing the tool's versatility and depth. Spoiler alert! there is some unreachable code detected.

Factori Analysis; Secure and Enhance Smart Contracts 2023/04/06

Discover potential issues with Michelson smart contracts using Factori's analysis command. Identify permission checks, unused storage fields, the use of unbounded data structures with non-lazy deserialization, and more.

Building the Future of Tezos With Smart Rollups 2023/03/30

With the activation of the Mumbai upgrade, Tezos now offers a unique and powerful layer 2 scalability solution thanks to Smart Optimistic Rollups. Functori is proud to be involved in this project.

NFTs Are Not Just Cute Kitten And Monkeys Gifs 2023/03/01

The second edition of NFT Paris exceeded all expectations with over 10,000 enthusiastic participants, from curious onlookers to artists, gamers, developers, investors, and students. We take this opportunity to showcase NFTs potential.

Stay Ahead of The Game With Explorus! 2023/02/22

Refutation games help prove wrong statements in smart rollups, and with Explorus, you can now see refutations as they occur. Check out some screenshots and follow the steps to reproduce the experiment in this post.

Smart Contracts Review Journey at Functori 2023/02/13

Smart contracts reviews and audits are crucial to building secure and reliable digital Web3-based services and applications. This blog post provides some insights about our activity and methods in this area.

Factori now supports Python and C# 2023/02/08

The Factori tool's core is about generating static interfaces for Tezos smart contracts. We want to take advantage of this new release of Factori to announce the support of two new languages (Python and C#).

Getting started with Explorus 2023/01/12

Explorus is a tool made to keep track, understand, and debug the overall behavior of the consensus and new features in Tezos (e.g., optimistic rollups). One of the main strengths of Explorus is that the only requirement is to have a Tezos node, neither an indexer nor a database is required.

Tutorial for scenarios in Factori 2022/11/29

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.

New features in Factori, more free stuff for dApps devs 2022/09/13

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.

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.