Archetype

Archetype

在 Tezos 区块链上开发智能合约的语言。

Archetype 简介

Archetype 是一种领域特定语言(DSL),用于在 Tezos 区块链上开发智能合约,尤其关注合约的形式化验证。其由 Tezos 基金会支持、edukera 开发。

Archetype 投资方