한국어
자유게시판

https://cointelegraph.com/news/qtum-awards-400k-grant-to-columbia-university-research-team-for-smart-contracts-rd

 

https://blog.qtum.org/qtum-is-funding-formal-verification-research-at-columbia-university-5cb7ed23a836

 

Qtum 포상 Smart Contracts R & D를 위해 컬럼비아 대학 연구팀에게 $ 400,000 달러 보조금

 

Qtum 포상 Smart Contracts R & D를 위해 컬럼비아 대학 연구팀에게 $ 400,000 달러 보조금

 

오픈 소스 블록 체인 프로젝트 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 센터의 일부입니다 .

번호 제목 글쓴이 날짜 조회 수
공지 큐바오(큐백x)Qrc20 코인 출금방법 [133] title: 퀀텀아이콘슈퍼스테이커 2021.02.24 6958
공지 [Q-helper] 퀀텀 코어의 수량이 맞지 않게 표시되는 오류 해결 방법 [1] title: 퀀텀아이콘슈퍼스테이커 2021.01.24 14128
공지 연이자 약5% 슈퍼스테이커 운영중입니다 수수료3%(0.5개당0.015개) [11] title: 퀀텀아이콘슈퍼스테이커 2020.12.15 6658
공지 글쓰기 레벨 안내입니다. [59] QTUM 2019.07.09 8432
10530 큐텀 죽었나요? [6] 큐텀전버 2018.12.20 1229
10529 이번에 콜롬비아 대학교에 Qtum 이 연구비 지원했죠 [2] 큐텀전버 2018.12.20 545
10528 러시아퀀텀센터 이건 뭔가요?? [6] title: 우리다같이 스마일클앙탄 2018.12.20 745
10527 중국 OTC시장, 강세장 예고하는 신호등 [2] title: 퀀텀아이콘껀텀 2018.12.20 1052
10526 Fed, 금리 인상+내년에도 2회 더 올린다 [3] title: 퀀텀아이콘껀텀 2018.12.20 421
10525 CCID 기술 평가 지수 8차 [6] title: 퀀텀아이콘껀텀 2018.12.20 545
» Qtum 포상 Smart Contracts R & D를 위해 컬럼비아 대학 연구팀에게 $ 400,000 지원 [3] title: 퀀텀아이콘껀텀 2018.12.20 468
10523 [정보] QTUM 블록체인의 크로스체인 아토믹스왑 [5] title: 퀀텀아이콘Q-Helper 2018.12.20 593
10522 비트코인 이자 쩌네요...ㅋㅋㅋ [10] 울랄라띠로롱 2018.12.19 1032
10521 퀀텀 지갑 수수료 궁금합니다 [4] 자드짱 2018.12.19 471
10520 12월 19일 코인뉴스 정리 [2] 깡다구Zz 2018.12.19 559
10519 11월말에 488고래님 털은가격왔네요 [7] nkdu 2018.12.19 853
10518 코인빗 퀀텀 [6] title: 우리다같이 스마일클앙탄 2018.12.18 968
10517 잘한다. 퀀텀이 이오스 따라 가즈아 [17] 슈퍼비트 2018.12.18 1261
10516 Qtum Chain Weekly (12 월 10 일 - 12 월 16 일) [6] title: 퀀텀아이콘껀텀 2018.12.17 480
10515 블록체인 서바이벌 '블록배틀' 우승자는 누구 인가? [2] hankmobley 2018.12.17 532
10514 하이퍼페이 pos출금 정확히 24시간 걸리나요? [6] 퀀텀버스터 2018.12.17 501
10513 코빗 제세공과금 관련 [9] 퀀텀으로망한사람 2018.12.16 804
10512 퀀텀 새홈페이지 Nodemap반영 [5] title: 우리다같이 스마일승아필 2018.12.15 1064
10511 퀀텀 상승후 비트하락 [4] 퀀텀ico 2018.12.15 1164

포인트랭킹

순위 닉네임 포인트
1위 title: 스텔라쿵 캐리커쳐 #1타이어 7486995점
2위 슈퍼비트 6516850점
3위 title: 퀀텀아이콘빵먹는곰돌이 6474344점
4위 title: 스텔라쿵 캐리커쳐 #1미스릴 6230546점
5위 불꽃 6124550점
6위 지금감사 5822300점
7위 title: 퀀텀아이콘봄이 5506650점
8위 밀키웨이 3047900점
9위 빵상 2975450점
10위 대바기 2728250점