CARDANO란?

Cardano는 다중 자산 원장과 검증 가능한 스마트 컨트랙트 기능을 보유한 탈중앙화 애플리케이션(DApp) 플랫폼으로서 개발중인 획기적인 지분증명 블록체인 네트워크입니다. 높은 보증의 정형 개발(High-assurance Formal Development) 방법으로 구축된 Cardano는 실제 응용에 있어 확장성, 상호운용성, 지속가능성을 달성하는 것을 목표로 합니다. Cardano는 미래의 경제를 뒷받침할 대규모 미션 크리티컬 DApp에 적합한 플랫폼으로서 설계되었습니다.

동료 심사(peer review)를 거친 학술 연구를 바탕으로 Cardano는 개방성과 투명성을 지니고 있습니다. Cardano의 근간이 되는 모든 연구 및 기술 사양은 공개적으로 게시되어있으며, 모든 Cardano 개발 활동 또한 공개되어 있습니다. Cardano는 탈중앙화 시스템부터 프로그래밍 언어, 게임 이론 등에 걸친 다양한 분야의 리더들로 이루어진 글로벌 전문가팀이 고안하고 IOHK와 파트너가 공동으로 개발하는 플랫폼입니다. IOHK가 기술을 개발하고, Cardano Foundation이 개발을 감독하며 Cardano를 홍보하고, Emurgo는 상업적인 적용 방안을 추진합니다. 우리가 Cardano를 구축하긴 하지만 우리는 단지 관리인에 불과합니다. 네트워크의 탈중앙화가 완료되면 커뮤니티가 네트워크의 주인이 되며, 진보한 거버넌스 기능을 통해 네트워크의 미래를 결정할 수 있는 권한 또한 커뮤니티가 갖게 됩니다.

什么是CARDANO路线图?

Cardano路线图是Cardano开发的摘要,由五个时期构成:Byron、Shelley、Goguen、Basho和Voltaire。每个时期都围绕着一系列功能展开,这些功能将在多个代码版本中提供。

虽然Cardano的各个时期将按顺序交付,但每个时期的工作可以并行展开,研究、原型设计和开发通常可以在不同的开发流程中同时进行。

每个时期的工作都在其专用页面上集中呈现,代表着多年的努力。在这里,您将找到相应时期的目标概述以及核心功能组件的描述、相关学术研究的链接、状态更新,甚至是实时代码提交。

方法

学术研究

与许多其他区块链不同,Cardano不依赖于从比特币或其他加密货币系统获得的技术基础。相反,IOHK与世界领先的基础研究学者合作,其中大部分人都接受过学术同行的评审,论文曾在顶级国际会议上展示。所有主要组件和功能领域的工作都从这样的研究开始,以确定可行的目标和实现目标的最佳方法。

原型设计

与研究团队合作的技术原型设计团队尝试实施研究中描述的功能和方法。目标是在学习有关实际技术和功能实施课程的同时将理论变为现实,从而制定用于构建实际产品的技术规范。

技术规范

在与原型设计的协作下,根据研究和原型设计结果制定和发布技术规范,列出预期的功能和行为。这些规范确保最终的代码实现符合研究的最初设想,实现所需的功能,并且在技术上可行。

形式化开发方法

IOHK工程师充分运用形式化开发方法:严格的数学技术,用来测试软件从而使其完全按照预期工作。这种通常只应用于高风险应用,如航空电子软件、航天飞行系统或大容量银行软件的严格标准,IOHK率先将它应用于区块链行业的Cardano开发。

函数式编程

IOHK采用函数式编程语言,最著名的是Haskell。与其他语言相比,函数式编程语言不易出现歧义和人为错误,而且从数学的角度来看,它们更易于测试和验证,从而有助于加强IOHK高可信度形式化的开发。