오픈 소스 블록 체인 프로젝트 Qtum은 Ethereum ( ETH ) 스타일의 스마트 계약을 위한 새로운 프로그래밍 언어 개발에 자금을 지원하기 위해 Columbia University의 학자에게 400,000 달러의 교부금을 수여했습니다 . 이 소식은 Cointelegraph와 공유 한 이메일 12 월 19 일에 발표되었습니다.
연구 개발 (R & D) 보조금은 컬럼비아의 컴퓨터 과학 교수 인 Ronghui Gu의 조교수를 지낸 두 명의 박사후 과정 학생으로 구성됩니다.
R & D는 "DeepSEA"라는 새로운 언어의 설계 및 구현과 Ethereum 스타일의 스마트 계약과의 통합에 중점을두고 보도 할 것입니다. DeepSEA 의 초기 개요 는 언어가 프로그래밍에서 "내재 된 갈등"을 해결할 수 있다고 말합니다. 즉 :
"주류 운영체제와 하이퍼 바이저는 여전히 C 수준의 저급 언어로 작성됩니다. 고수준 정식 추론과 저급 시스템 프로그래밍에는 내재적 인 갈등이있는 것으로 보인다. 전자는 높은 추상화 수준의 풍부한 이론에 의존하고 후자는 낮은 수준의 효과와 하드웨어 자원을 조작하고 관리해야한다. "
연구원의 목표는 계속해서 언어를 설계하고 구현하고, "인증 된 OS 커널 및 Ethereum 스타일의 스마트 계약 체결"에 적용될 수있는 DeepSEA "툴체인"을 개발하는 것입니다.이 연구자와 스폰서 는 스마트 계약의 핵심 인프라에서 주요 구성 요소로 많은 문제를 해결할 수 있기 때문에보다 신뢰할 수 있고 신뢰할 수 있으며 궁극적으로 채택 할 수 있습니다.
교수진의 프로필 에 따르면 컬럼비아 외의 구 교수는 Qtum 재단이 투자 한 블록 체 인 스타트 업 "CertiK"의 공동 설립을 포함합니다. CertiK에 대한 개요 는이 프로젝트가 "수학적으로 입증 할 수있는 공식 검증 프레임 워크"라고 말합니다 똑똑한 계약과 블록 체인 생태계는 버그가없고 해커에 강합니다. "
이전에 보고 된 바와 같이 싱가포르에 등록 된 Qtum Foundation은 Qtum을 개방형 소스 하이브리드 블록 체인 응용 프로그램 플랫폼으로 개발했으며 스마트 계약 및 분산 응용 프로그램 ( DApps )을 중심으로 개발했습니다. 핵심 기술은 BTC 코어 포크 와 Ethereum 가상 머신 (EVM), 스테이크 증명 ( PoS ) 컨센서스를 포함한 여러 가상 머신을 허용하는 계정 추상화 레이어를 결합한 것 입니다.
이 가을, 함께 컬럼비아 대학 - IBM은 - 발표 두 blockchain 공간에서 신생 규모로 혁신하기 위해 목표 가속기 프로그램입니다. 두 프로그램 모두 이번 여름 코네티컷과 아이비 리그 학교 가 공동 설립 한 공동 혁신 센터 인 Blockchain and Data Transparency를위한 Columbia-IBM 센터의 일부입니다 .