卡尔达诺设计原理

소개

암호화폐 설계를 개선하여 작업할 수 있도록 하는 장기적인 관점 합리적이고 안전한 사용자 경험을 갖춘 모바일 장치 ● 이해관계자들이 암호화폐의 운영 및 유지 관리에 더 가까이 다가갈 수 있도록 합니다. ● 동일한 원장에서 여러 자산을 회계 처리해야 할 필요성 인정 ● 더 나은 준수를 위해 선택적 메타데이터를 포함하도록 트랜잭션을 추상화합니다. 레거시 시스템의 요구 사항 ● 의미 있는 기능을 수용하여 약 1,000개의 알트코인으로부터 학습 ● Internet Engineering Task Force에서 영감을 받은 표준 기반 프로세스를 채택합니다. 최종 프로토콜 설계를 확정하기 위한 전용 기반
● 상거래의 사회적 요소 살펴보기
● 규제 당국이 아무런 규제 없이 상거래와 상호 작용할 수 있는 건전한 중간 지점을 찾으세요. Bitcoin에서 상속된 일부 핵심 원칙을 손상시킵니다.

이 구조화되지 않은 아이디어 세트에서 Cardano 작업을 수행하는 교장은 두 가지 모두를 탐구하기 시작했습니다.

암호화폐 문헌을 작성하고 추상화 도구 세트를 구축합니다. 이번 연구의 결과물은

IOHK의 광범위한 논문 라이브러리, 최근 스크립팅과 같은 수많은 설문 조사 결과

언어 개요, 스마트 계약의 온톨로지 및 Scorex 프로젝트. 수업

양보 안 감사 에 대한 는 암호화폐 업계의 특이한 그리고 ~에 배

역효과적인 성장.

첫째, TCP/IP와 같은 성공적인 프로토콜과 달리 프로토콜 설계에는 계층화가 거의 없습니다.

암호화폐. 주위에 합의에 대한 단일한 개념을 보존하려는 욕구가 있어 왔습니다.

사실과 사건은 그것이 의미가 있는지 여부에 관계없이 단일 원장에 기록됩니다.

예를 들어, Ethereum은(는)

범용 세계 컴퓨터이지만 잠재적으로 시스템을 파괴할 수 있는 사소한 문제로 어려움을 겪고 있습니다.

가치저장수단으로 작동하는 능력. 모든 사람의 프로그램이 일류 시민이 되어야 할까요?

경제적 가치, 유지 비용 또는 규제 결과에 관계없이?

둘째, 주류 암호화 연구의 이전 결과에 대한 평가가 거의 없습니다. 에 대한

예를 들어, Bitshares의 위임된 지분 증명은 쉽고 안정적으로 무작위를 생성할 수 있었습니다.

출력 전달이 보장된 동전 던지기를 사용하여 숫자를 계산합니다. 이는 이후 알려진 기술입니다.

1980년대(Rabin과 Ben-Or의 주요 논문 참조).

셋째, 대부분의 알트코인(Tezos와 같은 몇 가지 주목할만한 예외를 제외하고)은 수익을 내지 못했습니다.

향후 업데이트를 위한 편의시설입니다. 소프트포크나 하드포크를 성공적으로 추진하는 능력은 매우 중요합니다.

모든 암호화폐의 장기적인 성공을 위해.

결과적으로 기업 사용자는 수백만 달러 상당의 리소스를 투자할 수 없습니다.

로드맵과 그 뒤에 있는 행위자가 일시적이거나 사소하거나 급진적인 프로토콜입니다. 거기

우리가 카르다노를 만드는 이유 크리에이티브 커먼즈 저작자표시 4.0 국제 라이선스 페이지 3/44IOHK | 우리가 카르다노를 만드는 이유 | 2017년 6월 28일

비전을 중심으로 사회적 합의가 형성될 수 있는 효율적인 프로세스가 필요합니다.

기본 프로토콜을 발전시킵니다. 이 과정이 엄청나게 부담스럽다면, 단편화

커뮤니티를 분열시킬 수 있습니다.

마지막으로, 돈 이다 궁극적으로 에 사회적 현상. 익명화를 위한 노력과

중개되지 않은 중심 행위자, Bitcoin 및 그 동시대 사람들도

상업 거래에서 안정적인 신원, 메타데이터 및 평판. 이러한 데이터 추가

중앙 집중식 솔루션을 통해 감사 가능성, 글로벌 가용성 및 불변성이 제거됩니다.

이것이 blockchain 사용의 요점입니다.

SWIFT, FIX 및 ACH로 구성된 기존 금융 시스템에는

트랜잭션 메타데이터. 계정 간에 얼마나 많은 가치가 이동했는지 아는 것만으로는 충분하지 않습니다.

규제에는 종종 관련 행위자의 귀속, 규정 준수 정보, 보고가 필요합니다.

의심스러운 활동, 기타 기록 및 행위. 어떤 경우에는 메타데이터가 더

거래보다 중요합니다.

따라서 메타데이터 조작이 다음과 같은 해로울 수 있다고 추론하는 것이 합리적으로 보입니다.

화폐를 위조하거나 거래 내역을 다시 작성하는 행위. 배우들을 위한 숙소를 마련하지 않음

이러한 분야를 자발적으로 포함하려는 사람은 주류 채택에 역효과를 낳는 것 같습니다.

그리고 소비자 보호.

체류의 끝

암호화폐 공간에 대한 우리의 원칙적인 탐구의 집합체는

프로토콜. 각각, 입증 가능한 안전한 지분 증명 [1][2] 기반 암호화폐인

Cardano 정착 계층(CSL) 및 Cardano 계산 계층이라는 프로토콜 세트

(CCL).

우리의 디자인 강조점은 암호화폐의 사회적 측면을 수용하고 계층을 구축하는 것입니다.

복잡한 계산과 가치 계산을 분리하여

여러 불변 원칙의 범위 내에 있는 규제 기관입니다. 게다가 합리적인 곳에서는

1 우리는 동료 검토를 통해 제안된 프로토콜을 조사하고 공식 프로토콜과 비교하여 코드를 확인하려고 시도합니다.

사양.

1 목록은 규제 섹션을 참조하세요. 우리가 카르다노를 만드는 이유 크리에이티브 커먼즈 저작자표시 4.0 국제 라이선스 페이지 4/44IOHK | 우리가 카르다노를 만드는 이유 | 2017년 6월 28일

지분 증명

암호화폐에 지분 증명을 사용하는 것은 뜨거운 논쟁을 불러일으키는 설계 선택입니다.

안전한 투표를 도입하는 메커니즘을 추가하고, 확장할 수 있는 용량이 더 많으며, 더 많은 것을 허용합니다.

이국적인 인센티브 제도를 채택하기로 결정했습니다.

우리의 지분 증명 프로토콜은 Ouroboros라고 불리며 극도로 설계되었습니다.

Aggelos 교수가 이끄는 5개 학술 기관의 재능 있는 암호 전문가 팀

2 에딘버러 대학의 키아이아스(Kiayias). 보안이 입증된 것 이상의 핵심 혁신

엄격한 암호화 모델을 사용하는 것은 다음을 허용하는 모듈식의 유연한 설계입니다.

기능을 향상시키기 위해 많은 프로토콜을 구성합니다.

이 모듈성은 위임, 사이드체인, 구독 가능한 체크포인트,

라이트 클라이언트를 위한 더 나은 데이터 구조, 다양한 형태의 난수 생성 및 심지어

다른 동기화 가정. 네트워크가 수천에서 수천으로 발전함에 따라

수백만, 심지어 수십억 명의 사용자가 있는 경우 합의 알고리즘의 요구 사항도

변화. 따라서 이러한 변화를 수용할 수 있는 충분한 유연성을 확보하는 것이 중요합니다.

미래를 보장하는 암호화폐의 핵심입니다.

돈의 사회적 요소

암호화폐는 돈의 사회적 요소를 보여주는 대표적인 예입니다. 제한할 때

기술적으로만 분석하면 Bitcoin과 Litecoin 사이에는 거의 차이가 없으며 심지어

Ethereum와 Ethereum 클래식 사이에서는 덜 그렇습니다. 그러나 Litecoin 및 Ethereum 클래식 모두

대규모 시가총액과 강력하고 역동적인 커뮤니티는 물론 자체 커뮤니티도 유지합니다.

사회적 명령.

암호화폐 가치의 상당 부분이 커뮤니티에서 파생된다고 주장할 수 있습니다.

통화를 사용하는 방식 및 통화 진화에 대한 참여 수준. 발전

생각해보면 대시와 같은 통화는 시스템을 프로토콜에 직접 통합하여

개발과 자금 조달의 우선순위가 무엇인지 결정하는 데 커뮤니티를 참여시키세요.

2 코네티컷 대학교, 아테네 대학교, 에든버러 대학교, 오르후스 대학교, 도쿄 기술연구소 우리가 카르다노를 만드는 이유 크리에이티브 커먼즈 저작자표시 4.0 국제 라이선스 페이지 5/44IOHK | 우리가 카르다노를 만드는 이유 | 2017년 6월 28일

암호화폐의 광범위한 다양성은 또한 사회적 요소에 대한 증거를 제공합니다.

철학, 통화 정책, 심지어 핵심 개발자 간의 의견 차이

조각화 및 포크가 발생합니다. 그러나 암호화폐와 달리 법정화폐는

초강대국은 통화 위기나 위기 없이 정치적 변화와 지역적 불일치에서 살아남는 경향이 있습니다.

대량 탈출.

따라서 레거시 시스템의 요소 중 누락된 부분이 있는 것으로 보입니다.

암호화폐 산업. 우리는 Cardano 로드맵에 다음과 같이 주장하고 있습니다.

프로토콜 사용자는 프로토콜 이면의 사회적 계약을 이해하기 위해 인센티브가 필요하며,

생산적인 방식으로 변화를 제안할 자유가 있습니다. 이 자유는 모든 사람에게 적용됩니다.

시장을 어떻게 규제해야 하는지 결정하는 것부터 가치 교환 시스템의 측면까지

프로젝트에 자금이 지원되어야 합니다. 그러나 중앙화된 행위자를 통해 중개될 수 없으며 요구할 수도 없습니다.

자금이 넉넉한 소수가 선택할 수 있는 특별한 자격증입니다.

Cardano은(는) CSL 위에 구축된 오버레이 프로토콜 시스템을 구현하여

사용자의 요구 사항.

첫째, 부트스트랩 개발을 위한 크라우드세일의 성공 여부에 관계없이 자금은 결국

소멸하다. 따라서 Cardano에는 분산형 신뢰가 포함됩니다. 단조롭게 자금을 조달

3 인플레이션 및 거래 수수료 감소.

모든 사용자는 투표 시스템을 통해 신탁으로부터 자금을 요청할 자격이 있어야 하며

CSL의 이해관계자들은 누가 수혜자가 될지 투표합니다. 프로세스는 생산적인

대시와 같은 재무/신탁 시스템을 갖춘 다른 암호화폐에서 볼 수 있는 피드백 루프

누구에게 자금을 지원해야 하고, 누구에게 자금을 지원해서는 안 되는지에 대한 대화를 시작합니다.

자금 조달 논의는 장기 및 단기 목표의 관계, 암호화폐의 사회적 관계를 강제합니다.

계약, 우선순위 및 특정 제안을 통한 가치 창출에 대한 믿음. 이 대화

커뮤니티가 자신의 신념을 가능성에 대해 지속적으로 평가하고 토론하고 있음을 의미합니다.

로드맵.

둘째, 우리는 Cardano이 결국 공식적인 blockchain 기반 시스템을 포함하게 되기를 바랍니다.

소프트 포크와 하드 포크를 모두 제안하고 투표합니다. Bitcoin에서는 블록 크기에 대한 논쟁이 있고, Ethereum에서는

DAO 포크와 기타 많은 암호화폐는 오랫동안 지속되어 왔으며,

빈번한 사례, 코드베이스의 기술적, 도덕적 방향에 대한 해결되지 않은 논쟁.

이러한 불일치 중 많은 부분이

조치를 취했을 때 발생하는 커뮤니티는 공식적인 프로세스가 부족하여 발생한 직접적인 결과입니다.

변화를 논의하고 있습니다.
3 이는 재무 시스템이라고도 알려져 있습니다. 우리가 카르다노를 만드는 이유 크리에이티브 커먼즈 저작자표시 4.0 국제 라이선스 페이지 6/44IOHK | 우리가 카르다노를 만드는 이유 | 2017년 6월 28일

Bitcoin 사용자가 분리된 증인을 채택하도록 설득하려면 어디로 가야 합니까? 어떻게해야합니까?

Ethereum의 핵심 개발자는 DAO을 구제하기 위한 커뮤니티 감정을 측정합니까? 만약

커뮤니티 균열, 암호화폐는 수리할 수 없을 정도로 손상되었나요?

최악의 경우 행동할 수 있는 도덕적 권한이 개발자를 보유한 사람에게만 위임될 수도 있습니다.

인프라 관계와 돈은 대다수의 최선의 소망이 아닙니다.

커뮤니티. 더욱이, 커뮤니티의 상당 부분이 접근이 불가능하거나 연결이 끊어진 경우

나쁜 인센티브에 대해 그렇다면 자신의 행위가 합법적인지 어떻게 알 수 있습니까? 4

Tezos와 같이 제안된 암호화폐는 어디에 있는지 조사할 수 있는 흥미로운 모델을 제공합니다.

암호화폐 프로토콜은 세 부분(거래,

합의 및 네트워크)를 통해 헌법을 업데이트하는 일련의 공식 규칙 및 프로세스를 제공합니다. 아직

인센티브와 정확히 어떻게 모델링하고 변경해야 하는지에 대해 해야 할 일이 많이 남아 있습니다.

공식적인 언어를 사용하는 암호화폐입니다.

공식적인 방법의 사용, 기계가 이해할 수 있는 사양 및 재무부와 재무부 병합

재정적 인센티브를 위한 이러한 프로세스는 영감을 얻을 수 있는 방법으로 탐구되고 있습니다.

궁극적으로 투명하고 검열 없는 방식으로 프로토콜 변경을 제안할 수 있는 능력

blockchain 기반 투표를 사용하면 더 우아한 솔루션이 불가능하더라도 프로세스가 개선되어야 합니다.

설계될 것.

레이어 디자인 – Cardano 정착 레이어

훌륭한 프로토콜과 언어를 설계할 때 미래를 바라볼 것이 아니라 미래를 바라봐야 합니다. 과거. 역사는 종이에 완벽하지만 훌륭한 아이디어의 예를 많이 제공합니다. Open Systems Interconnection 표준과 같이 어떻게 든 살아남지 못했습니다. 역사도 TCP/IP에서 JavaScript까지 견뎌낸 행복한 우연을 제공합니다.

역사적 관점에서 추출한 몇 가지 원칙은 다음과 같습니다.

1. 미래를 예측할 수 없으므로 여유를 갖고 구축하세요.
2. 서류상으로는 복잡성이 좋지만 일반적으로 단순성이 승리합니다. 3. 요리사가 너무 많으면 국물이 망가진다 4. 일단 표준이 설정되면 그것이 표준인지 여부에 관계없이 계속 유지될 것입니다. 최적이 아닌 4 합리적 무지를 보라
우리가 카르다노를 만드는 이유 크리에이티브 커먼즈 저작자표시 4.0 국제 라이선스 페이지 7/44IOHK | 우리가 카르다노를 만드는 이유 | 2017년 6월 28일

5. 나쁜 아이디어는 의지가 있으면 실제로 꽤 좋은 아이디어로 발전할 수 있습니다.

Cardano은 사회적 성격을 수용하는 금융 시스템입니다. 엄청난 수요가 있을 것이다 특정 사용자의 거래에서 임의의 복잡성을 해결하는 유연성과 능력을 위해. 만약에 성공하려면 엄청난 컴퓨팅, 스토리지 및 네트워크 리소스가 필요합니다. 수백만 개의 동시 트랜잭션을 수용합니다.

그러나 우리에게는 부유한 노드에서 가져와 다른 사람들에게 줄 수 있는 디지털 분산형 로빈후드가 없습니다. 공정한 네트워크를 이루기 위해 가난한 사람들. 우리는 인간을 믿을 여유도 없습니다. 네트워크의 더 큰 이익을 위해 이타적으로 희생하는 자비입니다. 따라서 Cardano의 디자인은 TCP/IP에서 관심사 분리 개념을 차용합니다.

