Skip to Content

2019 IOHK 서밋 한국어 요약 - Day 1

Table of Contents

들어가며

IOHK, 카르다노의 첫 번째 공식 서밋! 서밋 개최 계획때부터 정말 참석하고 싶었는데, 기회가 되어 직접 마이애미에 와서 참석하게 되었습니다. 이 글에서는 제가 직접 들으면서 중요하다고 생각하는 내용을 단순 요약해서 정리하고, 실시간으로 업데이트하며 바로 한국에 계신 여러분들께 공유드릴 생각입니다. 주제 선택은 저의 관심에 따라 달라질 수 있고, 실시간으로 요약하기 때문에 내용상 오류나 빠지는 부분에 대한 양해를 부탁드립니다. 보다 자세한 내용을 원하시는 분들께서는, 실시간 중계가 진행되는 IOHK의 YouTube 채널을 참고하시기 바랍니다.


conventioncenter

iohk-summit-main

AGENDA (2019. 04. 17)

Keynote : State of the nation

iohk-summit-main

Speaker

  • Charles Hoskinson, CEO and co-founder of IOHK

다루는 주제

  • IOHK의 목표
  • Cardano 프로젝트의 2020년 비전

한국어 요약

지금까지 카르다노가 걸어온 길, 또 앞으로 걸어갈 길

2015년부터 IOHK는 1.확장성(Scaliability), 2.상호운용성 (Interoperability), 3.지속 가능성 (Sustainability) 을 초석으로 갖는 암호화폐를 만들기 위한 프로젝트를 진행해왔다.

1. 사전 조사 단계

처음 우리는 여러 사람들과 함께 정말 좋은 암호화폐를 만들기 위해 기존 모든 암호화폐에 대한 기술적 조사를 수행했다. 어떻게 ledger를 디자인하고, 어떤 합의 알고리즘을 설계하는 것이 맞는가에 대해 고민했다.

2. 바이런

그리고 2017년 9월, 바이런 단계를 시작했다. 그리고 저번 1.5 업데이트를 뒤로 바이런 시대는 막을 내렸다. 현재 우리는 25개 이상의 상장 거래소, 전 세계에 퍼져있는 수많은 커뮤니티 멤버들을 가지고 있다. 이 단계에서 우리는 전 세계 수십억명이 함께 쓸 수 있는 경제 시스템을 구축하기 위해서 우리는 정말 신중하게 연구 및 개발을 진행해야만 했다.

3. 쉘리

데이비스 마커스 라는 커뮤니티 멤버가, Rock Pi (라즈베리 파이의 일종) 라는 80달러짜리 하드웨어로 카르다노 스테이킹 풀을 작동시키는 방법을 개발했다. 스테이킹 풀은 RUST와 HASKELL로 모두 개발되었고, 테스트넷과 스테이킹 풀은 배포할 준비가 완료되었다. 스테이킹풀에 위임하는 일은 단순하다. 쉘리 업데이트 후, 다이달로스 지갑을 업데이트 하고, 위임에 대한 트랜젝션을 보내면 끝이다. 스테이킹풀을 검색하는것도 클릭 몇 번으로 끝나는 단순한 작업이 될 것이며 누구든 할 수 있을 것이다. 카르다노 커뮤니티는 2019년 말까지 1000개 이상의 스테이킹풀을 구축할 것이다. 이에 비해 비트코인은 10개의 메이져 마이닝 풀이 대부분의 해시 파워를 가지고 있으며, 비트코인 마이닝에 일반인이 접근하기란 쉽지 않다. 카르다노의 스테이킹 풀은 지리적 제한이 없으며 접근성이 좋다. 이것은 결국 더 나은 탈중앙화를 이루어 낼 것이다. 이렇게 구축된 글로벌한 규모의 스테이킹풀 구조는 글로벌 인터넷 망 위에 살며 수 많은 서비스 (오라클, dapp..)등을 사용자들에게 제공할 것이다. 우리는 이 단계에서 *탈중앙화된 서비스의 인프라*를 구축한 것이다.

