링크복사
공유
댓글
추천
스크랩
인쇄
글자크기
2
3
블록체인 보안 업체 서틱(CertiK)이 공식 채널을 통해 업계 최초로 러스트(Rust) 언어 기반 zkVM(영지식 가상 머신) 명령어에 대한 정형 검증을 완료했다고 30일 발표했다. 이와 관련 서틱은 "기존 zkWasm 프로젝트에서 영지식 회로 구현을 위해서는 6,000 줄 이상의 러스트 코드가 필요하다. 하지만 서틱의 자체 개발 모듈화 정형 검증 프레임워크는 이러한 복잡성을 해결하는 동시에 코드에 대한 엄격한 수학적 검증도 진행할 수 있다. 또 이번 검증은 복잡한 영지식 회로에 대한 정형화 검증의 가능성을 입증했다. 이는 웹3 업계 영지식 증명 분야에 새로운 표준을 제시할 수 있으며, 검증을 통과한 영지식 증명이 각각 매칭되는 스마트 컨트랙트와 연동될 수 있음을 입증할 수 있다"고 설명했다.
뉴스 속보를 실시간으로...토큰포스트 텔레그램 가기
<저작권자 ⓒ TokenPost, 무단전재 및 재배포 금지>
많이 본 기사
티켓스토어
티켓으로 다양한 상품에 응모하자!
글로벌 신뢰 인공지능
땡스 갓포 비트코인
에어드랍
선물이 쏟아지는 에어드랍 이벤트!
카테고리 기사
댓글
2
추천
3
스크랩
데일리 스탬프
0
매일 스탬프를 찍을 수 있어요!
데일리 스탬프를 찍은 회원이 없습니다.
첫 스탬프를 찍어 보세요!
댓글 2개
엠마코스모스
2024.04.30 23:06:12
정보 감사합니다
0개
에이치16
2024.04.30 19:10:44
좋은글김사
0개
뉴스
리서치
코인정보
라운지
커뮤니티
매체소개
고객센터
![[김프 리포트] 7월 20일 최고 차익 거래 포트폴리오 공개, METIS·IMX 등 수익률 상위권](https://f1.tokenpost.kr/2025/07/lzcoczq828.jpg)
![[코인 TOP 10 주간동향] 테조스·ETC 등 알트코인 강세...옵저버·랠리 100% 상승](https://f1.tokenpost.kr/2025/07/4xxfxj0c5t.jpg)
![[국내장 심리 체크] 단기 탐욕 심리 둔화...XTZ·MEW·ETC '매우 탐욕' 구간](https://f1.tokenpost.kr/2025/07/gctwtqaa4l.jpg)
![[Episode 12] IXO™2024 참여하고, 2억원 상당 에어드랍 받자!](https://f1.tokenpost.kr/2024/03/bk2tc5rpf6.png)
![[Episode 11] 코인이지(CoinEasy) 에어드랍](https://f1.tokenpost.kr/2024/02/g0nu4cmps6.png)
![[Episode 8] Alaya 커뮤니티 입장하고, $AGT 받자!](https://f1.tokenpost.kr/2023/10/0evqvn0brd.png)
![[Episode 6] 아트테크 하고, 에어드랍 받자!](https://f1.tokenpost.kr/2023/08/3b7hm5n6wf.jpg)
![[토큰포스트] 기사 퀴즈 376회차](https://f1.tokenpost.kr/2025/07/hm2dw34pzz.png)
![[토큰포스트] 기사 퀴즈 375회차](https://f1.tokenpost.kr/2025/07/ayi3bbwbuh.png)
![[토큰포스트] 기사 퀴즈 374회차](https://f1.tokenpost.kr/2025/07/brrwbqswlm.png)
![[토큰포스트] 기사 퀴즈 373회차](https://f1.tokenpost.kr/2025/07/5nfzu6uevu.png)