블록체인은 궁극적으로 다음에 대한 보장을 통해 사실과 사건을 주문하는 데이터베이스입니다. 타임스탬프와 불변성. 돈의 맥락에서 그들은 자산의 소유권을 명령합니다. 추가 프로그램을 저장하고 실행하는 복잡한 계산은 직교 개념입니다. 우리가 원하는가 Alice에서 Bob에게 얼마나 많은 가치가 전달되었는지 알고 싶습니까? 아니면 알아내는 데 참여하고 싶습니까? 거래 뒤에 숨겨진 전체 이야기와 보낼 금액을 결정하는 방법은 무엇입니까?

더 유연하기 때문에 Ethereum이 그랬던 것처럼 후자를 선택하는 것은 믿을 수 없을 정도로 유혹적입니다. 그러나 이는 위의 설계 원칙을 위반합니다. 스토리를 파악한다는 것은 단일 프로토콜이 임의의 이벤트를 이해하고, 임의의 트랜잭션을 스크립트로 작성하고, 중재를 허용할 수 있어야 합니다. 사기 사건이 발생하고 새로운 정보가 유출되면 역거래가 발생할 가능성도 있습니다. 가능합니다.

그런 다음 각각에 대해 저장할 메타데이터에 대해 어려운 설계 결정을 내려야 합니다. 거래. Alice와 Bob의 거래 뒤에 숨겨진 이야기의 어떤 요소가 관련이 있습니까? 아르 영원히 관련이 있나요? 일부 데이터는 언제 버릴 수 있나요? 그렇게 하면 법률에 위배됩니까? 일부 국가?

게다가 일부 계산은 본질적으로 비공개입니다. 예를 들어 평균을 계산할 때 사무실 직원의 급여에 대해 우리는 각 사람의 급여가 얼마인지 유출하고 싶지 않을 것입니다. 만든다. 하지만 모든 계산이 공개적으로 알려지면 어떻게 될까요? 이 홍보가 실행을 편향한다면 어떻게 될까요? 결과에 해를 끼치기 위해?

따라서 우리는 가치 계산을 가치 계산과 분리해야 한다는 입장을 선택했습니다. 가치가 옮겨진 이유에 대한 이야기. 즉, 가치와 계산의 분리입니다. 이러한 분리는 Cardano가 smart contract을 지원하지 않는다는 의미는 아닙니다. 반대로, 분리를 명시적으로 함으로써 설계, 사용, smart contracts의 개인 정보 보호 및 실행.

우리가 카르다노를 만드는 이유 크리에이티브 커먼즈 저작자표시 4.0 국제 라이선스 페이지 8/44IOHK | 우리가 카르다노를 만드는 이유 | 2017년 6월 28일

가치 원장은 Cardano 정산 계층(CSL)이라고 합니다. 회계처리하는 것이 목적이므로 가치를 추구하는 로드맵에는 다음과 같은 목표가 있습니다.

1. 두 가지 스크립팅 언어 세트 지원(하나는 가치 이동, 다른 하나는 향상) 오버레이 프로토콜 지원
2. KMZ 사이드체인이 다른 원장에 연결되도록 지원 5 3. 더 높은 수준의 양자 저항 서명을 포함한 다양한 유형의 서명 지원 보안
4. 여러 사용자가 발행한 자산 지원 5. 진정한 확장성 달성, 즉 더 많은 사용자가 참여할수록 시스템 기능이 향상됩니다. 증가하다

스크립팅

스크립팅 언어부터 시작하여 원장의 주소 간 거래에는 다음이 필요합니다. 실행되고 유효성이 입증되는 스크립트 형식입니다. 이상적으로는 Eve가 액세스하는 것을 원하지 않습니다. 앨리스의 돈, 잘못 설계된 스크립트로 인해 실수로 죽은 사람에게 가치가 전송되는 것을 원하지 않을 것입니다. 자금을 회수할 수 없게 만드는 주소.

Bitcoin과 같은 시스템은 유연성이 매우 낮고 엄격한 스크립팅 언어를 제공합니다. 맞춤형 거래를 프로그래밍하고 읽고 이해하는 것은 어렵습니다. 그래도 일반 Solidity와 같은 언어의 프로그래밍 가능성으로 인해 엄청난 복잡성이 발생합니다. 시스템에 도입되며 훨씬 더 작은 액터 세트에만 유용합니다.

따라서 우리는 창조자를 기리기 위해 Simon이라는 새로운 언어를 디자인하기로 결정했습니다. 6 사이먼 톰슨(Simon Thompson)과 이에 영감을 준 개념의 창시자 사이먼 페이튼 존스(Simon Peyton Jones). 사이먼은 계약 작성: 금융 분야의 모험을 기반으로 하는 도메인별 언어 공학.

주요 아이디어는 금융 거래가 일반적으로 일련의 집합으로 구성된다는 것입니다. 기본 요소 . 금융 주기율표를 구성하면 다음과 같은 결과를 얻을 수 있습니다. 7 그렇지 않은 경우 대부분을 포함하는 임의의 대규모 복합 트랜잭션 세트에 대한 지원을 제공합니다. 일반적인 프로그래밍 기능이 필요하지 않은 일반적인 거래 유형입니다.

5 Kiayias, Zindros 및 Miller의 논문이 곧 발표될 예정입니다. 6가지 세부 사항은 향후 사양에서 공개될 예정입니다. 전체 언어는 다음에서 지원됩니다. Shelley CSL 릴리스는 2017년 4분기로 예정되어 있습니다. 7 프로젝트 ACTUS는 심도 있는 연구를 통해
우리가 카르다노를 만드는 이유 크리에이티브 커먼즈 저작자표시 4.0 국제 라이선스 페이지 9/44IOHK | 우리가 카르다노를 만드는 이유 | 2017년 6월 28일

가장 큰 장점은 보안과 실행을 매우 잘 이해할 수 있다는 것입니다. 증명 템플릿의 정확성을 보여주고 실행 공간을 소모하도록 작성될 수 있습니다. 허공에서 새로운 돈이 창출되거나 거래되는 등 문제가 있는 거래 이벤트 가단성. 둘째, 다음과 같은 경우 소프트 포크를 통해 더 많은 요소를 추가하기 위해 확장 기능을 그대로 둘 수 있습니다. 새로운 기능이 필요합니다.

즉, CSL을 오버레이 프로토콜, 레거시 금융 서비스에 연결해야 하는 필요성은 항상 존재합니다. 시스템 및 특수 목적 서버. 따라서 우리는 Plutus를 두 일반으로 개발했습니다. 목적 smart contract 언어 및 상호 운용성을 위한 특수 목적 DSL.

Plutus는 Haskell의 개념을 기반으로 한 형식화된 함수형 언어입니다. 사용자 정의 트랜잭션 스크립트를 작성합니다. CSL의 경우 다음과 같은 복잡한 거래에 사용됩니다. 사이드체인 체계와 같이 연결해야 하는 다른 레이어에 대한 지원을 추가합니다.

사이드체인

사이드체인과 관련하여 Cardano은 Kiayias, Miller 및 작업 증명 증명의 이전 결과를 기반으로 하는 Zindros(KMZ 사이드체인). 특별한 디자인은 이 문서의 범위를 벗어납니다. 그러나 이 개념은 안전하고 CSL에서 Cardano 계산 계층 또는 기타로의 비대화형 자금 이동 blockchain 프로토콜을 지원합니다.

KMZ 사이드체인은 복잡성을 캡슐화하는 핵심입니다. 규제 요구 사항이 있는 원장, 개인 운영, 강력한 스크립팅 언어 및 기타 특별한 문제는 사실상 흑자입니다. 상자를 CSL에 추가하지만 CSL 사용자는 회계 및 다음 기능에 대한 특정 보장을 받게 됩니다. 계산이 완료되면 자금을 회수합니다.

서명

Alice에서 Bob으로 가치를 안전하게 이동하려면 Alice는 자신에게 다음과 같은 권리가 있음을 증명해야 합니다. 자금을 이동합니다. 이 작업을 수행하는 가장 직접적이고 신뢰할 수 있는 방법은 공개 데이터베이스를 사용하는 것입니다. 자금이 공개 키에 연결되고 Alice가 제어하는 키 서명 체계 연관된 개인 키.

보안 매개변수와 가정이 서로 다른 수백 가지 가능한 체계가 있습니다. 일부는 타원 곡선과 관련된 수학적 문제에 의존하는 반면 다른 것들은 격자를 사용하여 이국적인 개념과 연결됩니다.
우리가 카르다노를 만드는 이유 크리에이티브 커먼즈 저작자표시 4.0 국제 라이선스 페이지 10/44IOHK | 우리가 카르다노를 만드는 이유 | 2017년 6월 28일

추상적인 목표는 항상 동일합니다. 그렇지 않으면 풀 수 없는 어려운 문제가 존재한다. 누군가가 비밀스러운 지식을 가지고 있습니다. 이 지식의 소유자는 다음과 같습니다. 키 쌍의 소유자이며 이를 사용할 수 있는 유일한 엔터티여야 합니다.

암호화폐가 서명 체계를 선택할 때 직면하게 되는 두 가지 우려 사항이 있습니다. 첫째, 체계 자체의 장기적인 보안 내구성이 있습니다. 일부 암호화 DES와 같이 1970년대와 1980년대에 사용되었던 체계가 깨졌습니다. 해당 기간은 그 계획은 생존할 것으로 예상되어야 하며 이에 대한 결정이 이루어져야 합니다.

둘째, 선호하는 기업, 정부 및 기타 기관이 많이 있습니다. 어떤 경우에는 특정 체계의 사용을 의무화했습니다. 예를 들어, NSA는 스위트 B 프로토콜 세트. 암호화에 대한 ISO 및 W3C 작업 그룹의 표준이 있습니다.

암호화폐가 단일 서명 방식을 선택하면 해당 방식을 수락해야 합니다. 미래의 어느 시점에 손상될 수 있으며 적어도 하나의 엔터티는 법적 또는 산업적 제한으로 인한 암호화폐. 그러나 암호화폐는 모든 것을 지원할 수는 없습니다. 서명 체계를 사용하려면 모든 클라이언트가 각 체계를 이해하고 검증해야 합니다.

Cardano의 경우, 우리는 타원 곡선 암호화인 Ed25519 곡선을 사용하여 시작하기로 결정했습니다. 특히. 또한 HD 지갑에 대한 지원을 추가하여 기존 라이브러리를 개선하기로 결정했습니다. Dmitry Khovratovich 박사와 Jason Law의 사양을 사용합니다.
8

즉, Cardano은 앞으로 더 많은 서명 체계를 지원할 예정입니다. 특히, 우리는 우리 시스템에 양자 컴퓨터 저항 서명을 추가하기 위해 BLISS-B를 통합하는 데 관심이 있습니다. 우리는 또한 레거시와의 상호 운용성을 향상시키기 위해 SECP256k1을 추가하는 데 관심이 있습니다. Bitcoin와 같은 암호화폐.

Cardano은 더 많은 서명을 추가할 수 있는 특수 확장 기능으로 설계되었습니다. 소프트 포크를 통한 계획. 필요에 따라 추가될 예정이며 주요 업데이트가 예정되어 있는 동안 추가될 예정입니다. 로드맵.
9

사용자 발행 자산(UIA)

Bitcoin의 역사 초기에 사용자가 자산을 발행할 수 있도록 프로토콜이 빠르게 개발되었습니다. 여러 통화를 동시에 추적하기 위해 Bitcoin의 회계 시스템에 편승했습니다. 8 Cardano의 HD Wallet 구현 문서입니다. 우리는 Cardano이 첫 번째라고 믿습니다. Ed25519 HD 지갑을 지원하는 암호화폐
9 Cardanoroadmap.com 참조
우리가 카르다노를 만드는 이유 크리에이티브 커먼즈 저작자표시 4.0 국제 라이선스 페이지 11/44IOHK | 우리가 카르다노를 만드는 이유 | 2017년 6월 28일

이러한 프로토콜은 Bitcoin 프로토콜에서 기본적으로 지원되지 않았지만 다음을 통해 구현되었습니다. 영리한 해킹.

Colored Coins 및 Mastercoin(현재 Omni라고 함)과 같은 Bitcoin 오버레이의 경우, 빛 클라이언트는 신뢰할 수 있는 서버에 의존해야 합니다. 또한 거래 수수료는 여전히 지불되어야 합니다. 비트코인. 트랜잭션 승인을 위한 단일 파이프라인과 결합된 이러한 속성은 Bitcoin 다중 자산 회계에는 최적이 아닙니다.

ERC20 표준을 사용하는 Ethereum 사례에는 기능이 더 풍부합니다. 그러나, 거래 수수료에는 여전히 이더가 필요합니다. 게다가 Ethereum 네트워크에 문제가 있습니다. 발행된 모든 ERC20 token의 요구 사항에 맞게 확장합니다.

근본적인 문제는 자원, 인센티브, 관심의 세 부분으로 나눌 수 있습니다. 자원과 관련하여 동일한 원장에 완전히 새로운 통화를 추가한다는 것은 두 개의 독립적인 UTXO(사용되지 않은 트랜잭션 입력) 세트는 대역폭, mempool 및 블록 공간. 이러한 통화의 거래를 내장하는 책임을 맡은 합의 노드 그러기 위해서는 인센티브가 필요하다. 그리고 암호화폐의 모든 사용자가 다음 사항에 관심을 두거나 신경써야 하는 것은 아닙니다. 특정 기업의 통화.

이러한 문제를 감안할 때 다중 자산 원장의 주요 token 이점은 엄청납니다. 분산형 시장 형성을 가능하게 하는 가교 통화 역할을 효과적으로 수행할 수 있습니다. 특별 목적자산은 다음과 같은 가치안정자산과 같은 추가적인 효용을 제공하기 위해 발행될 수 있습니다. 대출 및 송금 신청에 유용한 Tether 또는 MakerDAO입니다.

이러한 어려움을 감안하여 Cardano은 다중 자산 회계에 대한 실용적인 접근 방식을 채택했습니다. 단계적으로 구축하는 경우 첫 번째 과제는 다음을 지원하는 데 필요한 인프라를 설계하는 것입니다. 수천 개의 UIA 요구사항 즉, 다음과 같은 개선이 필요합니다.

1. 매우 큰 규모의 추적을 허용하는 특수 목적 인증 데이터 구조 UTXO 상태

2. 엄청난 양의 보류 중인 트랜잭션을 보관할 수 있는 분산된 멤풀을 보유하는 기능
3. 거대한 글로벌 blockchain을 허용하는 블록체인 파티셔닝 및 체크포인트 4. 다양한 집합을 포함하는 합의 노드에 보상을 제공하는 인센티브 체계 거래 5. 사용자가 추적하려는 통화를 결정할 수 있는 구독 메커니즘
6. UIA가 기본 자산과 유사한 보안을 누릴 수 있도록 강력한 보안이 보장됩니다. 7. UIA와 UIA 간의 유동성 개선을 위한 분산형 시장 조성 지원 기본 token

우리가 카르다노를 만드는 이유 크리에이티브 커먼즈 저작자표시 4.0 국제 라이선스 페이지 12/44IOHK | 우리가 카르다노를 만드는 이유 | 2017년 6월 28일

올바른 인증된 데이터 구조를 찾기 위한 우리의 예비 노력은 새로운 결과를 가져왔습니다. Leo Reyzin, IOHK, Waves가 공동 개발한 AVL+ 트리 유형입니다. 더 많은 연구가 필요하며, 하지만 이는 Cardano의 최신 버전에 포함될 기본적인 개선 사항입니다.

분산형 멤풀은 Stanford University의 RAMCloud 프로토콜을 사용하여 구현할 수 있습니다. Cardano의 합의 계층으로의 통합을 연구하기 위한 실험은 2017년 3분기에 시작됩니다.

나머지 주제는 상호 연결되어 있으며 지속적인 연구를 통해 다뤄집니다. 우리는 기대합니다 - 주제 결과 연구 — CSL의 Basho 동안 UIA에 대한 프로토콜을 Cardano에 포함 2018년 출시.

확장성

분산 시스템은 프로토콜을 실행하는 데 동의하는 일련의 컴퓨터(노드)로 구성됩니다.

공통의 목표를 달성하기 위한 프로토콜 모음입니다. 이 목표는 다음에 정의된 대로 파일을 공유하는 것일 수 있습니다.

BitTorrent 프로토콜 또는 Folding@Home을 사용하여 단백질을 접습니다.

가장 효과적인 프로토콜은 노드가 네트워크에 참여할 때 리소스를 얻습니다. 다음이 호스팅하는 파일

예를 들어, BitTorrent는 많은 피어가 있는 경우 평균적으로 훨씬 더 빠르게 다운로드될 수 있습니다.

동시에 다운로드 중입니다. 피어가 리소스를 제공하는 동안 속도가 증가합니다.

또한 그들을 소비합니다. 이 특성은 분산을 기술할 때 일반적으로 의미하는 것입니다.

시스템 규모.

현재 모든 암호화폐 설계의 과제는 실제로는 그렇지 않다는 것입니다.

