검수요청.png검수요청.png

"핀헤이븐"의 두 판 사이의 차이

해시넷
이동: 둘러보기, 검색
40번째 줄: 40번째 줄:
 
* 공식 검증은 다른 중요 소프트웨어 시스템(항공기 제어, 원자로 등)이 프로그래밍된 방식과 거의 동일한 방식으로 공식 검증에 적합하도록 설계된다.
 
* 공식 검증은 다른 중요 소프트웨어 시스템(항공기 제어, 원자로 등)이 프로그래밍된 방식과 거의 동일한 방식으로 공식 검증에 적합하도록 설계된다.
 
* 비전문가가 읽을 수 있는 스마트 계약은 작성하는 소프트웨어 개발자뿐만 아니라 금융 시장 내에서 복수의 행위자가 이해할 수 있어야 한다. 스마트 계약을 신뢰할 수 있으려면, 자신이 하는 일을 이해하는 것이 가능해야 한다.
 
* 비전문가가 읽을 수 있는 스마트 계약은 작성하는 소프트웨어 개발자뿐만 아니라 금융 시장 내에서 복수의 행위자가 이해할 수 있어야 한다. 스마트 계약을 신뢰할 수 있으려면, 자신이 하는 일을 이해하는 것이 가능해야 한다.
 +
 +
==== 작동 방식 ====
 +
Clarity가 사용되는 과정은 다음과 같다. 먼저, 자산, 소유자, 전송, 허용 등과 같은 도메인별 언어 구조를 사용하여 엔티티와 규칙을 모델링한다. 그 결과는 그것이 포착하고 있는 현실 세계 상황에 직접 매핑하는 [[클리어 모델]]이다. 두 번째 단계는 허용될 수 있는 불일치 또는 의도하지 않은 시나리오를 표면으로 가져올 수 있는 모델에 공식적인 검증과 기타 점검을 적용하는 것이다. 그런 다음 모델을 개선하면 그러한 문제를 해결할 수 있다. 모델이 정확한 것으로 확인되면 특정 실행 언어(예: Solidity의 스마트 계약 코드)로 변환되며, EVM 바이트 코드로 컴파일된다. 변환된 모델은 ERC902에 의해 구현되는 것과 같이 각 특정 언어 구성에서 특수 구현까지 전문화된 매핑을 사용할 수 있으며, 이는 아래의 보안 토큰 섹션에서 설명된다.
  
 
==주요 활동==
 
==주요 활동==

2019년 7월 25일 (목) 17:31 판

핀헤이븐(Finhaven) 로고
핀헤이븐(Finhaven) 로고와 글자
김도형 대표

핀헤이븐(Finhaven)은 블록체인 기반의 투자은행 플랫폼으로 규정 준수 보안 토큰 발행, 투자 및 거래를 위한 포괄적인 솔루션을 제공한다. 2017년에 설립되었으며 대표이사는 김도형이다. 회사는 캐나다 브리티시컬럼비아주밴쿠버에 있다.

2019년 업비트 개발자 컨퍼런스 배너.png
이 그림에 대한 정보
핀헤이븐(Finhaven)이 2019년 업비트 개발자 컨퍼런스에 참여합니다.

개요

핀헤이븐은 이더리움스마트 계약비트코인 블록체인을 기반으로 하는 플랫폼이다. 핀헤이븐은 자산의 토큰화를 통해 기업이 유동성 및 글로벌 자본 시작에 대한 새로운 접근을 할 수 있도록 하고, 자본시장 혁신의 선봉에 선 기업으로서 디지털 증권 발행과 투자를 지원하며 이를 거래할 수 있는 시장을 제공하는 투자은행 플랫폼을 구축한다. 해당 플랫폼을 통해 글로벌 교류 동맹의 통합화를 목표로 하고 있다. 핀헤이븐의 독점적인 대용량 암호화 원장은 신원 인증, 허가 및 보안을 통해 플랫폼의 품질을 향상시켜 자본 시장 참여자들의 시간과 비용을 절약할 수 있도록 한다. 또한 전통적인 자본 시장 절차의 도전을 독점적 계정 발해 거래 플랫폼을 적용할 수 있는 기회로 보고 궁극적인 자본 시장의 혁신을 주도하고 있다.[1] 현재 핀헤이븐은 두나무앤파트너스, 메디치인베스트먼트(MediciInvestment), 더화이트컴퍼니(The White Company) 등과 제휴를 맺고 있다.

