Archetype 简介
Archetype 是一种领域特定语言（DSL），用于在 Tezos 区块链上开发智能合约，尤其关注合约的形式化验证。其由 Tezos 基金会支持、edukera 开发。
Archetype 相关信息
BUIDL BOOTCAMP
教你如何成为比特币开发者。
George Tankersley
Zcash 基金会的工程总监。
Sachin Mittal
Gitcoin 开发者关系。
Marek Olszewski
Celo 创始人。
StrongForce
基于 .Net 的智能合约框架。
Jack Mallers
闪电网络增强型钱包 Zap 开发者。
Seth Feibus
TAP Network 软件开发工程师。
Wietse Wind
XRPL Labs 创始人。
Greg Fette
API3 运营副总裁。