확장 가능하도록 설계되었습니다. 예를 들어, 블록체인은 일반적으로 추가 전용 연결 목록입니다.

블록. blockchain 프로토콜의 보안과 가용성은 많은 노드에 의존합니다.

blockchain 데이터의 전체 사본을 소유하고 있습니다. 따라서 단일 바이트의 데이터를 복제해야 합니다.

N개의 노드 중에서. 추가 노드는 추가 리소스를 제공하지 않습니다.

이 결과는 트랜잭션 처리 및 전체 메시지 험담에 대해 동일합니다.

시스템. 합의 시스템에 더 많은 노드를 추가해도 추가 노드가 제공되지 않습니다.

거래 처리 능력. 이는 동일한 작업을 수행하는 데 더 많은 리소스가 소비되어야 함을 의미합니다.

직업. 더 많은 네트워크 중계는 더 많은 노드가 동일한 메시지를 전달해야 한다는 것을 의미합니다.

전체 네트워크를 최신 블록과 동기화합니다.

이 토폴로지를 고려할 때 암호화폐는 레거시와 동등한 글로벌 네트워크로 확장될 수 없습니다.

금융 시스템. 이와 대조적으로 레거시 인프라는 확장 가능하며 다음과 같은 규모의 규모를 갖습니다.

더 많은 처리 및 저장 능력. 특정 지점을 추가하면 Bitcoin은 매우 작은 네트워크입니다.

다른 결제 서비스에 비해 현재 부하를 관리하는 데 어려움을 겪고 있습니다.
우리가 카르다노를 만드는 이유 크리에이티브 커먼즈 저작자표시 4.0 국제 라이선스 페이지 13/44IOHK | 우리가 카르다노를 만드는 이유 | 2017년 6월 28일

Cardano에 대한 확장성 목표는 합의 알고리즘의 도움을 많이 받습니다. 우로보로스

합의 노드의 정족수를 선출하는 분산화된 방식을 허용하며, 이는 더 많은 실행을 가능하게 합니다.

대규모 요구 사항을 수용하기 위해 지난 20년 동안 개발된 전통적인 프로토콜

Google 및 Facebook과 같은 인프라 제공업체.
10

예를 들어, 한 시대에 대한 정족수를 선출한다는 것은 신뢰할 수 있는 노드 집합이 있다는 것을 의미합니다.

특정 기간 동안 원장을 유지합니다. 여러 정족수를 동시에 선출하는 것은 쉽지 않습니다.

트랜잭션을 다른 쿼럼으로 분할합니다.

네트워크 전파 및 blockchain 샤딩에도 유사한 기술을 적용할 수 있습니다.

자체를 고유한 파티션으로 만듭니다. 현재 로드맵에서는 확장 방법이 다음에 적용됩니다.

우로보로스(Ouroboros)는 2018년부터 시작하여 2019년과 2020년에도 계속해서 초점을 맞추고 있습니다.

Cardano 계산 계층

앞서 언급했듯이 트랜잭션에는 두 가지 구성 요소가 있습니다. token의 흐름과 token을 이동하는 이유와 조건을 기록합니다. 는 후자는 임의로 복잡할 수 있으며 테라바이트 규모의 데이터, 다중 서명 및 특수 작업이 필요할 수 있습니다. 발생하는 이벤트. 후자는 단일 서명 푸시 값으로 매우 간단할 수도 있습니다. 다른 주소로.

가치 흐름의 이유와 조건을 모델링하는 데 있어 어려운 점은 가치 흐름이 다음과 같다는 것입니다. 가장 예측할 수 없는 방식으로 관련된 독립체에게는 매우 개인적입니다. 교훈 계약법은 행위자들 자신이 그렇게 하지 않을 수도 있는 훨씬 더 문제적인 그림을 그립니다. 심지어 거래가 상업적 현실과 일치하지 않는다는 점에도 유의하세요. 우리는 일반적으로 이렇게 부른다. 현상 “의미론적 격차” . 11

끝없는 복잡성과 추상화 계층을 추구하는 암호화폐를 구축해야 하는 이유는 무엇입니까? 그것은 본질적으로 Sisyphean처럼 보이지만 실제로는 순진합니다. 더욱이, 각 추상화는 법적, 보안적 결과를 모두 가져옵니다.

예를 들어, 보편적으로 불법으로 간주되거나 경멸당하는 것으로 간주되는 온라인 활동이 많이 있습니다. 아동 포르노물 밀매나 국가기밀 판매 등이 이에 속합니다. 강력한 배포로 10 동일한 목적을 달성하려는 다른 독립적 연구 프로토콜도 있습니다. 엘라스티코와 Bitcoin-NG
11 Loi Luu 외. 스마트 계약을 더욱 스마트하게 만들기에 관한 최근 논문에서 이 격차에 대해 논의합니다. 우리가 카르다노를 만드는 이유 크리에이티브 커먼즈 저작자표시 4.0 국제 라이선스 페이지 14/44IOHK | 우리가 카르다노를 만드는 이유 | 2017년 6월 28일

분산형 인프라를 통해 이제 이러한 활동이 발생할 수 있는 채널을 제공하고 있습니다. 일반 상업 거래와 동일한 검열 저항을 누릴 수 있습니다. 법적으로 불분명한지 네트워크의 합의 노드 - 네트워크에 대해 더욱 연합될 인센티브가 있습니다. 효율성을 높일 시간입니다. 호스팅하는 콘텐츠에 대해 책임을 져야 합니다.

토르 운영자에 대한 기소, 실크로드 운영자에 대한 잔혹한 처우와 전반적인 무능력 프로토콜 참가자의 법적 보호에 대한 법적 명확성은 불확실한 길을 남깁니다. 있다 충분히 발전된 암호화폐가 또 무엇을 가능하게 할 수 있는지에 대한 상상력은 부족하지 않습니다(참조 기게스의 반지). 암호화폐의 모든 사용자에게 보증을 강요하거나 최소한 웹의 최악의 행위와 행위를 허용합니까?

안타깝게도 암호화폐 설계자에게 통찰력을 제공하는 명확한 답변은 없습니다. 그것은 위치를 선택하고 그 장점을 방어하는 방법에 대해 자세히 알아보세요. Cardano와 Cardano의 장점은 다음과 같습니다. Bitcoin은 문제를 레이어로 분리하기로 결정했다는 것입니다. Bitcoin에는 다음이 있습니다. 대목. Cardano에는 Cardano 계산 계층이 있습니다.

이전에 정교하게 만들어진 행위를 가능하게 하는 복잡한 행동의 종류는 실행될 수 없습니다. CSL. Turing 완전한 언어로 작성된 프로그램을 실행할 수 있는 능력이 필요합니다. 계량 계산에 대한 가스 경제학의 한 형태. 또한 이를 위해서는 기꺼이 합의 노드가 필요합니다. 해당 블록에 트랜잭션을 포함시킵니다.

따라서 기능 제한은 사용자를 합리적으로 보호할 수 있습니다. 지금까지 가장 확립된 정부는 암호화폐의 사용이나 유지가 중요하다는 입장을 취하지 않았습니다. 불법 행위. 따라서 대다수의 사용자는 다음과 같은 원장을 편안하게 유지해야 합니다. 디지털 결제 시스템과 기능 면에서 비슷합니다.

기능을 확장하려는 경우 두 가지 가능성이 있습니다. 비공개로 활성화됩니다. 같은 생각을 가진 개인들의 집합체이며 본질적으로 일시적입니다(예: 포커 게임). 아니면, 그것 Ethereum와 유사한 기능을 갖춘 원장을 통해 활성화됩니다. 두 경우 모두 우리가 선택한 것은 이벤트를 다른 프로토콜에 아웃소싱합니다.

비공개적이고 임시적인 이벤트의 경우 blockchain 패러다임을 피하는 것이 합리적입니다. 하지만 오히려 특수 목적의 MPC 프로토콜 라이브러리를 향한 노력을 제한합니다. 비슷한 생각을 가진 참가자 그룹이 원할 때 호출됩니다. 계산 및 활동 사설망에서 편성되어 CSL을 신뢰할 수 있는 게시판으로만 참조하고 필요할 때 메시지 전달 채널.

이 경우의 핵심 통찰력은 동의, 책임의 캡슐화 및 개인 정보 보호가 있다는 것입니다. CSL은 마치 공원이 공원처럼 사람들이 만나고 소통할 수 있는 디지털 공유지로 사용됩니다. 비공개 이벤트 - 그러나 특별한 편의나 편의를 제공하지는 않습니다. 게다가, 우리가 카르다노를 만드는 이유 크리에이티브 커먼즈 저작자표시 4.0 국제 라이선스 페이지 15/44IOHK | 우리가 카르다노를 만드는 이유 | 2017년 6월 28일

특수 목적 MPC를 사용하면 별도의 작업 없이도 짧은 대기 시간의 상호 작용이 가능해집니다. blockchain 부풀어 오른다. 따라서 시스템의 규모가 향상됩니다.

이 라이브러리에 대한 Cardano의 연구 노력은 Tokyo Tech 연구소에 집중되어 있습니다. 해외 과학자들의 도움을 받았습니다. 우리는 동료의 이름을 따서 도서관을 "Tartaglia"라고 부릅니다. Cardano의 동시대 수학자이자 첫 번째 반복이 가능할 것으로 기대합니다. 2018년 1분기에.

두 번째 경우에는 합의 노드 세트인 가상 머신과 함께 blockchain가 필요합니다. 두 체인 간의 통신을 가능하게 하는 메커니즘입니다. 우리는 K-프레임워크를 사용하여 Ethereum 가상 머신을 엄격하게 공식화하는 프로세스 12 일리노이 대학 팀과 파트너십을 맺었습니다.

이 분석의 결과는 복제 및 최종적으로 설계하는 가장 최적의 방법을 알려줄 것입니다. 명확한 운영 의미와 정확성을 강력하게 보장하는 분산 가상 머신 13 사양에서 구현. 즉, VM은 실제로 코드가 지시하는 작업을 수행합니다. 보안 위험을 최소화하는 것과 관련이 있습니다.

Ethereum이 제안한 가스 경제학과 그것이 어떻게 이루어지는지에 대해서는 아직 해결되지 않은 질문이 있습니다. Jan Hoffmann et al의 리소스 인식 ML 및 광범위한 연구와 같은 작업과 관련이 있습니다. 계산을 위한 자원 추정. 언어 수준도 궁금하네요 가상 머신의 독립성. 예를 들어, Ethereum 프로젝트는 희망을 표현했습니다. 현재 VM에서 웹 어셈블리로 전환하기 위한 것입니다.

다음 노력은 상태 저장을 표현하는 합리적인 프로그래밍 언어를 개발하는 것입니다. 분산형 애플리케이션에 의해 서비스로 호출되는 계약입니다. 이 작업을 위해 우리는 낮은 레거시 smart contract 언어 Solidity를 지원하는 접근 방식을 모두 선택했습니다. 보증 적용 및 더 높은 보증을 위해 Plutus라는 새로운 언어 개발 공식적인 검증이 필요한 애플리케이션.

Solidity 기반 Zeppelin 프로젝트와 마찬가지로 IOHK도 Plutus 코드의 참조 라이브러리를 개발할 예정입니다. 애플리케이션 개발자가 자신의 프로젝트에 사용할 수 있습니다. 우리는 또한 전문적인 도구 세트를 개발할 것입니다 UCSD의 Liquid Haskell 프로젝트 작업에서 영감을 받은 공식 검증을 위해.

합의 측면에서 Ouroboros는 다음을 지원하기에 충분한 모듈식 방식으로 설계되었습니다. smart contract 평가. 따라서 CSL과 CCL은 모두 동일한 합의 알고리즘을 공유합니다. 12 Grigore Rosu 등 교수가 발명함. al., K는 언어 독립을 위한 보편적인 프레임워크입니다. 기계 실행 가능 의미론. 작업 이전에는 C, Java 및 JavaScript를 모델링하는 데 사용되었습니다. 13 이는 서로 다른 합의 노드가 서로 다른 smart contract을 실행한다는 의미입니다. 상태 샤딩이라고도 함 우리가 카르다노를 만드는 이유 크리에이티브 커먼즈 저작자표시 4.0 국제 라이선스 페이지 16/44IOHK | 우리가 카르다노를 만드는 이유 | 2017년 6월 28일

차이점은 Ouroboros가 허가된 것과 허용된 것 모두를 허용하는 것으로 확인될 수 있다는 것입니다. token 배포를 통한 무허가 원장.

CSL을 통해 Ada는 token 생성 이벤트를 통해 아시아 전역의 구매자에게 배포되었습니다. 결국 2차 시장에서 재판매할 사람입니다. 이는 CSL의 합의 알고리즘이 다음과 같다는 것을 의미합니다. 다양하고 점점 더 분산된 행위자 집단 또는 그들의 위임에 의해 통제됩니다. 할당합니다. CCL을 사용하면 해당 대표자가 보유하는 특별한 목적 token을 만드는 것이 가능합니다. 규제 대상이 될 수 있는 원장을 생성하여 허가된 원장을 생성합니다.

이 접근 방식의 유연성 덕분에 다양한 CCL 인스턴스가 서로 다른 방식으로 구체화될 수 있습니다. 거래 평가에 관한 규칙. 예를 들어 도박 활동이 제한될 수 있습니다. 단순히 비속성 거래를 블랙리스트에 올려 KYC/AML 데이터가 존재하는 경우는 제외됩니다.

우리의 최종 설계 초점은 신뢰할 수 있는 하드웨어 보안 모듈(HSM)을 프로토콜에 추가하는 것입니다. 스택. 이러한 기능을 애플리케이션에 도입하면 두 가지 엄청난 이점이 있습니다. 프로토콜. 첫째, HSM은 보안을 도입하지 않고도 성능을 크게 향상시킵니다. 14 공급 업체를 신뢰하는 것 이상의 우려. 둘째, SGP(Sealed Glass Proofs)를 사용하여, HSM은 데이터를 검증한 후 삭제하지 않고 파기할 수 있다는 보장을 제공할 수 있습니다. 악의적인 외부인에게 복사되거나 유출되었습니다.

두 번째 점에 초점을 맞추면 SGP는 규정 준수에 혁신적인 영향을 미칠 수 있습니다. 일반적으로 소비자가 인증을 위해 개인 식별 정보(PII)를 제공하는 경우 신원을 확인하거나 참여할 권리가 있음을 증명하면 이 정보는 신뢰할 수 있는 제3자에게 전달됩니다. 악의적으로 행동하지 않기를 바랍니다. 이 활동은 본질적으로 중앙 집중화되어 있으며 데이터 공급자는 PII에 대한 통제력을 상실하며 관할권에 따른 다양한 규정의 적용을 받습니다.

신뢰할 수 있는 입증인 세트를 선택한 다음 하드웨어 엔클레이브에 PII를 보관하는 기능 이는 충분히 유능한 HSM을 갖춘 모든 행위자가 행위자에 대한 사실을 확인할 수 있음을 의미합니다. 검증자가 행위자의 신원을 알지 못한 채 위조할 수 없는 방식으로. 예를 들어 밥은 미국 시민이 아닙니다. 앨리스는 공인 투자자입니다. James는 미국 납세자이므로 다음을 보내야 합니다. 계정 X에 대한 과세 이익.

Cardano의 HSM 전략은 다음 두 가지에 걸쳐 특수 프로토콜 구현을 시도하는 것입니다. Intel SGX 및 ARM Trustzone을 사용한 지 수년이 지났습니다. 두 모듈 모두 수십억 명의 소비자에게 내장되어 있습니다. 랩톱에서 휴대폰에 이르기까지 모든 장치에 적용되며 소비자 측에서는 추가적인 노력이 필요하지 않습니다. 사용. 둘 다 철저한 심사를 거쳐 잘 설계되었으며 일부 제품의 수년간의 반복을 기반으로 합니다. 가장 크고 최고의 자금을 지원받는 하드웨어 보안 팀입니다.

14 코넬의 http://hackingdistributed.com/2016/12/22/scaling-bitcoin-with-secure-hardware/ 참조 대학 우리가 카르다노를 만드는 이유 크리에이티브 커먼즈 저작자표시 4.0 국제 라이선스 페이지 17/44IOHK | 우리가 카르다노를 만드는 이유 | 2017년 6월 28일

규제

모든 현대 금융 시스템의 가혹한 현실은 규모가 커짐에 따라 수요가 축적된다는 것입니다. 또는 적어도 규제에 대한 욕구. 이 결과는 일반적으로 반복되는 붕괴의 결과입니다. 시장에서 일부 행위자 또는 행위자 도당의 과실로 인해 발생합니다.