4. 고겐

고겐은 쉘리가 구축한 인프라 위에서 살게 될 서비스들의 (스마트컨트랙트) 시작을 의미한다. 비트코인은 비록 라이트닝 네트워크등 여러 서비스들이 부착되고 있지만, 기본적으로 전송만을 담당한다. 블록체인에서 고겐은 타임스탬핑, 랜덤 넘버 생성등의 서비스를 제공하고, 필연적일 수 밖에 없는 off-chain 서비스와의 결합이 쉽게 한다. (Plutus는 온-체인, 오프체인이 같은 언어로 되어있다.) 올해 쉘리가 먼저 시작되고, 테스트넷에서부터 스테이킹풀이 먼저 시험되기 시작할 것이며, 점진적 탈 중앙화가 일어나기 시작할 것이다.

5. 바쇼

바쇼는 일본 중세시대의 방랑자, 시인, 철학자이다. 카르다노에서 바쇼 단계란 Scaliability에 대한 것이다. Parallel chain, Side chain등 여러 스케일링 기술들이 연구되고 바쇼 단계에서 2020년 경에 도입될 것이다.

6. 볼테르

볼테르는 카르다노의 treasury, voting 시스템의 도입 단계를 의미한다. 시스템이 개발된 후에 카르다노에서 발생하는 인플레이션 중 일부가 시스템의 유지 보수 및 그것을 개발하는 자들에게 흘러갈 것이다. 자금의 흐름은 민주주의적 투표를 통해 결정될 것이다. 2020년경 우리는 이러한 재무부 시스템을 카르다노에 도입할 것이다. 이것은 전체 시스템이 커뮤니티로 모두 넘어간다는 것을 의미한다. 누군가, 어떤 회사가 맡아서 개발 유지 보수를 하지 않고 커뮤니티가 자생적으로 인터넷에서 살아갈 단계가 될 것이다.

7. 그 다음

1991년에 PGP를 통해서 우리는 패스워드를 입력할 필요가 없는 인터넷을 이미 개발했다. 그러나 그것을 실 사용하는 유저들은 경험은 너무 어려워했고, 그것은 도입되지 못했다. 결과적으로 우리는 Global adoption이 필요할 것이다. 우리는 아프리카 대륙의 리더들과 주민들과 접촉하며 신뢰를 구축하고 있으며, 흥미로운 MOU들을 체결했다. 에티오피아에서, 우리는 23명의 여성 하스켈 개발자를 양성했다. 우리는 300명의 지원자들중 23명을 선발했다. 그들은 에티오피아에서 사용될 수 있는 토큰을 개발하고자 하며, 이것에 대한 정부와의 MOU가 체결되었다. 나(찰스)는, 이러한 토큰이 그냥 토큰이 아니라 어떤 신원 보증 기능이 있는 것이기를 원한다. 이것은 Tangem 카드와의 협업이 중요한 하나의 이유이기도 하다. 이것은 350만명의 커피 소작농들에게 디지털 신원과 마이크로 파이낸스를 제공할 수 있을것이고 그것들은 카르다노 생태계 위에서 작동할 것이다. 우리는 Atala등, 여러 엔터프라이즈 파트너들과 협업하며 다른 여러 유저들을 끌어올 것이다. 우리는 하나의 암호화폐를 만든다기 보다는 수많은 사람들과 크립토 경제 사이의 가교를 놓는 역할을 할 것이다. 우리는 세상의 작동 방식을 바꾸는 일을 하고 있으며, IPv6가 수년만에 개발되지 않듯, 이 전체 과정은 수십년이 걸리는 거대한 과정이 될 것이다.

Digital securites

brucefenton

Speaker

  • Bruce Fenton, CEO and founder of Atlantic Financial Blockchain Labs

다루는 주제

  • 블록체인과 암호화폐 산업 관점에서 보는 디지털 시큐리티의 미래

