Archetype 简介
Archetype 是一种领域特定语言（DSL），用于在 Tezos 区块链上开发智能合约，尤其关注合约的形式化验证。其由 Tezos 基金会支持、edukera 开发。
Archetype 相关信息
Mikhail Komarov
=nil; Foundation 创始人。
Chris Pacia
OB1 高级开发人员。
Albert Castellana
StakeHound 首席执行官。
Application Research Group
简称 ARG。
Ingo Rube
KILT Protocol 创始人兼首席执行官。
Graham McBain
Status 技术市场经理。
Suiteki
赋能投资者的加密之旅。
Chad Liu
Tidal Finance 联合创始人。
Stani Kulechov
Aave 创始人。