Cardano名列2019年开发最为活跃的区块链项目之首出自Santiment2019市场报告
Byron
基础
Cardano是第三代区块链,利用研究、同行评审和严格的形式化开发模型从头开始创建。故事开始于2015年,目的是解决所有区块链网络面临的三大战略挑战:可扩展性、互操作性和可持续性。两年来,经过成千上万次GitHub提交,以及数百小时的研究,2017年9月发布了第一版Cardano,而Byron时期随之开始。
Cardano的第一个版本允许用户在运行开创性Ouroboros共识协议的联合网络上买卖ADA加密货币 - 以变革时代的程序员Ada Lovelace命名。作为Cardano网络的核心,Ouroboros是在学术研究的基础上创建的第一个权益证明协议,具有经过数学验证的安全级别。
Byron时期也见证了Daedalus钱包(IOHK为ADA推出的官方桌面钱包)以及Yoroi钱包(一款由IOHK的兄弟公司Emurgo专为快速交易和日常使用而设计的轻钱包)的诞生。
尽管Byron时期与第一代关键技术发展有关,但它也涉及到如何建立社区并让人们参与未来区块链的创建。Cardano已经从一小群爱好者发展成为一个全球社区,其中ADA已在30多个交易所里进行托管,平均市值使其成为世界领先的加密货币之一。
下面介绍了我们是如何做到的...
BYRON时期研究(只有英文版)
SCRAPE: Scalable Randomness Attested by Public Entities(SCRAPE:公共实体证明的可扩展随机性)
要找到一个可以信任并且可以免受潜在不利行为影响的可靠公共随机源有多难,解决此问题的密钥共享方案是什么,这就是本文探讨的内容。
Ouroboros: A Provably Secure Proof-of-Stake Blockchain Protocol(Ouroboros:可证明安全的权益证明区块链协议)
最初的Ouroboros研究论文,概述了第一个具有严格安全保障的权益证明区块链协议,以及一种激励诚实协议参与的创新奖励机制。
The Bitcoin Backbone Protocol with Chains of Variable Difficulty(具有可变难度链的比特币骨干协议)
加密设置中比特币目标重新计算函数的形式化分析,扩展了比特币骨干协议的q-有界同步模型。
Checking Laws of the Blockchain with Property-Based Testing(用基于属性的测试验证区块链的规律)
本文介绍了如何在区块链协议的上下文中使用基于属性的测试,包括区块链和类似区块链系统应当符合的规律的示例和一般描述。
But Why Does It Work? A Rational Protocol Design Treatment of Bitcoin(但它为什么会有效?比特币的合理协议设计处理)
本文正式调查了比特币安全性的核心加密假设,并扩展了有关这一主题的现有学术研究。
Bootstrapping the Blockchain, with Applications to Consensus and Fast PKI Setup(利用达成共识的应用和快速PKI设置启动区块链)
调查如何改进比特币网络的一些核心假设以及由此产生的结构的一些应用。
Number of Confirmation Blocks for Bitcoin and GHOST Consensus Protocols on Networks with Delayed Message Delivery(在具有延迟消息投递的网络上,比特币和GHOST共识协议的确认区块数)
调查具有延迟消息投递的网络上比特币和GHOST所需的确认区块数。
A Formal Treatment of Hardware Wallets(硬件钱包的形式化处理)
这是一篇为比特币硬件钱包操作提供第一个形式化模型的研究论文,识别比特币钱包的属性和安全参数,并在通用可组合(UC)框架中正式定义它们。
A Formal Specification of the Cardano Ledger(Cardano分类账的形式化规范)
一个形式化规范,定义了使用交易扩展分类账的规则,如在Cardano分类账的Byron版本中实现的那样。
Specification of the Blockchain Layer
一个形式化规范,在Byron时期以及向Cardano的Shelley时期过渡的范围内,对有效区块的定义以及将其添加到区块链所需的内容进行了形式化。
BYRON工作范围
OUROBOROS共识协议
Ouroboros权益证明共识协议是Cardano网络的核心机制,定义了节点就分类账状态达成共识的方式。它是业内第一个可证明安全的权益证明协议,以经过同行评审和发表的形式化学术研究为基础。在最初的论文和Byron时期实施后,研究仍在继续,并且逐渐开发和发布了新的协议版本。
ADA加密货币
ADA基于Ouroboros权益证明共识协议,是最受尊敬的加密货币之一,也是拥有最高市值的加密货币之一。ADA于2017年推出,将成为Cardano智能合约平台的基础货币。
CARDANO区块浏览器
Cardano区块浏览器允许用户查看有关最新交易的信息。可以对Cardano网络上的地址、交易、时期和时隙进行搜索。
DAEDALUS钱包
Daedalus是IOHK适用于Cardano和ADA加密货币的官方桌面钱包。它是一个功能全面的桌面钱包,适用于Windows、Mac和Linux。
DAEDALUS日语界面和安装程序
Daedalus钱包具有日语用户界面和安装程序选项。安装时,将根据操作系统中的设置自动检测语言。
优化的UTXO代币选择
未花费的交易输出(UTXO)的选择优化在区块链业界中备受争议。如果用户最终获得太多非常小的交易输出,那么钱包操作可能会变得效率低下。由于输出太少,一些交易很难执行。IOHK以数学建模的方式研究了UTXO代币选择算法,这种算法大多时候能提供最佳结果。
纸钱包
在Cardano中引入纸钱包可为用户提供安全的离线"冷"存储选项,从而使离线存储和接收ADA变得十分轻松。用户可以将他们的纸钱包用于长期货币存款,让他们的钱包和私钥保持离线状态。
更快的区块链同步速度
Cardano SL 1.3包含加快区块链同步速度的增强功能。测试表明,根据网络环境的不同,钱包的同步速度提高了1.5到4倍。网络中继现在还可以支持更多用户同时进行同步,这有助于减少繁忙时发生的拥塞现象。
优化的区块存储
更高效的存储可提高使用本地存储的区块链数据的操作性能,尤其是钱包恢复和区块链同步。优化还有助于减少存储区块链所需的用户设备上的硬盘空间量。虽然这一阶段的优化已经完成,但作为额外重构工作的一部分,还有更多优化工作要做。tage of optimization is complete, there will be even more to come as part of additional rearchitecting work.
CARDANO BYRON TESTNET
Cardano testnet是一个免费使用的区块链,专为测试目的而设计。它运行的代码是最新的Byron版本。Cardano用户(例如交易所、开发人员和常规社区)可以使用testnet在主区块链之外的类生产环境中进行测试,因为testnet具有与Cardano生产环境相同的功能、集成能力和属性。testnet还使我们能够收到用户的预发布反馈,以帮助我们不断改进。
日志提交机制
用户现在可以直接从Daedalus应用程序提交错误报告和任何支持日志文件。这不仅有助于改善可以提供给个人的技术支持,还能够使客服和开发团队更有效地识别和修复更广泛的问题。
交易所界面增强
对代码做出的性能改进允许交易所处理更高级别的活动。通过使交易所能够在单个交易中为多个用户提款,他们可以为具有相同固定交易量的更多用户提供服务。交易所可以使用新的交易所API来支持此功能,并且对旧API的修改也已完成,现在能够更好地与交易所集成并使更多人可以访问ADA。
交易所界面新增功能
根据交易所的请求,Cardano为交易所添加了新的接口功能。对于更大、更高容量的交易所,现在可以离线创建和签署交易。此外,还提供了一整套接口用来查询链以及与节点交互。
技术支持服务台
通过为Daedalus钱包支持服务台的创建,IOHK可为遇到问题的用户提供故障排除和技术支持,确保他们获得最佳的Daedalus体验。它还允许更好地处理和记录错误,随后将错误传递给开发团队进行修复。
交易所支持团队
组建交易所支持团队的目的在于提供额外的支持,并为交易所用户提供与IOHK沟通的直接联络点。交易所的需求必然比普通用户更加复杂,在允许人们购买ADA并加入Cardano生态系统方面发挥着至关重要的作用。交易所支持团队确保交易所能够快速解决任何问题,并为交易所提供一个提出功能请求的渠道。
通过PROMETHEUS实现全天候监控
IOHK使用开源监控系统Prometheus为Cardano网络和节点操作设置了全天候监控。这样可以实现广泛的实时监控,并缩短对各种操作和性能问题的响应时间。
NIX开发工具集成
将Nix工具引入IOHK的内部开发流程,使DevOps团队能够创建更稳健的部署管道,从而提高开发测试和部署的效率和速度。此外,Nix和NixOS的性质还使函数式编程的一些优势(例如纯函数和简单的单元测试)能够在整个DevOps中得到应用。
SYMPHONY OF BLOCKCHAINS可视化
IOHK的创意编码员设计并实现了一种区块链数据可视化引擎Symphony of Blockchains。这是一种数字艺术与数据分析的激进组合,可以通过身临其境的视听体验来帮助用户理解区块链网络和链数据。
MEDUSA提交历史可视化
Medusa是一个3D图形工具,可通过在GitHub文件发生变更时绘制这些变更来显示Cardano软件开发的历史,从而允许用户浏览代码库中的活动以及查看代码提交的实时热图。