Simple membership proving system using zk-SNARK

Description

• 부산대학교 정보보호 동아리 KEEPER 의 기술문서 활동 결과물입니다.

• Cryptography를 이용한 정보보호의 관점에서 zk-SNARK 를 이용한 멤버십 검증 시스템을 구현했습니다.

• 서버와 클라이언트를 구분하여 구현했으며, Rust 언어를 사용했습니다.

Server

• Hyper 를 이용하였으며, 기본적인 구조는 아래 사이트를 참고하여 구현하였습니다.
  • Hyper, github
  • LogRocket:a minimal web service in rust using hyper

Client

• 클라이언트는 TUI를 이용하여 프론트엔드를 만들었습니다.
  • tui-rs, github

ZK-SNARK

• Arkworks를 이용하여 zk-SNARK 부분을 구현했습니다.
  • arkworks, github
  • Groth16 in arkworks, github