欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Cardano
来自开放百科 - 灰狐
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)模型支持多资产和智能合约,并能以脚本的形式实现任意的逻辑。
功能
指南
语言
- 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活动
- CNFT.IO - Cardano's Biggest NFT Marketplace!
图集
链接
分享您的观点