欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
Cardano
来自开放百科 - 灰狐
（版本间的差异）
小 (→语言) |
小 (→项目) |
||
| 第27行： | 第27行： | ||
*[https://cardanocataly.st/ Cardano Catalyst Community Site] [https://forum.cardano.org/t/catalyst-cardano/63053 通过Catalyst决定Cardano的未来] | *[https://cardanocataly.st/ Cardano Catalyst Community Site] [https://forum.cardano.org/t/catalyst-cardano/63053 通过Catalyst决定Cardano的未来] | ||
*[https://hydra.iohk.io/ IOHK Hydra] the Nix-based continuous build system | *[https://hydra.iohk.io/ IOHK Hydra] the Nix-based continuous build system | ||
| + | *[https://projectcatalyst.org/ Project Catalyst] [https://forum.cardano.org/t/cardano-catalyst/94169 Cardano基金会：鼓励积极参与Catalyst活动] | ||
==图集== | ==图集== | ||
2022年2月12日 (六) 09:21的版本
Cardano
目录 |
简介
Cardano Foundation & Ecosystem
新闻
- 基金会的方向和2022年的优先事项 我们希望提供 Cardano 作为全球环境、社会和治理（ESG）挑战的解决方案。
- UTXO联盟：促进整个区块链领域的创新与合作 在 Cardano峰会上，IOHK宣布与Ergo Nervos和Topl合作，创建UTXO联盟 目标是推动UTXO模型在互操作性、可扩展性（分片、状态通道）和智能合约解决方案方面的持续创新，专注于互操作性、可编程性和可扩展性。Cardano的扩展UTXO（EUTXO）模型支持多资产和智能合约，并能以脚本的形式实现任意的逻辑。
功能
指南
语言
- Awesome Plutus
- Plutus Core
- Plutus Application Framework & Platform
- Glow Lanugage Glow @ GitHub
- Marlowe financial contracts on blockchain DSL
项目
- Cardano Catalyst Community Site 通过Catalyst决定Cardano的未来
- IOHK Hydra the Nix-based continuous build system
- Project Catalyst Cardano基金会：鼓励积极参与Catalyst活动
图集
Cardano区块链
Cardano生态系统
Cardano Node
Cardano架构
Cardano优势
Plutus平台
Cardano支付流
Koios架构
链接
分享您的观点
