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 uses the following tools and libraries:
More information is provided in the “Implementation”…
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:
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.
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…
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.
There are two categories of smart contract languages :
CEO and co-founder of edukera