이하의 글은 IOHK가 공개한 카르다노 개발배경(백서에 해당)에 대한 한국어 공식 번역이다. 일반인들의 이해를 돕기 위하여 내용적으로 이해하기 힘든 부분은 나름대로 연구 분석한 것을 토대로 부언 설명을 하고, 원문의 내용에 충실하기 위해 한국어 번역의 내용을 일부 수정 증감하는 경우가 있다. 또한 중요부분을 강조하기 위해 일부 문장에 색깔을 추가하도록 한다. 부언 설명 부분에 대한 내용상의 책임은 이 홈페이지 운영자에 있고, IOHK측에 없음을 밝히고, 내용상 오류에 대해서는 언제든지 수정하도록 할 것임을 양해 바란다.
동기
카르다노는 암호통화가 설계되고 개발되는 방식을 바꾸려는 노력의 일환으로 2015년에 시작된 프로젝트입니다. 몇몇 특정한 혁신 이상으로, 좀 더 균형 잡히고 지속 가능한 생태계를 제공하는 것에 전반적으로 집중하고 있으며, 이는 통합을 지향하는 다른 시스템뿐만 아니라 사용자들의 요구를 더 잘 책임지기 위함입니다.
많은 오픈 소스 프로젝트들이 보여준 정신과 같이, 카르다노는 종합적인 로드맵이나 심지어 권위있는 백서조차 없이 시작하였습니다. 이 프로젝트는 그런 것들보다는 설계 원리의 모음, 엔지니어링 모범 사례 및 탐구를 위한 방안을 수용하였습니다. 이는 다음의 것들을 포함합니다 :
- 회계와 연산을 다른 계층으로 분리
- 코어 컴포넌트들을 모듈화된 기능 중심의 코드로 구현
- 작은 그룹의 학술 집단과 개발자들이 피어 리뷰 연구를 통해 경쟁
- InfoSec 전문가들을 조기에 이용하는것을 포함하여 여러 학문 분야의 팀들을 적극 활용
- 백서, 구현 그리고 리뷰 중에 발견되는 이슈를 수정하기 위해 필요한 새로운 연구를 빠르게 반복
- 네트워크를 파괴하지 않으면서, 기 배포된 시스템을 업그레이드할 수 있는 능력 구축
- 향후의 작업을 위해 탈중앙화된 펀딩 메커니즘의 개발
- 합리적이고 안전한 사용자 경험으로 모바일 디바이스에서 동작할 수 있도록 가상화폐의 설계를 개선하는 장기적인 관점
- 이해 관계자들이 가상화폐 운영 및 유지 관리에 보다 긴밀하게 접근할 수 있도록 유도
- 동일한 장부에서 여러 자산을 처리할 필요가 있음을 인정
- 레거시 시스템의 요구 사항을 보다 잘 준수하기 위해 선택적 메타 데이터를 포함하도록 트랜잭션을 추상화
- 천여개의 알트코인에서 의미있는 기능들을 학습
- 전담 재단을 사용하는 인터넷 엔지니어링 태스크 포스(IETF)를 참고하여 표준 기반 프로세스를 채택하고 최종 프로토콜 설계를 확정
- 상거래의 사회적 요소 탐구
- Bitcoin에서 상속받은 몇 가지 핵심 원칙을 손상시키지 않으면서, 규제 기관이 상거래와 상호 작용할 수 있는 건강한 중간 지점을 탐색
이러한 체계화되지 않은 아이디어들을 바탕으로, 카르다노에서 일하는 주체들은 암호통화 문헌을 탐구하고 추상화하기 위한 도구들을 만들기 시작했습니다. 이 연구의 결과물은 IOHK의 광범위한 논문 라이브러리, 최근의 스크립트 언어에 대한 개요, 스마트 컨트랙트의 온톨로지, 스코렉스 프로젝트 등에 대한 많은 수의 조사 보고서들입니다. 이러한 교훈으로 암호통화 산업의 비정상적이고 때때로 비생산적인 성장에 대한 실체를 알게 되었습니다.
첫째, TCP/IP와 같은 성공적인 프로토콜들과는 달리, 암호통화들에는 계층이 거의 없습니다. 말이 되는지는 논외로 하고, 하나의 원장에 기록된 이벤트와 사실들을 둘러싼 합의에 대해 단일 개념을 유지하려는 욕구가 있었습니다.
예를 들어 Ethereum은 범용적인 세계컴퓨터를 만들기 위해 시도하면서 엄청난 복잡성을 겪었지만, 가치의 저장소로 동작하는 시스템의 능력을 잠재적으로 파괴할 수 있는 사소한 우려로 인해 어려움을 겪고 있습니다. 경제적 가치, 유지 비용, 규제의 결과에 관계 없이 모든 사람의 프로그램이 최고 수준의 것이어야만 합니까?
둘째, 주류 암호화 연구의 이전 결과들에 대해서는 거의 감사를 표하지 않았습니다. 예를 들어 Bitshares의 위임된 지분증명의 경우 ‘결과 전달이 보장되는 동전 던지기’를 사용하여 쉽고 안정적으로 난수를 생성할 수 있었는데, 그 기술은 1980년부터 알려진 기술입니다 (Rabin 및 Ben-Or의 중요한 논문 참고).
셋째, 대부분의 알트코인(Tezos와 같은 몇몇 주목할만한 예외는 있지만)들은 미래의 업데이트에 대해 수용하지 않았습니다. 소프트 또는 하드 포크를 성공적으로 적용할 수 있는 능력은 모든 암호통화의 장기적인 성공에 있어 중추적인 역할을 합니다.
필연적으로 기업 사용자들은 프로토콜 뒤의 로드맵과 사용자가 임시적이고, 사소하거나 또는 급진적이라면, 그런 프로토콜들에 수 백만 달러에 해당하는 자원들을 투입할 수 없습니다. 하부 프로토콜을 진화시키는 비전에 대해 사회적 합의를 형성할 수 있는 효율적인 프로세스가 필요합니다. 만약 이 과정이 엄청나게 부담이 된다면, 분열로 인해 커뮤니티가 쪼개질 수 있습니다.
마지막으로 돈은 궁극적으로 사회적 현상입니다. 중앙 행위자의 중개에서 탈피하고 익명화하려는 노력 속에서 비트코인과 같은 시기의 암호통화들은 안정적인 신원, 메타데이터 그리고 상업 거래에 있어서의 평판들도 같이 폐기해 버렸습니다. 이 데이터들을 중앙집중화된 솔루션을 통해 추가하게 되면 감사 가능성, 전역 가용성 및 불변성이 제거되어 버리는데, 이 특성들은 블록체인을 사용하는 가장 중요한 이유입니다.
SWIFT, FIX, ACH 등으로 구성된 레거시 금융 시스템은 거래의 메타데이터가 풍부합니다. 얼마나 가치가 계정간에 이동하였는지 아는 것만으로는 충분하지 않습니다. 규제는 종종 관련된 행위자의 속성, 규정 준수 정보, 의심스러운 행위 보고와 다른 기록들과 행위를 요구합니다. 어떤 경우에는 이 메타데이터가 거래보다 더 중요합니다.
그렇기 때문에 메타데이터의 조작이 화폐위조나 거래기록을 다시 쓰는 것만큼 해롭다고 추론하는 것은 타당합니다. 자발적으로 이러한 값들을 포함시키기 원하는 참여자들을 수용하지 않는 것은 암호통화가 주류로 채택되는 것과 소비자 보호 측면에서 비생산적으로 보입니다.
체류의 끝
우리의 암호통화 세계에 대한 원칙에 입각한 탐험의 총합은 두 개의 프로토콜 모음입니다. 차례대로 카르다노 세틀먼트 레이어 (CSL)라고 불리는 검증 가능하고 안전한 지분 증명(Proof-of-Stake) 프로토콜[1][2] 과 카르다노 컴퓨테이션 레이어 (CCL) 라 불리는 일련의 프로토콜들입니다.
우리 설계가 강조하고 있는 것은 암호통화의 사회적 측면을 수용하고, 가치의 계산을 복잡한 연산과 분리된 계층으로 구축하며, 규제 기관의 요구를 몇 가지 바뀌지 않는 원칙1 하에서 해결하는 것입니다. 또한 합리적인 경우라면 제안된 프로토콜에 대한 피어 리뷰를 통한 검증과, 공식 사양에 대한 코드 검사를 시도합니다.
지분 증명
가상화폐(암호통화)에 지분 증명을 사용하는 것은 뜨겁게 토론된 설계 결정입니다. 하지만 이는 안전한 투표를 도입하는 메커니즘을 추가하기 때문에 확장성이 더 크며, 더욱 이색적인 인센티브 계획을 허용하기에 우리는 지분 증명을 수용하기로 결정하였습니다.
우리의 지분 증명 프로토콜은 우로보로스라고 불리며 이 프로토콜은 에딘버러 대학의 아겔로스 키아이아스 교수가 이끌고 있는 다섯 개의 학술 기관2 에서 모인 재능 있는 암호학자 팀에 의해 설계되었습니다. 엄격한 암호학적 모델을 이용하여 안전하다고 증명된 것 이상으로, 이 프로토콜이 가져오는 핵심적인 혁신은 기능성을 향상시키기 위해 많은 프로토콜이 조합될 수 있는 모듈화되고 유연한 디자인입니다.
이러한 모듈 방식은 위임, 사이드체인, 구독 가능한 체크포인트, 경량 클라이언트를 위한 더 나은 자료 구조, 다른 형태의 난수 생성, 심지어 다른 동기화에 대한 가정과 같은 것들을 가능하게 하였습니다. 수천, 수백만, 그리고 수십억의 사용자로 네트워크가 확장되면서 프로토콜의 합의 알고리즘 역시 변화할 것입니다. 그렇기 때문에 이러한 변화를 수용하고 암호통화의 핵심을 미래에 대비할 수 있는 충분한 유연성을 확보하는 것이 중요합니다.
돈의 사회적 요소들
암호통화는 돈의 사회적 구성요소 중 대표적인 예입니다. 분석을 기술에만 국한시키는 경우 비트코인과 라이트코인 사이에는 거의 차이가 없으며, 이더리움과 이더리움 클래식 간에는 그 차이는 더욱 적습니다. 하지만 라이트코인과 이더리움 클래식은 큰 시가총액과 강력하고 역동적인 커뮤니티는 물론 사회적 의무도 유지하고 있습니다.
암호통화의 가치 중 많은 부분이 그 커뮤니티, 통화를 사용하는 방법, 통화의 진화에 참여하는 수준에서 비롯된 것이라고 이야기할 수 있습니다. 좀 더 나아가 생각해 보면, Dash와 같은 통화는 어떤 것을 개발할 것인지 우선 순위를 정하는 것과 자금을 공급하는 결정에 커뮤니티를 참여시키기 위해 심지어 그 시스템들을 프로토콜에 통합시켰습니다.
암호통화의 광대한 다양성은 또한 그들의 사회적 요소에 대한 증거를 제공합니다. 철학, 통화 정책, 심지어 핵심 개발자들 사이의 의견 충돌은 분열과 포크로 이어집니다. 그러나 암호통화의 상대방, 즉 초강대국의 현금 통화는 정치적 변화와 지역적인 충돌이 있을 때에도 통화 위기나 대규모의 탈출 없이 살아남습니다.
그러므로, 암호통화 산업에서 빠뜨린 레거시 시스템의 요소가 있는 것으로 보입니다. 우리는 프로토콜의 사용자들에게는 그들의 프로토콜 뒤의 사회적 계약을 이해할 인센티브가 필요하고, 사용자들이 생산적인 방법으로 변화를 제안할 권리가 있어야 한다고 주장하며, 이를 카르다노의 로드맵에 심었습니다. 이러한 자유는 어떻게 시장이 규제되어야 하는지부터 어떤 프로젝트가 자금 지원을 받아야 하는지에 이르기까지 가치 교환 시스템의 모든 측면으로 확장됩니다. 하지만 이 자유는 중앙집중화된 참여자에 의해 중개될 수 없으며, 부유한 소수에 의해 채택될 수 있는 특별한 증명을 요구해서도 안 됩니다.
카르다노는 사용자의 요구를 수용하기 위해 CSL 위에 구축되는 오버레이 프로토콜 시스템을 구현할 것입니다.
첫째, 개발을 시작하기 위한 크라우드 세일의 성공과 무관하게, 그 자금들은 결국 소멸할 것입니다. 카르다노는 단조롭게 감소하는 인플레이션과 트랜잭션 수수료로 부터 자금을 공급받는 탈 중앙화된 신탁기관3 을 포함시킬 것입니다.
어느 사용자나 투표를 통해 신탁기관으로부터 자금을 요청할 수 있으며, CSL의 이해관계자들은 누가 지원을 받을 것인지를 투표합니다. 이 과정은 Dash와 같이 재무/신탁 시스템을 가지고 있는 다른 암호통화에서 볼 수 있듯이 누가 받고, 누가 받아서는 안 되는지에 대한 논의를 시작함으로써 생산적인 피드백 루프를 형성합니다.
자금 조달에 대한 토론은 장/단기 목표, 암호통화의 사회적 계약, 우선 순위 및 특정 제안들을 통한 가치 창출에 대한 믿음 간의 관계를 강요합니다. 이 논의는 커뮤니티가 가능한 로드맵에 대한 신념을 지속적으로 평가하고 토론함을 의미합니다.
둘째, 우리는 카르다노가 궁극적으로 소프트/하드 포크 모두에 대해 제안하고 투표하기 위한 블록체인 기반의 공식적인 시스템을 포함하기를 희망합니다. 비트코인은 그 블록 크기 논의에 있어서, 이더리움은 DAO 포크에 있어서, 그리고 그 외 많은 다른 암호통화들은 오랫동안 많은 경우에 코드베이스의 기술적, 도덕적 방향에 대한 해결되지 않은 논쟁들과 오랜 기다림을 견뎌왔습니다.
이러한 의견 차이와 행동이 취해질 때 발생하는 공동체의 파탄 등은 변화를 논의하기 위한 공식적인 절차의 부재로 인한 직접적인 결과라고 주장할 수 있고 또 해야만 합니다.
세그윗(SegWit)을 채택하도록 비트코인 사용자를 설득하려면 어디로 가야 합니까? 어떻게 이더리움의 코어 개발자들이 DAO를 구제하는 데에 있어 커뮤니티의 정서를 측정할 수 있습니까? 커뮤니티에 균열이 생기면 암호통화는 복구할 수 없을 만큼 손상됩니까?
최악의 경우, 어떤 행위에 대한 권한은 개발자, 인프라스트럭처 측면의 관계와 돈을 가진 누구에게든 쉽게 양도될 수 있습니다. 또한 인센티브가 좋지 않아4 커뮤니티의 많은 사람들이 접근하기 쉽지 않거나 참여가 어려워지면, 어떻게 자신의 행동이 합법적인지 알 수 있습니까?
Tezos와 같은 몇몇 제안된 암호통화들은 마치 헌법을 개정하기 위한 일련의 공식적인 규칙과 절차에 트랜잭션, 합의, 네트워크라는 세 가지 부문을 가진 헌법처럼 어디에서 암호통화의 프로토콜이 처리되고 있는지를 검사하는 흥미로운 모델을 제공합니다.
공식적인 방법론의 사용, 기계가 이해할 수 있는 규격을 사용하는 것, 재무 정책을 재정적 인센티브 프로세스와 통합하는 것은 영감을 얻기 위해 가능한 방법으로서 연구되고 있습니다. 궁극적으로 블록체인에 기반한 투명하고 검열되지 않는 자유로운 방식으로 투표할 수 있는 것 만으로도 절차가 개선될 것입니다. 더 세련된 해답이 만들어지지 않는다 해도 말이죠.
계층 설계 – 카르다노 세틀먼트 레이어
위대한 프로토콜과 언어를 설계할 때, 미래를 보는 것이 아니라 과거를 참조해야 합니다. 과거, 이론적으로는 완벽하지만 현실에서는 살아남지 못한 Open Systems Interconnection standards 같은 예가 있습니다. 과거에는 TCP/IP 부터 JavaScript에 이르는 행복한 사건들도 있습니다.
역사적 관점에서 추출한 몇 가지 원칙은 다음과 같습니다.
- 미래를 예측할 수 없으므로 변화할 수 있는 여지를 만드세요.
- 복잡성은 이론에서 좋지만, 단순함이 대개 승리합니다.
- 사공이 많으면 배가 산으로 갑니다.
- 표준이 일단 설정되면 그것이 차선책인지 여부에 관계없이 지속될 것 입니다.
- 의지가 있다면 나쁜 아이디어는 실제로 좋은 아이디어로 진화할 수 있습니다.
카르다노는 그 자체의 사회적 특성을 수용하는 금융 시스템입니다. 시스템은 특정 사용자의 트랜잭션에서 임의의 복잡성을 해결할 수 있는 유연성과 능력을 절실히 필요로 합니다. 만일 성공적이라면, 수백만 건의 동시 트랜잭션을 수용 할 수 있는 엄청난 양의 계산, 스토리지 및 네트워크 리소스를 필요로 할 것 입니다.
그러나 우리에게는 공정한 네트워크를 달성하기 위해 부유한 노드에서 가져와 가난한 노드에 주는 디지털 탈 중앙화 Robin Hood는 없습니다. 네트워크에서 공공의 이익을 위해 이타적으로 희생하는 인간의 선의를 믿을 만큼 사치를 부릴 수도 없습니다. 따라서 Cardano의 설계는 TCP / IP에서 ‘관심 사항의 분리’ 개념을 채용합니다.
블록체인은 궁극적으로 타임스탬프와 불변성에 대한 보증과 함께 어떤 사실과 사건들을 제공하는 데이터베이스입니다. 돈의 맥락에서, 블록체인은 자산의 소유권을 제공합니다. 프로그램을 저장하고 실행하여 복잡한 연산을 추가하는 것은 독립적인 개념입니다. 우리는 얼마만큼의 가치가 Alice에게서 Bob으로 이동했는지를 알고 싶은 것인가요? 아니면 거래 뒤의 모든 스토리와 얼마나 보낼 것인지를 파악하고 싶은 것인가요?
매우 유연하기 때문에 이더리움이 하였던 것처럼 후자를 선택하는 것은 매우 유혹적이지만, 위에서 이야기 한 설계 원칙(‘관심 사항의 분리’)에 위배됩니다. 모든 정보를 알고 있다는 것은 단일 프로토콜이 임의의 이벤트를 이해하고 임의의 트랜잭션을 스크립트로 만들수 있으며, 사기의 경우 임의의 허가를 하고 심지어 새로운 정보가 제공될 때 잠재적으로 트랜잭션을 되돌릴 수도 있다는 의미입니다.
그렇다면 대체 어떤 메타데이터가 각 트랜잭션에 저장되어야 하는 가를 결정하는 것은 어려운 문제가 됩니다. 엘리스와 밥의 거래에 관한 어떤 요소가 관련된 것일까요? 그 관련성은 영원한 것일까요? 우리는 언제 이 데이터들을 버릴 수 있을까요? 그렇게 하는 것이 어떤 국가에서는 위법이지 않을까요?
게다가, 몇몇 연산은 본질적으로 비공개입니다. 예를들어, 회사 직원들의 평균 연봉을 측정할 때, 각 개인의 연봉을 유출하고 싶지 않습니다. 하지만 모든 연산이 공개적으로 알려진다면 어떻게 될까요? 이런 공개성이 실행 순서에 편향을 일으켜서 결과에 해를 끼친다면 어떨까요?
따라서 우리는 가치의 회계 처리와 왜 가치가 옮겨졌는가에 대한 이야기는 분리되어야 한다는 입장을 선택했습니다. 달리 말하자면, 가치와 연산의 분리입니다. 분리는 Cardano가 스마트 컨트랙트를 지원하지 않는다는 것을 의미하지 않습니다. 반대로, 분리를 명백히 함으로써 스마트 컨트랙트의 설계, 사용, 개인 정보 보호 및 집행에서 훨씬 더 많은 융통성을 허용합니다.
가치에 대한 원장은 Cardano Settlement Layer (CSL)라고 부릅니다. 가치를 다루는 것이 목적이므로 로드맵의 목표는 다음과 같습니다.
- 두가지 스크립트 언어 세트의 지원. 하나는 가치의 이동을 위한 것이며 다른 하나는 오버레이 프로토콜에 대한 지원을 강화하기 위한 것
- 다른 장부와 연결되는 KMZ 사이드 체인5 에 대한 지원을 제공합니다
- 더 높은 보안을 위해 양자 저항 시그니처를 포함한 여러 유형의 시그니처 지원
- 다중 사용자가 발행한 자산 지원
- 실제 확장성 달성, 더 많은 사용자가 가입할 수록 시스템 기능이 향상됨을 의미
스크립팅
스크립트 언어에 관해 논의를 시작한다면, 각 원장 주소간 트랜잭션은 유효성이 입증된 실행가능한 스크립트 형태로 이뤄져야 합니다. 예를 들어, Eve가 Alice의 돈에 접근할 수 없어야 하며, 잘못 설계된 스크립트로 인해 사고로 사용하지 않는 주소로 송금되어 자금이 유실되지 않아야 할 것입니다.
Bitcoin과 같은 시스템은 매우 유연하지 못하고 엄격한 스크립트 언어를 제공합니다. 그것은 적합한 트랜잭션으로 프로그램하기 어렵고, 읽고 이해하기에도 어렵습니다. 그리고 Solidity와 같은 일반적인 프로그래밍 언어는 시스템에 엄청난 양의 복잡성을 도입하고 훨씬 적은 수의 참여자에게만 유용합니다.
따라서 우리는 Simon6 이라 불리는 새로운 언어의 설계를 선택하였는데, 이 언어를 만든 Simon Thompson과, 이에 영감을 준 개념을 만든 Simon Peyton Jones의 이름을 기린 것입니다. Simon은 Composing contracts: an adventure in financial engineering 논문에 기반한 도메인 특화 언어입니다.
주요 개념은 금융 트랜잭션은 보통 기본적인 요소7 들의 집합으로 구성되어 있다는 것입니다. 재무 주기율표를 조립하면 일반적 프로그래밍 없이도 대부분의 공통 트랜잭션 유형을 포괄하는 임의의 대규모 복합 트랜잭션에 대한 지원을 제공할 수 있습니다.
가장 큰 이점은 보안 및 실행을 매우 잘 이해할 수 있다는 것입니다. 증거들은 템플릿의 정확성을 보이거나, 무에서 새로운 돈을 생성하거나 거래의 유연성과 같이 문제가 있는 거래 이벤트의 실행 영역을 철저하게 다루도록 작성될 수 있습니다. 두번째 이점은 새로운 기능이 필요한 경우 소프트 포크를 통해 더 많은 요소를 확장 기능에 추가할 수 있다는 것입니다.
이는 특수 목적 서버나 기존 금융 시스템, 오버레이 프로토콜들과 CSL을 연결해야 할 필요가 있다는 것을 말합니다. 따라서 우리는 범용 스마트 계약 언어와 상호 운용성을 위한 특수 목적 DSL로 Plutus를 개발했습니다.
Plutus는 하스켈의 개념에 기반한 자료형을 갖는 함수형 언어로, 커스텀 트랜잭션 스크립트를 작성할 때 사용됩니다. CSL의 경우, 사이드체인 구조처럼, 연결할 필요가 있는 다른 레이어에 대한 지원을 추가하는 등의 복잡한 트랜잭션에 사용될 것입니다.
사이드체인
사이드체인과 관련하여, 카르다노는 Kiayias, Miller 그리고 Zindros가 작업 증명의 증명(Proofs of proofs of works)의 결과물을 기반으로 개발한 (KMZ sidechains)을 지원할 것 입니다. 구체적인 설계는 이 백서의 범위를 벗어납니다만, 이 개념은 CSL에서 모든 Cardano Computation Layer 또는 프로토콜을 지원하는 다른 블록체인으로, 자금을 안전하고 상호작용 없이 이동시킬 수 있습니다.
KMZ 사이드 체인은 복잡성을 캡슐화하는 핵심 요소입니다. 규제 요구 사항, 비공개 동작, 강력한 스크립팅 언어 및 기타 특별한 관심사가 있는 원장들은 실질적으로 CSL에게는 블랙 박스들입니다. 하지만, CSL 사용자는 계산이 완료되면 회계와 자금에 대한 것을 알수 있다는 것을 보장받을 수 있습니다.
서명
Alice가 Bob에게 값을 안전하게 이동시키기 위해, Alice는 자신이 자금을 이동할 권리가 있음을 증명해야 합니다. 이 작업을 수행하는 가장 직접적이고 신뢰할 수있는 방법은 공개 키 서명 구조를 사용하는 것입니다. 공개 키는 자금과 연결되어 있고, Alice는 연관된 비밀 키를 통제합니다.
서로 다른 보안 매개 변수와 가정을 가진 수백 가지 체계가 있습니다. 일부는 elliptic curves에 연결된 수학 문제에 의존하는 반면, 다른 것은 lattices를 사용하는 이국적인 개념에 연결됩니다.
추상적인 목표는 항상 같습니다. 감춰진 특정 정보를 가지고 있지 않으면 해결할 수 없는 어려운 문제가 있어야 합니다. 이 정보의 소유자는 키 쌍의 소유자라고 하며, 이를 사용할 수 있는 유일한 객체여야 합니다.
암호통화가 서명 체계를 선택할 때 직면하게 되는 두 가지 조건이 있습니다. 첫째, 구조 자체의 장기적인 보안 내구성이 있는가 입니다. DES와 같은 1970년대와 1980년대에 사용된 일부 암호화 체계는 보안이 무너졌습니다. 그 서명 체계가 생존할 것으로 예상되는 기간을 결정해야 합니다.
둘째, 특정 체계를 선호하거나, 때로는 사용을 강제하는 많은 기업, 정부 및 기관들이 있습니다. 예를 들어 NSA는 Suite B protocol set를 유지 관리합니다. ISO 및 W3C workgroups조차도 암호화에 관한 표준이 있습니다.
암호통화가 하나의 서명 체계를 선택하면 향후 어느 시점에서 그 체계가 손상될 수 있고 법적 또는 업계 제한으로 인해 적어도 하나의 엔터티가 암호통화를 사용할 수 없다는 사실을 받아들여야 합니다. 그러나 암호통화는 모든 서명 체계를 지원할 수 없기 때문에 모든 클라이언트가 각 체계를 이해하고 검증해야 합니다.
카르다노는 우리는 특히 타원 곡선 암호화 기술인 Ed25519 curve을 사용하기로 결정했습니다. Dr Dmitry Khovratovich and Jason Law’s Specification8 을 사용하여 HD wallets에 대한 지원을 추가함으로써 기존 라이브러리를 향상시키기로 결정했습니다.
이 사실은 Cardano가 앞으로 더 많은 서명 체계를 지원할 것을 의미합니다. 특히, 양자 컴퓨터 방어 시그니처를 저희 시스템에 통합하는 데 관심이 있습니다. 또한, Bitcoin과 같은 기존 암호화폐와의 상호 운용성을 향상시키기 위해 SECP256k1을 추가하는 데에도 관심이 있습니다.
Cardano는 소프트 포크를 통해 더 많은 서명 체계를 추가할 수 있는 확장 구조로 설계되었습니다. 확장기능들은 그 기능이 필요하거나 로드맵9 에 계획된 주요 업데이트에서 추가됩니다.
사용자 발행 자산(UIAS)
Bitcoin의 초기에 사용자가 여러 통화를 동시에 추적하기 위해 Bitcoin의 회계 시스템에 편승하여 자산을 발행할 수 있도록 프로토콜이 신속하게 개발되었습니다. 이 프로토콜은 Bitcoin 프로토콜에 의해 기본적으로 지원되지 않았지만 영리한 해킹을 통해 구현되었습니다.
Colored Coins 및 Mastercoin (현재 Omni라고 함)과 같은 Bitcoin 오버레이의 경우, 라이트 클라이언트는 신뢰할 수 있는 서버에 의존해야만 했습니다. 또한 거래 수수료는 비트코인으로 지불해야 합니다. 트랜잭션 승인을 위한 단일 파이프라인과 이러한 속성들의 결합으로 인해 비트코인은 다중 자산 회계에서는 최적의 것은 아닙니다.
ERC20 표준을 사용하는 Ethereum의 경우 더 많은 기능이 있습니다. 그러나 거래 수수료로 여전히 ether가 필요합니다. 또한 Ethereum 네트워크는 발행된 모든 ERC20 토큰의 요구에 맞춰 확장하는데에 어려움을 겪고 있습니다.
근본적인 문제는 세 부분으로 나눌 수 있습니다 : 자원, 인센티브 그리고 예측되는 우려. 자원에 관하여는, 동일한 원장에 완전히 새로운 통화를 추가하려면 대역폭, mempool 및 블록 공간을 공유하는 두 개의 독립적인 UTXO (사용되지 않은 트랜잭션 입력) 세트가 필요합니다. 이 통화들의 거래를 통합시킬 통합 노드에게 인센티브를 제공할 필요가 있습니다. 그리고 암호통화의 모든 사용자가 특정 엔티티의 통화를 신경쓸 필요도 없습니다.
이러한 문제를 고려할 때, 다중 자산 원장의 기본 토큰이 탈중앙화된 통화 시장을 가능하게 하는 교량 통화로 동작하는 것은 엄청난 이점이 있습니다. 추가적인 기능을 제공하는 특정 목적을 가진 자산이 발행될 수 있는데, 예를 들자면 대출이나 송금에 유용한 Tether, MakerDAO와 같이 가치가 안정된 자산을 발행할 수 있습니다.
주어진 과제에 도전하여, Cardano는 다중 자산 회계에 대한 실용적인 접근 방식을 채택했습니다. 단계별로 구축하는 첫 번째 과제는 수천 개의 UIAs 요구를 지원하는 데 필요한 인프라를 설계하는 것입니다. 즉, 다음과 같은 발전이 필요합니다.
- 매우 큰 UTXO 상태를 추적할 수 있도록 특수 목적으로 인증된 데이터 구조
- 대기중인 트랜잭션 집합을 보유할 수 있는 분산형 mempool 기능
- 거대한 글로벌 블록체인을 허용하는 블록체인 파티셔닝 및 체크 포인트
- 서로 다른 체계의 거래를 포함하는 컨센서스 노드를 보상하기 위한 인센티브 제도
- 사용자가 추적하려는 통화를 결정할 수 있게 하는 구독 메커니즘
- UIAs가 기본 자산과 유사한 보안을 누릴 수 있는 강력한 보안 보장
- UIA와 기본 토큰 간의 유동성 개선을 위한 탈중앙화된 시장 지원
올바른 인증된 데이터 구조를 찾기 위한 우리의 선행 연구로 Leo Reyzin, IOHK 및 Waves가 공동으로 개발한 새로운 유형의 AVL+ Tree가 탄생했습니다. 더 많은 연구가 필요하지만, Cardano의 최신 버전에 포함될 진보의 토대입니다.
분산된 mempool은 스탠포드 대학의 RAMCloud 프로토콜을 사용하여 구현될 수 있었습니다. Cardano의 컨센서스 계층으로의 통합을 연구하기 위해 2017년 3분기에 실험이 시작될 예정입니다.
나머지 주제는 현재 진행중인 연구의 범위와 상호연결되어 있습니다. 연구 결과에 따라 2018년 CSL릴리스 Basho에서 UIAs를 위해 Cardano에 프로토콜이 포함될 것이라 예상합니다.
확장성
분산 시스템은 공통 목표를 달성하기 위해 프로토콜 또는 프로토콜 집합을 실행하기로 동의하는 일련의 컴퓨터 (노드)들로 구성됩니다. 목표는 BitTorrent 프로토콜에 정의된 대로 파일을 공유하거나 Folding@Home을 사용하여 단백질 연구에 도움을 주는 일 같은 것이 있습니다.
가장 효과적인 프로토콜은 노드가 네트워크에 참여할 때 리소스를 얻습니다. 예를 들어 BitTorrent가 호스트하는 파일은 많은 피어가 동시에 다운로드하는 경우 훨씬 더 빨리 다운로드할 수 있습니다. 동료가 자원을 소비하면서, 동시에 제공하기 때문에 속도가 빨라집니다. 이 특징이 분산 시스템을 표현할 때 일반적으로 의미하는 것입니다.
현재의 모든 암호통화의 설계가 직면한 도전은 실제로 확장성을 갖도록 설계되지 않았다는 것입니다. 예를 들어 블록체인은 블록들의 추가만 가능한 연결 리스트(append-only linked list)입니다. 블록체인 프로토콜의 보안 및 가용성은 블록체인 데이터의 전체 복사본을 보유한 많은 노드에 달려 있습니다. 따라서, 단일 바이트의 데이터가 N노드 사이에서 복제되어야 합니다. 노드가 추가되어도 자원이 추가되는 것은 아닙니다.
이 결과는 트랜잭션 처리 및 시스템 전체의 메시지 공유에 대해서도 동일합니다. 컨센서스 시스템에 더 많은 노드를 추가해도 트랜잭션 처리 능력이 늘어나지 않습니다. 그것은 단지 같은 일을 하기 위해 더 많은 자원을 소비해야 함을 의미합니다. 네트워크 중계가 많을수록 더 많은 노드가 동일한 메시지를 전달해야만 전체 네트워크가 최신 블록과 동기화됩니다.
이러한 상황을 고려할 때 암호통화는 레거시 금융 시스템과 동등한 글로벌 네트워크로 확장할 수 없습니다. 반대로 레거시 인프라는 확장성이 뛰어나고 처리 및 스토리지 성능이 향상됩니다. 한 가지 덧붙이자면, Bitcoin은 다른 결제 네트워크와 비교해 매우 작은 네트워크이지만 현재의 부하를 관리하는데 어려움을 겪고 있습니다.
우리의 합의 프로토콜은 카르다노의 확장성에 대한 목표들에 큰 도움을 주었습니다. Ouroboros는 합의 노드의 협의체를 선출하는 탈중앙화된 방법을 제공하며, 이를 통해 구글이나 페이스북 10과 같은 대규모 인프라 제공자들의 요구를 수용하기 위해 지난 20년간 개발된, 더 많은 전통적인 프로토콜들을 실행할 수 있습니다.
예를 들어 한 에포크의 협의체 선출이란 특정 기간 동안 원장을 유지할 수 있는, 신뢰할 수 있는 노드 집합을 갖게 되는 것을 의미합니다. 여러 협의체를 동시에 선출하고 트랜잭션들을 다른 협의체로 분할하는 것은 쉬운 일입니다.
네트워크 전파 및 블록체인 자체를 고유한 파티션으로 분할하기 위해 유사한 기술을 적용할 수 있습니다. 현재의 로드맵에서 2018년부터 Ouroboros에 스케일링 방법이 적용될 것이며, 2019년과 2020년에도 계속 중요한 관심사가 될 것입니다.
카르다노 연산 계층
앞에서 언급했듯이 트랜잭션에는 두 가지 구성 요소가 있습니다: 토큰의 흐름을 기록하고 전송할 수 있는 메커니즘과 토큰 이동시 이유 뿐만 아니라 상태를 전송하고 기록하는 메커니즘입니다. 후자는 임의로 더 복잡해 질 수 있으며, 테라바이트의 데이터를 포함하고, 다중 시그니처와 특수 이벤트가 발생합니다. 후자는 또한 단일 시그니처를 다른 주소로 값을 넣으면서 매우 간단해 질 수 있습니다.
가치 흐름의 이유와 상태를 모델링하는 데 있어서 어려운 점은, 그 흐름이 예상할 수 없는 방법으로, 관련된 주체들에게 매우 개인적인 것이라는 점입니다. 계약법은 더욱 문제가 많은 모습을 시사하는데, 행위자들 스스로는 거래가 상업적인 현실과 맞지 않는다는 것조차 알지 못하기 때문입니다. 우리는 일반적으로 이 현상을 “의미론적 격차(Gap)11 “라고 부릅니다.
왜 복잡성과 추상화의 무한한 계층을 추구하는 암호통화를 구축해야 합니까? 그것은 본질적으로 완료할 수 없고 실질적으로는 순진한 생각으로 보입니다. 또한, 각각이 내포하고 있는 추상적 개념은 법적, 보안적 문제를 가지고 있습니다.
예를 들어, 보편적으로 불법 또는 경멸받는 것으로 간주되는 활동으로, 아동 포르노나 국가기밀 매매와 같은 많은 온라인 활동이 있습니다. 강력한 탈중앙화된 인프라스트럭처를 배포함으로써, 일반적인 상업 거래에 쓰이는것과 동일한 수준의 검열 방지를 이용하게 되며, 이런 행동이 일어나도록 하는 채널을 제공하게 됩니다.
네트워크의 합의노드(시간이 지남에 따라 효율성을 증진하기 위해 더 연합할 인센티브가 있는)가 그들이 호스팅하는 컨텐츠에 대해 책임을 지게 될 것인지는 법적으로 모호합니다.
Tor 운영자의 기소, 실크로드 운영자의 잔인한 처사 그리고 전체적인 프로토콜 참가자의 법적 보호에 대한 법적으로 불명확하다는 점은 불확실한 가능성을 남깁니다. 충분히 진보한 암호통화가 또 무엇을 가능하게 할 것인가에 대해서는 상상력의 제한이 없습니다. (Ring of Gyges 참고). 부정한 행위나 부정한 웹의 운영을 모든 암호통화 사용자로 하여금 지지하게 하거나, 최소한 가능하게 하는 것이 합리적입니까?
안타깝게도, 암호통화 설계자에게 통찰력을 제공하는 명확한 대답은 없습니다. 그것은 암호통화의 장점을 지키고 어떤 입장을 취하는 것 그 이상의 것입니다. 카르다노와 비트코인이 가지고 있는 장점은 이러한 문제를 레이어로 분리하기로 결정했다는 것입니다. 비트코인에는 Rootstock이 있습니다. 카르다노에는 카르다노 연산 레이어가 있습니다.
상술한 일들을 가능하게 하는 복잡한 행위들은 CSL에서는 실행될 수 없습니다. 그런 행위들은 튜링 컴플리트하게 작성된 프로그램을 실행할 수 있는 능력과 연산량을 측정하기 위해 개스 경제의 형태를 필요로 합니다. 그것은 또한 자신들의 블록에 거래를 포함하고자 하는 합의 노드가 필요합니다.
따라서, 기능제한으로 합리적으로 사용자를 보호할 수 있습니다. 지금까지 대부분의 안정된 정부들은 암호통화를 사용 또는 유지하는 것이 불법적인 행위라는 입장을 취하지 않았습니다. 그러므로 대다수의 사용자는 기능적인 면에서 기존 디지털 결제 시스템과 비슷한 원장을 관리하는 것에 있어 친숙해야만 합니다.
기능을 확장하고자 한다면, 두 가지 가능성이 있습니다. 그것은 비슷한 생각을 가졌고 본질적으로 단발성인 (예를 들어 포커 게임) 개인들의 사적인 집합에 의해 가능해집니다. 또는, 이더리움과 비슷한 능력을 가진 원장을 통해 가능해집니다. 두 경우 모두, 이벤트를 다른 프로토콜로 아웃소싱하기로 결정했습니다.
비공개, 단발성 이벤트의 경우에는 블록체인 패러다임을 완전히 피하거나 오히려 비슷한 생각을 가진 참여자들의 그룹이 원할 때에 호출할 수 있는 특별한 목적의 MPC 프로토콜 라이브러리를 향한 노력을 제한하는 것이 합리적입니다.
연산과 활동은 사설 네트워크에서 진행되며, 신뢰할 수 있는 게시판 및 메시지 전달 채널로서 필요한 경우에만 CSL을 참조합니다.
이 경우의 핵심은 책임과 개인 정보를 캡슐화 하는 것에 대한 동의가 있다는 것입니다. CSL은 (공원이 사설 이벤트를 제공하듯이) 사용자들이 만나고 소통할 수 있는 디지털 공유지로 사용되지만 특별한 숙박시설이나 편의시설을 제공하지 않습니다. 또한, 특수 목적 MPC의 사용은 블록체인이 부풀릴 필요 없이 짧은 지연 시간으로 상호작용할 수 있게 합니다. 따라서, 시스템의 규모를 향상시킵니다.
이 라이브러리를 향한 카르다노의 연구 노력은 도쿄 기술 연구소에 집중되어 있고 해외 과학자들의 상당한 도움을 받고 있습니다. 우리는 카르다노의 수학자들과 동료 수학자들의 이름을 따라 이 라이브러리를 “Tartaglia”라고 부르고 있으며, 2018년 Q1에 첫 번째 이터레이션을 기대하고 있습니다.
두 번째 경우에, 가상머신, 컨센서스 노드들, 두 체인간의 통신을 가능하게 하는 메커니즘이 있는 블록체인이 필요합니다. 우리는 일리노이대학교(University of Illinois)의 팀과 협력하여 K-framework 12 를 사용하여 이더리움 가상머신을 엄격하게 공식화하는 프로세스를 시작했습니다.
이 분석 결과는 복제되어 궁극적으로는 분산된 가상 머신 13 을 설계하는 최적의 방법을 알려줄 것이며, 가상 머신이 명백한 운영적 의미와 사양을 정확히 구현했다는 증거를 제시할 것입니다. 즉, VM은 실제로 보안 위험을 최소화하도록 작성된 코드를 수행합니다.
여전히 이더리움에 의해 제안된 Gas 경제, Jan Hoffmann et al의 자원 인식 ML과 같이 작동하도록 어떻게 관련되어 있는지, 그리고 연산을 위한 자원 추정에 대한 더 광범위한 연구에 대해 아직 해결되지 않은 질문들이 있습니다. 예를 들어, 이더리움 프로젝트는 현재 VM에서 웹 어셈블리로의 전환에 대한 희망을 표명했습니다.
다음으로 분산된 어플리케이션에서 서비스라고 불리게 될 상태 보존형 계약을 표현하기 위한 합리적인 프로그래밍 언어를 개발하는데 노력을 기울이고 있습니다. 이 작업을 위해, 우리는 전통적인 스마트 컨트랙트 언어인 Solidity를 저수준의 확실성을 제공하는 어플리케이션을 위해 지원하며, Plutus라고 불리우는 새로운 언어를 공식적인 검증을 필요로 하는 고수준 확실성 어플리케이션을 위해 개발하는 두 가지 방법을 채택했습니다.
Zeppelin 프로젝트기반의 solidity와 마찬가지로, IOHK 또한 응용 프로그램 개발자가 자신의 프로젝트에서 사용할 Plutus 코드의 레퍼런스 라이브러리를 개발할 것입니다. 우리는 또한 UCSD’s Liquid Haskell project에서 영감을 얻은 공식 검증을 위한 특별한 툴 세트를 개발할 것입니다.
합의의 관점에서, Ouroboros는 스마트 컨트랙 평가를 지원하는 충분한 모듈화된 방식으로 설계되었습니다. 따라서, CSL과 CCL은 동일한 합의 알고리즘을 공유할 것입니다. 차이점은 Ouroboros는 토큰 배포를 통해 퍼블릭 블록체인과 프라이빗 블록체인을 모두 허용할 수 있다는 것을 확인하였습니다.
CSL을 통해 Ada는 아시아의 구매자들에 대한 토큰 생성 이벤트를 통해 배포되었고, 결국 이 토큰들은 이차 시장으로 재판매될 것입니다. 이것은 CSL의 합의 알고리즘이 다양하고 더욱 분산된 행위자들이나 그들의 위임을 받은 사람들에 의해 제어된다는 것을 의미합니다. CCL을 통해, 원장의 대리인들이 보유하고 있는 특수 목적 토큰을 발행하는 것이 가능한데, 이 대리인은 규제 당국일 수도 있으며 이 경우 허가가 필요한 원장을 생성하게 됩니다.
이 접근법의 유연성 덕분에 거래 평가에 대한 다른 규칙을 구체화할 수 있도록 CCL의 다른 인스턴스들을 만들 수 있게 됩니다. 예를 들어, 도박행위는 KYC / AML 데이터가 존재하지 않으면, 해당 속성이 존재하지 않는 트랜잭션들을 블랙리스트로 표시함으로써 제한될 수 있습니다.
우리의 마지막 설계 초점은 신뢰할 수 있는 하드웨어 보안 모듈(HSM)을 프로토콜 스택에 추가하는데 있습니다. 이러한 기능을 프로토콜에 넣는 것을 도입할 때 두 가지 장점이 있습니다. 첫번째, HSM은 공급 업체를 신뢰해야 한다는 것 외에는 보안 문제없이 성능 14 을 크게 향상시킵니다. 두번째, Sealed Glass Proofs (SGP)를 사용함으로써, HSM들은 데이터가 검증될 수 있고 복사나 악의적인 외부인에게 유출되지 않고 파괴될 것이라는 것을 보장할 수 있습니다.
두번째 요점에 초점을 맞추면, SGP는 규정 준수에 혁신적인 영향을 줄 수 있습니다. 일반적으로 소비자가 신원을 증명하거나 참여할 권리를 증명하기 위해 개인식별정보를 제공할 때, 이 정보는 악용되지 않길 희망하며 신뢰할 수 있는 제 3자에게 전달됩니다. 이 행위는 본질적으로 중앙집중화되어 있고, 데이터의 제공자는 자신들의 개인식별정보에 대한 통제권을 잃게 되며 관할권에 기초하여 다양한 규제의 통제를 받습니다.
신뢰할 수 있는 증인들을 선택하는 능력과 개인식별정보(PII)를 하드웨어 보관소에 보관한다는 것은 충분한 성능의 HSM을 가지고 있는 모든 사용자가, 행위자의 신원을 알고 있는 검증자 없이도, 행위자에 관한 사실을 조작할 수 없는 방법으로 검증할 수 있게 된다는 것을 의미합니다.
카르다노의 HSM 전략은 향후 2년 동안 Intel SGX 및 ARM Trustzone을 사용한 특별한 프로토콜의 구현을 시도하는 것입니다. 두 모듈은 랩탑에서 핸드폰까지 수십 억개의 소비자 장치에 내장되어 있고, 추가적인 조작없이 소비자가 사용할 수 있습니다. 둘 다 많이 심사숙고되고, 잘 설계되었으며 최대, 최고의 규모로 자금을 지원받은 하드웨어 보안팀의 수 년간의 반복 작업에 기반하고 있습니다.
규제
모든 현대적인 금융 시스템의 가혹한 현실은, 규모가 커짐에 따라 규제에 대한 필요성 또는 최소한 규제에 대한 요구가 쌓이게 된다는 것입니다. 이러한 결과는 일반적으로 시장에서 한 행위자 또는 특정 행위자 그룹의 부주의로 인해 반복되어 온 붕괴 때문입니다.
예를 들어 1907년의 닉커보커 위기는 최후의 수단으로서 연방 준비제도를 낳았습니다. 다른 예로는 미국의 1920년대의 과도한 재정 몰락은 끔찍한 최종적 붕괴, 대공황을 발생시켰습니다. 이 붕괴로 인해 1934년 증권거래위원회가 창설되었는데, 이는 유사한 사건을 방지하거나, 최소한 나쁜 행위자에게 책임을 묻기 위한 것입니다.
규제의 필요성, 그 범위와 유효성에 대해 합리적으로 논의할 수는 있지만 주요 정부가 부과해 온 규제의 존재와 그에 대한 열의를 부정할 수는 없습니다. 그러나 세계가 글로벌화되고 현금이 디지털화 됨에 따라 모든 규제 당국이 직면하고 있는 문제는 두 가지입니다.
첫째, 관할권들을 다룰 때 어떤 규정들이 가장 중요시되어야 합니까? 낡은 베스트팔렌 조약의 주권에 대한 관념은 하나의 거래가 1분 이내에 30개 국 이상에 영향을 미칠 때, 그저 녹아 버립니다. 단순히 가장 지정학적 영향력이 큰 국가가 휘두르면 될까요?
둘째, 프라이버시 관련 기술의 발전은 새로운 디지털 무기 경쟁을 만들었는데, 이 때문에 누가 거래에 참여했는지 이해하는 것이 점점 더 어려워지고 가치의 창고를 소유한 사람이 훨씬 줄어들고 있습니다. 수백만 달러의 자산을 비밀리에 가지고 있는 12단어의 니모닉15 만으로 통제할 수 있는 세상에서 어떻게 효과적으로 규제를 시행할 수 있습니까?
모든 금융 시스템들과 마찬가지로, 무엇이 공정하고 합리적인가에 대해 카르다노 프로토콜도 그 설계에 있어 의견을 가지고 있어야만 합니다. 우리는 개인의 권리와 시장의 권리를 나누기로 결정했습니다.
첫째,개인은 강제 또는 민사상 재산 몰수 없이 항상 자신의 자금에 독자적인 접근이 가능해야 합니다. 베네주엘라와 짐바브웨에서 볼 수 있듯이, 모든 정부가 부패한 정치인의 개인적 이익을 위해 정부의 주권을 남용하지 않을 것이라고 믿을 수는 없기 때문에, 이 권리는 시행되어야 합니다. 암호통화는 최소한의 공통 분모만 가지도록 설계되어야 합니다.
둘째, 역사는 절대로 조작되어서는 안 됩니다. 블록체인은 불변성에 대한 약속을 제공합니다. 기록을 되돌리거나 공식적인 기록을 변경할 수 있는 권한을 도입하게 되면 특정 행위자 또는 그룹에 이익을 주기 위해 과거를 변경하려는 유혹이 너무 많아집니다.
셋째, 가치의 흐름은 제한되지 않아야 합니다. 자본 통제 및 기타 인위적인 장벽들은 인권을 축소시킵니다. 그런 규제를 시행하는 것은 무의미할 뿐만 아니라16, 최빈국의 많은 사람들이 생활을 위한 임금을 벌기 위해 다른 나라로 이동하는 글로벌한 경제체계에서, 자본 흐름을 제한하는 것은 대체로 세계에서 가장 가난한 사람들에게 해를 끼치는 결과를 낳습니다.
이 원칙에 따르면 시장은 분명히 개인과 다릅니다. 카르다노의 설계자들은 개인의 권리를 믿지만, 우리는 또한 시장이 공개적으로 계약 조건을 밝힐 권리가 있고, 개인이 이 시장에서 사업을 하기로 동의하면 전체 시스템의 완전성을 위해 그 기준에 부합해야 한다고 믿습니다.
비용과 실행의 실용성이 언제나 어려운 일입니다. 소규모의 다중 관할적인 거래는 사기 또는 상업적 분쟁이 발생했을 경우 레거시 시스템에서 높은 신뢰도를 제공하기란 비용이 많이 드는 일입니다. 누군가가 나이지리아의 왕자17 에게 송금한 경우, 그 자금을 돌려 받는 것은 너무 비용이 많이 들어갑니다.
카르다노의 경우 우리는 세 단계로 혁신할 수 있다고 생각합니다. 첫째, 스마트 컨트랙트를 통해 상업적 관계의 계약 조건을 더 잘 통제할 수 있습니다. 만약 모든 자산이 디지털이고 CSL만으로 표현될 수 있다면, 사기 없는 상거래에 대해 강력한 보장이 가능합니다.
둘째, PII (개인식별정보)가 유출되진 않지만 인증 및 신임 주체에 사용되는 신원 공간을 제공하는 데에 HSM을 사용하는 것은 글로벌 평판 시스템을 제공하고, 온라인 게임에서의 자동 세무 준수 사항이나 탈중앙화된 거래소 같은 곳에서 규제 활동이 훨씬 저렴한 비용으로 수행되도록 할 것입니다.
마지막으로 카르다노의 로드맵에서는 변경 가능성, 소비자 보호 그리고 중재를 위해 사용자가 작성한 스마트 컨트랙트와 상호 작용할 수 있도록 맞춤 제작할 수 있는 모듈러 규제 DAO를 만드는 것이 포함되어 있습니다. 이 프로젝트의 범위는 추후의 백서에서 서술할 것입니다.
이 모든 것의 요점은 무엇입니까?
카르다노는 암호통화산업의 내 외부에 있는 수 백 명의 현명한 사람들로부터 피드백을 받는 마라톤 프로젝트였습니다. 지칠 줄 모르는 반복, 피어 리뷰의 적극적인 사용, 그리고 공개된 훌륭한 아이디어들을 부끄럼 없이 훔치는 일들이 포함되었습니다.
다음 섹션들은 각각 우리가 프로젝트의 핵심 구성 요소로 결정한 특정 측면을 다룹니다. 일부는 전반적인 모범 사례를 개선하고자 하는 욕구에서 선택되었지만 일부는 카르다노의 진화에 국한된 것들입니다.
어떤 프로젝트도 모든 목표를 충족시키거나 모든 사용자를 만족시킬 수는 없지만 스스로 진화하는 금융 스택이 결여된 관할 기관에게 비전을 제시하기를 희망합니다. 암호통화의 궁극적인 현실은 암호통화가 현존하는 레거시 금융 시스템을 혼란스럽게 하는 것이 아닙니다. 레거시 금융 시스템들은 언제나 변화를 흡수하고 자신들의 형태나 기능을 유지할 수 있습니다.
오히려 기존 은행 시스템을 배치하기에는 너무 비싸고, 하루에 몇 달러 미만의 돈으로 살면서 안정적인 신원 정보도 없고 신용을 찾기란 불가능한 그런 곳을 고려해 보아야 합니다.
이러한 곳에서는 휴대폰에 결제 시스템, 재산권, 신원, 신용 그리고 리스크 보호가 하나의 어플리케이션으로 묶여 들어간다는 것이 그저 유용한 것일 뿐 아니라 삶을 바꾸는 것입니다. 우리가 카르다노를 만드는 이유는 개발 도상국들에 있어 이 비전을 제공하거나 최소한 발전시킬 수 있는 좋은 기회라고 느끼기 때문입니다.
만약 실패하더라도, 우리가 암호통화가 설계되고 진화되고 자금을 받는 방식을 바꿀 수 있다면 그 것은 엄청난 성취가 될 것입니다.
1: 규제 섹션에 리스트가 있습니다
2: University of Connecticut, University of Athens, University of Edinburgh, Aarhus University, Tokyo Institute of Technology
3: 이것은 재무 시스템이라고도 합니다.
5: 곧 Kiayias, Zindros와 Miller의 논문이 나옵니다.
6: 구체적인 내용은 추후의 사양에 발표될 것입니다. 전체 언어는 2017년 4분기 Shelley CSL 릴리즈에서 지원될 예정입니다.
7: Project ACTUS는 심도있는 정교함을 가지고 있습니다.
8: 이것은 Cardano의 HD Wallet 구현을 위한 문서입니다. 우리는 Cardano가 Ed25519 HD 월렛을 지원하는 최초의 암호 해독이라고 믿습니다
9: cardanoroadmap.com 참고
10: 같은 목적을 달성하기 위해 독자적으로 연구된 프로토콜들이 있습니다. Elastico와 Bitcoin-NG 입니다.
11: Loi Luu 외. 그들의 최신 뉴스에서 이 격차(gap)에 대한 논의. Making Smart Contract Smarter
12: Grigore Rosu에 의해 발명 외. K는 독립적인 기계가 의미론적으로 실행가능하게하는 언어를 위한 보편적인 프레임워크.
13: 다른 합의 노드가 다른 스마트컨트랙에서 동작하는 의미. 또한 상태 공유로 알려져 있음.
14: http://hackingdistributed.com/2016/12/22/scaling-bitcoin-with-secure-hardware/ 참고. from Cornell University
15: BIP39 https://github.com/bitcoin/bips/blob/master/bip-0039.mediawiki 참조
16: 자본 이동 대책의 사례, Hawala Banking System 참고
17: Advance-fee Scam 참고
이상 https://whycardano.com/kr/ 에서 인용