배경

2017년 ICO(Initial Coin Offering)은 수십억 달러의 투자를 유치했고, 전 세계의 증권 감독 기관들의 관심을 빠르게 끌었다. 하지만 이러한 유형의 자금 조달이 정당한 이유로 시행된 법과 규정의 대상이 될 가능성이 높다는 우려를 제기했다. 실제로, 많은 ICO 프로젝트들이 약속에 따라 이행되지 않았고 일부 초기 투자자들은 권리나 가치가 거의 없거나 아예 없다. 증권으로 간주되는 토큰이 대부분의 거래소로부터 금지되고 있고, 규제당국으로부터 규정을 준수해야 한다는 통지를 받는 등, 얼마 지나지 않아 이런 식으로 자금 조달에 대한 단속이 있었다.

흥미롭게도, 규제 당국은 이러한 새로운 형태의 투자에 반대하지 않지만, 그들은 블록체인 자산을 어떻게 규제할 것인가에 대해 고심하고 있으며, 그들의 기본 대응은 규제를 충족하지 못할 수도 있는 모든 것을 폐쇄하는 것이다. 이러한 불확실성은 이 새로운 블록체인 경제에 참여하는 모든 사람에게 큰 위험을 줬다.

규제가 계속 진화하고 있지만 종래시장 참여자들의 역할 차원에서 증권규제가 작성돼 있다. 이는 청산 또는 양도 대리인과 같은 전통적인 시장 참여자들이 더 이상 존재하지 않거나 필요하지 않은 블록체인 기반 증권을 고려할 때 혼란을 야기한다. 핀헤이븐은 이것이 결과가 될 것이라고 예측했고, 그 후, 발행되고 거래되는 자산이 보안 규정을 준수한다는 것을 분명히 증명할 수 있는 증권용 블록체인 아키텍처를 만드는 데 주력해 왔다.

스마트 계약

스마트 계약은 계약 당사자가 사전에 협의한 내용을 미리 프로그래밍하여 전자 계약서 문서 안에 넣어두고, 이 계약 조건이 모두 충족되면 자동으로 계약 내용이 실행되도록 하는 시스템을 말한다. 스마트 계약은 토큰이나 ICO를 발행하는 능력 이상의 것을 제공하기 때문에 더 넓은 맥락을 이해할 가치가 있다. 비트코인이 도입되었을 때 덜 명백했던 혁신 중 하나는 프로그램 가능한 돈, 즉 스마트 계약이라고 알려진 것에 대한 아이디어였다. 비트코인은 거래로 간단한 계약을 인코딩할 수 있는 매우 제한적이고 보안에 중점을 둔 스크립팅 언어를 제공했으며, 에스크로, 복수 서명 등과 같은 계약을 지원했다. 이더리움도 임의로 복잡한 계약을 작성할 수 있도록 하는 훨씬 풍부하고 특징적인 스크립팅 언어를 제공했지만, 그와 함께 많은 보안 문제들도 제공했다.

따라서 논리와 법률을 거래에 인코딩할 수 있는 것은 매우 유용한 혁신이다. 핀헤이븐의 주된 동기 중 하나는 현명한 계약으로부터 "당신이 기대하는 것을 얻는다"는 상황을 개선하는 것이다. 법령·규정을 집행할 수 있는 시스템을 추진하려면 코드에 대한 신뢰를 확립하는 것이 요건이다. 스마트 계약(Szabo-97)의 원래 비전이 "명확한 논리를 통한 명세"라고 말하긴 했지만, 현재 스마트 계약 언어의 상태는 언어 경험이 있는 사람들에게조차 훨씬 더 둔감하다. 예를 들어, 비트코인은 보안 최대주의 접근법(스크립트)을 가지고 있고, 이더리움은 특징적인 최대주의 접근법(Solidity)을 가지고 있지만, 명확한 논리를 통해 어느 것이 규격이라고 말하는 것은 무리가 있을 것이다. 검증가능성은 블록체인 기술로 해결해야 할 주요 문제 중 하나이며, 규제 준수를 달성하려면 필요하다고 본다. 블록체인 기술은 거래를 승인하는 검증가능성을 허용하지만, 우리는 Szabo의 원래 목표와는 매우 동떨어져 있다.

