This article presents a simple Dapp developed as a POC for the blockchain workgroup at Cap digital (the main French business cluster).

It illustrates a basic architecture of a Dapp on Tezos and may serve as a starting/study point for any new developer in the Tezos community.

The Dapp is available online and the smart contract is deployed on Babylon net. The source code is available here.

The Dapp uses the following tools and libraries:

More information is provided in the “Implementation”…

In the previous articles, we presented the Archetype language and explained how to use Archetype to verify a smart contract.

This article is an update on the development of Archetype. The release of version 1 is planned for the beginning of next year.

Follow the project on Twitter:

New contract examples

Archetype comes with a rich library of smart contracts, spanning the main blockchain applications (finance, insurance, escrow, voting, …). Several contracts have been recently added. Worthy of note are the transcriptions to Archetype of the Coase contract and the contract deployed by the French Cybercrime Unit.

Coase smart contract

The Coase smart contract enables the…

Archetype is a simple high-level language to develop Smart Contracts on the Tezos blockchain. It enables to formally verify contracts by transcoding them to Why3. For more information on the Archetype language, please follow the link below:

In this article, we develop, specify and formally verify a smart contract; with formal verification, we find and fix bugs, and make sure it complies with its specification.

The video below is the screening of the demo (25 minutes):

Below is the textual version of the demo.


The objective of this demo is to develop a smart contract for an on-chain loyalty…

Image for post
Image for post

Archetype is a domain-specific language (DSL) to develop smart contracts on the Tezos blockchain, with a specific focus on the formal verification of the contract.

Archetype is funded by the Tezos Foundation and developed by edukera.


Why a new smart contract language?

There are two categories of smart contract languages :

  • Generic languages, usually with familiar syntaxes (for example OCaml or Pascal in the case of LIGO, and Python in the case of smartpy) with system-specific builtins/libraries. They give the impression you can develop a smart contract as you would do for any program.
  • Domain-Specific Languages (DSL) which system-specific algorithms, carried by a tailored syntax, and…

Benoit Rognier

CEO and co-founder of edukera

Get the Medium app

A button that says 'Download on the App Store', and if clicked it will lead you to the iOS App store
A button that says 'Get it on, Google Play', and if clicked it will lead you to the Google Play store