Archetype 简介
Archetype 是一种领域特定语言（DSL），用于在 Tezos 区块链上开发智能合约，尤其关注合约的形式化验证。其由 Tezos 基金会支持、edukera 开发。
Archetype 相关信息
Kenny Peluso
Upshot 联合创始人。
Stuart Popejoy
Kadena 创始人兼总裁。
Pedro Brandao
IndexPool 联合创始人。
Alex Masmej
Rocket 创始人，MetaCartel 运营。
Mark Tyneway
Optimism 软件开发工程师。
Darren Langley
Rocket Pool 资深开发工程师。
Nicholas Tong
Perpetual Protocol 战略主管。
QT
Bison Trails 开发者查询和交易节点工具。
Savitha Sameerdas
Coinbase 软件开发工程师。