일반 연산을 검증하고 트랙재션 검증량과 저장 공간을 줄여주는 유니버셜 영지식 증명 서킷 기반 가상머신 개발

장재혁, 이흥노 "스택기반 영지식 증명 가상머신"