IOG 연구가 학술계에 어떻게 널리 퍼져 있는가? 한국어 번역

IOG 블로그 > 2022 > October > IOG 연구가 학술계에 어떻게 널리 퍼져 있는가?

업계의 어려움에 전념하는 블록체인 인프라와 엔지니어링의 대기업 IOG

게재일: 2022년 10월 25일

저자: Olga Hryniuk

IOG는 Cardano, 그리고 최초의 네이티브 암호자산인 ADA 구축으로 이름을 올렸습니다. 5년에 걸쳐 지분증명형 블록체인을 선도해 온 안전하고 확장 가능한 분산형 원장의 기반이 되는 것은 학술 연구입니다.

세계 각지의 연구자나 명문대학과의 협력을 바탕으로 IOG는 어려운 연구과제에 전념하여 핀테크 블록체인 인프라를 위한 견고한 기반을 확립하고 있습니다. 본 논문에서는 분산화 기술 연구에 종사하는 기관과 연구소의 네트워크 구축에 대해 살펴봅니다.

IOG 연구를 이끄는 것은 IOG의 수석 과학자이며 에든버러 대학 교수인 Aggelos Kiayias입니다. 교수, 과학자, 리서치 펠로우, 리서치 엔지니어 등 26명의 직원을 포함한 연구팀은 모두 다음과 같은 다양한 연구 주제를 다룹니다.

  • 암호이론
  • 소프트웨어 엔지니어링
  • 분산형 시스템
  • 인간과 컴퓨터의 상호 작용
  • 네트워크
  • 공식 검증
  • 프로그래밍 언어
  • 신뢰할 수 있는 하드웨어
  • 경제
  • 보안, 외환, 비즈니스 정책 및 규정

수석 과학자의 역할

Kiayias 교수는 2016년 10월, 수석 과학자로서 IOG에 참가. 최대 5명의 실행 팀을 결성했습니다. 또한 에든버러 대학의 사이버 보안 및 프라이버시 교수직도 보유하고 있습니다. Juan Garay, Nikos Leonardos와 공동 집필한 논문 'The bitcoin backbone protocol: Analysis and applications’는 기술사상 가장 참조된 논문으로 꼽히는 등 취임시에 블록체인계에서 그 명성은 흔들리지 않았습니다. Google Scholar에 따르면 이 논문은 현재까지 약 1,450회 인용되었습니다. 처음부터 Kiayias 교수는 최고의 사상과 아이디어를 흡수하면서 Cardano를 처음부터 구축하기로 결심했습니다. 당시 그는 다음과 같이 말했습니다.

“타사는 지름길을 생각하거나 제품의 엔지니어링에만 초점을 맞출 지 모르겠지만, IOHK는 커뮤니티 전체가 이용할 수 있는 기본적인 도구의 구축과 블록체인 시스템을 지원하는 과학의 추진에 장기적으로 관여하고 있다.”

블록체인 기술과 분산형 시스템 외에도 Kiayias 교수의 관심은 컴퓨터 보안, 정보 보안, 암호이론, 전자 투표, 안전한 멀티파티 프로토콜, 프라이버시 관리 및 ID 관리에 이르기까지 다양합니다. 2006년, 코네티컷대학 시절, 그의 학과는 당국과의 협력하에 코네티컷 주지사선거에서 사용하는 투표 머신의 평가를 했습니다. 이 평가에서 악의적으로 사용하면 선거 결과에 영향을 줄 수 있는 시스템의 취약점이 보고되었습니다. Kiayias 교수는 그리스 국정 선거에서 전자 투표 조사에서도 연구 프로젝트를 이끌었던 실적이 있습니다.

IOG의 수석 과학자로서 Kiayias 교수는 블록체인 연구, 특히 기존의 분산형 원장 기술을 조사하고 입증된 보안, 분산화, 프라이버시 등의 특징을 가진 기술을 구현하는 아이디어 제안을 견인하고 있습니다. 이것은 Ouroboros를 지원하는 이론으로 이어졌으며, 그 안전성을 증명한 논문도 가장 인용된 블록체인 논문으로 꼽히게 되었습니다. 2017년, Kiayias 교수가 에든버러 대학에서 블록체인 코스를 개강함으로써, 대학은 블록체인 기술을 가르치는 유럽 최초의 기관으로 이름을 올리게 되었습니다. 교수는 Financial Times에서 다음과 같이 말합니다.