예를 들어, 1907년 니커보커 위기로 인해 연방준비은행이 창설되었습니다. 1913년 최후의 수단으로 대출하는 시스템. 또 다른 예는 1920년대의 과잉이다. 미국은 끔찍한 금융 붕괴, 대공황을 초래했습니다. 이 붕괴 비슷한 일을 방지하기 위해 1934년 증권거래위원회를 창설했다. 이벤트를 진행하거나 적어도 나쁜 행위자에게 책임을 물을 수 있습니다.

규제의 필요성, 범위, 효율성에 대해 합리적으로 논의할 수 있지만 부정할 수는 없습니다. 그 존재와 주요 정부가 이를 시행한 열의. 그러나 세계가 세계화되고 현금이 디지털화됨에 따라 모든 규제 기관이 직면하는 과제는 두 가지 측면에서 발생합니다.

첫째, 컬렉션을 다룰 때 어떤 규정이 가장 중요해야 하는지입니다. 관할권? 단 한번의 거래로 베스트팔렌 주권에 대한 낡은 개념이 무너집니다. 1분 안에 36개 국가와 접촉할 수 있습니다. 단순히 그것을 휘두르는 사람이어야 하는가? 가장 지정학적 영향은?

둘째, 개인 정보 보호 기술의 발전으로 인해 디지털 군비 경쟁이 발생했습니다. 누가 거래에 참여했는지조차 이해하기가 점점 더 어려워지고, 특정 가치 저장소를 소유한 사람은 훨씬 적습니다. 수백만 달러의 자산이 존재하는 세상에서 비밀리에 갖고 있는 12단어 니모닉만으로 제어할 수 있습니다. 어떻게 해야 할까요? 15 효과적인 규제를 시행하시겠습니까?

모든 금융 시스템과 마찬가지로 Cardano 프로토콜은 디자인에 있어서 무엇을 해야 하는지에 대한 의견을 가지고 있어야 합니다. 공정하고 합리적이다. 우리는 개인의 권리와 개인의 권리를 분리하기로 결정했습니다. 시장.

개인은 강압이나 시민 자산 없이 항상 자신의 자금에 단독으로 접근할 수 있어야 합니다. 몰수. 모든 정부가 이를 이행하지 않을 것이라고 믿을 수는 없기 때문에 이 권리는 시행되어야 합니다. 베네수엘라에서 볼 수 있듯이 부패한 정치인의 개인적 이익을 위해 주권을 남용합니다. 그리고 짐바브웨. 암호화폐는 최소 공통 분모로 설계되어야 합니다.

15 BIP39 https://github.com/bitcoin/bips/blob/master/bip-0039.mediawiki 참조
우리가 카르다노를 만드는 이유 크리에이티브 커먼즈 저작자표시 4.0 국제 라이선스 페이지 18/44IOHK | 우리가 카르다노를 만드는 이유 | 2017년 6월 28일

둘째, 역사는 절대로 조작되어서는 안 됩니다. 블록체인은 불변성을 약속합니다. 기록을 되돌리거나 공식 기록을 변경할 수 있는 권한을 도입하면 너무 많은 일이 발생합니다. 특정 배우에게 이익을 주기 위해 과거를 바꾸려는 유혹.

셋째, 가치의 흐름이 제한되지 않아야 합니다. 자본 통제 및 기타 인공 벽 인권을 감소시키세요. 이를 시행하려는 시도의 무익함을 제외하면 전 세계적으로 16 최빈개도국의 많은 시민들이 관할권 밖으로 여행하는 경제 생활임금을 찾기 위해 자본 흐름을 제한하는 것은 대개 세계에서 가장 가난한 사람들에게 해를 끼치는 결과를 낳습니다.

이러한 원칙에 따르면 시장은 개인과 분명히 다릅니다. 반면 디자이너들은 Cardano 개인의 권리를 믿으며, 우리는 또한 시장이 공개적으로 진술할 권리가 있다고 믿습니다. 이용 약관 및 개인이 이 시장 내에서 사업을 하기로 동의한 경우 전체 시스템의 무결성을 위해 해당 표준을 준수해야 합니다.

문제는 항상 집행의 비용과 실용성이었습니다. 소규모, 다관할권 레거시 시스템에서는 높은 상환 보장을 제공하기에는 트랜잭션 비용이 너무 비쌉니다. 사기 또는 상업적 분쟁이 발생한 경우. 누군가가 은행 송금을 할 때 나이지리아 왕자님, 자금을 돌려받기에는 일반적으로 비용이 너무 많이 듭니다.
17

Cardano에서는 세 가지 수준에서 혁신을 이룰 수 있다고 생각합니다. 첫째, smart contracts를 사용하여 상업적 관계의 조건을 더 잘 통제할 수 있습니다. 모든 자산이 다음과 같은 경우 디지털 방식으로 이루어지며 CSL로만 표현될 수 있으므로 사기 없는 상거래에 대한 강력한 보장이 가능합니다. 얻었습니다.

둘째, HSM을 사용하여 PII가 유출되지 않지만 여전히 사용되는 신원 공간을 제공합니다. 인증 및 자격 증명 행위자는 글로벌 평판 시스템을 제공하고 다음을 허용해야 합니다. 자동화된 온라인 게임과 같이 훨씬 저렴한 비용으로 규제 활동을 수행할 수 있습니다. 세금 준수 또는 분산 교환.

마지막으로 Cardano의 로드맵에는 다음과 같은 모듈식 규정 DAO을 만드는 것이 있습니다. 가변성을 추가하기 위해 사용자가 작성한 smart contract과 상호 작용하도록 사용자 정의됨, 소비자 보호 및 중재. 이 프로젝트의 범위는 이후 논문에서 설명될 것입니다.

16 자본 흐름에 대한 대책의 예로서 하왈라 은행 시스템(Hawala Banking System)을 참조하십시오. 17 사전 수수료 사기 참조 우리가 카르다노를 만드는 이유 크리에이티브 커먼즈 저작자표시 4.0 국제 라이선스 페이지 19/44IOHK | 우리가 카르다노를 만드는 이유 | 2017년 6월 28일

이 모든 것의 요점은 무엇입니까?

Cardano는 수백 명의 뛰어난 인재들의 피드백을 포함하는 마라톤 프로젝트였습니다.

암호화폐 산업 내부와 외부. 끊임없는 반복과 적극적인 활용이 필요합니다.

동료 검토, 훌륭한 아이디어가 발견되면 뻔뻔하게 도용합니다.

나머지 섹션은 각각 우리가 핵심이라고 결정한 특정 측면을 다루고 있습니다.

우리 프로젝트의 구성 요소입니다. 일부는 전반적인 최고 수준을 향상시키려는 열망으로 인해 선택되었습니다.

공간의 관행과 다른 것들은 Cardano의 진화에만 해당됩니다.

어떤 프로젝트도 모든 목표를 달성하거나 모든 사용자를 만족시킬 수는 없지만, 우리의 희망은 다음에 대한 비전을 제공하는 것입니다.

스스로 진화하는 금융 스택이 부족한 관할권에서는 어떤 모습이어야 할까요? 궁극의

암호화폐의 현실은 기존의 레거시 금융 시스템을 혼란에 빠뜨리는 것이 아닙니다.

기존 금융 시스템은 항상 변화를 흡수하고 형태를 유지할 수 있습니다.

그리고 기능.

오히려 기존 시스템을 배포하기에는 비용이 너무 많이 드는 곳을 찾아야 합니다.

많은 사람들이 하루에 몇 달러 미만으로 생활하는 은행 시스템은 안정적인 정체성을 갖고 있지 않으며,

신용을 찾을 수 없습니다.

이러한 장소에서는 결제 시스템, 재산권, 신원, 신용 및 위험을 묶을 수 있는 권한이 있습니다.

휴대전화에서 실행되는 단일 애플리케이션에 대한 보호는 유용할 뿐만 아니라 삶을 변화시킵니다.

우리가 Cardano을 구축하는 이유는 우리가 전달할 수 있는 적법한 기회가 있다고 느끼기 때문입니다.

최소한 발전하는 것 - 개발도상국을 위한 비전입니다.

실패하더라도 암호화폐의 설계, 진화, 자금 조달 방식을 바꿀 수 있다면,

그러면 큰 성취가 있는 것입니다.

과학 및 공학

반복의 예술

암호화폐는 소프트웨어로 구현된 프로토콜입니다. 프로토콜은 단순히 지능적입니다. 참가자 간의 대화. 소프트웨어는 궁극적으로 일부 데이터를 조작하는 것입니다. 우리가 카르다노를 만드는 이유 크리에이티브 커먼즈 저작자표시 4.0 국제 라이선스 페이지 20/44

IOHK | 우리가 카르다노를 만드는 이유 | 2017년 6월 28일

목표. 그러나 견고하고 신뢰할 수 있는 소프트웨어와 유용하고 안전한 프로토콜 간의 차이점은 그들의 대화는 완전히 인간적입니다.

좋은 소프트웨어에는 책임감, 명확한 비즈니스 요구 사항, 반복 가능한 프로세스, 철저한 테스트와 끊임없는 반복. 좋은 소프트웨어에는 합리적인 재능도 필요합니다 완전히 할 수 있는 시스템을 적절하게 설계할 수 있는 충분한 도메인별 지식을 갖춘 개발자 그들이 해결하려는 문제가 무엇이든 해결하십시오.

유용하고 안전한 프로토콜, 특히 암호화 및 분산과 관련된 프로토콜의 경우 시스템의 경우 보다 학문적이고 표준 중심 프로세스에서 시작됩니다. 동료 검토, 끝없는 프로토콜이 유용하다는 것을 보장하려면 토론과 확고한 상충 개념이 필요합니다. 그래도 이들 그것만으로는 충분하지 않습니다. 프로토콜은 실제 사용을 통해 구현되고 테스트되어야 합니다.

암호화폐 산업의 독특한 과제는 두 가지가 완전히 다르다는 것입니다. 철학은 적절한 헤겔적 종합 없이 함께 엉망이 됩니다. 우리의 논제는 “이동 Fast and Break Things' 젊음과 욕심, 열정이 이끄는 스타트업 정신. 그 반대는 느리고 체계적이며 학술 지향적인 접근 방식은 충분한 자금과 명성을 누리는 멋진 틈새 시장으로 우리 공간을 혁신합니다.

그 결과 많은 암호화폐가 백서에만 완전히 명시되거나 CV와 관련이 있거나 급하게 작성된 코드에 의해서만 가능합니다. 현재 상위 10개 암호화폐 중 어느 것도 없습니다. 18 시가총액은 동료 검토 프로토콜을 기반으로 합니다. 현재 10위권 중 하나도 없음 암호화폐는 공식 사양에 따라 구현되었습니다.

19

그러나 수십억 달러의 가치가 위험에 처해 있습니다. 일단 배포되면 암호화폐는 매우

변경하기가 어렵습니다. 사용자는 자신이 보안 시스템을 사용하고 있다는 것을 어떻게 알 수 있나요? 사용자는 어떻게

마케팅 주장이 합법적이라는 것을 알고 계십니까? 제안된 프로토콜이 결코 달성할 수 없다면 어떻게 될까요?

주장?

이러한 통합과 프로세스 존중의 부족은 IOHK가

Cardano을 빌드하세요. 우리의 희망은 다음의 예가 될 참조 프로젝트를 개발하는 것이었습니다.

보다 효과적이고 건전하며 정직한 방식으로 일을 수행하는 방법.

목표는 소프트웨어와 프로토콜을 개발하는 완전히 새로운 방법을 제안하는 것이 아니라

훌륭한 소프트웨어와 프로토콜이 이미 존재하며 조건을 모방할 수 있음을 인정합니다.

그것이 그들의 창조로 이어졌습니다. 둘째, 이러한 조건을 공개하고 오픈 소스로 만드는 것입니다.

전 분야의 이익을 위해 모방할 수 있도록 가능합니다. 18 시가총액 기준 종합 목록은 www.coinmarketcap.com을 참조하세요. 19 Ethereum에는 Yellow Paper라고 알려진 준공식 사양이 있습니다. 그러나 EVM 의미는 다음과 같습니다. 완전히 지정되지도 않았고 프로토콜의 전체 구현에 충분하지도 않습니다. 우리가 카르다노를 만드는 이유 크리에이티브 커먼즈 저작자표시 4.0 국제 라이선스 페이지 21/44IOHK | 우리가 카르다노를 만드는 이유 | 2017년 6월 28일

사실과 의견

또 다른 우려는 사실이 끝나고 의견이 시작되는 지점에 관한 것입니다. 수백 가지가 있습니다.

프로그래밍 언어, 수십 가지 개발 패러다임 및 하나 이상의 철학

프로젝트 관리. 학계는 다음과 같은 문제로 가득 차 있습니다.

비즈니스 문제와 실용성과의 거리.

Cardano의 경우 먼저 보편적으로 동의할 수 있는 명백한 결함을 포착하려고 시도했습니다.

엔지니어링 관점에서 유용할 것입니다. 예를 들어 암호화 및 분산

시스템은 둘 다 매우 복잡한 주제이며 순진한 손이 어떻게 작동하는지에 대한 예가 너무 많습니다.

끔찍한 실수를 할 수 있습니다. 따라서 이러한 도메인의 통찰력이 필요한 모든 프로토콜에는 다음이 필요합니다.

인정받은 전문가가 설계하고 다른 전문가의 검토를 위해 제출합니다.

Ouroboros는 이 분야에 대한 첫 번째 사례 연구입니다. 이것은 암호화 전문가 팀에 의해 설계되었습니다.

크고 다양하며 공개적으로 검증 가능한 출판 이력. 표준에 따라 제작되었습니다.

보안 가정, 적대적 모델 및 증명을 갖춘 암호화 프로세스입니다. 이것들

증거는 회의에 제출하여 확인되었습니다. 또한 컴퓨터에 의해 독립적으로

20 캠브리지 대학 팀이 Isabelle로 작성한 증거.
21

그러나 이 작업만으로는 유용성을 보장할 수 없습니다. 단지 보안을 엄격하게 점검할 뿐입니다.

몇 가지 가정을 바탕으로 한 모델입니다. 유용성을 위해서는 프로토콜을 구현하고 테스트해야 합니다.

우리 개발자들은 Haskell과 Rust 모두에서 그렇게 했습니다. 이번 작품을 통해 더 많은 노력이 이루어졌다는 사실이 드러났습니다.

Ouroboros의 탄생으로 이어진 동기화 모델에 초점을 맞춰야 했습니다.

프라오스.

이러한 반복 기술은 각 단계가 새로운 교훈과 결과로 이어지는 훌륭한 프로토콜을 생성하는 것입니다.

이전 단계의 정확성을 재검증하는 요구 사항입니다. 비용도 많이 들고, 시간도 많이 걸리고,

22 정말 지루한 일이지만 프로토콜이 올바르게 설계되었는지 확인하는 것이 필요합니다.

프로토콜, 특히 수십억 명의 사람들이 사용하는 프로토콜은 수명이 짧고 빠르게 진행되지 않습니다.

진화하고 있습니다. 오히려 그들은 수년에서 수십 년 동안 따르도록 의도되었습니다. 완전히 그런 것 같습니다

새로운 금융 시스템으로 세상에 부담을 주기 전에 우리 모두가 함께 살아가야 한다는 것이 합리적입니다.

향후 100년 동안 우리는 디자이너들에게 지루함과 엄격함을 요구하고 싶습니다.

20 캘리포니아에서 열린 IACR 연례 암호화폐 회의에서 승인된 논문 번호 71
21 작성자: 로렌스 폴슨(Lawrence Paulson) 교수 지도 하에 Kawin Worrasangasilpa
22 경솔함을 위해 접선을 따라가는 방법에 대한 Halmos 교수의 토론을 시청해야 합니다. 수학 교과서를 쓰다 우리가 카르다노를 만드는 이유 크리에이티브 커먼즈 저작자표시 4.0 국제 라이선스 페이지 22/44IOHK | 우리가 카르다노를 만드는 이유 | 2017년 6월 28일

기능적 죄

좀 더 독선적인 영역으로 이동하여, 사용되는 도구, 언어 및 방법론

소프트웨어 개발은 객관적 현실이라기보다는 종교적 섭리의 인공물에 가깝습니다. 소스

코드는 서면 산문과 같습니다. 모든 사람은 무엇이 좋은지, 그리고 무엇이 좋은지에 대한 의견을 가지고 있습니다.

때로는 전달 방법보다 전달 방법이 덜 중요할 수 있습니다.

우리는 적어도 한 쪽에서는 틀릴 것이라는 것을 받아들이고 한쪽을 선택하는 죄를 범해야 합니다.

사람의 눈. 그러나 우리의 선택 뒤에는 최소한 상당한 양의 정당성이 있습니다.

