Archetype 简介
Archetype 是一种领域特定语言（DSL），用于在 Tezos 区块链上开发智能合约，尤其关注合约的形式化验证。其由 Tezos 基金会支持、edukera 开发。
Archetype 相关信息
Kathleen Breitman
Tezos 联合创始人兼首席执行官。
Marty Stumpf
Cryptium Labs 区块链开发工程师。
Shake ‘n Bake
匿名 Tezos 验证节点服务。
Vertalo
面向数字资产各个生命周期的高效管理。
古濑淳
DaiLambda 创始人兼首席执行官。
Bakeshop
专为典型的加密投资者而设计。
Tezos.blue
Tezos 最安全的软件钱包。
VIAZ
Tezos 上首个去中心化的点对点融资平台。
Hover Labs
去中心化产品、基础架构与服务的创建者。
