본 발명은 영 지식 증명 기술에 관한 것으로, 더욱 상세하게는 범용 스택 머신 프로그램을 위한 간결하고 비 상호적인 영 지식 증명 시스템 및 방법에 대한 것이다. 본 발명의 일 실시 예에 따르면, 스택 머신의 단순한 구조적 특징을 이용하여 스택 머신 프로그램의 연산 증명에 한정하여 범용적이면서 간결한 영 지식 스나크로 블록 체인의 스마트 컨트랙트에 적용 될 경우 거래처리 속도를 높일 수 있다.