# Introduction

A library for building decentralised applications in Flutter, currently focused on the Tezos platform. Dartez package contains all the function that is required to build Tezos application.

### What is Tezos?

Tezos is a decentralised blockchain that governs itself by establishing a true digital commonwealth. It facilitates formal verification, a technique which mathematically proves the correctness of the code governing transactions and boosts the security of the most sensitive or financially weighted smart contracts.