뉴스
코인정보
라운지
커뮤니티
TPI 
매체소개
고객센터
-
링크복사
-
공유
-
댓글
-
추천
-
스크랩
-
인쇄
-
글자크기
서틱, 러스트 언어 기반 zkVM 명령어 정형 검증 완료...업계 최초
2024.04.30 (화) 15:39
댓글 [2]
추천 [3]
추천 
블록체인 보안 업체 서틱(CertiK)이 공식 채널을 통해 업계 최초로 러스트(Rust) 언어 기반 zkVM(영지식 가상 머신) 명령어에 대한 정형 검증을 완료했다고 30일 발표했다. 이와 관련 서틱은 "기존 zkWasm 프로젝트에서 영지식 회로 구현을 위해서는 6,000 줄 이상의 러스트 코드가 필요하다. 하지만 서틱의 자체 개발 모듈화 정형 검증 프레임워크는 이러한 복잡성을 해결하는 동시에 코드에 대한 엄격한 수학적 검증도 진행할 수 있다. 또 이번 검증은 복잡한 영지식 회로에 대한 정형화 검증의 가능성을 입증했다. 이는 웹3 업계 영지식 증명 분야에 새로운 표준을 제시할 수 있으며, 검증을 통과한 영지식 증명이 각각 매칭되는 스마트 컨트랙트와 연동될 수 있음을 입증할 수 있다"고 설명했다.
뉴스 속보를 실시간으로...토큰포스트 텔레그램 가기
<저작권자 © TokenPost, 무단전재 및 재배포 금지 >
추천하기
3
데일리 스탬프
0
매일 스탬프를 찍을 수 있어요!
데일리 스탬프를 찍은 회원이 없습니다.
첫 스탬프를 찍어 보세요!
카테고리 기사
더보기
엠마코스모스 
에이치16 
