블록체인 보안 업체 서틱(CertiK)이 공식 채널을 통해 업계 최초로 러스트(Rust) 언어 기반 zkVM(영지식 가상 머신) 명령어에 대한 정형 검증을 완료했다고 30일 발표했다. 이와 관련 서틱은 "기존 zkWasm 프로젝트에서 영지식 회로 구현을 위해서는 6,000 줄 이상의 러스트 코드가 필요하다. 하지만 서틱의 자체 개발 모듈화 정형 검증 프레임워크는 이러한 복잡성을 해결하는 동시에 코드에 대한 엄격한 수학적 검증도 진행할 수 있다. 또 이번 검증은 복잡한 영지식 회로에 대한 정형화 검증의 가능성을 입증했다. 이는 웹3 업계 영지식 증명 분야에 새로운 표준을 제시할 수 있으며, 검증을 통과한 영지식 증명이 각각 매칭되는 스마트 컨트랙트와 연동될 수 있음을 입증할 수 있다"고 설명했다.