기본 정보
한지 류는 Nubit의 공동 창립자입니다. 그는 UCSB의 박사 과정 학생(휴학 중)이며, 상하이 교통 대학에서 학사 학위를 받았습니다. 그의 연구는 프로그램 검증, 언어 의미론 및 컴파일러 최적화에 중점을 두고 있습니다. 그는 대부분의 Ethereum Foundation PSE 프로젝트에 대한 공식 증명을 작성했으며 수많은 제로데이 취약점을 발견했습니다. 그는 ZKP 회로 인증에 대한 주목할 만한 논문을 저술했으며, S&P 2024에 수락되었고, 온체인 공격을 완화하는 작업을 했습니다.