Archetype

3个月前发布 10 0 0
收藏 0

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

收录时间：
2025-06-14
打开网站手机查看
ArchetypeArchetype
Archetype打开网站
芝麻开门

芝麻开门(Gateio)

注册芝麻开门享最高$2,800好礼。

立即注冊 下载APP
币安

币安(Binance)

币安是世界领先的数字货币交易平台，注册领100U。

立即注冊 下载APP

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

数据统计

相关导航

没有相关内容!

热门文章

网址

日榜周榜月榜
Private Storage

Private Storage

PrivateStorage 由 Least Authority 与 Private Internet Access 共同推出，作为保护客户隐私的坚定信徒，他们共同努力提供私密、安全和端到端的加密解决方案，以便最终用户（而非第三方）确定个人数据是否以及在何种程度上收集、共享、处理存储服务。
Refinable（FINE）

Refinable（FINE）

Refinable是 Binance Smart Chain上的首个 NFT平台，旨在使个人创作者和品牌都能创建、发现、交易 NFT。
Newfund

Newfund

创业型风险投资公司 Newfund，由企业家、家族基金以及法国机构组成，在法国、美国进行早期阶段投资。他们重点关注种子轮、A 轮，帮助投资公司克服成功之路上的挑战。
Forgepoint Capital

Forgepoint Capital

ForgePoint Capital 前身是 Trident Capital Cybersecurity，简称 TCC，侧重于网络安全领域的早期成长型公司。在过去的三十多年中，ForgePoint 团队一直致力于通过与企业家、企业高管、政府客户、战略合作伙伴、顾问等建立联系，打造保护数字世界的下一代网络安全公司，从而促进网络安全生态系统的发展。
DefiDollar（DUSD）

DefiDollar（DUSD）

DefiDollar（DUSD）是一个元稳定指数，目前由CurvefinanceLP支持。
Data Transaction Token(XD)

Data Transaction Token(XD)

ScrollNetwork将数据存储在受保护的区块链中，支持以企业级交易速率进行数据传输。ScrollNetwork的诞生旨在为区块链的世界带来新的用途。通过利用不断扩展的半私人网络，我们可以将基于区块链的数据存储的强大功能带给企业，消费者和现有平台。我们致力于赋予业务和消费者权力，使新的区块链项目生动起来，而不会受到当今行业面临的不必要的技术限制。
查看完整榜单

标签云