한국어 요약

brucefenton2

  • 1602년에 첫번째 거래 가능한 계약(agreement)가 체결되었다. 이러한 거래 가능한 계약들 (tradeable agreements)은 거래에 대한 리스크를 분산시키는 역할을 하였다.
  • 이러한 계약들의 거래는 증권 시장을 가능하게 하였고 이는 일반 사람들이 직접 시장에 참여할 수 있는 수단이 되었다.
  • 사람들은 언제나 시장에 참여할 기회를 찾는다. (심지어 전쟁 중에도 증권 시장은 작동한다.)
  • 기존 증권 시스템의 문제
    • 그러나 증권, 주식은 개인이 갖고 있더라도, 소유자가 정말 그것을 소유하고 있는지 확신할 수 없고, 증권사나 발행 회사 또한 누가 무엇을 갖고있는지 확신할 수 없다.
    • 해외 증권을 소유하기 쉽지 않다.
    • 현재의 증권 레져 시스템은 직관적이지 않고, 느리며, 복잡하다.
    • 거래는 제 3자의 중개인들에 의존한다.
  • 블록체인 레져 시스템은 이러한 문제를 해결하며, 증권 거래를 혁신시킬 수 있다.
    • 아주 작은 볼륨의 회사도 토큰화되어 거래될 수 있다.
    • 국경의 경계를 넘어 거래될 수 있다.
    • 전송과 보유가 확실하다.
  • 카르다노와 증권
    • 피어-리뷰된 백그라운드 이론들을 가지고 있다.
    • 카르다노의 스마트컨트랙트 시스템은 이러한 증권 거래를 구현할 수 있을 정도로 정교하게 개발되고 있다.
    • 블록체인과 결합된 증권 시스템은 현재의 시스템을 혁신할 것이다.

Speacial Speaker

Suarez

Speaker

  • Francis Suarez, Mayor of Miami

다루는 주제

  • 마이애미시와 블록체인에 대하여.

한국어 요약

  • 마이애미는 새로운 기술들을 도입하여 도시의 치안, 교통등의 문제를 해결하고 있다.
    • 승차 공유 시스템을 도입해서 승차 공유 드라이버의 수가 400% 증가하였다.
    • Gun shot 탐지 시스템을 도입해서, 도시에서 총이 발사되었을때 그 위치를 GPS 좌표 수준으로 추적할 수 있게되었다.
    • 이로 인해 마이애미는 50년간 살인 범죄 비율 최저 수준을 기록하고 있다.
  • 블록체인과 마이애미
    • 우리는 블록체인을 통해 크라우드펀딩 투자 과정을 투명하게 유지하며 그 효율성을 증대시킬 수 있다고 생각한다.
    • 서플라이체인 (유통망), 헬스케어등 여러 분야에 블록체인이 사용될 수 있다고 생각한다.
    • 나 (시장)는 블록체인과 암호화폐가 유동성이 없는 시장을 유동화시킬 수 있고, 우리의 삶의 질을 향상시킬 수 있다고 생각한다.
    • 정부(마이애미시)는 여러분이 생각하는 것 보다 훨씬 더 혁신적인 기술에 관심이 많고 투자를 많이 진행하고 있다.
    • 마이애미는 미국에서 스타트업 기업이 가장 많은 도시이다.
    • 플로리다주는 매년 900억달러의 예산을 가지고 있다, 즉 정부는 이러한 혁신적인 기술에 투자할 자금을 충분히 가지고 있다.
    • 나는 마이애미의 미래가 밝다고 생각한다. 왜냐하면 우리는 우리가 중요하다고 생각하는 기술에 투자하고 또 이러한 기술을 개발하는 사람들이 모여서 가치있는 기술을 만들어낼 수 있다고 생각하기 때문이다.

IOHK research

Kiayias

Speaker

  • Aggelos Kiayias, Chief scientist of IOHK

