위험 고지: 본 사이트의 모든 콘텐츠는 투자 조언이 아니며, 어떠한 매매 신호·거래 유도 서비스도 제공하지 않습니다. 인민은행 등 10개 부처의 「가상화폐 거래·투기 위험 방지 및 처리에 관한 통지」에 따라 투자자 여러분의 리스크 인식을 높이시기 바랍니다. 문의 / [email protected] 琼ICP备2022009338号
TechFlow 소식에 따르면, 글로벌 블록체인 및 스마트 계약 보안 기업 CertiK는 앤트그룹의 혁신적인 오픈형 크로스플랫폼 신뢰 실행 환경(TEE)인 HyperEnclave에 대한 고급 형식 검증을 완료했다고 공식 위챗 공개계정을 통해 밝혔다.
앤트그룹이 개방한 크로스플랫폼 소프트웨어 신뢰 실행 환경 HyperEnclave는 앤트그룹의 트러스트 네이티브 기술 팀이 자체 개발한 것으로, 앤트그룹의 개인정보 보호 컴퓨팅 워크로드의 효율성과 호환성을 향상시키는 것을 목표로 하고 있다.
CertiK의 형식 검증 과정에서는 머신 체크형 증명 기법을 적용해 HyperEnclave 코드의 정확성과 보안성을 검증하였으며, 특히 가장 핵심적인 구성 요소인 RustMonitor 부분도 포함되었다. CertiK는 자체 개발한 독자적인 고급 시스템 코드 검증 방법을 활용하여, Rust 코드 검증을 위한 맞춤형 프레임워크를 개발하고 검증을 수행했다.
글로벌 블록체인 및 스마트 계약 보안 기업 CertiK가 앤트그룹의 혁신적인 오픈형 크로스플랫폼 신뢰실행환경(TEE) HyperEnclave에 대한 첨단 형식화 검증을 완료했다. 앤트그룹의 개방형 크로스플랫폼 소프트웨어 신뢰실행환경 HyperEnclave는 동사의 트러스트 네이티브 기술팀이 개발한 것으로, 앤트그룹의 개인정보 보호 컴퓨팅 워크로드 효율성과 호환성을 향상시키는 것을 목표로 하고 있다. CertiK의 형식화 검증 과정에서는 머신 체크형 증명을 적용해 HyperEnclave 코드의 정확성과 보안성을 검증하였으며, 그 중에서도 가장 핵심적인 구성 요소인 RustMonitor를 포함한다. CertiK는 자체적으로 개발한 독자적인 첨단 시스템 코드 검증 방법을 활용하여, Rust 코드 검증을 위한 맞춤형 프레임워크를 개발하였다.
Web3 심층 보도에 집중하고 흐름을 통찰
