欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Cardano
来自开放百科 - 灰狐
Cardano
目录 |
简介
Cardano Foundation（瑞士卡尔达诺基金会）& Ecosystem
Cardano DeFi Alliance 在DeFi生态系统中实现Plutus和Cardano最佳实践的标准化。
- 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）模型支持多资产和智能合约，并能以脚本的形式实现任意的逻辑。
Why Cardano
Cardano 是一个开源（Apache v2）、公共、股权证明的区块链，由 Ethereum 联合创始人 Charles Hoskinson 在2015年创立，并以意大利多面手 Gerolamo Cardano 命名。
- Cardano：区块链是一门科学
- Cardano 是第三代区块链，旨在解决第一代（比特币和数字货币）和第二代（智能合约）区块链的用户所面临的问题，通过促进互操作性、可扩展性和去中心化来实现顶级效力。
- Cardano 使用 Haskell 开发，并可使用 Haskell 开发智能合约。
- Cardano 使用一种名为 Ouroboros 协议 的股权证明共识算法
- Cardano区块链设计简约，架构有两层，Cardano 计算层（CCL）和 Cardano 结算层（CSL）。计算层支持智能合约功能，而结算层则负责结算交易。
- Plutus Platform 和 Plutus Language 被设计为与分布式账本一起工作。
- 与 Ethereum 和 Algorand 不同，Cardano 不使用虚拟机，而且非常具有跨平台性。
- 基金会运作，Cardano 基金会是一家瑞士非营利公司，与 Input Output Hong Kong（IOHK）和 EMURGO 一起负责开发 Cardano 区块链基础设施。
- 清晰的 5 阶段 Cardano 路线图 BYRON（基础）、SHELLEY（去中心化）、GOGUEN（智能合约）、BASHO（扩展）、VOLTAIRE（治理）。
- Cardano 去中心化和可扩展性的骨干之一是股权池运营商。
- Adrestia Project 一个不断优化和完善的 Cardano 流程和实践
功能
ADA
ADA 币将只存在 45,000,000 个
DAO
- Catalyst, a DAO at Cardano
- Cardano Catalyst Community Site 通过Catalyst决定Cardano的未来
- Project Catalyst Cardano基金会：鼓励积极参与Catalyst活动
语言
- Awesome Plutus
- Plutus
- Glow Lanugage Glow @ GitHub
- Marlowe financial contracts on blockchain DSL
项目
- Adrestia Project APIs & SDK for interacting with Cardano.
- IOHK Hydra the Nix-based continuous build system
- CNFT.IO - Cardano's Biggest NFT Marketplace!
- Cardano smart contracts testnet IELE launches The IELE Virtual Machine
- Cardano Ledger Specification formalization in Isabelle/HOL
- Atala PRISM decentralized identity solution
- On decentralized software updates for blockchain systems 使用 LaTeX 编写设计规范
- Cardano Haskell package repository ("CHaP")
应用
- WingRiders 是一个自动做市商（AMM）去中心化交易所（DEX），位于主链上的 Cardano EUTXO 模型之上，该项目由 VacuumLabs 提供技术支持。
文档
图集
Cardano区块链
Cardano生态系统
Cardano Node
Cardano架构
EUTXO
Cardano优势
Plutus平台
Cardano支付流
Koios架构
Project Catalyst
Project Catalyst
链接
分享您的观点