그러므로 핀헤이븐의 목표는 검증 가능성, 즉 계약이 수행되거나 위반되었다는 것을 심판자에게 증명하는 주체의 능력, 또는 이를 다른 방법으로 알아낼 수 있는 심판자의 능력이다. 블록체인 기술이 거래를 검증할 수 있지만, 현재 거래에서 상대방에 대한 책임과 지식이 거의 없다. 예를 들어 ICO가 연쇄 사기범이나 평판이 좋은 회사에 의해 운영되는지, 아니면 투자자가 블록체인(blockchain)을 이용해 돈을 세탁하거나, 테러 자금을 지원하거나, 세금을 회피하는 범죄자인지, 또는 투자자로서 당신이 보내는 자금은 수령자가 존중해야 할 법적 권리를 가지고 있는지 알 수 있다. 이것들은 핀헤이븐이 회피하기 보다는 다루고 직면하고 싶은 도전들이다.

주요 인물

  • 김도형 : 핀헤이븐의 대표이사이다. 김도형은 암호원장하이브리드 블록체인을 기반으로 전자증권 인프라를 구축하고 있다. 핀헤이븐 인프라를 통해 세계 자본 시장 생태계를 만들어나가는 것이 김도형 대표의 최대 관심사이다. 그는 학창시절 외고를 다니며 독일어를 익혔으며, 국제경제와 경영을 학습하기 위해 루이스 앤 클라크 대학(Lewis & Clark College), 콜럼비아 대학교(Columbia University) 등에서 공부를 하며 시야를 넓혀왔다. 2008년 광산회사인 엔엠씨 리소스(NMC RESOURCE)를 설립하여 현 대표이사를 맡고 있으며, ㈜동원 부사장을 역임했다. 메릴린치(Merrill Lynch) 뉴욕 본사에서 근무하며 블록체인과 관련된 금융 전문가로 거듭났다. 그는 기업가, 투자자, 작가, 교육자 등 다양한 분야에서 활동 중인데, 특해 콜롬비아 대학교 및 고려대학교 등에서 강의했다.
  • 돈 고든(Don Gordon) : 핀헤이븐의 전무 이사 겸 개발자이다. 그는 브리티시 컬럼비아 대학교(The University of British Columbia)를 졸업했다.

특징

핀헤이븐은 강력한 하이브리드 암호원장을 사용하여 유동성 및 보안에 중점을 둔 증권 거래소의 운영상의 복잡성을 반영하고 개선한다. 하이브리드 블록체인 기술은 블록체인의 한계에 대한 솔루션을 제공하며, 글로벌 발행자와 투자자 모두는 하이브리드 블록체인을 적용하여 혁신된 자본 시장 기능을 이용할 수 있다. 핀헤이븐은 거래 비용을 절감하고 관리자를 통합하며 관리자와의 실시간 정신 및 결제 서비스를 제공하는데, 이를 통해 자본과 거래의 조달에 있어 시간과 비용 효율을 높여준다.[2]

언어

Clarity는 금융 거래를 위한 높은 수준의 도메인 고유의 선언적 프로그래밍 언어다. 이는 Clarity가 Solidity 또는 다른 블록체인 스마트 계약 언어와 같은 좀 더 일반적인 목적 언어와 달리 규격을 더 가깝게 닮았다는 것을 의미한다. 금융 거래의 제한된 영역에 집중함으로써, Clarity는 의도뿐만 아니라 정확성 측면에서도 검증되도록 설계되었다. 검증가능성에 초점을 맞추면 규제기관과 투자자는 모두 준수를 확인할 수 있으며 이를 사용하는 모든 사람에게 스마트 계약을 더 안전하게 만든다.

