在 Tezos 区块链上开发智能合约的语言。
Archetype 是一种领域特定语言(DSL),用于在 Tezos 区块链上开发智能合约,尤其关注合约的形式化验证。其由 Tezos 基金会支持、edukera 开发。
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。
在 Tezos 区块链上开发智能合约的语言。
Archetype 是一种领域特定语言(DSL),用于在 Tezos 区块链上开发智能合约,尤其关注合约的形式化验证。其由 Tezos 基金会支持、edukera 开发。
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。
探索加密数字货币世界的丰富性。 Coin Choose概述, Coin Choose信息, Coin Choose区块链, Coin Choose维基, Coin Choose社交, Coin Choose Medium, Coin Choose ICO, Coin Choose回顾, Coin Choose快讯, Coin Choose追踪
严肃认真的加密货币警报工具。 Cryptocurrency Alerting概述, Cryptocurrency Alerting信息, Cryptocurrency Alerting区块链, Cryptocurrency Alerting维基, Cryptocurrency Alerting社交, Cryptocurrency Alerting Medium, Cryptocurrency A
比特币节点的实时监控。 Satoshi.info概述, Satoshi.info信息, Satoshi.info区块链, Satoshi.info维基, Satoshi.info社交, Satoshi.info Medium, Satoshi.info ICO, Satoshi.info回顾, Satoshi.info快讯, Satoshi.info追踪
全球区块链评级和数据服务机构。 达瓴智库概述, 达瓴智库信息, 达瓴智库区块链, 达瓴智库维基, 达瓴智库社交, 达瓴智库 Medium, 达瓴智库 ICO, 达瓴智库回顾, 达瓴智库快讯, 达瓴智库追踪