Archetype 简介
Archetype 是一种领域特定语言（DSL），用于在 Tezos 区块链上开发智能合约，尤其关注合约的形式化验证。其由 Tezos 基金会支持、edukera 开发。
Archetype 相关信息
Billy Rennekamp
Tendermint 团队的代码艺术家。
Eric Juta
Matches Fashion 全栈开发工程师。
Juan Carpanelli
OpenZeppelin 核心开发者。
Jim Pick
Protocol Labs 软件开发工程师。
Benjamin Weiss
Parity Technologies 生态系统开发者。
ethereansOS
链上组织、互操作通证及 DeFi 基础架构支持的以太坊操作系统。
Vincent Eli
前 Metamask 开发与研究分析师。
Tyler Scott Ward
BarnBridge 联合创始人。
Belma Gutlic
NodeFactory 首席执行官。