Archetype 简介
Archetype 是一种领域特定语言（DSL），用于在 Tezos 区块链上开发智能合约，尤其关注合约的形式化验证。其由 Tezos 基金会支持、edukera 开发。
Archetype 相关信息
Elite Tezos
Tezos 活跃的社区成员。
Tezos HODL
抵押 Tezos，赚取利润。
Harbinger
Blockscale 推出基于 Tezos 的去中心预言机。
Jacob Arluck
TQ Tezos 联合创始人。
Konstantin Karuna
Atomex 前端开发者。
TezMilk
Tezos 节点服务。
Trustee Network
Tezos DeFi 项目的治理。
Coinfirm
区块链合规服务业务，安全的结构化数据便于监管和规避欺诈风险。
Baking Bad
尝试独立地计算 Tezos 抵押奖励。