“블록체인을 구축하는 데 필요한 기술을 배우는 것 외에도 이 기술을 배우는 데는 또 다른 이점이 있습니다. 블록체인을 배우는 것만으로 사이버 보안에 대한 방대한 지식을 얻을 수 있습니다.”

2021년까지 에딘버러 연구소에는 9명의 직원, 21명의 연구자 및 박사 과정의 학생이 재적하게 되었습니다. 이 해 후반, Kiayias 교수는 IOG의 Philip Wadler 교수에 이어 에든버러 왕립 협회(the Royal Society of Edinburgh)의 펠로우로 선출되었습니다. 1783년 설립이라는 역사를 자랑하는 이 협회에는 1914년 이래 미국의 100달러 지폐에 사용되고 있는 벤자민 프랭클린과 19세기에 가장 영향력을 가진 물리학자인 제임스 클럭 맥스웰, 산업 혁명에 필수적이었던 증기기관을 장본인 제임스 와트, 그리고 아원자 입자의 연구가 힉스 입자의 발견으로 이어진 노벨상 수상자 피터 히그스 등이 이름을 올리고 있습니다.

IOG의 학술적 연결

IOG에서 연구는 기술 개발의 일환이고 함수적 정확도를 기반으로 하는 고보증 블록체인 솔루션을 제공하는 데 도움이 됩니다.

IOG로부터 자금을 얻어 유럽연합, 인텔, 영국 엔지니어링 및 물리과학평의회가 에든버러에 블록체인기술연구소(Blockchain Technology Laboratory)를 설립했습니다. 이것은 업계에 자극을 받은 오픈 액세스 분산 시스템 연구에서 협력하는 미국, 일본, 그리스의 대학 네트워크의 허브입니다.

블록체인기술연구소네트워크의 회원은 다음과 같습니다.

  • 에든버러블록체인기술연구소
  • 아테네대학블록체인기술연구소
  • 도쿄공업대학암호통화공동연구강좌
  • 와이오밍대학와이오밍첨단블록체인연구소

이들 연구소는 검증 가능한 안전성, 암호 프리미티브 및 프로토콜, 안전한 멀티파티 컴퓨테이션을 포함한 블록체인 및 암호기술 관련 분야에 중점을 둡니다. 연구소는 또한 새로운 프로토콜을 개발하고 새로운 보안 정의와 암호화 모델의 식별과 형식화도 진행하고 있습니다.

올해는 현시점에서 에든버러연구소의 멤버에 의한 11개 논문이 학회에서 인정되고 있습니다. ZK SNARK, 블록체인 거버넌스, 프로프오브유스 풀워크, 중앙은행 디지털 통화 등의 연구 테마가 향후 몇 년 안에 각각 블록체인 시스템에 통합되어 가는 것은 의심의 여지가 없습니다. 연구소 블로그는 Covid의 감염 추적 및 은행에 대한 잠재적 영향과 같은 블록체인 외부의 많은 분야를 다루고 있습니다.

연구 네트워크 확대

일부 연구 분야에서는 매우 특수한 전문 지식이 필요합니다. IOG 연구의 명성은 현재 최고 수준의 협력자를 끌어들일 정도입니다. 그 예로 게임 이론을 들 수 있습니다. 이와 관련하여 IOG는 옥스포드대학의 Elias Koutsoupias 교수와 협력하고 있습니다. 교수는 2012년 무질서의 대상에 관한 연구에서 알고리즘형 게임 이론의 기초를 두고, 게델 이론 계산기 과학상을 수상하였습니다.