원칙

  • 보안 중심 언어 클리어(Clarity)는 블록체인 금융을 위한 새로운 프로그래밍 언어로 비트코인보다 유연하지만 이더리움보다 제한적이다. 이 언어는 기존의 블록체인 인프라로 번역되어 여러 블록체인에서 운영된다.
  • 공식 검증은 다른 중요 소프트웨어 시스템(항공기 제어, 원자로 등)이 프로그래밍된 방식과 거의 동일한 방식으로 공식 검증에 적합하도록 설계된다.
  • 비전문가가 읽을 수 있는 스마트 계약은 작성하는 소프트웨어 개발자뿐만 아니라 금융 시장 내에서 복수의 행위자가 이해할 수 있어야 한다. 스마트 계약을 신뢰할 수 있으려면, 자신이 하는 일을 이해하는 것이 가능해야 한다.

작동 방식

Clarity가 사용되는 과정은 다음과 같다. 먼저, 자산, 소유자, 전송, 허용 등과 같은 도메인별 언어 구조를 사용하여 엔티티와 규칙을 모델링한다. 그 결과는 그것이 포착하고 있는 현실 세계 상황에 직접 매핑하는 클리어 모델이다. 두 번째 단계는 허용될 수 있는 불일치 또는 의도하지 않은 시나리오를 표면으로 가져올 수 있는 모델에 공식적인 검증과 기타 점검을 적용하는 것이다. 그런 다음 모델을 개선하면 그러한 문제를 해결할 수 있다. 모델이 정확한 것으로 확인되면 특정 실행 언어(예: Solidity의 스마트 계약 코드)로 변환되며, EVM 바이트 코드로 컴파일된다. 변환된 모델은 ERC902에 의해 구현되는 것과 같이 각 특정 언어 구성에서 특수 구현까지 전문화된 매핑을 사용할 수 있으며, 이는 아래의 보안 토큰 섹션에서 설명된다.

주요 활동

STA

2019년 05월 07일 보안 토큰 연합(STA: Security Token Alliance)이 설립되었다. STA의 설립자인 프레더릭 부슬러(Frederik Bussler)는 아직까지 암호화폐가 단편적이고 미숙하기 때문에 해당 업계에서 진행하는 프로젝트의 법적, 기술적, 재정적 위험을 피할 수 있도록 움직여야 한다고 생각했다. 이러한 생각을 시작으로 그는 STA을 설립하고 60일동안 60명의 파트너를 등록하며 '6조 달러의 토큰화'라는 목표를 발표했다. 핀헤이븐 또한 STA의 파트너사 중 하나이다. STA 파트너들은 이미 5억 달러 이상의 트랜잭션을 공동으로 보유하고 있으며, 부동산에서 자본에 이르기까지 자산의 토큰화를 실현해왔다. STA는 이러한 높은 목표를 바탕으로 STA 파트너사들이 글로벌 네트워크를 통해 대규모의 토큰을 채택할 수 있도록 하는데 도움이 되기를 바란다.[3]

2019년 업비트 개발자 컨퍼런스

두나무는 2019년 9월 4일 ~ 9월 5일 그랜드하얏트호텔 인천에서 업비트 개발자 컨퍼런스를 개최할 예정이라고 발표했다. 2019 업비트 개발자 컨퍼런스에는 약 1,500명의 블록체인 개발자, 업제 등을 유치할 것으로 예상되며, 세계적인 전문가들의 발표와 최신 블록체인 서비스, 직접 경험할 수 있는 기회까지 제공될 예정이다. 핀헤이븐의 대표인 김도형은 한국에서 열릴 2019년 업비트 개발자 컨퍼런스에 참여하여 첫 연사로 발표하며 다양한 블록체인 관련 정보를 공유할 예정이다.[4]

제휴 회사

두나무앤파트너스

메디치인베스트먼트

더화이트컴퍼니

각주

  1. 핀헤이븐 링크드인 - https://www.linkedin.com/company/finhaven/about/
  2. Finhaven〉, 《crunchbase》
  3. The Tokenizer, 〈0–60 in 60 Days: Security Token Alliance Plans to Tokenize $6 Trillion〉, 《더토크나이저》, 2019-07-07
  4. Upbit_official, 〈Dunamu Announces Initial Speaker Lineup for Upbit Developer Conference 2019〉, 《미디엄》, 2019-06-20

참고자료

같이 보기


  검수요청.png검수요청.png 이 핀헤이븐 문서는 블록체인 개발업체에 관한 글로서 검토가 필요합니다. 위키 문서는 누구든지 자유롭게 편집할 수 있습니다. [편집]을 눌러 문서 내용을 검토·수정해 주세요.