欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜: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 编写设计规范
应用
- WingRiders 是一个自动做市商(AMM)去中心化交易所(DEX),位于主链上的 Cardano EUTXO 模型之上,该项目由 VacuumLabs 提供技术支持。
文档
图集
链接
分享您的观点