VOLE(벡터 무의식 선형 평가) 기반 영지식증명(ZKP)은 증명자 효율이 뛰어나지만 통신·검증이 회로 크기에 선형적으로 증가하는 한계가 있었다. Antman과 후속 Antman++가 정보이론적 다항식 인증 코드(IT-PAC)로 이를 준선형으로 줄였지만 대화형 프로토콜이라 Fiat-Shamir 같은 비대화형화 기법을 적용할 수 없었고, 검증자도 완전히 간결하지 않았다. 이 논문은 IT-PAC을 범용 평가 개봉을 지원하는 완전한 다항식 커밋먼트 방식(PCS)으로 확장해 SIMD 회로용 비대화형 ZKP인 Wasp^S와 상수 검증 시간·증명 크기를 갖는 범용 zkSNARK Wasp^G를 구축했다. 실험 결과 Wasp^S의 비대화형 검증자는 Antman의 대화형 방식보다 1~2자릿수 빨랐고, Wasp^G는 페어링·코딩·격자 기반 zkSNARK보다 증명자가 1~2자릿수 빠르면서 검증 시간 1밀리초 미만, 증명 크기 122KB를 달성해 비간결 VOLE 기반 ZKP보다 검증은 최대 4자릿수 빠르고 증명 크기는 3자릿수 작았다.

• •IT-PAC을 범용 평가 개봉을 지원하는 완전한 다항식 커밋먼트 방식(PCS)으로 확장
• •SIMD용 비대화형 증명 Wasp^S와 범용 zkSNARK Wasp^G 구축
• •Wasp^S 검증자가 Antman 대화형 대비 1~2자릿수 빠름
• •Wasp^G는 검증시간 1ms 미만, 증명 크기 122KB로 기존 zkSNARK 대비 증명자 1~2자릿수 개선