Archetype 访问网站 手机查看 手机扫一扫打开链接 在 Tezos 区块链上开发智能合约的语言 Archetype简介 Archetype 是一种领域特定语言(DSL),用于在 Tezos 区块链上开发智能合约,尤其关注合约的形式化验证。其由 Tezos 基金会支持、edukera 开发。 链接直达