다루는 주제

  • 성공적인 암호화폐 개발을 위한 피어-리뷰 연구의 중요성

한국어 요약

IOHK가 가지는 큰 장점중 하나는, formal specification과 peer review를 바탕으로 하는 개발을 한다는 것이다. IOHK의 연구들은 평범한 것이 아닌 세계적 최고 수준의 저널과 컨퍼런스에 발표되고 있다.

고전적 방법의 통신

  • Alice와 Bob이 키를 공유함으로써 서로를 믿으며 통신할 수 있다. (A candidate protocol)
  • 우리는 우리가 풀고자 하는 문제를 풀고자 하는 방법을 Formal Specification(FS) 을 통해 정확히 묘사한다.
  • 그러나 이 FS와 실제 프로토콜 구현이 정말 일치하는가는 또 다른 문제이다.

From Specification to Implementation

  • 어떻게 실제 구현이 FS에서 묘사한 프로토콜과 매우 같게 만들 수 있을까?

  • 우리(IOHK)는, 이러한 구현 과정에 있어 Peer review 프로세스를 거치게 한다.

  • 우리의 결과물을 컨퍼런스와 저널에 제출하여 해당 분야의 전문가들의 검증을 받는다.

  • 이 과정에서 결과물이 학계에 공유되고 리뷰되는 과정에서 전체 분야가 발전하게 된다.

중앙화 시스템과 탈중앙화 시스템

Kiayias2

중앙화된 시스템
  • 외부(클라이언트)에서의 공격과 내부(Benign)에서의 공격이 있을 수 있다.

  • 내/외부를 분리시켜 놓더라도, 내부의 공격은 막을 수 없다.

탈중앙화된 시스템
  • 내/외부의 구분이 없이도 시스템이 기능할 수 있으므로 중앙화된 시스템처럼 내부(서버)와 외부(클라이언트)의 구분이 필요없다.
  • 우리는 탈중앙화 뿐 아니라 interoperability, privacy, sustainability, scalability 등의 중요한 문제를 풀어내야 한다.

탈중앙성

Kiayias3

  • 우리는 비트코인과 필적하는 탈중앙성을, 비트코인만큼의 에너지 낭비 없이 얻어낼 수 있어야했다. 우리는 우로보로스 프로토콜을 통해 이것이 가능함을 처음으로 증명해내었다.

상호운용성 (Interoperability)

Kiayias4

  • 여러개의 장부(ledger)들이 서로 교류할 수 있어야 한다. 우리는 정보/자산이 다른 장부간에 유연하게 교환될 수 있기를 원한다.

  • 이에 대해서는 사이드체인 연구가 차음으로 개념적 formal verification 연구를 수행했다.

프라이버시

Kiayias3

  • 사실 탈중앙화될수록 시스템은 외부로 노출되기 때문에 블록체인에 있어서 프라이버시를 보존하는 것은 중요하다.
  • 우리는 Privacy preserving PoS연구를 통해 이를 개발하였다.

표현성 (Expressibility)

Kiayias3

  • 우리는 블록체인을 이용해서 그 위에 고 신뢰성 서비스를 구축할 수 있도록하는 표현 수단을 만들어야 했다.
  • 이에 대해서 우리는 합수형 언어에 기반하는 Plutus와 금융 도메인 특화 언어인 Marlowe를 개발하였다.

지속가능성과 거버넌스 (Sustainability, Governance)

Kiayias4

  • 하드포크를 통해 커뮤니티가 반으로 나뉘는 등의 지속 가능성을 저해하는 문제 없이도 프로젝트를 진행할 수 있어야 한다.
  • IOHK를 비롯한 어떤 회사도 완전히 완벽한 서비스를 만들어 낼 수는 없기 때문에 우리는 계속해서 유지 보수될 수 있는 시스템을 만들어야 했다.
  • 우리는 이에 대해 재무부 시스템을 연구 개발하였다.

확장가능성(Scalability)