2022년 IOG는 스탠포드 대학과 제휴하여 450만 달러를 조달하여 이 대학에 블록체인 연구 허브를 설립했습니다. 이를 통해 스탠포드의 다양한 분야의 연구자들은 블록체인의 기본적인 문제를 다루고 과학적 지식을 대조하고 이 주제에 대한 연구의 기본적인 필요성을 증진시킬 것입니다.

이 외에도 IOG는 다음과 같은 전문 연구 프로젝트에도 참여하고 있습니다.

  • 블록체인 컨센서스 알고리즘 설계 및 분석: 코네티컷대학의 Alexander Russell 교수와 협력하여 블록체인 컨센서스 알고리즘의 다양한 설계를 조사

  • 고속 데이터 분산을 위한 Eclipse 내성 네트워크 오버레이: 아테네 경제상과대학의 Spyros Voulgaris 박사와 협력하여 효율적인 데이터 분산을 조사

  • 검증 가능한 디지털 도출: 스탠포드 대학의 David Tse 교수와 박사과정 연구자와 협력하여 기초와 응용 모두에서 블록체인 연구 강화

  • 검증된 (페어링 기반) EC 암호: 아인트호벤공과대학의 Tanja Lange와 그 학생들과 협력하여 Elligator 친화적, 페어링 친화적인 임베디드 커브를 처리

  • 유용작업증명용 제약 기반 로컬 검색: 코네티컷대학의 Laurent Michel 교수와 협력

  • 월렛의 키 관리 방법에 대한 사용자 수용도 평가 : 카네기멜론대학의 Human Computer Interaction Institute에서 교수와 연구원으로 구성된 팀과의 프로젝트

  • 집단적 스테이크 기반 서명 성능 향상: 보스턴 대학의 Leonid Reyzin 교수와 협력

회사 수준에서 학술적 제휴를 확립할 뿐만 아니라, IOG의 톱인 Charles Hoskinson은 평소부터 형식기법수학과 연구에 개인적인 관심을 기울이고 있습니다. 카네기 멜론 대학의 Jeremy Avigad 교수와의 협력 하에, Lean 프로젝트의 형식기법수학은 확대되어 Hoskinson Center for Formal Mathematics의 설립에 결실을 맺었습니다. 센터는 호스킨슨이 2000만 달러를 기부함으로써 가능해졌습니다. 그는 카네기멜론대학의 발표에 다음과 같이 논평했습니다.

“우리는 수학, 컴퓨터 과학, 머신 러닝의 최상의 두뇌를 모아서 형식기법을 교육 도구의 핵심으로 사용하기 위한 인프라를 만들 수 있습니다. 협업, 조사, 발견이 수학적 활동에 인센티브를 부여 지원하고 선진적인 자동화 방법에 대한 리소스를 제공하는 문을 열고, 이러한 중요한 센터의 설립의 일익을 담당하여 영광입니다.”

마지막으로

IOG의 팀은 전세계에 분산되어 집단적 노력을 통한 혁신을 추진하기 위해 세계 각지의 일류 대학의 연구자와 연결되어 있습니다. 이 노력은 Cardano와 다른 원장의 개발을 촉진하고 기술의 보급과 크로스 체인의 상호 운용성에 도움이 될 것입니다.

500명 가까운 직원 중 40명이 IOHK, IOG의 Google Scholar에 프로필을 보유하고 있습니다. 이 중 많은 부분이 엔지니어링과 학문적 위치에 있으며 연구 실천에서 우리회사의 전문 지식 수준의 높음을 입증하는 것입니다. IOG의 리서치 라이브러리에는 현재 160개가 넘는 논문이 수납되어 있습니다.

현 시점에서 IOG는 광대한 학회 네트워크와 연구의 영향력을 가진 유일한 블록체인 연구개발회사입니다.

Cardano의 연구 개요에 대한 자세한 내용은 Essential Cardano의 IOG research overview(IOG 연구개요)를 참조하십시오.

이 글을 작성하는 데 도움을 주신 Aggelos Kiayias, Mirjam Wester 및 Anthony Quinn에게 감사드립니다.

이상

작성자: Paul Ko (카르다노 앰버서더, JOY & HOPE 풀 운영자, 카르다노 사랑방 운영자)