欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Cardano
来自开放百科 - 灰狐
（版本间的差异）
小 (→功能) |
小 (→语言) |
||
| 第31行： | 第31行： | ||
*[https://glow-lang.org/ Glow Lanugage] [https://github.com/Glow-Lang/glow Glow @ GitHub] | *[https://glow-lang.org/ Glow Lanugage] [https://github.com/Glow-Lang/glow Glow @ GitHub] | ||
*[https://github.com/input-output-hk/Marlowe Marlowe] financial contracts on blockchain [[DSL]] | *[https://github.com/input-output-hk/Marlowe Marlowe] financial contracts on blockchain [[DSL]] | ||
| + | *[https://github.com/runtimeverification/plutus-core-semantics KPlutus] K Semantics of Plutus-Core | ||
==项目== | ==项目== | ||
2022年2月14日 (一) 14:42的版本
Cardano
目录 |
简介
Cardano Foundation & Ecosystem
- IOHK 是一个区块链研发团队，目前负责 Cardano Foundation 软件的开发。
- EMURGO 是 Cardano 的官方商业部门，提供具有社会影响力的解决方案，以解决组织中一些最复杂的问题。作为 Cardano 协议的创始实体，EMURGO 能够利用其大规模区块链开发和快速解决方案部署的能力，使其全球客户受益。
- SundaeSwap: Cardano DEX A Decentralized Trading Protocol on Cardano.CARDANO 的第一个 DEX，SundaeSwap 将使 Cardano 起飞 DEX 是作为 DeFi 的催化剂的起点。
新闻
- 基金会的方向和2022年的优先事项 我们希望提供 Cardano 作为全球环境、社会和治理（ESG）挑战的解决方案。
- UTXO联盟：促进整个区块链领域的创新与合作 在 Cardano峰会上，IOHK宣布与Ergo Nervos和Topl合作，创建UTXO联盟 目标是推动UTXO模型在互操作性、可扩展性（分片、状态通道）和智能合约解决方案方面的持续创新，专注于互操作性、可编程性和可扩展性。Cardano的扩展UTXO（EUTXO）模型支持多资产和智能合约，并能以脚本的形式实现任意的逻辑。
功能
ADA
ADA 币将只存在 45,000,000 个
语言
- Awesome Plutus
- Plutus Core
- Plutus Application Framework & Platform
- Glow Lanugage Glow @ GitHub
- Marlowe financial contracts on blockchain DSL
- KPlutus K Semantics of Plutus-Core
项目
- Cardano Catalyst Community Site 通过Catalyst决定Cardano的未来
- IOHK Hydra the Nix-based continuous build system
- Project Catalyst Cardano基金会：鼓励积极参与Catalyst活动
- CNFT.IO - Cardano's Biggest NFT Marketplace!
- Cardano smart contracts testnet IELE launches The IELE Virtual Machine
图集
Cardano区块链
Cardano生态系统
Cardano Node
Cardano架构
Cardano优势
Plutus平台
Cardano支付流
Koios架构
Project Catalyst
Project Catalyst
链接
分享您的观点