Kiayias5

  • 우리는 프로젝트의 규모가 커짐에 따라 함께 성장할 수 있는 블록체인을 개발해야 한다.
  • 이에 대해 우리는 레져를 압축하는 방식을 개발하였다.

높은 대역폭과 낮은 대기시간(High throughput and low latency)

Kiayias6

인센티브 구조

Kiayias7

  • 탈중앙화 되고 나서 프로토콜에 참여하는 사람들에 대한 보상 프로토콜이 존재해야 한다.
  • 우리는 이에대해 스테이킹과 지분 위임 프로토콜을 개발하였다.

Engineering and formal methods

Duncun

Speaker

  • Duncan Coutts
  • Philipp Kant

다루는 주제

  • 정적 방법에 기반한 엔지니어링(Formal method based engineering)

한국어 요약

이 발표에서는 피어-리뷰 방식의 연구에 기반한 엔지니어링에서 겪는 과정들을 설명하고 있다.

논문의 구현 과정에서의 어려움

발행된 논문에 맞춰서 암호화폐를 그냥 구현해도 괜찮을까? 하지만 피어-리뷰된 논문 조차도 완벽하게 맞지는 않고, 전문가에 의해 쓰여지고 전문가에 의해 리뷰된 논문에도 오류가 있을 수 있다. 또한 암호화폐와 같은 인기있는 분야는 해당 분야에서 발행되는 논문들이 너무나 많고, 이에 대한 구현에서 버그 없는 제품을 만들기는 너무나 어렵다. 최첨단 분야일수록, 엔지니어가 구현에서 장애물들을 예상하고 피하기란 쉽지 않기 때문이다.

IOHK의 접근방식

Duncun2

IOHK는 제품 매니저들이 시장의 요구 사항을 조사하고, 제품에 대한 질적 검증을 실행하며, 연구자들과 엔지니어 간의 매우 탄탄한 교류를 기반으로 이 문제에 접근하고 있다. 현재의 많은 회사들이 사용하는 소프트웨어 개발 방식을 사용해서는 신뢰성이 낮고 디자인상 오류나 버그가 나올 확률이 많기 때문에 우리는 고 신뢰성의 방식으로 접근해야만 했다. 왜냐하면 암호화폐 소프트웨어에서는 버그가 있으면 실제 금융 피해가 발생하기 때문이다.

신뢰 가능한 제품 개발

많은 회사들은 그냥 회사의 엔지니어들을 굳게 믿는다. 그러나 이는 객관적인 신뢰성을 제공할 수 없다.

증거에 기반한 신뢰구축

우리는 디자인과 구현에 대한 객관적 증거에 기반해 신뢰성을 만들어 낼 수 있다. 개발 과정에서 만들어지는 증거들은 제 3자나 다른 전문가들에 의해 리뷰될 수 있다.

Formal Specification

Duncun3

우리는 실제 구현 전에 정확하게 이 시스템이 어떤 일을 해야만 하는지 수학적으로 묘사한다.

증거에 기반한 구현 검증

Duncun4

우리는 증거에 기반해서 구현된 제품이 Formal Specification에 의해 묘사된 것들을 실제 수학적으로 만족하는지 직접 확인하거나 또는 테스트에 기반한 증거를 통해 확인한다.

카르다노 개발에의 적용

우리는 연구 결과를 Formal Spec으로 먼저 변환하고, 개발한 소프트웨어가 이러한 기준을 만족하도록 디자인한다.

장단점

이러한 개발 과정을 통해서 우리는 품질이 좋고 고 신뢰성의 제품을 개발할 수 있다. 그러나 이 프로세스는 개발 과정이 오래 걸린다는 단점이 있다.

