Cardano란?

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

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

  


업데이트

2017
2018
2019
2020
ByronShelleyGoguen
Basho
Voltaire

CARDANO 로드맵이란?

Cardano 로드맵이란 Cardano 개발을 요약해놓은 것으로서, 개발 단계는 Byron, Shelley, Goguen, Basho, Voltaire 이 다섯 시대로 구분됩니다. 각 시대는 다양한 코드의 배포를 통해 제공될 일련의 기능을 중심으로 진행됩니다.

Cardano의 시대가 순차적으로 진행되는 동안 각 시대의 작업이 동시에 수평적으로 발생하며, 이때 높은 빈도로 연구, 시제품화, 개발이 서로 다른 개발 스트림에 걸쳐 동시에 진행됩니다.

각 시대의 작업은 종합되어 수년간의 노력을 담은 내용이 전용 페이지에 게시됩니다. 이곳에서 시대의 목표에 대한 개요와 함께 핵심 기능 구성 요소에 대한 설명, 관련 학술 연구에 대한 링크, 상태 업데이트 및 실시간 코드 커밋까지 확인하실 수 있습니다.

방법론

학술 연구

다른 많은 블록체인과 달리 Cardano는 비트코인 또는 기타 암호화폐 체계에서 가져온 기술 기반에 의존하지 않습니다. 대신, IOHK는 기반 연구에 있어 세계적인 학자들과 협력하고 있으며, 이러한 연구 결과의 대부분은 학술적 동료 심사 (Peer Review)를 거치고 최고 수준의 국제 회의에서 발표됩니다. 모든 주요 구성 요소 및 기능적인 영역의 작업은 가능한 부분과 이를 달성하기 위한 최적의 방법을 결정하는 이와 같은 연구에서 출발합니다.

시제품화

기술시제품화팀은 연구팀과 협력하여 연구에서 설명한 기능 및 접근법의 구현 방법에 대한 실험을 진행합니다. 현실적인 기술 및 기능 구현 문제에 대해 학습하면서 이론적으로 가능한 것을 실제로 구현하여 실제 제품을 구축하기 위한 기술 사양을 만들 수 있도록 하는 것이 목적입니다.

기술 사양

기술 사양은 시제품화팀과의 협력을 통해 정해지고 연구 및 시제품화 결과에 기반하여 발표되며, 이는 기능성 및 행동의 기대치를 결정합니다. 이러한 사양은 최종적으로 구현된 코드가 연구의 본래 목적에 부합하고 필수 기능을 수행하며 기술적으로 실현 가능하도록 보장합니다.

정형 개발 방법 (Formal Development Method)

IOHK 엔지니어는 정형 개발(Formal Development) 방법을 적극적으로 활용합니다. 정형 개발 방법이란 소프트웨어가 의도한대로 정확하게 작동하는지 테스트하기 위한 엄격하고 수학적인 검증 기법입니다. 일반적으로 항공전자공학 소프트웨어, 우주 비행 시스템 또는 고용량 뱅킹 소프트웨어와 같은 중요 업무용 애플리케이션에만 사용되는 기술을 IOHK가 블록체인 업계 최초로 Cardano 개발에 활용하고 있습니다.

기능 프로그래밍

IOHK는 여러 기능 프로그래밍 언어를 활용하며, 주로 Haskell을 사용합니다. 기능 프로그래밍 언어는 다른 언어보다 모호함이 적고 사람의 실수에 영향을 적게 받을뿐만 아니라 수학적 관점에서 테스트하고 검증하기가 쉽기 때문에 높은 보증(High-assurance)의 정형 개발을 위한 IOHK의 노력에 큰 도움을 주고 있습니다.