카르다노 에이다와 이더클래식에서 동시에 쓰여질 스마트 컨트렉 기술로서 이더리움의 EVM의 취약점을 보완한 최고의 기술력 검증이라고 생각됩니다~~ https://coinjournal.net/kevm-wins-ic3-ethereum-crypto-boot-camp-2017-competition/

이하 구글 번역본입니다 KEVM, IC3-Ethereum 암호화 부트 캠프 2017 대회 우승

Facebook에서 공유

트위터에 트위터

Ethereum 가상 머신의 세계 최초 공식적인 의미가 IC3-Ethereum 암호화 부트 캠프 승리이미지 크레디트 : Shadowstock.com을 통해 sondem 님의 수상 경력,Shutterstock . com 이 팀은 세계 최초로 완전 실행 가능한 Ethereum Virtual Machine (EVM)의 형식적 의미 체계를 모델링했으며 EVM 스마트 계약의 공식 실행, 분석 및 검증을 허용하는 KEVM 프레임 워크를 제작했습니다.

IC3 Ethereum Crypto Boot Camp 2017 시상식Everett Hildenbrandt (왼쪽), UIUC PhD 학생은 "EVM의 K 의미론에 대한 분석 도구"를 주도한 프로젝트에서 1 위를받습니다. 이 상을 왼쪽에서 오른쪽으로 발표하는 것은 Professor Andrew Miller, IC3 부국장, Ming Chan, Ethereum 재단 사무 총장, Vitalik Buterin, Ethereum Chief Scientist입니다. Jonathan Levin, Hyperledger Foundation (Ming과 Vitalik의 배경에 있음)은 나머지 사람들과 함께 Andrew의 유머를 즐긴다. Cryptocurrencies 및 계약을위한 이니셔티브 인 IC3를 통한 이미지. ITU의 시벨 (Siebel) 컴퓨터 과학 센터 (Siebel Center for Computer Science)의 CEO 인 그리고르 로수 (Grigore Rosu) 교수는 "반복적 인 보안 취약성과 에테 리엄 스마트 계약의 고차원적인 실패를 해결해야한다는 긴급한 요구는 기존의 공식 검증 및 프로그램 분석 도구로는 적절하게 해결되지 못했다. 런타임 검증. 지금까지는 EVM에 대한 완전하고 정교하고 포괄적이며 실행 가능한 의미가 존재하지 않았으므로 그러한 도구를 기반으로하는 엄격 성은 부족했습니다.

"이 작품은 새로운 스마트 계약 분석 도구의 개발을위한 토대가됩니다. 더 중요한 것은 똑똑한 계약을 위해 더 나은 프로그래밍 언어를 설계하는 방법에 대한 귀중한 통찰력을 제공한다는 것입니다. ""KEVM을 사용하면 EVM 기반 스마트 계약의 속성을 올바른 건설 및 비용 효과적인 방식으로 공식적으로 확인할 수 있습니다. Ethereum 사용자는 소프트웨어 버그로 인한 재정적 손실을 막기 위해 공식적인 검증을 필요로하기 때문에 중요합니다. "

IOHK 는 K의 언어 독립적 특성, 광범위한 잠재적 응용 및 학계에서의 성공으로 인해 K 프레임 워크를 기반으로하는 EVM의 형식적 의미의 검색 및 개발에 투자하기로 결정했다고 말하면서 K는 여러 실제 형식을 공식화하는 데 사용되었습니다 JavaScript, Java, C, Python 및 PHP와 같은 세계 언어.

"이 연구는 EVM을보다 안전하고, 빠르고, 효율적으로 만들기 위해 EVM을 재 설계하기 위해해야 할 일에 대해 상당한 수준의 통찰력을주었습니다. 검증 된 컴파일러와 같은 EVM 툴링을 쉽게 만들 수 있습니다. "라고 IOHK의 CEO 겸 설립자 인 Charles Hoskinson은 학술 기관, 정부 기관 및 기업을위한 크립토 통화 및 블록 체인을 구축하는 엔지니어링 회사를 말합니다.

" 이 백서 는이 분야에 대한 우리 연구의 첫 번째 물결의 결과입니다. 이 연구를 기반으로 IOHK는 프로토 타입 제작을 시작할 것이며 우리는 현재 구축중인 제품 인 Cardano의 일부로 EVM 2.0을 내년 준비 할 계획입니다. "

Connell University에서 개최 된 IC3의 두 번째 연례 Ethereum Crypto Boot Camp 에서는 교수진, Ethereum Foundation의 기고자 및 우수 학생 및 개발자를 대상으로 일주일 간의 코딩 및 블록킹 및 스마트 계약 학습 경험을 제공합니다.

부트 캠프에는 Ethereum Foundation 창설자 인 Vitalik Buterin, IC3 및 Cornell University의 Ittay Eyal 박사, Ethereum Foundation의 Casey Detrio, IC3 및 UMD의 Andrew Miller 등 스마트 계약 및 블록 체인 전문가가 매일 기조 연설을했습니다. .

KEVM의 팀은 현재 Ethereum 생태계에 직면 해있는 일부 문제를 해결하기 위해 해결해야하는 9 개의 다른 팀과 경쟁했습니다.