카르다노의 장부(Ledger) 개발 과정 예시
  1. 연구 : 이론적 연구는 IOHK와 제휴하는 연구자들에 의해 수행되고, 학계에 의해 피어리뷰된다.
  2. Formal Spec 작성 : 우리는 먼저 연구 논문에 설명된 이론들을 수학적인 개념을 포함하는 Formal spec으로 변환한다. 이 과정에서 우리는 정확한 표현을. 위해 이론을 개발한 연구자들과 많은 토론을 진행한다. 결과적으로 장부의 규칙들에 대한 수학적 묘사(Formal Specs)를 얻을 수 있다. 이렇게 만들어진 묘사들은 매우 간결하며, 오해의 여지가 없이 확실하다.
  3. 하스켈로 실행 가능한 Spec 구현하기 : 하스켈을 통해 우리는 묘사된 수학적 스펙 각각과 대응하는 정확한 코드를 생성할 수 있다.
  4. 하스켈로 작성한 코드 테스트하기 : 우리는 구현한 하스켈 코드를 테스트한다. Abstraction 함수를 통해 스펙 구현을 실제 구현으로 변환할 수 있다. 랜덤화된 입력값에 대한 테스트나 증거 기반 테스트를 진행한다.

Daedalus

Darko

Speaker

  • Darko Mijić, Daedalus product manager

다루는 주제

  • 다이달로스 지갑 개발 계획 및 새로운 지갑 UI 공개

한국어 요약

다이달로스 개발 현황

다이달로스는 카르다노의 GUI 버젼 풀-노드 지갑이다. 스테이킹풀과 관련해서 다이달로스는 탈중앙화 진행 과정 알림 기능, 지분 위임 센터, 스테이킹 풀 검색창, 지분 위임 세팅 가이드 기능을 추가할 예정이다.

인터페이스 변화

Darko

Darko

Darko

Darko

Darko

Darko

Darko

Darko

Darko

기타 업데이트 사항들

  • 블록체인 무결성 검사기
  • 하드웨어 월렛 지원
  • 핫/콜드 월렛
  • 콜드 스테이킹
  • 멀티-시그니쳐
  • 멀티-자산 지원
  • 라이트-노드 모드
  • FIO 모드

다이달로스 Dapp 플랫폼 기능

Darko

Cardano SL

타임스탬핑, 지불, PKI, 메타데이터 지원

Cardano CL

플루터스, 말로위, 연장된 UTXO 지원

애플리케이션 플랫폼

플루터스 기반 디앱들의 실행 및 배포 환경을 조성하여, 월렛 기능들이 플랫폼의 디앱이 될 것이다. UI 구성을 위한 웹 표준과 기술들 지원할 것이며, 데스크톱과 웹으로 배포 가능하게 개발할 것이다. 다이달로스 플랫폼은 중앙화된 조정이 없는 탈중앙화된 앱스토어가 될 것이다.

Cardano on the rocks

Markus

Speaker

  • Markus Gufler, Cardano ambassador
  • Robert Kornacki, Cardano ambassador

다루는 주제

  • 저전력 오픈소스 하드웨어인 Rock Pi를 통해 10와트 전력으로 카르다노 풀 노드 운영 시연

한국어 요약

Markus

RockPi.

카르다노 스테이킹 풀을 위한 소형 컴퓨터인 Rock Pi는 고효율 저전력 풀 노드 유지 디바이스이다. 태양전지(30W on max sunlight)로도 작동 가능 (200~300 달러 선)하여 아프리카 등 개발 도상국 또는 해상에서도 작동 가능하다. 평균적으로 5~6와트 정도의 적은 전력이면 작동 가능하다. 오픈 소스 세팅 가이드는 추후 공개될 예정이며, 더 높은 파워의 세팅으로 엔터프라이즈급 슈퍼 노드 세팅도 가능할 것이다. (140와트)

클라우드 vs. 하드웨어

Markus

클라우드를 이용한 스테이킹 풀은 셋업이 쉽다는 장점이 있지만, 노드들이 몇 종류의 클라우드 서비스에 모이게 되어 전체 네트워크에 대한 물리적 중앙화 효과를 가져올 수 있다. 카르다노 전체 네트워크의 건강함을 위해서는 여러 종류의 세팅을 갖는 스테이킹 풀이 존재하는 것이 좋다.

