欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Cardano
来自开放百科 - 灰狐
(版本间的差异)
小 (→简介) |
小 (→Why Cardano) |
||
(未显示1个用户的29个中间版本) | |||
第4行: | 第4行: | ||
==简介== | ==简介== | ||
[[文件: Input-Output.png|right|IOHK]] | [[文件: Input-Output.png|right|IOHK]] | ||
− | Cardano | + | Cardano Foundation(瑞士卡尔达诺基金会)& Ecosystem |
+ | |||
+ | [https://cardanodefialliance.org/ Cardano DeFi Alliance] 在DeFi生态系统中实现Plutus和Cardano最佳实践的标准化。 | ||
[https://forum.cardano.org/t/cardano/75944 Cardano 是继互联网之后最大的创新吗?] | [https://forum.cardano.org/t/cardano/75944 Cardano 是继互联网之后最大的创新吗?] | ||
第10行: | 第12行: | ||
*[https://github.com/input-output-hk IOHK] 是一个区块链研发团队,目前负责 Cardano Foundation 软件的开发。 | *[https://github.com/input-output-hk IOHK] 是一个区块链研发团队,目前负责 Cardano Foundation 软件的开发。 | ||
*[https://emurgo.io EMURGO] 是 Cardano 的官方商业部门,提供具有社会影响力的解决方案,以解决组织中一些最复杂的问题。作为 Cardano 协议的创始实体,EMURGO 能够利用其大规模区块链开发和快速解决方案部署的能力,使其全球客户受益。 | *[https://emurgo.io EMURGO] 是 Cardano 的官方商业部门,提供具有社会影响力的解决方案,以解决组织中一些最复杂的问题。作为 Cardano 协议的创始实体,EMURGO 能够利用其大规模区块链开发和快速解决方案部署的能力,使其全球客户受益。 | ||
− | *[https://www.sundaeswap.finance/ SundaeSwap: Cardano DEX] A Decentralized Trading Protocol on Cardano.[https://forum.cardano.org/t/cardano-dex-sundaeswap-cardano/94160 CARDANO 的第一个 DEX,SundaeSwap 将使 Cardano 起飞] | + | *[https://www.sundaeswap.finance/ SundaeSwap: Cardano DEX] A Decentralized Trading Protocol on Cardano.[https://forum.cardano.org/t/cardano-dex-sundaeswap-cardano/94160 CARDANO 的第一个 DEX,SundaeSwap 将使 Cardano 起飞] DEX 是作为 DeFi 的催化剂的起点。 |
==新闻== | ==新闻== | ||
*[https://forum.cardano.org/t/topic/93596 基金会的方向和2022年的优先事项] 我们希望提供 Cardano 作为全球环境、社会和治理(ESG)挑战的解决方案。 | *[https://forum.cardano.org/t/topic/93596 基金会的方向和2022年的优先事项] 我们希望提供 Cardano 作为全球环境、社会和治理(ESG)挑战的解决方案。 | ||
*[https://forum.cardano.org/t/utxo/86930 UTXO联盟:促进整个区块链领域的创新与合作] 在 Cardano峰会上,IOHK宣布与[https://ergoplatform.org Ergo] [https://www.nervos.org/ Nervos]和[https://www.topl.co/ Topl]合作,创建[https://utxo-alliance.org/ UTXO联盟] 目标是推动UTXO模型在互操作性、可扩展性(分片、状态通道)和智能合约解决方案方面的持续创新,专注于互操作性、可编程性和可扩展性。Cardano的扩展UTXO(EUTXO)模型支持多资产和智能合约,并能以脚本的形式实现任意的逻辑。 | *[https://forum.cardano.org/t/utxo/86930 UTXO联盟:促进整个区块链领域的创新与合作] 在 Cardano峰会上,IOHK宣布与[https://ergoplatform.org Ergo] [https://www.nervos.org/ Nervos]和[https://www.topl.co/ Topl]合作,创建[https://utxo-alliance.org/ UTXO联盟] 目标是推动UTXO模型在互操作性、可扩展性(分片、状态通道)和智能合约解决方案方面的持续创新,专注于互操作性、可编程性和可扩展性。Cardano的扩展UTXO(EUTXO)模型支持多资产和智能合约,并能以脚本的形式实现任意的逻辑。 | ||
+ | |||
+ | ==Why Cardano== | ||
+ | Cardano 是一个开源(Apache v2)、公共、股权证明的区块链,由 [[Ethereum]] 联合创始人 Charles Hoskinson 在2015年创立,并以意大利多面手 Gerolamo Cardano 命名。 | ||
+ | |||
+ | [https://why.cardano.org/ Why Cardano] | ||
+ | |||
+ | *[https://forum.cardano.org/t/cardano/96311 Cardano:区块链是一门科学] | ||
+ | *Cardano 是第三代区块链,旨在解决第一代(比特币和数字货币)和第二代(智能合约)区块链的用户所面临的问题,通过促进互操作性、可扩展性和去中心化来实现顶级效力。 | ||
+ | *Cardano 使用 [[Haskell]] 开发,并可使用 Haskell 开发智能合约。 | ||
+ | *Cardano 使用一种名为 [https://en.wikipedia.org/wiki/Ouroboros_(protocol) Ouroboros 协议] 的[https://cardano.org/ouroboros/ 股权证明共识算法] | ||
+ | *Cardano区块链设计简约,架构有两层,Cardano 计算层(CCL)和 Cardano 结算层(CSL)。计算层支持智能合约功能,而结算层则负责结算交易。 | ||
+ | *[https://hydra.iohk.io/build/7244348/download/1/plutus.pdf Plutus Platform] 和 [https://github.com/input-output-hk/Plutus Plutus Language] 被设计为与分布式账本一起工作。 | ||
+ | *与 [[Ethereum]] 和 [https://github.com/algorand Algorand] 不同,Cardano 不使用虚拟机,而且非常具有跨平台性。 | ||
+ | *基金会运作,Cardano 基金会是一家瑞士非营利公司,与 Input Output Hong Kong([https://github.com/input-output-hk IOHK])和 [https://emurgo.io/ EMURGO] 一起负责开发 Cardano 区块链基础设施。 | ||
+ | *清晰的 5 阶段 [https://roadmap.cardano.org/ Cardano 路线图] BYRON(基础)、SHELLEY(去中心化)、GOGUEN(智能合约)、BASHO(扩展)、VOLTAIRE(治理)。 | ||
+ | *Cardano 去中心化和可扩展性的骨干之一是股权池运营商。 | ||
+ | *[https://input-output-hk.github.io/adrestia/ Adrestia Project] 一个不断优化和完善的 Cardano 流程和实践 | ||
==功能== | ==功能== | ||
*[https://roadmap.cardano.org Cardano Roadmap] | *[https://roadmap.cardano.org Cardano Roadmap] | ||
*[https://github.com/cardano-foundation/CIPs Cardano Improvement Proposals (CIPs)] | *[https://github.com/cardano-foundation/CIPs Cardano Improvement Proposals (CIPs)] | ||
+ | *[https://iohk.io/en/research/library/ formal verification] | ||
− | == | + | ==ADA== |
+ | ADA 币将只存在 45,000,000 个 | ||
+ | *[https://forum.cardano.org/t/cardano/93594 关于Cardano上的代币] | ||
+ | |||
+ | ==DAO== | ||
+ | *[https://liberlion.medium.com/catalyst-a-dao-at-cardano-64c367ba250d Catalyst, a DAO at Cardano] | ||
+ | *[https://cardanocataly.st/ Cardano Catalyst Community Site] [https://forum.cardano.org/t/catalyst-cardano/63053 通过Catalyst决定Cardano的未来] | ||
+ | *[https://projectcatalyst.org/ Project Catalyst] [https://forum.cardano.org/t/cardano-catalyst/94169 Cardano基金会:鼓励积极参与Catalyst活动] | ||
==语言== | ==语言== | ||
*[https://github.com/mlabs-haskell/awesome-plutus Awesome Plutus] [[文件:awesome.png]] | *[https://github.com/mlabs-haskell/awesome-plutus Awesome Plutus] [[文件:awesome.png]] | ||
− | *[ | + | *[[Plutus]] |
− | + | ||
*[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:// | + | *[https://github.com/input-output-hk/adrestia Adrestia Project] APIs & SDK for interacting with 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://cnft.io/ CNFT.IO] - Cardano's Biggest NFT Marketplace! | *[https://cnft.io/ CNFT.IO] - Cardano's Biggest NFT Marketplace! | ||
+ | *[https://iohk.io/en/blog/posts/2018/07/30/cardano-smart-contracts-testnet-iele-launches/ Cardano smart contracts testnet IELE launches] [https://github.com/runtimeverification/iele-semantics The IELE Virtual Machine] | ||
+ | *[https://github.com/input-output-hk/fm-ledger-formalization Cardano Ledger Specification formalization] in [[Isabelle]]/HOL | ||
+ | *[https://atalaprism.io Atala PRISM] decentralized [[Identity management|identity solution]] | ||
+ | *[https://github.com/input-output-hk/decentralized-software-updates On decentralized software updates for blockchain systems] 使用 [[LaTeX]] 编写设计规范 | ||
+ | |||
+ | ==应用== | ||
+ | *[https://www.wingriders.com/ WingRiders] 是一个自动做市商(AMM)去中心化交易所(DEX),位于主链上的 Cardano EUTXO 模型之上,该项目由 [https://vacuumlabs.com/ VacuumLabs] 提供技术支持。 | ||
+ | |||
+ | ==文档== | ||
+ | *[https://docs.cardano.org/explore-cardano/relevant-research-papers Relevant research papers and specifications] | ||
+ | *[https://iohk.io/en/research/library/ research and technical specifications] | ||
==图集== | ==图集== | ||
第41行: | 第77行: | ||
image:Cardano-Node.png|Cardano Node | image:Cardano-Node.png|Cardano Node | ||
image:Cardano-architecture.png|Cardano架构 | image:Cardano-architecture.png|Cardano架构 | ||
+ | image:Extended-Unspent-Transaction-Output-EUTXO.png|EUTXO | ||
image:Cardano-Ethereum-Bitcoin.png|Cardano优势 | image:Cardano-Ethereum-Bitcoin.png|Cardano优势 | ||
image:plutus-platform-architecture.png|Plutus平台 | image:plutus-platform-architecture.png|Plutus平台 | ||
第52行: | 第89行: | ||
*[https://cardanofoundation.org/ Cardano Foundation] | *[https://cardanofoundation.org/ Cardano Foundation] | ||
*[https://cardano.org/ Cardano 官网] | *[https://cardano.org/ Cardano 官网] | ||
+ | *[https://cardano.stackexchange.com/ Cardano Stack Exchange] | ||
[[category:blockchain]] | [[category:blockchain]] | ||
+ | [[category:DAO]] | ||
[[category:haskell]] | [[category:haskell]] | ||
+ | [[category:Huihoo Foundation]] |
2022年11月13日 (日) 01:55的最后版本
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 提供技术支持。
[编辑] 文档
[编辑] 图集
[编辑] 链接
分享您的观点