欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Cardano
来自开放百科 - 灰狐
(版本间的差异)
小 |
小 (→新闻) |
||
第8行: | 第8行: | ||
==新闻== | ==新闻== | ||
+ | *[https://forum.cardano.org/t/topic/93596 基金会的方向和2022年的优先事项] | ||
*[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)模型支持多资产和智能合约,并能以脚本的形式实现任意的逻辑。 | ||
2022年2月9日 (三) 08:30的版本
Cardano
目录 |
简介
Cardano Foundation & Ecosystem
新闻
- 基金会的方向和2022年的优先事项
- UTXO联盟:促进整个区块链领域的创新与合作 在 Cardano峰会上,IOHK宣布与Ergo Nervos和Topl合作,创建UTXO联盟 目标是推动UTXO模型在互操作性、可扩展性(分片、状态通道)和智能合约解决方案方面的持续创新,专注于互操作性、可编程性和可扩展性。Cardano的扩展UTXO(EUTXO)模型支持多资产和智能合约,并能以脚本的形式实现任意的逻辑。
功能
指南
语言
- Awesome Plutus
- Plutus Core
- Glow Lanugage Glow @ GitHub
- Marlowe financial contracts on blockchain DSL
项目
- Cardano Catalyst Community Site 通过Catalyst决定Cardano的未来
- IOHK Hydra the Nix-based continuous build system
图集
链接
分享您的观点