Zymkey

Markus

Zymkey는 키 생성 및 저장, 암호화 및 데이터 서명, Tamper 저항성, True 난수생성 기능을 갖는 소형 디바이스이다.

실물 사진

Markus

Markus

Treasury and liquid democracy

Bingsheng

Speaker

  • Bingsheng Zhang, IOHK research fellow

다루는 주제

  • 재정부(Treasury)시스템과 유동 민주주의, 그리고 2세대 시스템이 어떻게 작동할지에 대하여 설명

한국어 요약

Bingsheng

재무부 시스템이란?

재무부 시스템에 대해 논하는 것은, 누가 암호화폐 유지보수에 대한 보상을 하는가에 대해 논하는 것과 같다. 비트코인의 경우 비영리단체인 비트코인 재단이 이를 맡고있고, 이더리움 토큰들의 경우 ICO를 통해 마련한 자금이 이를 충당한다. 비트코인과 이더리움 두 가지 경우는 모두 지속가능하지 못하다는 단점이 존재한다. (채굴 보상이나 전송 수수료는 마이너들에게 가지, 개발자에 대한 보상이 되지 못한다.)

Hair-cut 또는 블록 보상에 대한 세금 징수

대시 같은 경우가 이런 방식으로 프로젝트 보수 자금을 마련한다. 하지만, 이 경우 징수된 자금이 어떻게, 누구에게 쓰일지는 누가 정할지 불명확하다.

프로젝트의 의사 결정 방식 (Dicision Making)

우리는 링컨의 말처럼, 사람에 의해, 사람을 위한 블록체인을 만들 필요가 있다. 그러나.. 여기서 사람 (People)이란 누구를 칭해야 할까? (지분 보유자? 연구자? 개발자?) 이와같이, 주체에 따라 재무부 시스템을 정의하기란 쉽지 않다.

재무부 시스템의 자금 원천
  1. 발행 코인 (Mint coins)
  2. 세금 징수 (Taxation)
  3. 기부 (Donation)

유동 민주주의

Bingsheng

유동 민주주의는 카르다노가 처음 만들어낸 개념이 아니고, 이전에 논문으로 발표된 바 있는 이론이다. (참고 : Delegative Democracy, Bryan Ford) 현재까지는 제대로 된 구현이 없는 상태이다. 전통적 민주주의는 직접 민주주의 또는 대의 민주주의로 나뉘는데, 직접 민주주의는 모든 사람들이 의사결정에 직접 참여하고, 대의 민주주의는 선발된 대의자들이 의사결정에 대신 참여한다. 유동 민주주의는 직접 민주주의와 대의 민주주의의 중간 단계이다. 유동 민주주의에서 사람들은 직접 의사결정에 참여하거나, 자신의 권한을 위임(Delegate)할 수 있다. 카르다노의 재무부 시스템은 이러한 유동 민주주의 시스템의 한 구현이라고 볼 수 있다.

재무부 시스템의 구성

Bingsheng

Bingsheng

Pre-voting epoch (투표 전 기간)

이 기간에는 프로젝트 제안들이 제시되고 투표자들이 구성된다. 투표자들은 일정량의 지분을 저장(락업)한다. 저장된 지분의 양이 해당 표의 파워를 의미한다. 투표에 대한 보상은 락업한 지분에 비례한다. 또한 제시된 분야에 대한 전문가들이 구성된다. 전문가들은 특정양의 지분을 락업한후 다른 사람들로부터 지분 위임을 받고 지분 위임 받는 지분의 양이 표의 파워를 의미한다. 보상은 위임받은 지분에 비례한다.

Voting Epoch (투표 기간)

선의의 사람들로 대부분 구성된 위원회가 구성되고, 실제 투표가 수행된다.

Post Voting Epoch