Cardano을 가능하게 하는 프로토콜은 Haskell에서 구현되고 있습니다. 사용자 인터페이스

우리가 Daedalus라고 부르는 Electron 포크에 캡슐화되었습니다. 우리는 다음을 선택했습니다.

가능한 경우 웹 아키텍처 모델을 사용하고 데이터베이스의 경우 키-값을 선택했습니다.

RocksDB를 사용한 패러다임.

구성 요소 수준에서 이러한 추상화는 유지 관리가 훨씬 간단하고 우수하다는 것을 의미합니다.

기술은 나중에 약간의 노력으로 대체될 수 있으며 우리 스택은 부분적으로

Github과 Facebook의 개발 노력.

WebGUI를 사용하면 React를 활용하고 도구를 사용하여 프런트 엔드 기능을 개발할 수 있습니다.

수십만 명의 JavaScript 개발자가 이해하고 있습니다. 웹 아키텍처 사용

이는 구성 요소가 서비스로 처리될 수 있고 보안 모델이 합리적이라는 것을 의미합니다.

프로토콜 개발을 위해 Haskell을 선택하는 것은 가장 어려운 선택이었습니다. 기능성 면에서도

세상에는 선택의 폭이 넓습니다. 보다 유연하고 불순한 측면에는 다음과 같은 언어가 있습니다.

Java 및 .Net의 방대한 라이브러리를 활용하는 Clojure, Scala 및 F#

함수형 프로그래밍의 가장 좋은 측면 중 일부를 보존하면서 생태계를 유지합니다.

Agda 및 Idris와 같이 보다 학술 지향적인 언어가 있습니다.

정확성에 대한 강력한 검증을 가능하게 하는 기술과의 연결. 그러나 그들은 부족하다

합리적인 라이브러리와 수준 이하의 개발 경험이 있습니다.

Cardano의 경우 선택은 Ocaml과 Haskell로 내려졌습니다. Ocaml은 훌륭한 언어입니다.

훌륭한 커뮤니티, 훌륭한 도구, 합리적인 개발 경험 및 위대한 유산

Coq을 통한 정식 검증 공간 . 그렇다면 우리는 왜 하스켈을 선택했을까요? 23

23 이 점에 덧붙여서, IOHK는 실제로 Qeditas라는 Ocaml에서 구현되는 프로젝트를 가지고 있습니다. 우리는 Bill White라는 가명으로부터 물려받았습니다 우리가 카르다노를 만드는 이유 크리에이티브 커먼즈 저작자표시 4.0 국제 라이선스 페이지 23/44IOHK | 우리가 카르다노를 만드는 이유 | 2017년 6월 28일

왜 하스켈인가?

Cardano을 구성하는 프로토콜은 배포되고 암호화와 함께 번들로 제공되며

높은 수준의 내결함성. 최고의 날에도 여전히 기형의 비잔틴 액터가 있을 것입니다.

메시지와 결함이 있는 클라이언트가 의도치 않게 네트워크에 혼란을 야기합니다.

첫째, 우리는 도구를 쉽게 사용할 수 있는 강력한 유형 시스템을 즐기는 언어를 원했습니다.

Quickcheck와 같은 정교한 기술과 Refinement Types과 같은 기술을 보유하고 있습니다.

내결함성에 대한 합리적인 기대. Erlang 스타일 OTP 모델은 후자를 만족합니다.

Haskell 및 Ocaml과 같은 언어는 전자를 만족합니다.

Cloud Haskell의 도입으로 Haskell은 Erlang의 많은 장점을 얻었습니다.

자신을 포기합니다. 게다가 Haskell의 모듈성과 구성 가능성 덕분에 우리는 다음을 수행할 수 있었습니다.

Cardano에는 Time Warp라는 경량 맞춤형 라이브러리를 사용하세요.

둘째, Haskell의 라이브러리는 광범위한 작업 덕분에 지난 몇 년 동안 크게 발전했습니다.

Galois, FP Complete 및 Well-Typed와 같은 상업 기업의 제품입니다. 결과적으로 Haskell은

프로덕션 애플리케이션을 작성하는 데 사용됩니다.
24

셋째, PureScript의 급속한 발전은 JavaScript 세계에 꼭 필요한 다리를 제공했습니다.

Clojurescript가 Clojure에 제공한 것과 유사합니다. PureScript가 특히 중요할 것으로 예상합니다.

Cardano을 브라우저에서 작동시키고 모바일 지갑을 개발하는 것과 관련하여.

넷째, 종속성 해결과 관련하여 Haskell은 지난 몇 년 동안 다음과 같은 이점을 누렸습니다.

Michael Snoyman과 같은 기술 전문가가 주도하는 중요한 사회적, 기술적 노력

사용하기 쉽고 FP Complete에서 잘 지원되는 stackage라는 플랫폼입니다.

다섯째, 적절한 종속성 해결을 넘어 소프트웨어 빌드가 다음과 같은 목표를 갖고 있습니다.

재현 가능. 즉, 동일한 구성 값과 종속성 버전을 사용하면

정확히 동일한 빌드 아티팩트를 생성해야 합니다. Stackage를 통해 우리는 NixOps를 사용해왔습니다.

큰 성공으로 재현성을 달성합니다.

마지막으로, Haskell 전문 개발자의 인재 풀은 상당히 큽니다.

동료들과 마찬가지로 학문적 및 업계 자격을 적절히 조합하여 잘 훈련되어 있습니다. 그것은 또한

경험이 풍부한 Haskell 개발자를 찾는 것이 드물기 때문에 역량 필터 역할을 합니다.

컴퓨터 과학에 대한 자세한 지식.
24 Bryan O'Sullivan은 여기에서 하스켈의 산업적 활용에 대한 좋은 이야기를 제공합니다.
우리가 카르다노를 만드는 이유 크리에이티브 커먼즈 저작자표시 4.0 국제 라이선스 페이지 24/44IOHK | 우리가 카르다노를 만드는 이유 | 2017년 6월 28일

공식 사양 및 검증

입증된 올바른 보안 모델을 사용하여 프로토콜을 개발할 때의 중요한 장점은 적의 힘의 한계를 보장합니다. 한 사람은 다음과 같은 계약을 맺습니다. 프로토콜을 따르고 증명이 정확하면 공격자가 보안을 위반할 수 없습니다. 주장된 속성.

더 깊이 반성하면 이전 주장이 더욱 중요해집니다. 상대방은 임의로 할 수 있다. 지능적이고 능력이 있다. 그들이 오로지 수학적 모델을 통해서만 패배했다고 말하는 것은 특별하다. 물론 그것은 전적으로 사실이 아닙니다.

현실은 순수한 안보와 유토피아를 방해하는 요인과 상황을 도입합니다. 기존의 올바른 행동. 구현이 잘못될 수 있습니다. 하드웨어로 인해 공격이 발생할 수 있음 이전에는 고려되지 않았던 벡터입니다. 보안 모델이 불충분하고 보안 모델을 준수하지 않을 수 있습니다. 실제 사용.

얼마나 많은 사양, 엄격함, 확인이 요구되는지에 대한 판단이 필요합니다. 프로토콜. 예를 들어 SeL4 Microkernel 프로젝트와 같은 노력은 모든 것의 대표적인 예입니다. 200,000줄에 가까운 Isabelle 코드가 필요한 모호성에 대한 공격 C 코드 10,000줄. 그러나 운영 체제 커널은 다음과 같은 중요한 인프라입니다. 제대로 구현되지 않으면 심각한 보안 취약성이 발생합니다.

모든 암호화 소프트웨어에는 동일한 엄청난 노력이 필요합니까? 아니면 덜 선택할 수 있나요? 동등한 결과를 낳는 활발한 경로? 프로토콜이 다음과 같은지 여부도 중요합니다. 실행되는 환경이 매우 취약한 경우 완벽하게 구현됩니다. 윈도우 XP?

Cardano에 대해 우리는 다음 절충안을 선택했습니다. 첫째, 복잡한 성격으로 인해 암호화 및 분산 컴퓨팅 분야에서는 증명이 매우 미묘하고 길며 복잡하고 때로는 매우 기술적입니다. 이는 사람이 주도하는 검사가 가능함을 의미합니다. 지루하고 오류가 발생하기 쉽습니다. 그러므로 우리는 모든 중요한 증거가 흰색으로 제시되어 있다고 믿습니다. 핵심 인프라를 다루기 위해 작성된 문서는 기계 점검이 필요합니다.

우리가 카르다노를 만드는 이유 크리에이티브 커먼즈 저작자표시 4.0 국제 라이선스 페이지 25/44IOHK | 우리가 카르다노를 만드는 이유 | 2017년 6월 28일

둘째, Haskell 코드가 우리 백서와 정확하게 일치하는지 확인하기 위해 다음을 선택할 수 있습니다. 널리 사용되는 두 가지 옵션 사이: LiquidHaskell을 통해 SMT 증명자와 인터페이스하고 다음을 사용합니다. 이사벨/HOL.

SMT(만족도 모듈로 이론) 솔버는 함수를 찾는 문제를 다룹니다. 방정식이나 부등식을 만족시키는 매개변수, 또는 대안적으로 그러한 매개변수를 보여주는 매개변수 존재하지 않습니다. De Moura와 Bjørner가 논의한 것처럼 SMT의 사용 사례는 다양하지만 핵심은 요점은 이러한 기술이 강력할 뿐만 아니라 버그와 오류를 극적으로 줄일 수 있다는 것입니다. 의미론적 오류.

반면에 Isabelle/HOL은 다음 작업에 사용할 수 있는 더욱 표현력이 풍부하고 다양한 도구입니다.

구현을 지정하고 확인합니다. Isabelle은 일반 정리 해결사입니다.

집합과 기타 수학적 객체를 표현할 수 있는 고차 논리 구성

증명에 사용됩니다. Isabelle 자체는 Z3 SMT 증명자와 통합되어 다음과 같은 문제를 해결합니다.

그런 제약.

두 접근 방식 모두 가치를 제공하므로 우리는 두 가지 접근 방식을 모두 단계적으로 수용하기로 결정했습니다.

인간이 작성한 교정은 Isabelle로 인코딩되어 정확성을 확인함으로써 만족감을 줍니다.

우리의 기계 검사 요구 사항. 그리고 우리는 점진적으로 Liquid Haskell을 모든 언어에 추가할 계획입니다.

2017년과 2018년에 걸쳐 Cardano 구현의 프로덕션 코드입니다.

마지막으로, 공식적인 검증은 검증하는 사양만큼만 우수합니다. 사용 가능한 도구 세트. Haskell을 선택하는 주요 이유 중 하나는 Haskell이 다음을 제공한다는 것입니다. 실용성과 이론의 적절한 균형. 백서에서 파생된 사양은 다음과 유사합니다. Haskell 코드를 사용하고 둘을 연결하는 것이 명령형으로 수행하는 것보다 훨씬 쉽습니다. 언어.

적절한 사양을 파악하고 업데이트하는 데 여전히 엄청난 어려움이 있습니다. 업그레이드, 버그 수정 및 기타 문제와 같은 변경이 필요한 경우 사양 그러나 이러한 현실이 어떤 식으로든 전체 가치를 감소시키지는 않습니다. 문제가 생길 경우 입증 가능한 보안을 바탕으로 기반을 구축했다면 구현은 다음과 같아야 합니다. 실제로 종이에 제안되었습니다.

투명성

암호화폐 개발의 과학 및 공학을 논의할 때 마지막 질문은 다음과 같습니다. 투명성을 다루는 방법. 디자인 결정은 부울이나 미묘한 것이 아닙니다. 개발자가 꿈에 있다가 갑자기 캐논이 되는 거죠. 그들은 경험에서 파생되며, 토론과 이전 실수로부터 배운 교훈.

우리가 카르다노를 만드는 이유 크리에이티브 커먼즈 저작자표시 4.0 국제 라이선스 페이지 26/44IOHK | 우리가 카르다노를 만드는 이유 | 2017년 6월 28일

문제는 완전히 투명한 개발 프로세스가 토론에 영향을 미칠 수 있다는 것입니다. 증거에 기반한 것보다 더 연극적인 것이 됩니다. 자아, 공동체를 이기려는 시도, 그리고 두려움 어리석게 들리는 것은 대화를 무미건조하고 비생산적이게 만들 수 있습니다.

더욱이 외부인은 자신의 의견을 강요하기 위해 대화를 선택하려고 시도할 수도 있습니다. 특정 접선이 유일한 관련 주제가 됩니다. 누구에게나 신성한 소가 있습니다.

그렇다면 투명한 개발 프로세스에 대한 요구 사이에서 어떻게 균형을 맞출 수 있습니까? 자유가 필요한 핵심 개발자들에게 발전을 맡긴 커뮤니티 두려움 없이 표현하는가?

Cardano을 통해 우리는 지시된 감독과 함께 표준 중심 프로세스를 채택하기로 결정했습니다. 커뮤니티는 과학과 코드가 잘 고려되고, 확인되고, 작성되었음을 알아야 합니다. 실제로 개발자가 주장하는 문제를 해결합니다. 이를 위해 동료 검토가 이루어져야 합니다. 이 목적을 위해 특별히 설계되었으므로 과학 구성 요소를 완전히 만족시킵니다. 그리고 우리에게 현대 세계를 주셨습니다.

코드의 경우 이 주제는 좀 더 독선적입니다. Cardano에 대해 우리는 다음을 위임하기로 결정했습니다. Cardano 재단이 IOHK 업무의 최종 감사자 역할을 합니다. 특히, 위탁된 다음과 같은 임무를 가지고 있습니다:

1. 품질 확인을 위해 Cardano Github에 포함된 소스 코드를 정기적으로 검토하고, 테스트 범위, 적절한 설명 및 완전성
2. 정확성과 유용성에 대한 모든 Cardano 문서 검토
3. 과학자들이 생산한 프로토콜이 완전히 구현되었다는 주장을 검증합니다.

이 임무를 완수하기 위해 IOHK는 정기적으로 적시에 보고서를 재단에 제출할 것입니다. 할당 – 검토. 재단은 차례로 개발 감독 보고서를 다음과 같이 발표합니다. Cardano 커뮤니티는 최소한 분기별로 제공됩니다.

이 첫 번째 노력은 분산형 프로젝트가 어떻게 진행되는지에 대한 더 광범위한 대화를 시작하기 위한 것입니다. 책임성을 달성합니다. 신뢰할 수 있는 제3자의 개발 감독은 다음과 같은 강력한 도구입니다. 개발자가 올바른 방향으로 가고 있는지 확인하지만, 개발자가 올바른 방향으로 가고 있는지 완전히 보장하는 것만으로는 충분하지 않습니다 프로젝트는 항상 제공됩니다.

이러한 이유로 재무부가 CSL에 통합된 후 재단은 다음을 장려할 것입니다. 공식 기반의 대체 클라이언트를 구성하기 위한 추가 개발 팀 IOHK와 공동으로 개발한 사양입니다. 개발 다양성은 훌륭한 기술이었습니다 단일 아이디어 세트를 중심으로 형성되는 단일 문화를 피하기 위해 Ethereum 프로젝트에서 사용됩니다. 개발자. 우리가 카르다노를 만드는 이유 크리에이티브 커먼즈 저작자표시 4.0 국제 라이선스 페이지 27/44IOHK | 우리가 카르다노를 만드는 이유 | 2017년 6월 28일

사양과 관련하여 표준에서 얻을 수 있는 풍부한 지식이 있습니다. 프로세스에 이어 WC3 및 IETF가 이어집니다. 궁극적으로 각 프로토콜 Cardano은 학술 작업이나 소스 코드와 독립적인 사양이 필요합니다. 오히려 그럴 필요가 있다 RFC와 같은 적절한 형식이어야 합니다.

Cardano 재단의 핵심 원칙 중 하나는 특별히 다음을 위한 표준 기관의 역할을 하는 것입니다. Cardano 프로토콜을 사용하고 관련 표준을 업데이트, 추가 또는 변경하기 위한 대화를 주최합니다. Cardano. IETF를 통해 인터넷(표준의 산물)이 합의에 도달할 수 있다면 무엇인가? 핵심 프로토콜을 사용해야 한다면 전담 기관이 있다고 가정하는 것이 전적으로 합리적입니다. 동일한 결과를 촉진할 수 있습니다.

마지막으로, 이러한 논의를 분산화된 실체로 옮기는 것을 탐구하는 것은 흥미로울 것입니다. blockchain에서 호스팅됩니다. 이러한 개념을 분산형 자율 조직(DAO)이라고 합니다. 이 분야에서는 예비 작업이 진행 중입니다. IOHK는 다음을 위한 참조 DAO 모델을 개발할 것입니다. 원하는 경우 사용하기 위해 Cardano과 인터페이스하는 개체이며 이는 Cardano 재단의 특권입니다. 표준 의무에 따라 이를 수용할지 여부를 결정합니다.

