Archetype

Archetype

Smart contracts Under Control.

archetype-lang.org
Share

Archetype Introduction

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.

Archetype Investors