Archetype
Smart contracts Under Control.
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.
CypherHunter Plus
Subscribe to distraction-free reading, and unprecedented access to our data.