상호 운용성

거대근시

금융과 상업에 대한 더 넓은 개념은 궁극적으로 인간의 노력입니다. 우아함이 존재한다 언어, 의도를 포착하는 매우 정밀한 도구, 그리고 끝없이 이어지는 기술의 미로 나쁜 결과가 발생하는 경우와 수천 년 동안 법률을 추구하는 경우 상환 방법을 모색합니다. 무역의 형평성. 실제로 최초의 글쓰기 형태 중 일부는 상업적 계약이었습니다.

그러나 논리에 대한 탈중개화에도 불구하고 인간적 요소를 피할 수는 없다. 끔찍한 권력을 맡은 기계나 정부 파수꾼. 거기에 위대한 것이 있다 암호화폐의 근시. 그들은 대부분 인간의 현실과 동떨어져 있습니다.

사람들은 실수를 합니다. 사람들은 마음을 바꿉니다. 사람들은 항상 상황을 완전히 이해하지는 못합니다. 그들이 동의하는 비즈니스 관계. 사람들은 오해를 받고 사기를 당합니다. 상황은 개인 및 주 차원에서 변화하므로 고유한 솔루션이 필요합니다. 고심하다 이 점에서 대부분의 계약에는 불가항력 조항이 포함되어 있습니다.

우리가 카르다노를 만드는 이유 크리에이티브 커먼즈 저작자표시 4.0 국제 라이선스 페이지 28/44IOHK | 우리가 카르다노를 만드는 이유 | 2017년 6월 28일

그러나 암호화폐는 인간의 이해, 연민, 판단을 버리려고 합니다. 배려 없이 헌법에 완벽하게 구속된 무신경한 디지털 판사를 대신해 공정성이나 결과. 인간은 항상 노력해왔고 앞으로도 계속 노력할 것이라는 점을 감안할 때 규칙을 이기적인 목적으로 바꾸면 실제로 부패할 수 없는 시스템이 있다는 것은 상쾌한 일입니다.

하지만 사용자가 이러한 새로운 시스템을 기존 금융 시스템과 혼합해야 하면 어떻게 될까요? 시스템? 인간 세상에서 살아야 할 때 무슨 일이 일어나는가? 예를 들어, 재산 토지 등록과 같은 권리는 전적으로 물리적 세계에 존재합니다. token땅을 아직도 가꾸고 있는 중이라도 현재 관할권에 대한 어느 정도 인정이 필요합니다.

또 다른 점을 설명하자면, 금괴는 스스로 움직일 수 없습니다. 디지털 판사는 다음과 같은 명령을 내릴 수 있습니다. 하지만 인간이 수용하지 않으면 강제로 움직일 수는 없습니다. 따라서 디지털 원장은 다음과 같은 작업을 수행할 수 있습니다. 현실에서 표류하다.

따라서 프로토콜 설계자는 프로토콜 설계에서 인간 현실이 얼마나 허용되어야 하는지 결정해야 합니다. 암호화폐. 유연성이 높을수록 기대되는 절대적인 것에 대한 충실도는 낮아집니다. 는 소비자 보호가 강화될수록 롤백, 환불을 제공하는 메커니즘이 더 많이 존재해야 합니다. 그리고 역사 편집.

규정에 관한 이 섹션과 다음 섹션에서는 주제에 대한 Cardano의 실용적인 접근 방식을 다룹니다. 에서 상호 운용성 측면에서 논의할 두 가지 광범위한 그룹이 있습니다. 첫째, 상호 운용성 기존 금융 시스템(비암호화폐 세계). 둘째, 다른 제품과의 상호 운용성 암호화폐.

레거시

핀테크는 단일 표준이나 공통 언어로 구성되지 않습니다. 엄청나게 있다

접근 방식의 다양성, 결제 및 청산을 담당하는 주체, 비즈니스

회계, 변환 및 이동과 관련된 프로세스 및 기타 영역

가치.

단순히 하나의 기술이 우수하다고 해서 나머지 기술도 우수하다고 주장하는 것은 불합리합니다.

생태계는 어떻게든 패배를 인정하고 업그레이드할 것입니다. 예를 들어, 아직도 많은 사람들이

Windows XP 최초 출시 후 16년. 이 슬픈 상황은 누군가와 동일합니다

2000년에 1984년에 출시된 오리지널 Macintosh를 사용했습니다.

소비자 행동을 제외하면 기업의 업그레이드 주기는 일반적으로 훨씬 더 느립니다. 많은

은행은 여전히 Cobol로 작성된 백엔드를 사용합니다. 인프라가 작동하는 것으로 알려지고 충족되면

비즈니스 요구 사항에 따라 일반적으로 소프트웨어를 업그레이드하거나 개선할 인센티브가 거의 없으며

규정 준수 또는 보안 문제 외에 소비자의 이익을 위한 프로토콜. 우리가 카르다노를 만드는 이유 크리에이티브 커먼즈 저작자표시 4.0 국제 라이선스 페이지 29/44IOHK | 우리가 카르다노를 만드는 이유 | 2017년 6월 28일

Cardano의 경우 먼저 레거시 브리지에 수반되는 것이 무엇인지 설정해야 합니까? 어떤 시스템,

표준, 엔터티 및 프로토콜은 합리적인 확실성을 보장하기 위해 목표로 삼아야 합니다.

상호 운용성? 이러한 브릿지는 연합되거나 분산될 수 있습니까? 아니면 교환처럼 그들은

해커, 악의적인 소유자 또는 지나치게 열성적인 규제 기관의 주요 실패 지점이 됩니까?

해결해야 할 세 가지 우려 사항이 있습니다. 첫째, 정보의 표현과

그 정확성에 대한 믿음. 둘째, 가치와 그에 따른 소유권의 표현입니다. 셋째,

엔터티의 표현 및 특정 사용자의 그러한 신뢰 수준과 함께

엔터티.

유용하려면 정보와 가치가 기존 금융 세계와 금융 세계 사이에서 자유롭게 흘러야 합니다.

Cardano. 그런 다음 명성과 근거를 구축하기 위해 결과를 확립하고 기록해야 합니다.

의지를 위해. 그러나 그러한 것들은 본질적으로 관련된 행위자들에게만 국한됩니다. 인코딩하려면

blockchain에 있는 그것들은 그것들을 전역적이고 영구적으로 만들 것입니다.

더욱이 가치는 레거시 세계에서 항상 자유롭게 흐를 수는 없습니다. 금수 조치, 제재, 자본

통제 및 사법 조치로 인해 자산이 동결될 수 있습니다. 상호 운용이 가능하려면

값이 누출될 수 있으므로 항상 탈출 밸브를 열어 두십시오.

마지막으로 기업의 브랜드와 평판은 상업 활동의 초석 중 하나입니다. 관계. 매년 수십억 달러가 마케팅 캠페인을 구축하고 유지하는 데 지출됩니다. 그리고 수리 브랜드. 개인이나 단체에 대해 명예를 훼손하거나 허위 또는 오해의 소지가 있는 주장을 하는 경우, 그들은 법적 구제를 구할 권리가 있습니다. 그러나 blockchain의 영구 보존 시도 역사.

우리가 선택한 프로그래밍 언어와 마찬가지로 Cardano 문제를 해결할 이상적인 솔루션은 없습니다. 이러한 우려는 유비쿼터스적으로 올바른 방식으로 이루어집니다. 오히려 우리는 지지받는 의견에 양보해야 합니다. 다시.

정보의 흐름과 관련하여 이 흐름을 신뢰할 수 있는 데이터 피드라고 합니다. 소스가 있어요 그리고 내용. 출처에는 속이거나 유지하려는 신뢰성과 인센티브에 대한 개념이 있습니다. 정직. 콘텐츠는 임의로 인코딩될 수 있습니다.

프로토콜 스택에서 신뢰할 수 있는 하드웨어를 지원하려는 의도를 고려하여 다음을 선택했습니다. Ari Juel et al. 교수의 Town Crier Protocol에 대한 지원 추가를 살펴보세요. 가정하면 신뢰할 수 있는 데이터 소스 세트가 존재하므로 Town Crier는 웹의 안전한 스크래핑을 허용합니다. smart contracts 및 기타 애플리케이션에서 사용할 수 있는 콘텐츠입니다.

우리가 카르다노를 만드는 이유 크리에이티브 커먼즈 저작자표시 4.0 국제 라이선스 페이지 30/44IOHK | 우리가 카르다노를 만드는 이유 | 2017년 6월 28일

소스의 부트스트랩 목록은 Emurgo, IOHK 및 Cardano 재단에서 제공됩니다. 나중에 이 목록은 Cardano의 메커니즘에서 파생된 메커니즘을 사용하여 커뮤니티에서 선별한 목록으로 대체됩니다. 재무 시스템. 우리의 희망은 좋은 데이터 피드를 중심으로 평판 시스템이 실현될 수 있다는 것입니다. 이를 통해 긍정적인 피드백 루프를 생성하여 신뢰성과 충실도를 점차적으로 향상시킵니다.

가치 표현은 더 복잡한 주제입니다. 정보와 달리 — 일단 진실성, 적시성 및 완전성이 확립되면 프로토콜은 신뢰할 수 있고 안정적으로 작동할 수 있습니다. 결정론적 방식 — 가치는 더 섬세합니다.

token화되면 값은 고유한 개체처럼 동작해야 합니다. 정보를 복사할 수 있으며 전달되었지만 무언가(예: 차량 소유권)의 소유권을 나타내는 token은(는) 두 개의 서로 다른 원장에서 복제 및 거래됩니다. 이 행위는 회사의 완전성을 효과적으로 파괴할 것입니다. 시스템.

token화된 가치를 처리할 때 레거시 상호 운용성의 과제는 신뢰입니다. 원장 간의 tokens 흐름에 따라 가정, 신뢰성 및 감사 가능성이 변경됩니다. 예를 들어, Bob은 Bitcoin 일부를 소유하고 이를 거래소에 예치합니다. 이제 Bob은 교환 원장에 그의 Bitcoin이 표시됩니다. MtGOX의 경우 원장은 다음과 같이 했습니다. 현실에 부합하지 않아 사용자가 모든 것을 잃게 됩니다.

문제는 레거시 시스템이 다음 지역에 살고 있는 token을 인식해야 하기 때문에 더욱 복잡해집니다. 암호화폐. 앞서 언급했듯이 기업은 역사적으로 업그레이드에 저항적이었습니다. 그들의 소프트웨어와 새로운 프로토콜을 지원합니다. 이런 상황은 명확한 확인을 어렵게 만든다. 솔루션.

Cardano의 경우, 사용자가 풍부한 메타데이터를 첨부할 수 있는 옵션을 제공하는 것이 가장 좋습니다. 거래에 참여하고 업계 표준이 등장할 때까지 기다립니다. 일부 Interledger 작업 그룹, R3Cev 및 국제적인 노력으로 진전이 이루어졌습니다. 오래된 금융 프로토콜을 업그레이드하도록 요구합니다.

그러나 레거시에서 전달된 가치를 수량화하고 한정하는 것이 더 큰 과제로 남아 있습니다. 암호화폐 원장 시스템. 예를 들어 Bob이 은행 소유주이고 달러를 발행하는 경우 token을 지원하면 그는 항상 자신의 token을 Cardano과 같은 원장에 보내기 위한 브리지를 구축할 수 있습니다. 사용자가 발행한 자산.

Cardano은 소유권을 정확하게 추적하고 우리가 제공하는 모든 기능을 제공합니다. 타임스탬프 및 감사 가능성과 같은 암호화폐가 Bob을 정직한 은행가로 만들 수는 없습니다. 그는 항상 자신의 달러를 모두 담보하지 않음으로써 부분지급준비은행을 운영할 수 있는 선택권을 가지고 있습니다. 우리가 카르다노를 만드는 이유 크리에이티브 커먼즈 저작자표시 4.0 국제 라이선스 페이지 31/44IOHK | 우리가 카르다노를 만드는 이유 | 2017년 6월 28일

tokens는 실제 달러입니다. 이 사기는 달러가 아닌 이상 암호화폐로 감지될 수 없습니다. 그 자체는 디지털 원장에 의해 기록된 token이었습니다. 25

마지막으로, 온라인에서 엔터티를 표현하는 것은 초기부터 거슬러 올라가는 고전적인 네트워크 문제입니다. 인터넷의 날. 대학, 기업, 정부 부서 및 임의의 사용자 언젠가는 자신의 정체성을 확립해야 합니다.

이를 위해 웹의 공개 키 인프라와 같은 실용적이면서도 중앙 집중화된 솔루션과 ICANN의 DNS 시스템이 구현되었습니다. 우리가 현대적인 웹을 즐기고 있다는 점을 고려하면, 솔루션은 확장 가능하고 실용적입니다. 그러나 그들은 좀 더 상업적인 질문에는 대답하지 않습니다. 결정에 필요한 신뢰성, 신뢰도 및 기타 메타 특성에 대한 질문 해당 법인과 사업을 하고 싶은 경우.

eBay와 같은 다방면 시장 호스트는 다음과 같은 서비스를 제공하는 비즈니스 모델을 구축했습니다. 트랜잭션을 완료하기 위해 프레임워크와 함께 이 메타데이터를 사용합니다. 에 관한 판단 콘텐츠, 이벤트 및 비즈니스의 품질은 종종 온라인 평가에만 큰 영향을 받습니다. 신뢰할 수 있는 출처에서. 26

Cardano과 관련된 이 부분은 평판의 중앙 집중화에 대한 문제입니다. 다음 중 하나 Cardano의 목표는 개발도상국에 금융 스택을 제공하는 것입니다. 이 노력의 핵심 한 번도 만나본 적 없는 배우와 신뢰를 쌓는 능력이다.

단일 기업이나 기업 컨소시엄이 유기 기업이 아닌 좋음 또는 나쁨으로 분류되는 대상을 통제하는 경우 커뮤니티 전체의 실제 상호 작용에서 파생된 프로세스를 통해 이러한 개체는 인지된 죄에 대해 임의로 블랙리스트에 추가합니다. 이 힘은 프로젝트로서의 우리의 가치에 위배됩니다 암호화폐 사용의 더 넓은 관점을 무너뜨립니다.

다행스럽게도 재무부 투표에 사용된 것과 동일한 메커니즘이 사용되어 목록에 출처를 추가했습니다. 신뢰할 수 있는 데이터 피드와 프로토콜 포크를 재사용하여 평판 공간을 구축할 수 있습니다. 그것은 연구의 개방형 영역이며 우리의 희망은 분산화를 위한 오버레이 프로토콜을 제공하는 것입니다. 더 많은 기본 요소가 정착된 후 2018~2019년 신뢰의 평판 웹.

암호화폐 상호 운용성

25 반면에 디지털 원장의 경우 보유량 증명이 영리한 방법으로 제안되었습니다. 암호화폐는 정직한 거래만 합니다. 26 이러한 요율은 콘텐츠 제작 자체에도 영향을 미칩니다. Rotten Tomatoes에 대한 흥미로운 이야기를 확인하세요. 영화계에 영향을 미쳤다. 우리가 카르다노를 만드는 이유 크리에이티브 커먼즈 저작자표시 4.0 국제 라이선스 페이지 32/44IOHK | 우리가 카르다노를 만드는 이유 | 2017년 6월 28일

레거시 세계에서 분산 디지털 원장으로 이동하면 상호 운용성이 훨씬 간단해집니다. 각 원장에는 네트워크 프로토콜, 통신 표준 및 보안 가정이 있습니다. 각각의 합의 알고리즘에 대해 설명합니다. 이는 차례로 쉽게 정량화될 수 있습니다.

정보의 이동은 해외 네트워크에 연결하고 이를 번역함으로써 이루어집니다. 메시지. 가치의 이동은 중계 시스템, 원자 교차 체인 거래를 통해 이루어질 수 있습니다. 또는 영리한 사이드체인 계획을 통해. 중앙화된 운영자가 없기 때문에 엔터티 표현은 개발자, 채굴자 또는 채굴자에 대한 신뢰에 대한 메타 논의로 더 많은 것을 제한합니다. 다른 파워브로커.

Cardano의 경우 Kiayias, Miller 및 진드로스. 이는 두 체인 간에 가치를 안전하게 이동하는 비대화형 방법을 제공합니다. 프로토콜을 지원합니다. 이 메커니즘은 CSL과 CCL 레이어.

다른 암호화폐의 경우 Cardano의 가치와 사용자가 증가함에 따라 연합 브리지가 형성되어야 합니다. 베이스. 이러한 성장을 가속화하기 위해 Cardano SL은 제한된 버전의 Plutus를 지원합니다. 상호 운용성 스크립트. Shelley 및 이후 CSL 릴리스에 새로운 트랜잭션이 추가됩니다. 특히 이러한 요구를 해결하기 위해.