이 기간에는 투표 결과를 집계하고, 위원회로부터 투표 결과가 서명되고, 블록체인상에 기록된다. 결과에 따라 선정된 프로젝트들이 펀딩을 받는다.

선언식 투표 (Statement Voting)

전통적 대의 민주주의와 달리 지분 위임은 투표 전에 일어날 필요가 없다. 블록체인상 스마트 컨트랙트와 같이, Statement Voting은 투표자의 의견을 어떤 성명의 형태로 투표할 수 있다. (예) “비가 오면 참석 안하고, 비가 안오면 참석하겠다” 이를 지분 위임에 대해서 적용하면, “나는 지분 위임할 A라는 사람의 의견에 따라서 투표하겠다”라는 의견을 제시하면 되고, 따라서 위임과 투표는 동시에 일어나는 것이지, 위임이 먼저 일어날 필요가 없다. 이런 새로운 패러다임에 기반해서 투표 기간에 투표자들이 암호화된 Statement를 제출하고, 개표 단계에서는 위원회가 구성되어 투표 결과를 계산하기 위한 Publicly auditable Multi party computation을 수행한다. 이와 같이 유동민주주의 개념을 블록체인에 도입하여 복잡하고 더 의미가 풍부한 선언을 투표로 만들 수 있을 것이다.

관련 이슈

이러한 유동 민주주의 개념은 아직 완벽히 구현된 적이 없고, 따라서 관련한 이슈들이 많다. 예를들어 “Voting 규칙을 Voting으로 바꿀 수 있어야 하는가?“등이 있다. 앞으로 많은 개발과 연구가 필요할 것이다.

Atala

Bingsheng

Speaker

다루는 주제

  • 카르다노 블록체인의 엔터프라이즈 적용에 대하여

한국어 요약

ATALA의 목표

해킹으로 인한 금융 데이터손실은 매년 늘어나고있는 추세이다. Atala는 비트코인이 화폐 시스템에 제공한 보안적 안정성(탈중앙성, 프라이버시, 컨트롤, 신뢰성)을 모든 종류의 데이터에 대해 제공하고자 한다.

모든 데이터를 블록체인에 저장하는 방법이 있을까?

  • 문제점

    • 이 경우 데이터가 모든 블록체인 참여자들에게 공유되고 만다.
    • 블록체인은 그 불변성때문에 데이터 변경이 불가하다.
    • 확장성과 저장공간 문제
    • 필요치 않은 복사와 저장공간 차지
  • 사실 블록체인은 많은 경우에 꼭 필요한 기술은 아니다.

    • 이중 지불 방지는 모든 문제에 필요한 조건은 아니다.
    • 예를들어, 대학 학위 데이터의 경우, 여러개로 복사되더라도 문제가 없고, 다른 사람들이 모두 해당 학위에 대해 동의 또는 합의를 할 필요는 없다.
    • 중요한 것은, 우리가 데이터 생성 과정을 모르더라도, 그것이 진짜라는 것을 믿을 수 있어야 한다는 것이다.

Atala의 구성 요소

  • Ledger 프레임워크
  • 데이터 프레임워크
  • 동의 프레임워크 (Agreement Framework)

(예시) 단순화된 차량 등록

Bruno

  • 우리는 차량이 어떻게 만들어졌는가에 대한 제조사에서 생성한 정보가 필요하다.
  • 또한 해당 정보에 대한 구매자와 판매자의 동의가 필요하다.

개발현황

Bruno

  • 코어 프레임워크, 데이터 프레임워크, 실 세계 신원 (real world identity), 동의 (Agreements)가 개발되었다.
  • Scalanet, Multi-Crypto, Decco가 개발 중이다.
  • 이후 솔루션은 농업, 유통망, 디지털 신원, 위조 방지 등에 사용될 수 있다.

atala

ADA Tip Jar


글쓴이 후원하기

ADA : Ae2tdPwUPEZ5gFYWK7C9gpZe6mt2tv9Nsju578XdTDGSQHgCKxfzP6LiZiA

comments powered by Disqus