ZK-JPEG - 영지식 이미지 편집 및 압축

• ZK-JPEG은 비밀로 유지되는 커밋된 입력으로부터 이미지가 올바르게 JPEG 압축되었음을 증명하는 암호학적 도구임
• 카메라의 디지털 서명은 이미지 출처를 증명하지만, 손실 압축이나 피사체 보호를 위한 흐림 처리와 영역 가리기도 서명을 무효화함
• 기존 영지식 증명(ZK) 기반 연구는 공개 이미지의 편집 이력을 증명하지만, JPEG 같은 손실 인코딩을 거치면 증명이 유지되지 않음
• 다양한 이미지 변환을 JPEG 압축 과정에 통합해 최소한의 추가 비용으로 검증할 수 있음
• PicoZK로 Python 이미지 편집 코드를 LPZK 증명 시스템용 영지식 회로로 변환하며, 기존 ZK 도구를 활용해 구현할 수 있음

이미지 인증과 손실 압축의 충돌

• 딥페이크 사진 생성 도구가 사용하기 쉬워지고 대중문화에서 더 널리 쓰이는 가운데, 이미지 인증은 디지털 이미지가 실제 물리적 카메라에서 생성됐는지 검증하는 수단임
• 카메라 증명(camera attestation) 은 디지털 서명으로 이미지의 카메라 출처를 증명하지만, 유용한 이미지 변환을 거친 뒤에도 인증을 유지해야 하는 과제가 있음
  • 손실 압축은 이미지 크기를 줄이기 위해 미세한 변경을 가함
  • 흐림 처리나 특정 영역 가리기는 피사체를 보호할 수 있지만, 이런 변경도 이미지의 서명을 무효화함
• 기존 영지식 증명 기반 방식은 공개 이미지의 편집 이력을 증명해도 JPEG 형식과 같은 손실 인코딩에는 대응하지 못함

ZK-JPEG의 증명 방식과 구현

• ZK-JPEG 논문의 도구는 비밀로 유지되는 커밋된 입력에서 이미지가 올바르게 JPEG 압축되었음을 증명함
• 다양한 이미지 변환을 JPEG 압축에 통합해 최소한의 추가 비용으로 검증하며, 빠르고 유연한 시스템을 목표로 기존 ZK 도구를 활용함
• PicoZK를 사용해 Python 이미지 편집 코드를 LPZK(line-point zero knowledge) 증명 시스템용 ZK 회로로 변환함