다이달로스의 미로

상호 운용성에 대한 요점은 글로벌 관점에서 나옵니다. 전문 프로토콜, 새로운

거래 유형, 신뢰성을 평가하는 시스템 및 정보 흐름의 범위는 다음과 같습니다.

단 한 명의 게이트키퍼 또는 사용자일 뿐입니다. 오히려 누구든지 없이 누구나 쉽게 사용할 수 있어야 합니다.

검열이나 통행료.

하지만 Cardano이 프로토콜, 트랜잭션 또는 애플리케이션을 지원하지 않으면 어떻게 되나요?

사용자는 없이는 살 수 없습니까? 우리는 범위 밖에 있어야 하는가? 웹도 비슷한 문제에 직면했습니다.

1990년대 동안.

아이러니하게도 웹은 암호화폐로 복제할 수 있는 두 가지 솔루션을 제공합니다.

JavaScript의 도입으로 임의의 웹사이트를 추가할 수 있는 프로그래밍 기능이 제공되었습니다.

특징. 브라우저 플러그인 및 확장 기능의 도입으로 사용자 정의 기능이 추가되었습니다.

설치하려는 사용자. 두 접근 방식 모두 보안과 함께 최신 웹을 제공했습니다.

공포.

우리가 카르다노를 만드는 이유 크리에이티브 커먼즈 저작자표시 4.0 국제 라이선스 페이지 33/44IOHK | 우리가 카르다노를 만드는 이유 | 2017년 6월 28일

Ethereum에서는 사용자가 하위 프로토콜을

Ethereum blockchain을 smart contract로. Cardano은 CCL을 통해 이 기능을 지원합니다.

패러다임. 하지만 사용자 정의 확장은 어떻습니까?

명확한 예는 암호화폐 거래자일 것입니다. 분산화된 시장을 상상해 보세요.

다양한 암호화폐 세트를 지원하는 DM이라고 합니다. 트레이더는 자신의 거래를 자동화하고 싶어합니다.

DM에 작용하는 전략.

단편화된 생태계에서 거래자는 각각에 대해 수십 명의 클라이언트를 설치해야 합니다.

그런 다음 조정을 위해 각 클라이언트와 대화하는 맞춤형 소프트웨어를 작성합니다.

자동화된 거래. 하나의 클라이언트가 업데이트되면 맞춤형 소프트웨어가 손상될 수 있습니다. 게다가,

상인이 소프트웨어를 판매하고 싶어하면 어떻게 되나요?

확장의 웹 모델에서 영감을 받아 다양한 암호화폐에 대한 인터페이스가 가능하다면

웹 스택으로 끌어들이면 거래자의 작업이 훨씬 쉬워집니다. 보편적인

인터페이스를 구축할 수 있습니다. 설치는 한 번의 클릭으로 이루어집니다. 소프트웨어 배포를 모델링할 수 있습니다.

Chrome 웹 스토어 이후.

Cardano의 경우 참조를 배포하여 이 패러다임을 실험하기로 결정했습니다.

Electron의 지갑 프런트 엔드. Github에서 관리하는 오픈 소스 프로젝트입니다.

Node와 Chrome을 함께 사용합니다. Cardano의 Electron 빌드는 Daedalus라고 합니다.

다이달로스의 1세대 기대되는 많은 기능을 지원하는 HD 지갑 역할을 할 것입니다.

27 비밀번호 사용 및 업계 표준인 회계 및 보안 기능

BIP39. 이후 세대에서 Daedalus는 스토어를 갖춘 애플리케이션 프레임워크로 발전할 것입니다.

범용 통합 API 및 SDK.

핵심 혁신은 프로그래머가 JavaScript를 사용할 수 있게 함으로써 개발이 용이하다는 것입니다.

애플리케이션과 교차 애플리케이션을 위한 통합 브리지를 구축하기 위한 HTML5 및 CSS3

의사소통. 암호화, 분산 네트워크 관리,

데이터베이스 메커니즘을 추상화하여 개발자가 사용자에만 집중할 수 있도록 합니다.

경험과 애플리케이션의 핵심 논리.

Daedalus는 보편적인 프레임워크로 의도되었기 때문에 로드맵과 진화는 다소

Cardano과 무관합니다. 2017년에는 두 가지가 긴밀하게 결합되어 있었지만 나중에는 Cardano이(가) 그냥 연결될 것입니다.

Daedalus 사용자를 위한 또 다른 애플리케이션입니다. 우리는 또한 매우 독특한 기능을 탐구할 계획입니다.

Intel SGX에서만 실행되는 범용 키 관리 서비스 등이 있습니다.

27 daedaluswallet.io에서 이미 사용 가능
우리가 카르다노를 만드는 이유 크리에이티브 커먼즈 저작자표시 4.0 국제 라이선스 페이지 34/44IOHK | 우리가 카르다노를 만드는 이유 | 2017년 6월 28일

궁극적으로 프로토콜 설계자로서 우리는 모든 요구 사항을 지원할 수는 없습니다. 우리의 희망은 유연성이

Daedalus가 CCL에서 실행되는 상태 저장 smart contract과 결합하여 제공하는 것은

우리의 디자인 결정에서 제외된 것들. 우리는 또한 더 나은 표준이 등장할 수 있기를 바랍니다.

모든 암호화폐가 더 나은 상호 운용성과 보안을 누릴 수 있도록 장려합니다.

규제

잘못된 이분법

규제는 종종 변덕스럽고 난해할 수 있지만, 은유적으로는 우아함을 추론할 수 있습니다. 부패한 사람들과 정의를 추구하는 검사들의 이야기 루프. 규정은 툴킷이다. 법집행자. 그러나 모든 도구와 마찬가지로 그것들도 조잡하거나 오래되었거나 단순히 오용될 수 있습니다.

암호화폐는 인간의 조건이나 내러티브 루프를 바꾸지 않았습니다. 항상있을 것입니다 최선의 의도에도 불구하고 사기, 나쁜 행위자 및 끔찍한 결과가 발생할 수 있습니다. 동안 암호화폐는 인간의 판단을 제거할 수 있지만 인간의 행동을 제거할 수는 없습니다.

암호화폐 설계자는 규제 기관에 어떤 툴킷을 제공할지에 대한 입장을 취해야 합니다. 나쁜 사건을 바로잡아라. 암호화폐가 직면한 독특한 과제는 암호화폐가 다음과 같은 산물이라는 것입니다. 규제 및 금전적 실패. 28

문화적으로 많은 암호화폐 업계에서는 정부 조치가 부패하거나 무능하거나 부적절하다고 생각합니다. 효과가 없습니다. 따라서 그들은 특별한 백도어를 승인하려는 존경심, 인내심 또는 욕구가 거의 없습니다. 규제 기관이나 법률가가 잘못을 바로잡기 위해. 이 행위는 전체 목적에 반하는 행위가 될 것입니다. 암호화폐.

반면에 교류실패나 역사적 사건 등을 포함하면 10%가 넘는다. Bitcoin은 2009년 1월 3일 프로토콜이 시작된 이후 분실 또는 도난당했습니다. 6월 30일 현재, 2017년에는 손실되거나 도난당한 가치가 40억 달러를 조금 넘습니다. 그리고 이 수치는 고려되지 않습니다 Bitcoin 및 기타 token은 사기 및 형식이 잘못된 ICO로 인해 손실되었습니다.

28 실제로 Satoshi는 The Times에서 가져온 다음 헤드라인을 Bitcoin Genesis Block에 삽입했습니다. The Times 2009년 1월 3일 은행총리 2차 구제금융 위기 우리가 카르다노를 만드는 이유 크리에이티브 커먼즈 저작자표시 4.0 국제 라이선스 페이지 35/44IOHK | 우리가 카르다노를 만드는 이유 | 2017년 6월 28일

다음으로는 개인정보 보호 문제가 있습니다. 거시적 규모에서 가치는 전문화된 채널을 통해 흐릅니다. 규제되고 메타데이터가 풍부하며 법 집행 기관과 정부에 의해 적극적으로 모니터링되는 그리고 국제 규제 기관. 에서만 누출이 발생하는 잘 알려진 게임입니다. 세계가 디지털 화폐로 이동함에 따라 현금 측면은 점차 줄어들고 있습니다.

29

암호화폐가 존재하지 않는다면 패러다임은 점점 더 많은 것을 취급하는 세상이 될 것입니다. 소셜 미디어 콘텐츠와 같은 금융 개인 정보 보호. 아무것도 없으며 선택을 취소할 수 없습니다. 그러므로 우리는 명백한 이분법을 낳는 딜레마를 안고 있다.

암호화폐 설계자는 원칙을 포기하고 현지 요구 사항에 굴복할 수 있습니다. 해당 코드에 관할권이 부여되어 해당 코드의 개인 정보 보호 및 무결성이 손상됩니다. 사용자. 아니면 그는 더 원칙적이지만 무정부주의적인 철학을 채택할 수도 있습니다. 현재 모범 사례 및 법률.

Cardano의 경우, 우리는 이 이야기가 상상력 부족으로 인한 잘못된 이분법이라고 생각합니다. 는 현실은 대부분의 사용자가 시장에 존재하는 규칙에 관심이 없다는 것입니다. 그들은 일반적으로 한 명 이상의 행위자에게 이익이 되도록 규칙을 갑자기 변경하는 것에 대해 우려합니다. 그들은 걱정한다 누가 특별한 특권을 받는지에 대한 투명성이 부족하다는 점입니다.

우리는 개인의 권리와 시장의 권리를 구별할 필요가 있습니다. 암호화폐가 가지고 있는 점을 고려하면 전 세계적으로 접근하려면 권한이 최대한 사용자 중심으로 이루어져야 합니다.

개인정보 보호는 합리적이어야 하며 게이트키퍼가 아닌 사용자가 통제해야 합니다. 가치의 흐름 무제한이어야 합니다. 동의 없이 가치가 갑자기 몰수되어서는 안 됩니다.

시장 관점에서 볼 때, 시장은 데이터 사용, 방법에 대해 투명해야 합니다. 자금은 내부에서 처리되며 모든 사람은 동일한 규칙에 따라 플레이해야 합니다. 게다가, 사용자가 동의하면 갑자기 마음을 바꿀 수 없습니다. 불편함. 상대방에게도 확실성이 필요합니다.

그러나 추상적인 시스템에서 실제 시스템으로 정확히 어떻게 이동합니까? 무엇을 해야 할까요? 실용적이고 합법적인 것 같나요? 우리는 솔루션을 메타데이터, 인증 및 규정 준수는 물론 마켓플레이스 DAOs.

29 독자는 David Wolman의 The End of Money 사본을 선택하는 것을 고려해야 합니다. 그것은 다음을 다룬다 현금이 사라지는 것을 향한 국제적 움직임. 우리가 카르다노를 만드는 이유 크리에이티브 커먼즈 저작자표시 4.0 국제 라이선스 페이지 36/44IOHK | 우리가 카르다노를 만드는 이유 | 2017년 6월 28일

메타데이터

어떤 행위는 종종 그것을 둘러싼 메타데이터보다 덜 흥미롭습니다. 에 대한 예를 들어, 덴버에서 볼더까지 운전하는 것은 행위입니다. 덴버에서 볼더까지 페라리를 타고 운전하기 평균 120MPH의 488은 메타데이터입니다. 확실히 이것은 다른 경험을 암시합니다. 평균 시속 30마일의 토요타 프리우스.

금융거래도 다르지 않습니다. 그들을 둘러싼 맥락은 매우 놀랍습니다. 경제학자, 세무 당국, 법 집행 기관, 기업 및 기타 단체에 중요합니다. 슬프게도 현재의 법정화폐 기반 시스템에서 대부분의 소비자는 자신의 메타데이터가 얼마나 풍부한지 결코 알지 못합니다. 거래는 또는 공유 대상입니다. 30

Cardano의 경우, 우리는 사용자가 공유해야 할 수 있거나 법적으로 요구된다는 점을 인정합니다. 세무 당국과 같은 특정 행위자와의 거래 메타데이터. 하지만 우리는 이러한 공유가 사용자의 동의를 얻어야 합니다.

우리는 또한 blockchain 시스템이 사기, 낭비 및 낭비를 제거하는 엄청난 힘을 가지고 있다고 믿습니다. 감사 가능성, 타임스탬프 및 불변성을 제공하여 남용합니다. 따라서 일부 메타데이터는 Cardano blockchain에 게시되었습니다.

어려운 부분은 우리의 blockchain을 상당한 수준으로 비난하지 않는 올바른 균형을 찾는 것입니다. 팽창. 이러한 우려를 고려하여 우리는 실용적인 접근 방식을 선택했습니다.

첫째, Daedalus는 향후 12개월 동안 라벨을 붙일 수 있는 다양한 기능을 지원할 것입니다. 거래 및 금융 활동. 이러한 메타데이터는 필요에 따라 내보내고 공유할 수 있습니다. 사용자가 필요하다고 판단하는 사람. 또한 데이터는 제3자에 의해 조작될 수 있습니다. 도메인별 목적을 위한 애플리케이션(예: 세무 회계)

둘째, hashes를 포함할 수 있는 특수 주소에 대한 지원 추가를 모색하고 있습니다. 암호화된 필드. 이 구조를 통해 사용자는 별도의 조치 없이 blockchain에 메타데이터를 게시할 수 있습니다. 공개적으로 공개합니다. 하지만 그녀가 데이터를 공유하고 싶다면 모든 감사 기능이 제공될 것입니다. 트랜잭션이 누리는 불변성과 타임스탬프 보증.

30 보다 거시적인 규모에서 저자 Juan Zarate는 미국 재무부가 이 데이터를 사용하는 방법에 대해 글을 썼습니다. 재무부 전쟁에서 테러와의 전쟁 부서. 이는 다음과 같은 방법에 대한 포괄적인 시각을 제공합니다. 현재 세계 금융 시장의 구조는 지정학적 목적으로 사용될 수 있습니다. 우리가 카르다노를 만드는 이유 크리에이티브 커먼즈 저작자표시 4.0 국제 라이선스 페이지 37/44IOHK | 우리가 카르다노를 만드는 이유 | 2017년 6월 28일

우리는 이미 속성 필드를 포함하는 주소 구조를 배포했습니다. 현재는 빠른 지갑 복구를 위해 HD 지갑 트리 구조의 암호화된 복사본을 저장하는 데 사용됩니다(참조 HD 지갑 문서). 이후 버전에서는 이 구성을 일반화할 것입니다.

인증 및 규정 준수

거래와 밀접한 관련이 있는 것은 거래를 할 수 있는 권리와 자금의 소유권. 예를 들어, 무언가를 구매하기에 충분한 자금이 있을 수 있지만(예: 예를 들어 주류) 구매에 제한이 있을 수 있습니다(연령 요건).

소유권과 자금 출처는 일반적으로 고객 규정을 아는 섭리입니다. 은행이나 거래소 등 금융서비스업에서 신규 고객을 위해 계좌를 개설할 때, 일반적으로 고객과 자금 조달 장소에 대한 기본 정보를 수집해야 합니다. 에서.

기술적인 문제는 법적으로 요구되는 사항을 제출하는 과정에서 정보를 전송하는 사용자는 해당 정보가 어떻게 사용, 저장되는지, 그리고 언제 사용되는지 보장할 수 없습니다. 파괴되었습니다. 규정 준수 정보는 상업적으로 가치가 있습니다. 신원 도용으로 도난당할 수도 있습니다. 또는 규정이 허용하는 경우 재판매할 수 있습니다.

Cardano에서는 최대한 혁신을 이루고 싶습니다. 프로토콜의 소프트웨어 측면에는 규정 준수 정보 수신자가 특정 범위 내에서 행동할 것이라는 보장을 거의 제공하지 않습니다. 행동 범위. 그러나 프로토콜의 하드웨어 측면에서는 신뢰할 수 있는 하드웨어를 사용하여 다음을 수행할 수 있습니다. Intel SGX 및 기타 HSM을 활용하여 특정 정책을 시행합니다.

따라서 우리는 안전을 허용하기 위해 공유 정책과 함께 봉인된 유리 증명을 사용하는 방법을 모색하고 있습니다. 준수를 강요받는 검증자에게 준수 정보를 전송합니다. 정책에 따라 전송되었습니다. 우리는 두 가지 통일된 표준이 모두 등장할 수 있다고 믿습니다. 또한 이 방법은 고객 데이터의 손실을 방지함으로써 검증자의 위험을 줄일 것입니다. 해커.

