Archetype

Archetype

在 Tezos 区块链上开发智能合约的语言。

开发
Tezos

Archetype 简介

Archetype 是一种领域特定语言（DSL），用于在 Tezos 区块链上开发智能合约，尤其关注合约的形式化验证。其由 Tezos 基金会支持、edukera 开发。

Archetype 投资方

edukera

edukera
Tezos

Tezos

Archetype 相关信息

Tezos.red

Tezos.red

探索 Tezos 区块链的一系列工具集。
Tezos Agora

Tezos Agora

Tezos 治理探索与讨论。
Kumulus

Kumulus

在 Tezos 区块链上的 NFT 项目。
Tezgate

Tezgate

专业的 Tezos 验证节点服务。
Lucid Mining

Lucid Mining

位于美国的 Tezos 验证节点服务商。
Wrap Protocol

Wrap Protocol

以太坊与 Tezos 之间的去中心化资产桥。
Kolibri

Kolibri

基于 Tezos 的算法稳定币。
TQ Tezos

TQ Tezos

帮助推进 Tezos 生态系统发展。
StakerDAO

StakerDAO

结合 DeFi 与去中心化治理的世界。
BUIDL Labs

BUIDL Labs

为去中心化的世界构建基础设施。