이러한 노력의 결과로 우리는 가치를 분리하는 Cardano 계층 모델을 제안합니다. 계산도 이 접근 방식의 이점을 누릴 수 있습니다. 계산 계층이 규제된 방식으로 실행되는 경우 엔터티(예: 거래소 또는 카지노)의 경우 규정 준수 확인을 수행해야 하며 잠재적으로 사용자에게 세금 정책을 시행할 수 있습니다.

SGP를 사용하면 사용자는 개인 식별 정보와 함께 자금을 보낼 수 있습니다. 더 넓은 인터넷으로 유출되거나 합의 노드에 의해 보존될 것이라는 우려 우리가 카르다노를 만드는 이유 크리에이티브 커먼즈 저작자표시 4.0 국제 라이선스 페이지 38/44IOHK | 우리가 카르다노를 만드는 이유 | 2017년 6월 28일

계산 계층. 더욱이, 계산 계층은 모든 사용자가 거래는 인증되고 합법적입니다.

이 패러다임은 또한 규제 대상 기업 간의 고객 이동성을 허용합니다. 교환이 가능하다 이러한 안전한 채널을 통해 즉시 고객의 잔액과 계좌를 이체하고 — 정책이 허용하는 경우 — 규제 기관과 데이터를 공유합니다.

우리는 이 기술에 대한 첫 번째 베타 테스트가 2018년 중반에 수행될 것으로 예상합니다. 연구 결과를 기다리고 있는 2018년 말부터 2019년 초까지 Cardano 통합을 목표로 합니다. 이 타임라인 또한 실행되도록 코드 서명을 얻기 위해 ARM 및 Intel과 협력할 수 있는 능력도 가정합니다. 그들의 하드웨어. 31 마켓플레이스 DAOs

이전 두 섹션에서는 다음을 가정하여 정보의 생성 및 이동을 다루었습니다. 어떤 외부 시스템의 존재. 레거시 상호 운용성을 보장하기 위해 이러한 기능은 항상 필요하지만 blockchain 기반 규정을 다루지는 않습니다.

스마트 계약은 관계가 이루어지는 완전히 새로운 종류의 상업 시스템을 가능하게 합니다. 결정론적이며, 자체 실행적이며, 모호함이 없습니다. 이는 차례로 다음에 대한 규칙을 만드는 데 사용될 수 있습니다. 중재, 이벤트 기반 환불, 그리고 특별한 조건 하에 사실을 폭로하는 것입니다.

우리는 이러한 smart contract 시행 구조를 마켓플레이스 DAO라고 부릅니다. 그들은 필요하지 않습니다 특수 프로토콜 지원이나 변경 가능성이 원장에 내장됩니다. 사실, 그들은 완전히 될 수 있습니다 상호 의존적인 smart contract 모음을 사용하여 구성됩니다.

건축 컨셉은 다음에서 영감을 받은 상업용 템플릿 컬렉션을 디자인하는 것입니다. 계약법 및 비즈니스 모범 사례. 이러한 템플릿은 개발자의 템플릿에 연결될 수 있습니다. smart contract 시장에 특정 표준을 적용합니다.

예를 들어, 개발자가 크라우드세일을 수행하기 위해 CCL에서 ERC20 token을 발행하려고 한다고 가정해 보겠습니다. 에이 마켓플레이스 DAO은 크라우드세일 및 해당 이용 약관을 위해 특별히 설립될 수 있습니다. 매개변수화되거나 자원봉사자 또는 법적 기준에 따라 시행되기도 합니다. 환불 등의 사항은 자금 재분배 또는 지불 동결은 개발자의 ERC20에서 상속될 수 있습니다. 계약.

31 Intel SGX 상용 라이센스 정책 보기 우리가 카르다노를 만드는 이유 크리에이티브 커먼즈 저작자표시 4.0 국제 라이선스 페이지 39/44

IOHK | 우리가 카르다노를 만드는 이유 | 2017년 6월 28일

이러한 노력을 통해 우리는 시장을 어떻게 통제해야 하는지에 대한 거시적인 논의를 할 수 있습니다. 소비자 보호를 확실히 하기 위해서죠. 둘째, 트랜잭션을 모델링하는 방법에 대해 논의할 수 있습니다. 다음과 같은 특정 관할권 내에서 법적 보호 및 권리를 자동으로 보장하는 방법 뉴햄프셔.

Cardano 재단, IOHK 및 기타 단체와 협력하여 Cardano 프로젝트는 smart contract 개발자가 사용할 수 있는 Marketplace DAO의 참조 라이브러리입니다. 우리의 희망은 보험 및 규제 시장은 이러한 DAO을 중심으로 형성될 수 있으며 결과에 따라 스스로 발전합니다.

지속 가능성

안 침수 으로 는 암호화폐 지역 수확량 많은 개념적 모순.

암호화폐는 변경하기 어렵게 설계되었지만 모든 기술과 마찬가지로 변경이 필요합니다.

설계 결함과 발전을 해결하기 위해 변경합니다. 블록체인은 이를 방지하기 위해 만들어졌습니다.

중앙 집중화되어 있지만 변경을 주도하거나 코드를 유지하려면 강력한 행위자가 필요합니다.

아마도 가장 실망스러운 경험은 대부분의 사람들에게 명백한 결함이 있을 때 발생할 것입니다.

이해관계자들은 수정이 필요하다는 점에 동의하지만 앞으로 나아갈 방향에 대한 합의가 이루어지지 않습니다.

Bitcoin의 블록 크기 논쟁은 이제 2년 넘게 활발한 이슈가 되었습니다. 매일,

네트워크가 최대 용량에 도달했기 때문에 총 10억 달러가 넘는 거래가 보류 중입니다.

임시 해결책이 있더라도 간단한 매개변수를 변경할 수 없는 경우

그렇다면 기업과 정부는 어떻게 수십억 달러를 투자하는 것을 편안하게 느낄 수 있습니까?

이러한 시스템 위에 인프라를 구축하는 데 드는 비용은 무엇입니까? 그 문제에 관해서는 어떻게 할 수 있습니까?

책임 없는 프로토콜을 통합하는 전략적 위험에 대한 비즈니스 도박

합리적인 디자인 업그레이드를 하시겠습니까?

역사를 되돌아보면 인터넷의 진화는 심지어 비슷한 패턴을 따랐습니다.

IPv4에서 IPv6로의 전환과 같은 간단한 변경을 실현하는 데 수십 년이 걸립니다. 그러나 거기에는

blockchain 기술과 인터넷은 매우 뚜렷한 대조를 이룹니다.

관리 스타일이 다릅니다.

인터넷은 DARPA에서 강력한 힘을 지닌 학계로 성장한 군사 프로젝트였습니다.

정부의 지원과 잘 정의된 초기 관리인 세트. 인터넷은 아래에서 성장했습니다.

기업의 영향력을 행사하려는 계략이 없는 비상업적 조건

우리가 카르다노를 만드는 이유 크리에이티브 커먼즈 저작자표시 4.0 국제 라이선스 페이지 40/44IOHK | 우리가 카르다노를 만드는 이유 | 2017년 6월 28일

네트워크를 독점하세요. 실제로 전자상거래는 NSF AUP가 폐지될 때까지 NSF AUP를 위반했습니다.

기업이 인터넷을 상업화할 수 있는 기회를 얻었을 때 이미

강력한 표준, 원칙 및 복음주의 지지자들. 이것은 다음과 같은 회사를 막지 못했습니다.

AOL과 Microsoft는 벽 정원을 건설하고 다음과 같은 독점 기술을 만들려고 노력합니다.

액티브X. 이 재단은 Google과 같은 차세대 주체의 추진을 막지 못했습니다.

엄청난 사용자 기반과 자본화를 감안할 때 자체 의제입니다.

떼를 지어 임대를 구하는 가운데 거래자부터 채굴자까지, 암호화폐는 궁극적인 것입니다.

32 상업적으로 동기를 부여받은 생태계. 이러한 기반을 바탕으로 관리인의 진화는 다음과 같습니다.

암호화폐는 사리사욕을 중심으로 최적화되었습니다.

예를 들어, 검증 없는 채굴은 채굴자의 성능을 향상함에 따라 더 자주 발생하기 시작합니다.

그러나 이는 채굴의 전체 목적과 유용성을 완전히 무시하는 것입니다. 광업

중앙집권화는 이미 소수의 행위자들이 대부분의 업무를 통제하면서 이루어졌습니다.

Bitcoin의 hash 힘.

인터넷과 마찬가지로 암호화폐도 변화하려면 합의가 필요합니다. 하지만 이렇게 급할 때는

소수의 브로커에게 권력이 집중되고, 변화가 일어나지 않으면 어떻게 될까요?

그들에게 편리한가?

인터넷과 달리 대부분의 암호화폐의 부트스트래핑은 이타적인 방식으로 수행되지 않습니다.

비상업적 또는 학문적 수단. 처음부터 일부 그룹은 이익을 추구하고

이러한 이익을 보장하기 위해 할당된 전력 중개인이 있습니다.

창립 중앙화는 각 암호화폐가 진화하면서 직면해야 하는 현실입니다. 우리

완전히 벗어날 수는 없지만 최소한 점진적인 분산화를 중심으로 설계해야 합니다.

Cardano에서는 어떤 요인이 중앙 집중화를 촉진하는지, 어떤 요인이 무엇인지 신중하게 생각했습니다.

기술 할 수 있다 우리의 프로토콜이 점진적으로 공개되도록 장려하기 위해 적용됩니다.

웹과 같은 인프라.

우리 완전히 인정하다 그 합계 분권화 이다 둘 다 불가능하다 그리고 아마도 심지어

비생산적이다. 그러나 보다 균형 잡힌 시스템을 생성하기 위해 특정 요소를 권장할 수 있습니다.

첫째, 크라우드세일 자금의 중앙 집중식 관리는 민첩하고 빠른 개발을 가능하게 합니다.

프로토콜 초기에는 결국 자금 조달이 다양화되어야 하고 속도도 빨라져야 합니다.

32 이 용어에 대한 자세한 내용은 링크를 참조하세요. 우리가 카르다노를 만드는 이유 크리에이티브 커먼즈 저작자표시 4.0 국제 라이선스 페이지 41/44IOHK | 우리가 카르다노를 만드는 이유 | 2017년 6월 28일

개발은 보다 체계적이고 신중한 속도로 물러날 필요가 있습니다. 이 점에 이어,

자금 조달은 문화적, 언어적, 지리적 편견을 피해야 합니다.

둘째, 커뮤니티가 해당 문제의 근본적인 성격에 대해 더 많은 정보를 얻게 되면서

암호화폐의 기술, 로드맵에 대한 결정은 일련의 중앙 집중화될 수 없습니다.

핵심 개발자 또는 재단. 제안하려면 blockchain 기반 방법이 필요합니다.

프로토콜에 대한 변경 사항을 조사하고 제정합니다.

셋째, Cardano SL blockchain 유지 이면의 인센티브가 직접적으로 일치해야 합니다.

모든 사용자의 총체적인 욕구로. 우리는 전문 행위자로 구성된 도당이 다음을 수행하도록 허용할 수 없습니다.

더 큰 공동체의 의지에서 독립된 사람들이 등장합니다.

첫 번째 원칙으로 우리는 재무 시스템을 Cardano에 통합하기로 결정했습니다. 에 대한

둘째, 우리는 Cardano 개선 제안을 제안하는 공식 프로세스를 배포할 것입니다.

CSL 자체에서 조정하는 시스템입니다. 세 번째로, 우리는 Ouroboros가 우아한 기능을 제공한다고 믿습니다.

솔루션.

위 주제에 대해 더 자세한 내용을 제공할 수 있지만 해당 주제는 그 자체로 광범위하고

설문지의 범위를 벗어났습니다. 메커니즘 설계는 가장 복잡하고 복잡한 설계 중 하나입니다.

이론이 불완전하고 확고한 표준 모델이 없는 상호 의존적인 학문 분야

에.

오히려 섹션 2에 설명된 과학 기반 접근 방식이 여기서는 도움이 됩니다. IOHK의 베리타스

팀은 Lancaster University의 연구원 그룹과 협력하여 작업하고 있습니다.

Bingsheng Zhang 교수의 지시에 따라 Cardano의 참조 재무 모델을 개발했습니다. 와

2018년 통합을 목표로 2018년 말까지 동료 검토를 거친 전문 출판물이 나올 것으로 기대합니다.

암호화폐 프로토콜 변경 사항에 대한 공식적인 설명과 조사를 위해 이 주제는 다음과 같습니다.

존재론적 개념과 인센티브를 제공하는 메커니즘이 모두 필요하기 때문에 가장 잘 이해되지 않습니다.

폭넓은 참여. 아마도 어떤 형태의 대의민주적 절차가 나타날 수도 있고,

보다 합리적인 투표를 제공하기 위해 유동적인 피드백을 사용합니다.

우리는 이러한 방향의 연구가 IOHK의 공식적인 참여의 대부분을 소비할 것으로 기대합니다.

Cardano 개발 . 출발점으로 우리는 참조 재무부와 함께 배포할 것입니다.

33 동의를 얻기 위한 여러 메커니즘을 모델링합니다. 확실한 결정을 위해서는 추가 연구가 필요하다

솔루션.

33 IOHK는 2020년 말까지 Cardano 빌드를 위해 유지됩니다. 우리가 카르다노를 만드는 이유 크리에이티브 커먼즈 저작자표시 4.0 국제 라이선스 페이지 42/44

IOHK | 우리가 카르다노를 만드는 이유 | 2017년 6월 28일

마지막으로 우로보로스에 대한 인센티브 개선 작업은 엘리아스 교수가 지도하고 있습니다.

옥스퍼드 대학교의 쿠수피아스(Koutsoupias). Ouroboros의 암호화 기반이 완성된 후

필요한 모든 확장성 작업, 채권, 페널티 및 이국적인 것에 대한 광범위한 연구와 함께 강화되었습니다.

참조 프로토콜에 인센티브가 추가됩니다.

결론

암호화폐는 프로토콜, 소스 코드 및 유틸리티의 합 그 이상입니다. 그것은 궁극적으로 사람들에게 영감을 주고, 가능하게 하며, 연결해주는 사회 시스템입니다. 많은 절반에 의해 좌절 과거 프로토콜의 조치, 실패 및 깨진 약속을 통해 우리는 더 나은 것을 구축하기 시작했습니다.

이 과정은 간단하지도 않고 완료될 수 있다고 믿어본 적도 없습니다. 소셜 프로토콜은 계속됩니다 사람과 사회가 변함에 따라 무한히 변합니다. 유용하게 사용하기 위해 우리는 진화하여 Cardano에 포팅하세요.

진화는 한 사람의 손이나 거창한 계획에 의해 이끌어지는 것이 아닙니다. 그것은 영감을 받은 우연의 과정이다 끝없는 실수와 문제로 인해. Cardano은 이 프로세스의 디지털 구현을 추구합니다. — 오늘날의 시장에서 살아남을 수 있을 만큼 적합하고, 이러한 요구 사항을 충족하기 위해 진화할 만큼 적응력이 뛰어납니다. 미래의 요구.

이전 섹션에서는 우리가 이 목표에 어떻게 접근해왔는지 간략하게 살펴보았습니다. 우리 인지적 편견을 인식하고, 역사로부터 배우고, 엄격한 기준을 따르려고 부지런히 노력해 왔습니다. 프로세스. 우리는 신속한 개발의 필요성과 형식적인 방법의 균형을 맞추려고 노력했습니다. 전통적으로 빠르게 움직일 수 없습니다.

이 여행을 시작하게 된 것은 특별한 특권이었습니다. 지난 2년 동안 우리는 이미 입증된 보안을 갖춘 proof-of-stake 프로토콜을 개발했으며 소규모 Haskell 군대를 모집했습니다. Cardano의 개발을 많은 재능 있는 과학자들의 관심사로 만들었습니다.

실험실에서 실제 배포된 시스템으로 이동함에 따라 성장통이 있을 것입니다. 하지만 우리는 Cardano의 미래가 하나의 의인화 된 단어로 요약될 수 있기를 바랍니다. 문장. Cardano은 선배들로부터 배우는 실용적인 몽상가이며, 좋은 시민입니다. 커뮤니티를 운영하며 항상 비용을 지불할 방법을 찾습니다.

우리가 카르다노를 만드는 이유 크리에이티브 커먼즈 저작자표시 4.0 국제 라이선스 페이지 43/44

IOHK | 우리가 카르다노를 만드는 이유 | 2017년 6월 28일

우리는 미래를 알 수 없지만 모두를 위해 더 나은 미래를 만들기 위해 노력할 수 있어 기쁩니다. 읽어주셔서 감사합니다. 우리가 카르다노를 만드는 이유 크리에이티브 커먼즈 저작자표시 4.0 국제 라이선스 페이지 44/44